## What is the best way to peel fruit?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

A mango made me wonder about this. (See also this question, which is in a similar spirit.)

Fix $L >0$ and a smooth body (possibly nonconvex—pears or bananas are fair game!) $B \subset \mathbb{R}^3$ (and assume w/l/o/g below that $L$ is sufficiently large since we can dilate $B$). For $\gamma:[0,L] \rightarrow \mathbb{R}^3$ smooth and parametrized by arclength and $\theta:[0,L] \rightarrow S^1$ smooth, let $k(\gamma, \theta,s)$ denote a copy of the unit interval centered at $\gamma(s)$ and in the plane orthogonal to $\dot \gamma(s)$, and at the angle $\theta(s)$ in that plane (we require $k(\gamma,\theta,0)$ to be tangent to $B$, say, and w/l/o/g that this sets $\theta(0) = 0$; angles in planes away from $s=0$ can be sensibly defined via parallel translation). Let `$K(\gamma,\theta):= \{ k(\gamma, \theta,s) \cap B : s \in [0,L] \} $`. If $K$ contains the boundary of a body $C_K \subset B$ then say that $(\gamma, \theta)$ is a peeling of $B$.

For $L$ fixed, is there an effective way to determine a peeling that minimizes $\mbox{vol}(B \backslash C_K)$?

Followup: can the best peeling of the unit ball for a given value of $L$ be explicitly constructed?

-

5
+1 for the charasmatic title and way of explaining the idea. – Joel David Hamkins May 28 2010 at 2:35

10
Unfortunately, as you might expect when peeling fruit, it's a messy problem. – Greg Kuperberg May 28 2010 at 3:09

2
Reminds me of a paper I spotted a couple of days ago: arxiv.org/abs/1005.4609 – Dan Piponi May 28 2010 at 3:50

2
The title is sexy but I got lost in line 3 of the mathematical description. Is there way to restate it in plane language without excessive notation? – Victor Protsak May 28 2010 at 6:45

2
@Victor: here is my interpretation of what the notation means: $k(\gamma,\theta,s)$ is describing the knife, where $\gamma$ is the movement of the center of the knife while $\theta$ is the rotation of it (I didn't understand why it is only allowed to rotate orthogonal to the motion of the center, is that sufficient?). You are allowed to just make a limited movement (L) and want to minimize the pulp you are cutting away. – Michael May 28 2010 at 9:10
show 8 more comments

## 2 Answers

If the path is allowed to be piecewise smooth (see the comments above), and the fruit is convex, then you can cover the surface with a large number of small patches, and use very short circular trajectories to peel each patch, roughly spinning the blade in place to remove the piece of peel. As the size of patches decreases, this will approach a perfect peel, even if the total length $L$ is chosen to be arbitrarily small. This is like peeling a fruit by bouncing it off a belt sander.

If the fruit is non-convex, we still approach a perfect peeling, as long as we allow $C_K$ to have more than one connected component.

This suggests that the problem is only interesting if you put a bound on the number of jumps.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

After a bit of thought I have a sketch of a very simple case. Suppose that $B$ is a 3-polytope; let `$B^*$` denote its dual and consider the graph $G$ associated to the 1-skeleton `$B^*_1$` of `$B^*$`. Now vertices of $G$ correspond to faces of $B$, and edges of $G$ correspond to adjacent faces of $B$. So if $G$ admits a Hamiltonian path then we can use it to get a (nearly?) optimal peeling for $L$ appropriate.

Google results for Hamiltonian circuits on 3-polytopes are here.

-

Thinking a bit further, it's not clear that the arclength cost incurred by a Hamiltonian path will be small; it might be more efficient to revisit already-peeled faces. So this casts the near-optimality into doubt. – Steve Huntsman May 28 2010 at 20:26
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 34, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9285886287689209, "perplexity_flag": "head"}