Source author record

Rustum Choksi

Rustum Choksi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2026arXiv

Computer-Assisted Proofs for Geometric Optimization: From Crystallization to Carbon Nanotubes

We present a framework based on computer-assisted proofs that turns standard geometry optimization simulations for atomistic structures into mathematical proofs. Starting from a numerically computed approximation of a local minimizer or saddle point, we use validated numerical computations to prove the existence of a critical point of the potential energy close to this approximation. We demonstrate this framework in two settings. In the first, we study capped carbon nanotubes modeled as minimizers of carbon interatomic potentials (harmonic, Tersoff, and a Huber potential) and obtain proven bounds on tube diameter, bond lengths, and bond angles. In particular, we show that caps induce diameter oscillations along the tube. As a second application, we consider a finite Lennard-Jones crystal in a face-centered cubic (fcc) lattice and provide computer-proofs of a local minimizer representing the perfect crystal, a local minimizer with a single vacancy defect, and a saddle point that connects two single-vacancy configurations on the energy landscape.

preprint2021arXiv

Microscopic Patterns in the 2D Phase-Field-Crystal Model

Using the recently developed theory of rigorously validated numerics, we address the Phase-Field-Crystal (PFC) model at the microscopic (atomistic) level. We show the existence of critical points and local minimizers associated with "classical" candidates, grain boundaries, and localized patterns. We further address the dynamical relationships between the observed patterns for fixed parameters and across parameter space, then formulate several conjectures on the dynamical connections (or orbits) between steady states.

preprint2020arXiv

Anisotropic liquid drop models

We introduce and study certain variants of Gamow's liquid drop model in which an anisotropic surface energy replaces the perimeter. After existence and nonexistence results are established, the shape of minimizers is analyzed. Under suitable regularity and ellipticity assumptions on the surface tension, Wulff shapes are minimizers in this problem if and only if the surface energy is isotropic. In sharp contrast, Wulff shapes are the unique minimizers for certain crystalline surface tensions. We also introduce and study several related liquid drop models with anisotropic repulsion for which the Wulff shape is the minimizer in the small mass regime.

preprint2020arXiv

On the Strong Attraction Limit for a Class of Nonlocal Interaction Energies

This note concerns the problem of minimizing a certain family of non-local energy functionals over measures on $\mathbb{R}^n$, subject to a mass constraint, in a strong attraction limit. In these problems, the total energy is an integral over pair interactions of attractive-repulsive type. The interaction kernel is a sum of competing power law potentials with attractive powers $α\in (0, \infty)$ and repulsive powers associated with Riesz potentials. The strong attraction limit $α\to \infty$ is addressed via Gamma-convergence, and minimizers of the limit are characterized in terms of an isodiametric capacity problem. We also provide evidence for symmetry-breaking in high dimensions.

preprint2019arXiv

Statistics of grain growth: experiment versus the Phase-Field-Crystal and Mullins models

We present a detailed comparison of multiple statistical grain metrics for previously reported experimental thin film samples of aluminum with 2D simulations obtained from the Phase-Field-Crystal (PFC) model and a Mullins grain boundary motion model. For all these results, ``universality'' is observed with respect to the dynamics and initial conditions. This comparison reveals that PFC reproduces geometric metrics such as area and perimeter, but does not capture grain shape and topology as accurately. Similarly, the Mullins model captures the number of sides distribution quite well but not other metrics. Our collective comparison of such measurements underscores the critical importance of the use of multiple metrics for comparison of experiments with all present and future models of grain growth in polycrystalline materials.

preprint2016arXiv

Nonlocal Shape Optimization via Interactions of Attractive and Repulsive Potentials

We consider a class of nonlocal shape optimization problems for sets of fixed mass where the energy functional is given by an attractive/repulsive interaction potential in power-law form. We find that the existence of minimizers of this shape optimization problem depends crucially on the value of the mass. Our results include existence theorems for large mass and nonexistence theorems for small mass in the class where the attractive part of the potential is quadratic. In particular, for the case where the repulsion is given by the Newtonian potential, we prove that there is a critical value for the mass, above which balls are the unique minimizers, and below which minimizers fail to exist. The proofs rely on a relaxation of the variational problem to bounded densities, and recent progress on nonlocal obstacle problems.

preprint2012arXiv

Global minimizers for axisymmetric multiphase membranes

We consider a Canham-Helfrich-type variational problem defined over closed surfaces enclosing a fixed volume and having fixed surface area. The problem models the shape of multiphase biomembranes. It consists of minimizing the sum of the Canham-Helfrich energy, in which the bending rigidities and spontaneous curvatures are now phase-dependent, and a line tension penalization for the phase interfaces. By restricting attention to axisymmetric surfaces and phase distributions, we extend our previous results for a single phase (arXiv:1202.1979) and prove existence of a global minimizer.

preprint2012arXiv

Global minimizers for the doubly-constrained Helfrich energy: the axisymmetric case

Since the pioneering work of Canham and Helfrich, variational formulations involving curvature-dependent functionals, like the classical Willmore functional, have proven useful for shape analysis of biomembranes. We address minimizers of the Canham-Helfrich functional defined over closed surfaces enclosing a fixed volume and having fixed surface area. By restricting attention to axisymmetric surfaces, we prove the existence of global minimizers.

preprint2011arXiv

2D Phase Diagram for Minimizers of a Cahn-Hilliard Functional with Long-Range Interactions

This paper presents a detailed asymptotic and numerical investigation of the phase diagram for global minimizers to a Cahn-Hilliard functional with long-range interactions in two space dimensions. We introduce a small parameter measuring perturbation from the minimal orderdisorder transition, and derive asymptotic estimates for stability regions as the parameter tends to zero. Based upon the H^-1 gradient ow, we introduce a hybrid numerical method to navigate through the complex energy landscape and access the ground state of the functional. We use this method to numerically compute the phase diagram. Our asymptotic predictions show surprisingly good agreement with our numerical results.

preprint2010arXiv

Small Volume Fraction Limit of the Diblock Copolymer Problem: II. Diffuse-Interface Functional

We present the second of two articles on the small volume fraction limit of a nonlocal Cahn-Hilliard functional introduced to model microphase separation of diblock copolymers. After having established the results for the sharp-interface version of the functional (arXiv:0907.2224), we consider here the full diffuse-interface functional and address the limit in which epsilon and the volume fraction tend to zero but the number of minority phases (called particles) remains O(1). Using the language of Gamma-convergence, we focus on two levels of this convergence, and derive first- and second-order effective energies, whose energy landscapes are simpler and more transparent. These limiting energies are only finite on weighted sums of delta functions, corresponding to the concentration of mass into `point particles'. At the highest level, the effective energy is entirely local and contains information about the size of each particle but no information about their spatial distribution. At the next level we encounter a Coulomb-like interaction between the particles, which is responsible for the pattern formation. We present the results in three dimensions and comment on their two-dimensional analogues.