(23/MAY/13)
λ > 4
(Joint project with Günter Rote from Freie
Universität Berlin and my M.Sc. student Mira Shalah.)
On Sunday, May 19, 2013, 20:25 Germany time (21:25 Israel time), the
supercomputer DL980 of the "HPI (Hasso Plattner Institut) Future
SOC Lab" in Potsdam, Germany, computed the new lower bound 4.0009... on
λ, the asymptotic growth constant of polyominoes on the planar
square lattice.
(Specifically, this number is a lower bound on λ27,
the growth constant of polyominoes on a twisted cylinder of width 27,
which itself is a lower bound on λ.)
Our program continued to run for a few more days, resulting in the final
lower bound 4.002537727 obtained today
around 17:30.
The computation was peformed on 64 cores (128 virtual cores) with a total
of 2 TB of main memory (RAM).
The fact that we performed the computations with 32-digit
floating-point numbers does not imply that numerical
errors can be too large to nullify our result.
Our computed number is an eigenvalue of a huge integer matrix, for which
we have a witness vector that is a good approximation of the eigenvector
corresponding to λ27.
This vector proves rigorous bounds on the true eigenvalue with numerical
errors whose magnitude is comparable with the accuracy of floating-point
numbers, much smaller than the gap we opened above 4.
=====================================================================
(23/NOV/12)
Once again, the Technion CS team, Idan Elad, Olivier Hofman, and Mike Harris,
with its coach Noa Korner and under my virtual supervision, performed nicely,
winning this time a
bronze medal
(12th place) in the prestigious ACM/ICPC contest (Southwestern Europe
region) held in November 18, 2012 in Valencia, Spain.
(22/NOV/10)
The Technion CS team, Shahar Papini, Yaniv Sabo, and Carmi Grushko, with its
coach Kolman Vornovitsky and under my supervision, won a
gold medal
(2nd place) in the prestigious ACM/ICPC contest (Southwestern Europe
region) held in November 21, 2010 in Madrid, Spain.
(Shahar almost did not compete since he lost both his passport and his
contest badge. Worldwide efforts to restore both items were successful.)
(04/MAR/09)
The Technion awarded me the
Henri Taub prize for
academic excellence
for a few polyomino and polycube-related works.
(The background of the picture in the above link is completely unrelated to
the things I do. 8-)
Information for Prospective Graduate Students
Just want to be a CGGC student and then decide? Click
Here.
Would like to consider a thesis topic in Computational Geometry? Take my
Computational Geometry
course and send me a
message!
Here is a nice research problem for a thesis: Read
this paper (journal #26) and rethink about
the 3D case. Can it be improved to Ω(1/n³) by sharpening
the argument for the inner-most cylinder?
For perspective,
here is
(completely out of context!) how Eli O'Hana was quoted in Yediot Akhronot in
an interview in May 1999.
Major Interests
Computational geometry
Graph theory and combinatorics
Discrete mathematics
Geometric and solid modeling
Geometric algorithms for medical imaging
Geometric algorithms for computer graphics
Eyal Ackerman
(Ph.D., Computer Science, secondary advisor: R.Y. Pinter)
Counting problems for geometric structures:
Rectangulations, floorplans, and quasi-planar graphs
(dissertation;
defense held September 3, 2006;
now at Haifa University at Oranim, Israel) M.Sc. in Sciences obtained while passing the Ph.D.-candidacy exam in
the direct track, January 1, 2004
Amir Vaxman
(Ph.D., Computer Science)
General techniques for interpolation, reconstruction, and morphing of
polyhedral surfaces
(dissertation;
defense held April 3, 2011;
now at Vienna University of Technology, Austria)
Gadi Aleksandrowicz
(Ph.D., Computer Science)
Enumeration of lattice animals
(dissertation;
defense held July 17, 2011;
now at IBM Research Labs, Haifa, Israel) M.Sc. in Sciences obtained while passing the Ph.D.-candidacy exam in
the direct track, March 9, 2008
M.Sc.:
Vadim Makhervaks
(M.Sc., Mathematics, primary advisor: A. Bruckstein)
Image flows and one-liner graphical image representations
(thesis;
defense held November 5, 2002)
Daniel Brunstein
(M.Sc., Computer Science, secondary advisor: C. Gotsman)
Animating a camera for viewing a planar polygon
(thesis;
defense held June 18, 2003;
now at Intel, Haifa, Israel)
Vadim Rogol
(M.Sc., Electrical Engineering)
Maximizing the area of an axially-symmetric polygon inscribed by a simple
polygon
(thesis;
defense held June 30, 2003;
now at General Electric, Tirat Carmel, Israel)
Micha Moffie
(M.Sc., Computer Science)
Counting polyominoes in two and three dimensions
(thesis;
defense held December 31, 2003;
now at IBM Research Labs, Haifa, Israel)
Evgeny Yakersberg
(M.Sc., Computer Science)
Morphing between geometric shapes using straight-skeleton-based interpolation
(thesis;
defense held May 14, 2004;
now in Pattaya, Thailand)
Yuval Scharf
(M.Sc., Computer Science)
Covering points with a polygon
(thesis;
defense held September 27, 2004;
now in Mountain View, CA)
Aya Steiner
(M.Sc., Mathematics)
Matability of polygons
(thesis;
defense held February 28, 2005;
now in Haifa, Israel)
Alex Goryachev
(M.Sc., Computer Science)
Offset polygon and annulus placement problems
(thesis;
defense held November 16, 2005;
now at IBM Research Labs, Haifa, Israel)
Dimitry Kloper
(M.Sc., Computer Science, secondary advisor: with C. Gotsman)
Geometries and topologies of triangulations of point sets
(thesis;
defense held December 21, 2005;
now at Microsoft, Haifa, Israel)
David Hodorkovsky
(M.Sc., Mathematics)
2-point site Voronoi diagrams
(thesis;
defense held December 22, 2005;
now at Imagine, Natanya, Israel)
Jonathan Naor
(M.Sc., Computer Science) d-dimensional variants of Heilbronn's triangle problem
(thesis;
defense held January 8, 2006;
now at Elbit Systems, Haifa, Israel)
Avishay Sidlesky
(M.Sc., Computer Science, secondary advisor: C. Gotsman)
Polygon reconstruction from line cross-sections
(thesis;
defense held June 11, 2006)
Amir Vaxman
(M.Sc., Computer Science)
Nonlinear interpolation between slices
(thesis;
defense held November 22, 2006;
see also a Ph.D. entry)
Alina Shaikhet
(M.Sc., Computer Science)
The on-line Heilbronn's triangle problem in d dimensions
(thesis;
defense held June 20, 2007;
now in Ottawa, Canada)
Alik Zamansky
(M.Sc., Computer Science)
A framework for surface reconstruction of sparsely-sampled objects
(thesis;
defense held June 26, 2007;
now at BIRD Aerosystems, Herzlia, Israel)
Asenath Tal
(M.Sc., Computer Science)
Algorithms for Heilbronn's triangle problem
(thesis;
defense held April 19, 2009;
now at Red Bend Software, Hod HaSharon, Israel)
Shahar Tal
(M.Sc., Computer Science, The Open University)
Solving general lattice puzzles
(thesis;
defense held May 1, 2011;
now at HP, Israel)
Introduction to System Programming (234122): Fall 12-13,
Fall 11-12,
Fall 10-11,
Spring 09-10,
Spring 08-09,
Fall 07-08,
Fall 06-07,
Fall 05-06,
Fall 04-05,
Fall 03-04,
Fall 02-03,
Fall 01-02,
Fall 00-01,
Fall 99-00,
Fall 98-99,
Spring 94-95 (TAU),
Fall 94-95 (TAU),
Spring 93-94 (TAU)
Courses I Teach in the Current Semester (2012-13 I
תשע"ג)
The new Taub building, hosting the department of computer science:
(Click on the picture to see it full sized)
When the visibility is perfect, this is how the Hermon mountain
(60 miles [96.5 KM] from Haifa) is seen from my office:
(Click on the picture to see the full sight [Dani B., 07/01/2003],
and a new picture shot ten
years later [Mira S., 29/01/2013])
You are viewer number
(and counting) of this page.
Stop/Resume These Annoying Moving Colored Balloons!