
Explore representation theory for finite groups of Lie type, covering structural properties, Harish-Chandra theory, and Deligne-Lusztig theory for classifying irreducible complex representations.

Explores the theoretical superiority of Gomory mixed-integer cuts in integer programming, demonstrating their optimality in maximizing volume cut-off from the nonnegative orthant in infinite group relaxations.

Explore how computation became central to mathematical foundations, from Hilbert's Programme to the distinction between syntax and semantics in formalization and recursive theories.

Explores stochastic load balancing on unrelated machines, presenting a constant factor approximation algorithm for minimizing expected makespan. Discusses LP relaxation and rounding techniques.

Explores constructive versions of the Hahn-Banach theorem, focusing on separation and extension theorems. Discusses geometric properties, subderivatives, and Gâteaux derivatives in functional analysis.

Explore constructive reverse mathematics, its foundations, and recent developments in classifying theorems across mathematical frameworks using logical principles and function existence axioms.

Explore proof schemas, refutational complexity, and cut structures in mathematical logic. Gain insights into CERES, ECA, and 1-SMA concepts for advanced theorem proving techniques.

Explore Singmaster's conjecture in Pascal's triangle, combining Archimedean and non-Archimedean arguments to establish the conjecture in the triangle's interior region.

Explore advanced large sieve inequalities for automorphic forms, focusing on GL_3 spectral cases and recent progress in higher rank families. Gain insights into measuring family understanding.

Explore advanced mathematical concepts in multilinear functionals, inequalities, and oscillatory integrals with a focus on quadrilinear forms and sublevel set inequalities.

Explore free boundary problems in PDE, focusing on regularity of solutions and interfaces. Learn about Stefan and obstacle problems, key results, and current research challenges.

Explore regularity of free boundaries in obstacle problems, covering key concepts, proofs, and current research in this mathematical field of PDE and Geometric Measure Theory.

Explore advanced ergodic theory concepts, focusing on bilinear polynomial averages and their convergence. Gain insights into recent developments in Bergelson's conjecture and related mathematical proofs.

Explore advanced techniques for counting points on curves over finite fields and estimating exponential sums using auxiliary polynomials and character sums.

Explore Stein's restriction conjecture, the Kakeya conjecture, and the polynomial method in harmonic analysis. Learn about wave packet decomposition and its applications in studying hypersurface-supported functions.

Explore three powerful polynomial methods for point counting: Dvir's Kakeya problem solution, Guth-Katz's polynomial partitioning, and the slice rank method for arithmetic progressions.

Explore three powerful polynomial techniques for point counting: Dvir's method, polynomial partitioning, and slice rank method, with applications in finite fields and geometry.

Explore a stationary set method for estimating oscillatory integrals, with applications in number theory and Fourier analysis. Learn about o-minimal structures and geometric interpretations of upper bounds.

Explore restricted invertibility in mathematics, covering the Kadison-Singer problem and Bourgain-Tzafriri's argument, with insights on selection theorems and related concepts.

Explore non-asymptotic results for singular values of Gaussian matrix products, including convergence rates and Lyapunov exponent normality, based on joint research with Boris Hanin.

Explore solutions to complex geometric problems near the Euclidean ball, focusing on the 5th and 8th Busemann-Petty problems and their positive outcomes in specific conditions.