Organizing Committee
Abstract

Real algebraic (and semi-algebraic) geometry studies subsets of R^n defined by a finite number of polynomial equalities and inequalities. Such sets occur ubiquitously in practice both inside and outside of mathematics. While being easy to define, semi-algebraic sets can be complicated topologically, which restricts the application of many algorithms. In recent years, there has been progress in proving much stronger results – both quantitative and algorithmic -- when the problem under consideration involves the invariance under some group action.

In this workshop, we plan to focus on two situations where this phenomenon happens.

The first one is the statistical study of the topology of random real algebraic varieties as well as semi-algebraic sets, where the polynomials defining these objects are picked from a distribution invariant under the action of a certain group (usually the orthogonal group) acting on the space of variables. The behavior of the set of zeros (or more generally level sets) of such random polynomial systems is an extremely active topic with deep connections with classical enumerative problems in algebraic geometry (over real as well as complex fields), theoretical computer science, statistical physics, and machine learning.

The second one is the deterministic behavior of the topology of semi-algebraic sets admitting a group action (say a finite reflection group or a Lie group). The cohomology modules of such symmetric semi-algebraic sets then acquire the structure of a finite-dimensional representation of the corresponding group. This added structure is extremely useful in studying the topology as well as developing algorithms for computing topological invariants of such sets. The study of symmetric semi-algebraic sets has promising connections with several other areas, including representational and homological stability, sums-of-squares proofs and lower-bound questions in theoretical computer science.

Image for "Symmetry, Randomness, and Computations in Real Algebraic Geometry"

Confirmed Speakers & Participants

  • Speaker
  • Poster Presenter
  • Attendee
  • Virtual Attendee

Application Information

ICERM welcomes applications from faculty, postdocs, graduate students, industry scientists, and other researchers who wish to participate. Some funding may be available for travel and lodging. Graduate students who apply must have their advisor submit a statement of support in order to be considered.

Apply with Cube

Your Visit to ICERM

ICERM Facilities
ICERM is located on the 10th & 11th floors of 121 South Main Street in Providence, Rhode Island. ICERM's business hours are 8:30am - 5:00pm during this event. See our facilities page for more info about ICERM and Brown's available facilities.
Traveling to ICERM
ICERM is located at Brown University in Providence, Rhode Island. Providence's T.F. Green Airport (15 minutes south) and Boston's Logan Airport (1 hour north) are the closest airports. Providence is also on Amtrak's Northeast Corridor. In-depth directions and transportation information are available on our travel page.
Lodging
To secure ICERM's preferred hotel rate at the Hampton Inn & Suites Providence Downtown, use this link. ICERM regularly works with two additional area hotels for short visits. The Graduate Hotel and Hilton Garden Inn both have discounted rates available. Contact housing@icerm.brown.edu before booking outside of the preferred rate or if you would like to book alternate accommodations.
The only way ICERM participants should book a room is through the hotel reservation links located on this page or through links emailed to them from an ICERM email address (first_last@icerm.brown.edu). ICERM never works with any conference booking vendors and never collects credit card information.
Childcare/Schools
Those traveling with family who are interested in information about childcare and/or schools should contact housing@icerm.brown.edu.
Technology Resources
Wireless internet access ("Brown-Guest") and wireless printing is available for all ICERM visitors. Eduroam is available for members of participating institutions. Thin clients in all offices and common areas provide open access to a web browser, SSH terminal, and printing capability. See our Technology Resources page for setup instructions and to learn about all available technology.
Discrimination and Harassment Policy
ICERM is committed to creating a safe, professional, and welcoming environment that benefits from the diversity and experiences of all its participants. Both the Brown University "Code of Conduct" and the "Discrimination and Workplace Harassment Policy" apply to all ICERM participants and staff. Participants with concerns or requests for assistance on a discrimination or harassment issue should contact the ICERM Director or Assistant Director; they are the responsible employees at ICERM under this policy.
Exploring Providence
Providence's world-renowned culinary scene provides ample options for lunch and dinner. Neighborhoods near campus, including College Hill Historic District, have many local attractions. Check out the map on our Explore Providence page to see what's near ICERM.

Visa Information

Contact visa@icerm.brown.edu for assistance.

Eligible to be reimbursed
B-1 or Visa Waiver Business (WB)
Ineligible to be reimbursed
B-2 or Visa Waiver Tourist (WT)
Already in the US?

F-1 and J-1 not sponsored by ICERM: need to obtain a letter approving reimbursement from the International Office of your home institution PRIOR to travel.

H-1B holders do not need letter of approval.

All other visas: alert ICERM staff immediately about your situation.

ICERM does not reimburse visa fees. This chart is to inform visitors whether the visa they enter the US on allows them to receive reimbursement for the items outlined in their invitation letter.

Financial Support

ORCID iD
As this program is funded by the National Science Foundation (NSF), ICERM is required to collect your ORCID iD if you are receiving funding to attend this program. Be sure to add your ORCID iD to your Cube profile as soon as possible to avoid delaying your reimbursement.
Acceptable Costs
  • 1 roundtrip between your home institute and ICERM
  • Flights on U.S. or E.U. airlines – economy class to either Providence airport (PVD) or Boston airport (BOS)
  • Ground Transportation to and from airports and ICERM.
Unacceptable Costs
  • Flights on non-U.S. or non-E.U. airlines
  • Flights on U.K. airlines
  • Seats in economy plus, business class, or first class
  • Change ticket fees of any kind
  • Multi-use bus passes
  • Meals or incidentals
Advance Approval Required
  • Personal car travel to ICERM from outside New England
  • Multiple-destination plane ticket; does not include layovers to reach ICERM
  • Arriving or departing from ICERM more than a day before or day after the program
  • Multiple trips to ICERM
  • Rental car to/from ICERM
  • Flights on a Swiss, Japanese, or Australian airlines
  • Arriving or departing from airport other than PVD/BOS or home institution's local airport
  • 2 one-way plane tickets to create a roundtrip (often purchased from Expedia, Orbitz, etc.)
Reimbursement Request Form

https://icerm.brown.edu/money/

Refer to the back of your ID badge for more information. Checklists are available at the front desk.

Reimbursement Tips
  • Scanned original receipts are required for all expenses
  • Airfare receipt must show full itinerary and payment
  • ICERM does not offer per diem or meal reimbursement
  • Allowable mileage is reimbursed at prevailing IRS Business Rate and trip documented via pdf of Google Maps result
  • Keep all documentation until you receive your reimbursement!
Reimbursement Timing

6 - 8 weeks after all documentation is sent to ICERM. All reimbursement requests are reviewed by numerous central offices at Brown who may request additional documentation.

Reimbursement Deadline

Submissions must be received within 30 days of ICERM departure to avoid applicable taxes. Submissions after thirty days will incur applicable taxes. No submissions are accepted more than six months after the program end.