-
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Authors:
Masaki Waga,
Kotaro Matsuoka,
Takashi Suwa,
Naoki Matsumoto,
Ryotaro Banno,
Song Bian,
Kohei Suenaga
Abstract:
When monitoring a cyber-physical system (CPS) from a remote server, kee** the monitored data secret is crucial, particularly when they contain sensitive information, e.g., biological or location data. Recently, Banno et al. (CAV'22) proposed a protocol for online LTL monitoring that keeps data concealed from the server using Fully Homomorphic Encryption (FHE). We build on this protocol to allow…
▽ More
When monitoring a cyber-physical system (CPS) from a remote server, kee** the monitored data secret is crucial, particularly when they contain sensitive information, e.g., biological or location data. Recently, Banno et al. (CAV'22) proposed a protocol for online LTL monitoring that keeps data concealed from the server using Fully Homomorphic Encryption (FHE). We build on this protocol to allow arithmetic operations over encrypted values, e.g., to compute a safety measurement combining distance, velocity, and so forth. Overall, our protocol enables oblivious online monitoring of discrete-time real-valued signals against signal temporal logic (STL) formulas. Our protocol combines two FHE schemes, CKKS and TFHE, leveraging their respective strengths. We employ CKKS to evaluate arithmetic predicates in STL formulas while utilizing TFHE to process them using a DFA derived from the STL formula. We conducted case studies on monitoring blood glucose levels and vehicles' behavior against the Responsibility-Sensitive Safety (RSS) rules. Our results suggest the practical relevance of our protocol.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Relative Dolbeault cohomology
Authors:
Tatsuo Suwa
Abstract:
We review the notion of relative Dolbeault cohomology and prove that it is canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato with coefficients in the sheaf of holomorphic forms. We deal with this cohomology from two viewpoints. One is the Cech theoretical approach, which is convenient to define such operations as the cup product and integration and leads to…
▽ More
We review the notion of relative Dolbeault cohomology and prove that it is canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato with coefficients in the sheaf of holomorphic forms. We deal with this cohomology from two viewpoints. One is the Cech theoretical approach, which is convenient to define such operations as the cup product and integration and leads to the study of local duality. Along the way we also establish some notable canonical isomorphisms among various cohomologies. The other is to regard it as the cohomology of a certain complex, which is interpreted as a notion dual to the map** cone in the theory of derived categories. This approach shows that the cohomology goes well with derived functors. We also give some examples and indicate applications, including simple explicit expressions of Sato hyperfunctions, fundamental operations on them and related local duality theorems.
△ Less
Submitted 11 March, 2019;
originally announced March 2019.
-
Representation of relative sheaf cohomology
Authors:
Tatsuo Suwa
Abstract:
We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on the one hand the cohomology is described as the relative cohomology of the sections of the sheaf complex, which appears naturally in the theory of Cech cohomol…
▽ More
We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on the one hand the cohomology is described as the relative cohomology of the sections of the sheaf complex, which appears naturally in the theory of Cech cohomology of sheaf complexes. On the other hand it is interpreted as the cohomology of a complex dual to the map** cone of a certain morphism of complexes in the theory of derived categories. We prove a "relative de Rham type theorem" from the above two viewpoints. It says that, in the case the complex is a soft or fine resolution of a certain sheaf, the cohomology is canonically isomorphic with the relative cohomology of the sheaf. Thus the former provides a handy way of representing the latter. Along the way we develop various theories and establishes canonical isomorphisms among the cohomologies that appear therein. The second viewpoint leads to a generalization of the theory to the case of cohomology of sheaf morphisms. Some special cases together with applications are also indicated.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
Sato hyperfunctions via relative Dolbeault cohomology
Authors:
Naofumi Honda,
Takeshi Izawa,
Tatsuo Suwa
Abstract:
The relative Dolbeault cohomology which naturally comes up in the theory of Cech-Dolbeault cohomology turns out to be canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato so that it provides a handy way of representing the latter. In this paper we use this cohomology to give simple explicit expressions of Sato hyperfunctions, some fundamental operations on the…
▽ More
The relative Dolbeault cohomology which naturally comes up in the theory of Cech-Dolbeault cohomology turns out to be canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato so that it provides a handy way of representing the latter. In this paper we use this cohomology to give simple explicit expressions of Sato hyperfunctions, some fundamental operations on them and related local duality theorems. This approach also yields a new insight into the theory of hyperfunctions and leads to a number of further results and applications. As one of such, we give an explicit embedding morphism of Schwartz distributions into the space of hyperfunctions.
△ Less
Submitted 5 April, 2022; v1 submitted 4 July, 2018;
originally announced July 2018.
-
Note on Dolbeault cohomology and Hodge structures up to bimeromorphisms
Authors:
Daniele Angella,
Tatsuo Suwa,
Nicoletta Tardini,
Adriano Tomassini
Abstract:
We construct a simply-connected compact complex non-Kähler manifold satisfying the $\partial\bar\partial$-Lemma, and endowed with a balanced metric. To this aim, we were initially aimed at investigating the stability of the property of satisfying the $\partial\bar\partial$-Lemma under modifications of compact complex manifolds and orbifolds. This question has been recently addressed and answered i…
▽ More
We construct a simply-connected compact complex non-Kähler manifold satisfying the $\partial\bar\partial$-Lemma, and endowed with a balanced metric. To this aim, we were initially aimed at investigating the stability of the property of satisfying the $\partial\bar\partial$-Lemma under modifications of compact complex manifolds and orbifolds. This question has been recently addressed and answered in \cite{rao-yang-yang, yang-yang, stelzig-blowup, stelzig-doublecomplex} with different techniques. Here, we provide a different approach using Čech cohomology theory to study the Dolbeault cohomology of the blow-up $\tilde X_Z$ of a compact complex manifold $X$ along a submanifold $Z$ admitting a holomorphically contractible neighbourhood.
△ Less
Submitted 18 August, 2020; v1 submitted 24 December, 2017;
originally announced December 2017.
-
Localization of Bott-Chern classes and Hermitian residues
Authors:
Maurício Corrêa Jr,
Tatsuo Suwa
Abstract:
We develop a theory of Cech-Bott-Chern cohomology and in this context we naturally come up with the relative Bott-Chern cohomology. In fact Bott-Chern cohomology has two relatives and they all arise from a single complex. Thus we study these three cohomologies in a unified way and obtain a long exact sequence involving the three. We then study the localization problem of characteristic classes in…
▽ More
We develop a theory of Cech-Bott-Chern cohomology and in this context we naturally come up with the relative Bott-Chern cohomology. In fact Bott-Chern cohomology has two relatives and they all arise from a single complex. Thus we study these three cohomologies in a unified way and obtain a long exact sequence involving the three. We then study the localization problem of characteristic classes in the relative Bott-Chern cohomology. For this we define the cup product and integration in our framework and we discuss local and global duality homomorphisms. After reviewing some materials on connections, we give a vanishing theorem relevant to our localization. With these, we prove a residue theorem for a vector bundle admitting a Hermitian connection compatible with an action of the non-singular part of a singular distribution. As a typical case, we discuss the action of a distribution on the normal bundle of an invariant submanifold (so-called the Camacho-Sad action) and give a specific example.
△ Less
Submitted 15 August, 2019; v1 submitted 25 May, 2017;
originally announced May 2017.
-
Local and global coincidence homology classes
Authors:
Jean-Paul Brasselet,
Tatsuo Suwa
Abstract:
For two differentiable maps between two manifolds of possibly different dimensions, the local and global coincidence homology classes are introduced and studied by Bisi- Bracci-Izawa-Suwa (2016) in the framework of Cech-de Rham cohomology. We take up the problem from the combinatorial viewpoint and give some finer results, in particular for the local classes. As to the global class, we clarify the…
▽ More
For two differentiable maps between two manifolds of possibly different dimensions, the local and global coincidence homology classes are introduced and studied by Bisi- Bracci-Izawa-Suwa (2016) in the framework of Cech-de Rham cohomology. We take up the problem from the combinatorial viewpoint and give some finer results, in particular for the local classes. As to the global class, we clarify the relation with the cohomology coincidence class as studied by Biasi-Libardi-Monis (2015). In fact they introduced such a class in the context of several maps and we also consider this case. In particular we define the local homology class and give some explicit expressions. These all together lead to a generalization of the classical Lefschetz coincidence point formula.
△ Less
Submitted 6 December, 2016;
originally announced December 2016.
-
Enhancement of critical current densities in (Ba,K)Fe2As2 wires and tapes using HIP technique
Authors:
Sunseng Pyon,
Takahiro Suwa,
Akiyoshi Park,
Hideki Kajitani,
Norikiyo Koizumi,
Yuji Tsuchiya,
Satoshi Awaji,
Kazuo Watanabe,
Tsuyoshi Tamegai
Abstract:
(Ba,K)Fe2As2 superconducting wires and tapes are fabricated by using hot isostatic pressing (HIP) technique, and their superconducting properties are studied. In the HIP round wire, transport critical current density (Jc) at 4.2 K has achieved record-high value of 175 kA/cm2 at zero field, and exceeds 20 kA/cm2 even at 100 kOe. Improvement of polycrystalline powder synthesis may play a key role fo…
▽ More
(Ba,K)Fe2As2 superconducting wires and tapes are fabricated by using hot isostatic pressing (HIP) technique, and their superconducting properties are studied. In the HIP round wire, transport critical current density (Jc) at 4.2 K has achieved record-high value of 175 kA/cm2 at zero field, and exceeds 20 kA/cm2 even at 100 kOe. Improvement of polycrystalline powder synthesis may play a key role for the enhancement of Jc. In the HIP tape, even larger transport Jc of 380 kA/cm2 is realized at zero field. Based on magnetization and magneto-optical measurements, possible further enhancement of Jc is discussed.
△ Less
Submitted 29 September, 2016;
originally announced September 2016.
-
Localized intersection of currents and the Lefschetz coincidence point theorem
Authors:
Cinzia Bisi,
Filippo Bracci,
Takeshi Izawa,
Tatsuo Suwa
Abstract:
We introduce the notion of a Thom class of a current and define the localized intersection of currents. In particular we consider the situation where we have a smooth map of manifolds and study localized intersections of the source manifold and currents on the target manifold. We then obtain a residue theorem on the source manifold and give explicit formulas for the residues in some cases. These a…
▽ More
We introduce the notion of a Thom class of a current and define the localized intersection of currents. In particular we consider the situation where we have a smooth map of manifolds and study localized intersections of the source manifold and currents on the target manifold. We then obtain a residue theorem on the source manifold and give explicit formulas for the residues in some cases. These are applied to the problem of coincidence points of two maps. We define the global and local coincidence homology classes and indices. A representation of the Thom class of the graph as a Cech-de~Rham cocycle immediately gives us an explicit expression of the index at an isolated coincidence point, which in turn gives explicit coincidence classes in some non-isolated components. Combining these, we have a general coincidence point theorem including the one by S. Lefschetz.
△ Less
Submitted 19 January, 2015; v1 submitted 3 June, 2014;
originally announced June 2014.
-
Formation and Radiative Feedback of First Objects and First Galaxies
Authors:
Masayuki Umemura,
Hajime Susa,
Kenji Hasegawa,
Tamon Suwa,
Benoit Semelin
Abstract:
First, the formation of first objects driven by dark matter is revisited by high-resolution hydrodynamic simulations. It is revealed that dark matter haloes of ~10^4M_sun can produce first luminous objects with the aid of dark matter cusps. Therefore, the mass of first objects is smaller by roughly two orders of magnitude than in the previous prediction. This implies that the number of Pop III sta…
▽ More
First, the formation of first objects driven by dark matter is revisited by high-resolution hydrodynamic simulations. It is revealed that dark matter haloes of ~10^4M_sun can produce first luminous objects with the aid of dark matter cusps. Therefore, the mass of first objects is smaller by roughly two orders of magnitude than in the previous prediction. This implies that the number of Pop III stars formed in the early universe could be significantly larger than hitherto thought. Secondly, the feedback by photo-ionization and photo-dissociation photons in the first objects is explored with radiation hydrodynamic simulations, and it is demonstrated that multiple stars can form in a 10^5M_sun halo. Thirdly, the fragmentation of an accretion disk around a primordial protostar is explored with photo-dissociation feedback. As a result, it is found that the photo-dissociation can reduce the mass accretion rate onto protostars. Also, protostars as small as 0.8M_sun may be ejected and evolve with kee** their mass, which might be detected as "real first stars" in the Galactic halo. Finally, state-of-the-art radiation hydrodynamic simulations are performed to investigate the internal ionization of first galaxies and the escape of ionizing photons. We find that UV feedback by forming massive stars enhances the escape fraction even in a halo as massive as > 6* 10^9M_sun, while it reduces the star formation rate significantly. This may have a momentous impact on the cosmic reionization.
△ Less
Submitted 29 October, 2012;
originally announced October 2012.
-
Perturbation of Baum-Bott residues
Authors:
Filippo Bracci,
Tatsuo Suwa
Abstract:
We prove that Baum-Bott residues vary continuously under smooth deformations of holomorphic foliations. This provides an effective way to compute residues.
We prove that Baum-Bott residues vary continuously under smooth deformations of holomorphic foliations. This provides an effective way to compute residues.
△ Less
Submitted 18 June, 2010;
originally announced June 2010.
-
Localization of Atiyah classes
Authors:
Marco Abate,
Filippo Bracci,
Tatsuo Suwa,
Francesca Tovena
Abstract:
We construct Atiyah classes using debar-closed forms. Under this point of view and using the Cech-Dolbeault cohomology, we provide several types of results about vanishing and localization of Atiyah classes and applications.
We construct Atiyah classes using debar-closed forms. Under this point of view and using the Cech-Dolbeault cohomology, we provide several types of results about vanishing and localization of Atiyah classes and applications.
△ Less
Submitted 10 May, 2010;
originally announced May 2010.
-
The Stellar Abundances for Galactic Archeology (SAGA) Database - Compilation of the Characteristics of Known Extremely Metal-Poor Stars
Authors:
Takuma Suda,
Yutaka Katsuta,
Shimako Yamada,
Tamon Suwa,
Chikako Ishizuka,
Yutaka Komiya,
Kazuo Sorai,
Masayuki Aikawa,
Masayuki Y. Fujimoto
Abstract:
We describe the construction of a database of extremely metal-poor (EMP) stars in the Galactic halo whose elemental abundances have been determined. Our database contains detailed elemental abundances, reported equivalent widths, atmospheric parameters, photometry, and binarity status, compiled from papers in the recent literature that report studies of EMP halo stars with [Fe/H] < -2.5. The com…
▽ More
We describe the construction of a database of extremely metal-poor (EMP) stars in the Galactic halo whose elemental abundances have been determined. Our database contains detailed elemental abundances, reported equivalent widths, atmospheric parameters, photometry, and binarity status, compiled from papers in the recent literature that report studies of EMP halo stars with [Fe/H] < -2.5. The compilation procedures for this database have been designed to assemble the data effectively from electronic tables available from online journals. We have also developed a data retrieval system that enables data searches by various criteria, and permits the user to explore relationships between the stored variables graphically. Currently, our sample includes 1212 unique stars (many of which are studied by more than one group) with more than 15000 individual reported elemental abundances, covering all of the relevant papers published by December 2007. We discuss the global characteristics of the present database, as revealed by the EMP stars observed to date. For stars with [Fe/H] < -2.5, the number of giants with reported abundances is larger than that of dwarfs by a factor of two. The fraction of carbon-rich stars (among the sample for which the carbon abundance is reported) amount to ~30 % for [Fe/H] < -2.5. We find that known binaries exhibit different distributions of orbital period, according to whether they are giants or dwarfs, and also as a function of metallicity, although the total sample of such stars is still quite small.
△ Less
Submitted 28 June, 2008; v1 submitted 23 June, 2008;
originally announced June 2008.
-
Proto-clusters in the Lambda CDM Universe
Authors:
Tamon Suwa,
Asao Habe,
Kohji Yoshikawa
Abstract:
We compare the highly clustered populations of very high redshift galaxies with proto-clusters identified numerically in a standard $Λ$CDM universe ($Ω_0=0.3, λ_0=0.7$) simulation. We evolve 256^3 dark matter particles in a comoving box of side 150h^{-1}Mpc. By the present day there are 63 cluster sized objects of mass in excess of 10^{14}h^{-1}Mo in this box. We trace these clusters back to hig…
▽ More
We compare the highly clustered populations of very high redshift galaxies with proto-clusters identified numerically in a standard $Λ$CDM universe ($Ω_0=0.3, λ_0=0.7$) simulation. We evolve 256^3 dark matter particles in a comoving box of side 150h^{-1}Mpc. By the present day there are 63 cluster sized objects of mass in excess of 10^{14}h^{-1}Mo in this box. We trace these clusters back to higher redshift finding that their progenitors at z=4--5 are extended regions of typically 20--40 Mpc (comoving) in size, with dark halos of mass in excess of 10^{12}h^{-1}Mo and are overdense by typically 1.3--13 times the cosmological mean density. Comparison with the observation of Lyman alpha emitting (LAEs) galaxies at z=4.86 and at z=4.1 indicates that the observed excess clustering is consistent with that expected for a proto-cluster region if LAEs typically correspond to massive dark halos of more than 10^{12}h^{-1}Mo. We give a brief discussion on the relation between high redshift concentration of massive dark halos and present day rich clusters of galaxies.
△ Less
Submitted 15 June, 2006; v1 submitted 13 June, 2006;
originally announced June 2006.
-
A proof of the Proportionality Theorem
Authors:
J. -P. Brasselet,
J. Seade,
T. Suwa
Abstract:
The purpose of this note is to give a direct and self-contained proof of the Proportionality Theorem of Brasselet-Schwartz. This theorem relates the Schwartz indices of frames obtained by radial extension on Whitney stratified analytic spaces, with the obstructions to extending the canonical lifting of these frames as non-zero sections of the corresponding Nash bundle.
The purpose of this note is to give a direct and self-contained proof of the Proportionality Theorem of Brasselet-Schwartz. This theorem relates the Schwartz indices of frames obtained by radial extension on Whitney stratified analytic spaces, with the obstructions to extending the canonical lifting of these frames as non-zero sections of the corresponding Nash bundle.
△ Less
Submitted 24 November, 2005;
originally announced November 2005.
-
Proportionality of Indices of 1-Forms on Singular Varieties
Authors:
J. -P. Brasselet,
J. Seade,
T. Suwa
Abstract:
This article is about 1-forms on complex analytic varieties and it is particularly relevant when the variety has non-isolated singularities. We first show how the radial extension technique of M.-H. Schwartz can be adapted to 1-forms, allowing us to define the Schwartz index of 1-forms with isolated singularities on singular varieties. Then we see how MacPherson's local Euler obstruction, adapte…
▽ More
This article is about 1-forms on complex analytic varieties and it is particularly relevant when the variety has non-isolated singularities. We first show how the radial extension technique of M.-H. Schwartz can be adapted to 1-forms, allowing us to define the Schwartz index of 1-forms with isolated singularities on singular varieties. Then we see how MacPherson's local Euler obstruction, adapted to 1-forms in general, relates to the Schwartz index, thus obtaining a proportionality theorem for these indices analogous to the one for vector fields. We also extend the definition of the GSV-index to 1-forms with isolated singularities on (local) complete intersections with non-isolated singularities that satisfy the Thom $a_f$-condition, thus extending to this setting the index introduced by Ebeling and Gusein-Zade. When the form is the differential of a holomorphic function $h$, this index measures the number of critical points of a generic perturbation of $h$ on a local Milnor fiber. We prove the corresponding proportionality theorem for this index.
These constructions can be made global on compact varieties and provide an alternative way for studying the various characteristic classes of singular varities and the relations amongst them.
△ Less
Submitted 11 May, 2005; v1 submitted 21 March, 2005;
originally announced March 2005.
-
Cluster Morphologies as a Test of Different Cosmological Models
Authors:
Tamon Suwa,
Asao Habe,
Kohji Yoshikawa,
Takashi Okamoto
Abstract:
We investigate how cluster morphology is affected by the cosmological constant in low-density universes. Using high-resolution cosmological N-body/SPH simulations of flat (Ω_0 = 0.3, λ_0 = 0.7, ΛCDM) and open (Ω_0 = 0.3, λ_0 = 0, OCDM) cold dark matter universes, we calculate statistical indicators to quantify the irregularity of the cluster morphologies. We study axial ratios, center shifts, cl…
▽ More
We investigate how cluster morphology is affected by the cosmological constant in low-density universes. Using high-resolution cosmological N-body/SPH simulations of flat (Ω_0 = 0.3, λ_0 = 0.7, ΛCDM) and open (Ω_0 = 0.3, λ_0 = 0, OCDM) cold dark matter universes, we calculate statistical indicators to quantify the irregularity of the cluster morphologies. We study axial ratios, center shifts, cluster clumpiness, and multipole moment power ratios as indicators for the simulated clusters at z=0 and 0.5. Some of these indicators are calculated for both the X-ray surface brightness and projected mass distributions. In ΛCDM all these indicators tend to be larger than those in OCDM at z=0. This result is consistent with the analytical prediction of Richstone, Loeb, & Turner, that is, clusters in ΛCDM are formed later than in OCDM, and have more substructure at z=0. We make a Kolmogorov-Smirnov test on each indicator for these two models. We then find that the results for the multipole moment power ratios and the center shifts for the X-ray surface brightness are under the significance level (5%). We results also show that these two cosmological models can be distinguished more clearly at z=0 than z = 0.5 by these indicators.
△ Less
Submitted 9 January, 2003; v1 submitted 19 August, 2001;
originally announced August 2001.
