Welcome to Fractal Forums

Fractal Software => 3D Fractal Generation => Topic started by: JosLeys on December 05, 2012, 12:41:36 AM




Title: A 3D Kleinian group
Post by: JosLeys on December 05, 2012, 12:41:36 AM
Here is something I've been working on: calcs in Ultrafractal and data exported to Povray.
This uses 3D Moebius transformations consisting of quaternions instead of complex numbers.
A bit long to explain in detail here. I plan to publish an article on it within the next couple of months

See also a small movie here http://www.josleys.com/gfx/Indra3D002_01.mov (http://www.josleys.com/gfx/Indra3D002_01.mov) and http://www.josleys.com/gfx/Indra3D008_01.mov (http://www.josleys.com/gfx/Indra3D008_01.mov)


Title: Re: A 3D Kleinian group
Post by: Tglad on December 05, 2012, 02:49:46 AM
I think a 3d Mobius is equivalent to a combination of 3d translation, 3d rotation, scale and 3d inversion(+flip). i.e. the set of conformal transforms.

And you generate a limit set like so:
given two such transforms:
take a point, apply the two transforms on it, repeat on the resulting points.

Is this right?


Title: Re: A 3D Kleinian group
Post by: kram1032 on December 05, 2012, 09:03:33 AM
Pretty much, yes. Which is perfectly equivalent to Möbius transforms with quaternions, using only the imaginary parts.
Using the real part as well, you'll essentially get a 4D Möbius transform....

I like that spiny structure. Looks neat.


Title: Re: A 3D Kleinian group
Post by: JosLeys on December 05, 2012, 09:04:40 AM
Yes, but here there are three such transforms that move spheres around. Such a Moebius transform will take a sphere to another sphere.


Title: Re: A 3D Kleinian group
Post by: KRAFTWERK on December 05, 2012, 09:05:53 AM
Yes, this looks very Holy Grail:ish.

Very interesting work Jos!!!


Title: Re: A 3D Kleinian group
Post by: knighty on December 05, 2012, 11:42:32 AM
Wow! There are not many 3D quasi fuchsian renders out there. Especially those which have spirals.
How do you find the mobius transformations? Is there any recipe like those described in indra pearles book?


Title: Re: A 3D Kleinian group
Post by: JosLeys on December 05, 2012, 11:54:18 AM
Some of my wisdom comes from this article :http://arxiv.org/abs/0707.2427 (http://arxiv.org/abs/0707.2427)
This states the generators in geometric form : see expression 6.1 on page 29.


Title: Re: A 3D Kleinian group
Post by: knighty on December 06, 2012, 08:06:53 PM
Thank you! Now I have a terrible headache... Just kidding, but those math articles make me feel stupid.


Title: Re: A 3D Kleinian group
Post by: Tglad on December 07, 2012, 12:08:15 AM
Nice work Jos Leys.. do you have a distance estimate for them?
Here are some renders from the paper... notice the shape of the top left one.
(It is worth saying that these are in no way related to a 3d Mandelbrot set (if one existed). They are the 3d version of 2d Kleinian group fractals. The Mandelbrot is a completely different sort of transformation).
 


Title: Re: A 3D Kleinian group
Post by: JosLeys on December 07, 2012, 09:52:31 AM
No I don't have a DE (and I wish I had !)
The way i draw them is to calculate the radii and position of spheres in the limit set, by transforming a base sphere, that I know is part of the set, by 'words' in the three generators and their inverses.
For a DE scheme, what one could do is to take a point on a ray, transform it by a set of words in the generators, and look at the closest distance to the base sphere. However, to get any sort of detail, we are talking easily about half a million words or more. The image below has 472.000 spheres, so to do this with DE, one would need to do this large number of calcs a couple of times on every ray, not to mention adjacent rays to find a normal...

...an all this has nothing to do with any attempt at a 3D Mandelbrot set!


Title: Re: A 3D Kleinian group
Post by: lycium on December 07, 2012, 05:27:56 PM
~400k spheres is nothing for a modern rendering system though!

You could render some really good looking images with Indigo, if you saved out some XML for those spheres, eg:

   <sphere>
      <center>-0.5 0.0 0.31</center>
      <radius>0.3</radius>

      <material_name>simple2</material_name>
   </sphere>


If you'd like the full example XML for editing, you can download it here: https://dl.dropbox.com/u/3038174/simple_test.igs


Title: Re: A 3D Kleinian group
Post by: JosLeys on December 07, 2012, 05:32:40 PM
Lycium, I'm afraid I don't understand what you mean...


Title: Re: A 3D Kleinian group
Post by: lycium on December 07, 2012, 05:35:48 PM
For these sphere collections, you can use a much better renderer than POV-ray :) Indigo is very physically accurate, produces exceptionally high image quality, and I expect it will render some spheres really, really fast!

If you'd like help rendering at high resolution, I'd be happy to do this for you on our office quadcores :D


Title: Re: A 3D Kleinian group
Post by: knighty on December 07, 2012, 05:59:38 PM
When there is no loxodromic transform in the generator set, it's already possible to have a DE or at least an implicit representation: The set of generators can be "factored" into a set of reflexions and inversions for which the limts set is the same. In this case one can use Mandelbrot method to get an implicit representation.

Vladimir Bulatov is using fragmentarium to render such reflexion groups limit sets. He must be using the non DE renderer  ::).(http://www.youtube.com/user/bulatov2011)

It's much more difficult in the case where there are loxodromic generators. I believe that it's possible to obtain an implicit representation and a DE. The method I'm investigating needs three ingredients:
1- Determination of a fundamental domain ---> looks very difficult and involved.
2- An "escaping" algorithm that given a fundamental domain and a point finds a transformation sequence (an orbit) that escapes, that ends up inside the fundamental domain. This seems complicated but it is maybe the simplest part. It's even (I believe) possible to find an iterative algorithm instead of a recursive one.
3- A method to find some part of the convex hull of the limit set---> Well I really don't know how to obtain it. There is a slight simplification in the "Maaskit slice": The limit set is composed of circles (spheres in 3D) which are part of the convex hull boundary.

The only information on the subject that I could find are math articles. As such they are quite involved and mainly intended for mathematician comunity. They are not "eazily" (and I don't mean without effort) accessible to non mathematician. That explain why I couldn't hide my frustration in my previous post  :fiery:.

Anyway, That would be a good collaborative project.


Title: Re: A 3D Kleinian group
Post by: JosLeys on December 07, 2012, 06:53:37 PM
To Lycium : I have no intention to pay close to $600 for Indigo when Povray is free!
However if you could get us some complimentary copies, we could all try it out!


Title: Re: A 3D Kleinian group
Post by: lycium on December 07, 2012, 06:56:25 PM
Sounds a bit like saying "why pay for a car when walking is free"  :o POV-ray makes absolutely horrendous quality and unrealistic images, and is sloooooow...

Indigo is free to use at <= 0.7 megapixels, and as I offered you in a note, if you'd like to render some prints (commercial use) at higher resolution I'd happily do this for you, if you'd like :) I sent it to you in note because I don't want to spam too much here about Indigo, unrelated to the topic.


Title: Re: A 3D Kleinian group
Post by: JosLeys on December 07, 2012, 07:08:38 PM
To Lycium:
No offense intended, but :
The image below consists of nothing else but 106,000 spheres.
Povray takes 3m18secs to render this at 768*1024 pixels (using radiosity).
Can Indigo do better?


Title: Re: A 3D Kleinian group
Post by: lycium on December 07, 2012, 07:12:08 PM
Undoubtedly; POV-ray's "radiosity" also pales in comparison to fully accurate, spectral Global Illumination.

My suggestion here is with the view to make some really cutting-edge 3D fractal art. It doesn't have to be Indigo of course, there's always that other renderer I worked on, LuxRender!


Title: Re: A 3D Kleinian group
Post by: DarkBeam on December 14, 2012, 11:13:37 PM
progress? :)


Title: Re: A 3D Kleinian group
Post by: kram1032 on December 14, 2012, 11:26:53 PM
since we're talking about photorealism already... How about physical realism? Get the 3D printing going :D (Though you'll probably need to reduce the details a bit, since the fragile parts won't work well with 3D printing as it stands today)


Title: Re: A 3D Kleinian group
Post by: JosLeys on December 15, 2012, 10:28:43 AM
Does not 3D printing require a mesh as input?
I wonder how one can convert a colection of 700,000 spheres into a mesh?
Anyway, the detail of these objects is intriguiging, and it would be a pity to remove some of it.


Title: Re: A 3D Kleinian group
Post by: DarkBeam on December 15, 2012, 12:11:37 PM
Woow, it closely reminds some images of ABox, but there are some differences because the spheres are a bit differently arranged... :beer:


Title: Re: A 3D Kleinian group
Post by: JosLeys on January 05, 2013, 09:58:41 PM
I now have a small collection of such images at http://www.josleys.com/show_gallery.php?galid=346.
The article describing the technique is written (in French!), and should be published in about a month.
Contact me privately if you would like to see it before that.


Title: Re: A 3D Kleinian group
Post by: JosLeys on February 14, 2013, 09:56:47 AM
The article on the subject is here http://images.math.cnrs.fr/Les-ensembles-limites-de-groupes.html (http://images.math.cnrs.fr/Les-ensembles-limites-de-groupes.html).

Google translate should let you get the gist of it, but any silly translations are not my doing!


Title: Re: A 3D Kleinian group
Post by: Tglad on February 14, 2013, 10:34:54 AM
Superb  :beer:  ;D


Title: Re: A 3D Kleinian group
Post by: DarkBeam on February 14, 2013, 08:14:00 PM
Epic article :beer:


Title: Re: A 3D Kleinian group
Post by: ericr on February 23, 2013, 10:05:28 AM
it is possibe to see only 1 image Abox (on  mandelbulb 3d !) like this please !
eric
sorry if a have bad understand