Origin of a tiny red pepper corn

I was finally able to get info from the restaurant: the savory brittle recipe has pink peppercorns! Further reading tells me that a pink peppercorn is actually a dried berry of the shrub Schinus molle, commonly known as the Peruvian peppertree". Thanks to all who responded. I can't wait to try the recipe!

Maybe they were tamarillo or summer tomato seeds?
http://summertomato.com/what-is-a-tamarillo/

It was red, very flat, a bit smaller than a grain of rice and texture of a seed. I guess I should have said seed rather than peppercorn.

Peppercorn or seed? Pepper is what sent Cristoforo Colombo sailing across the Atlantic looking for the back way to India. What type of cuisine was being served in the restaurant? "Red peppercorn" is kind of a vague description because there are different plants and cultivars depending on the country or continent. The origin of the term "pepper" comes from sanskrit and the spice trade with India was one of the most important areas of commerce going back to the Middle Ages.

This is a tough one -- I might recommend getting in contact with the restaurant again after the fact. You may get lucky and get an exact name. Another resource I can offer is this Kitchen Confidence all about pepper: http://food52.com/blog/3625_all_about_pepper

Other than that, it's a little hard to tell without a picture. Perhaps we have other pepper experts who can chime in!