There is a newer version of this record available.

Dataset Open Access

An approximation of the spectral gap for the Laplace operator on SAut(𝔽₅)

Kaluba, Marek; Nowak, Piotr W.; Ozawa, Narutaka


JSON-LD (schema.org) Export

{
  "description": "<p>This is the dataset accompanying&nbsp;<em>Aut(\ud835\udd3d\u2085) has property (T)</em> paper (https://arxiv.org/abs/1712.07167). See Section 4 thereof for a detailed description of the content of the included files:</p>\n\n<blockquote>\n<p>tar --list -f ./oSAutF5_r2.tar.xz</p>\n\n<p>oSAutF5_r2/<br>\noSAutF5_r2/delta.jld<br>\noSAutF5_r2/orbits.jld<br>\noSAutF5_r2/preps.jld<br>\noSAutF5_r2/U_pis.jld<br>\noSAutF5_r2/pm.jld<br>\noSAutF5_r2/1.2/<br>\noSAutF5_r2/1.2/full_2017-11-27T20:02:27.253.log<br>\noSAutF5_r2/1.2/SDPmatrix.jld<br>\noSAutF5_r2/1.2/solver_2017-11-27T20:05:39.134.log<br>\noSAutF5_r2/1.2/lambda.jld</p>\n</blockquote>\n\n<p>To replicate computation of the spectral gap clone <em>GroupsWithPropertyT</em> repository and checkout the <em>1712.07167</em> branch:</p>\n\n<blockquote>\n<p>git clone https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT.git<br>\ncd ./GroupsWithPropertyT<br>\ngit checkout 1712.07167</p>\n</blockquote>\n\n<p>Then unpack the content of <em>oSAutF5_r2.tar.xz</em> in <em>GroupsWithPropertyT</em> folder.</p>\n\n<p>You need <em>julia-0.6. </em>In <em>julia</em>s REPL run</p>\n\n<blockquote>\n<p>Pkg.add(&quot;ArgParse&quot;)<br>\nPkg.add(&quot;Nemo&quot;)<br>\nPkg.clone(&quot;https://git.wmi.amu.edu.pl/kalmar/Groups.jl.git&quot;)<br>\nPkg.checkout(&quot;Groups&quot;, &quot;1712.07167&quot;)<br>\nPkg.clone(&quot;https://git.wmi.amu.edu.pl/kalmar/GroupRings.jl.git&quot;)<br>\nPkg.checkout(&quot;GroupRings&quot;, &quot;1712.07167&quot;)<br>\nPkg.clone(&quot;https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl.git&quot;)<br>\nPkg.checkout(&quot;PropertyT&quot;, &quot;1712.07167&quot;)<br>\nPkg.checkout(&quot;SCS&quot;)<br>\nPkg.build(&quot;SCS&quot;)</p>\n</blockquote>\n\n<p>Finally, to verify that the Laplace operator on <em>SAut(\ud835\udd3d\u2085)</em> (associated to the standard generating set) has spectral gap of at least 1.2 run</p>\n\n<blockquote>\n<p>julia AutFN_orbit.jl -N 5 --upper-bound=1.2</p>\n</blockquote>\n\n<p>If You want to generate the multiplication table and other files on Your own delete all <code>*.jld</code> files from the <code>oSAutF5_r2</code> folder (but the ones in <code>1.2</code> folder) and run the same command again. Note: You need at least <code>32</code>GB of RAM and spare <code>24</code>h of Your CPU.</p>\n\n<p>This research was supported in part by PL-Grid Infrastructure.</p>", 
  "license": "http://creativecommons.org/licenses/by-sa/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "Adam Mickiewicz University, Pozna\u0144, Poland", 
      "@id": "https://orcid.org/0000-0002-8777-8223", 
      "@type": "Person", 
      "name": "Kaluba, Marek"
    }, 
    {
      "affiliation": "Institute of Mathematics of the Polish Academy of Sciences, Warsaw, Poland", 
      "@id": "https://orcid.org/0000-0002-6519-004X", 
      "@type": "Person", 
      "name": "Nowak, Piotr W."
    }, 
    {
      "affiliation": "Research Institute for Mathematical Sciences, Kyoto, Japan", 
      "@type": "Person", 
      "name": "Ozawa, Narutaka"
    }
  ], 
  "url": "https://zenodo.org/record/1133441", 
  "datePublished": "2017-12-19", 
  "keywords": [
    "spectral gap", 
    "Laplace operator", 
    "SAut(F5)", 
    "property (T)", 
    "semidefinite optimization"
  ], 
  "version": "1.2", 
  "isPartOf": [
    {
      "@id": "https://arxiv.org/abs/arXiv:1712.07167", 
      "@type": "CreativeWork"
    }
  ], 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/a2804fa0-f105-4beb-8a6d-8ae9a845e005/oSAutF5_r2.tar.xz", 
      "@type": "DataDownload", 
      "fileFormat": "xz"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.1133441", 
  "@id": "https://doi.org/10.5281/zenodo.1133441", 
  "@type": "Dataset", 
  "name": "An approximation of the spectral gap for the Laplace operator on SAut(\ud835\udd3d\u2085)"
}
167
22
views
downloads
All versions This version
Views 16767
Downloads 226
Data volume 2.0 GB563.5 MB
Unique views 12666
Unique downloads 185

Share

Cite as