arXiv research

Extended a mathematical inequality by Andrews.

Establishes bounds on Andrews-Curtis moves for trivial group presentations.

It is shown that the original Andrews--Curtis conjecture on balanced presentations of the trivial group is equivalent to its "cyclic" version in which, in place of arbitrary conjugations, one can use only cyclic permutations. This, in particular, proves a satellite conjecture of Andrews and Curtis made in 1966. We also…

We relate the Andrews-Curtis conjecture to the triviality problem for balanced presentations of groups using algorithms from 3-manifold topology. Implementing this algorithm could lead to counterexamples to the Andrews-Curtis conjecture.

Paper proves contractible fake surfaces up to complexity 6 are deformable.

This research optimizes Andrews plots for better visual clarity in high-dimensional data.

New findings on 3-manifolds using Heegaard Floer theory.

We show that the Andrews-Curtis conjecture holds for all balanced presentations of the trivial group corresponding to Heegaard diagrams of $S^3$.

Motivated by problems in topology, we explore the complexity of balanced group presentations. We obtain large lower bounds on the complexity of Andrews-Curtis trivialisations, beginning in rank 4. Our results are based on a new understanding of how Dehn functions of groups behave under certain kinds of push-outs. We co…

The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of ``elementary transformations" which are Nielsen transformations augmented by arbitrary conjugations. It is a prevalent opinion that this conjecture is false; however, not many p…

Using the method of De Lellis-Topping, we prove some almost Schur type results. For example, one of our results gives a quantitative measure of how close the higher mean curvature of a submanifold is to its average value. We also derive another sharp Andrews-De Lellis-Topping type inequality involving the Riemannian cu…

New method shows certain group presentations are trivial.

3D filament plots visualize curves in datasets, avoiding visual clutter.

Study of transformations in 3-manifolds with boundary and their equivalence classes.

This paper is inspired from the nice result of Andrew Hassell on the eigenfunctions in the stadium billiard. From a classical paper of V. Arnol'd, we know that quasi-modes are not always close to exact modes. We show that, for almost all Riemannian metrics on closed surfaces with an elliptic generic closed geodesic C, …

We construct the ancient solutions of the hypersurface flows in Euclidean spaces studied by B. Andrews in 1994. As time $t \rightarrow 0^-$ the solutions collapse to a round point where $0$ is the singular time. But as $t\rightarrow-\infty$ the solutions become more and more oval. Near the center the appropriately-resc…

We construct noncompact solutions to the affine normal flow of hypersurfaces, and show that all ancient solutions must be either ellipsoids (shrinking solitons) or paraboloids (translating solitons). We also provide a new proof of the existence of a hyperbolic affine sphere asymptotic to the boundary of a convex cone c…

Two simple homotopy equivalent 2-complexes K2 and L2 are related by an algebraic criterion of their corresponding presentations as stated in [HoMeSier]. Frank Quinn set it into a topological context (see [Qu1]) and call these 2-complexes related by an s-move. Using elementary 3-expansions, K2 extends to 3-cells in K3 r…

Proves universal pairing result for 2-complexes, showing lack of positivity.

In their celebrated work, B. Andrews and J. Clutterbuck proved the fundamental gap (the difference between the first two eigenvalues) conjecture for convex domains in the Euclidean space and conjectured similar results holds for spaces with constant sectional curvature. We prove the conjecture for the sphere. Namely wh…

Study shows challenges in reinforcement learning math problems, proposing enhancements and a hardness measure.

This paper classifies solutions for a specific geometric problem.

In this paper, we extend the sharp lower bounds of spectal gap, due to Chen- Wang [10, 11], Bakry-Qian [6] and Andrews-Clutterbuck [5], from smooth Riemaniannian manifolds to general metric measure spaces with Riemannian curvature-dimension condition RCD*(K;N).

Classifies self-shrinkers in arbitrary dimensions under specific curvature conditions.

We establish the estimates of modulus of continuity for viscosity solutions of nonlinear evolution equations on manifolds, extending previous work of B. Andrews and J. Clutterbuck for regular solutions on manifolds \cite{AC3} and the first author's recent work for viscosity solutions in Euclidean spaces \cite{me1}.

Classifies fake surfaces up to complexity 5.

We prove that the presentations $\langle x,y | [x,y],1 \rangle$ and $\langle x,y | [x,[x,y^{-1}]]^2y[y^{-1},x]y^{-1},[x,[[y^{-1},x],x]] \rangle$ are not $Q^*$-equivalent even though their standard complexes have the same simple homotopy type.

In this paper we will give a new proof of the monotonicity of Wasserstein distances of two diffusions under super Ricci flow. Our proof is based on the coupling method of B.Andrew and J.Clutterbuck. The same method can also be applied to the contractivity of normalized L-Wasserstein distance under backward Ricci flow.

Recently, Andrews and Clutterbuck [AC13] gave a new proof of the optimal lower eigenvalue bound on manifolds via modulus of continuity for solutions of the heat equation. In this short note, we give an alternative proof of Theorem 2 in [AC13]. More precisely, following Ni's method ([Ni13, Section 6]) we give an ellipti…

In this paper, we introduce and study the conformal mean curvature flow of submanifolds of higher codimension in the Euclidean space $\bbr^n$. This kind of flow is a special case of a general modified mean curvature flow which is of various origination. As the main result, we prove a blow-up theorem concluding that, un…

We study the long time behavior of the volume preserving $p$-flow in $\mathbb{R}^{n+1}$ for $1\leq p<\frac{n+1}{n-1}$. By extending Andrews' technique for the flow along the affine normal, we prove that every centrally symmetric solution to the volume preserving $p$-flow converges sequentially to the unit ball in the $…

In this paper, we investigate the moduli of continuity for viscosity solutions of a wide class of nonsingular quasilinear evolution equations and also for the level set mean curvature flow, which is an example of singular degenerate equations. We prove that the modulus of continuity is a viscosity subsolution of some o…

Let $G$ be a group with a finite balanced presentation $P$. We associate a Heegaard Floer homology group $\widehat{HF}_P(G)$ with the pair $(G,P)$ based on some extra choices and technical assumptions. We show that $\widehat{HF}_P(G)$ is independent from these choices and also is invariant under stable Andrews-Curtis t…

In this paper we prove uniform regularity estimates for the normalized Gauss curvature flow in higher dimensions. The convergence of solutions in $C^\infty$-topology to a smooth strictly convex soliton as $t$ approaches to infinity is obtained as a consequence of these estimates together with an earlier result of Andre…

In a recent paper, Brendle proved that the inscribed radius of closed embedded mean convex hypersurfaces moving by mean curvature flow is at least 1/((1+δ)H) at all points with H > C(δ,M_0). In this note, we give a shorter proof of Brendle's estimate, and of a more general result for alpha-Andrews flows, based on our r…

Andrews and Sellers recently initiated the study of arithmetic properties of Fishburn numbers. In this paper, we prove prime power congruences for generalized Fishburn numbers. These numbers are the coefficients in the $1-q$ expansion of the Kontsevich-Zagier series $\mathscr{F}_{t}(q)$ for the torus knots $T(3,2^t)$, …

We present a simple connection between differential Harnack inequalities for hypersurface flows and natural concavity properties of their time-of-arrival functions. We prove these concavity properties directly for a large class of flows by applying a concavity maximum principle argument to the corresponding level set f…

We refine the Whitehead torsion of a chain equivalence of finite chain complexes in an additive category $\bA$ from an element of $\widetilde{K}^{iso}_1(\bA)$ to an element of the absolute group $K_1^{iso}(\bA)$. We apply this invariant to symmetric Poincaré complexes and identify it in terms of more traditional invari…

We study solutions of high codimension mean curvature flow defined for all negative times, usually referred to as ancient solutions. We show that any compact ancient solution whose second fundamental form satisfies a certain natural pinching condition must be a family of shrinking spheres. Andrews and Baker have shown …

New theorem proves convex bodies with specific curvature measures are rescaled Wulff shapes.

The stable Andrews-Curtis conjecture in combinatorial group theory is the statement that every balanced presentation of the trivial group can be simplified to the trivial form by elementary moves corresponding to "handle-slides" together with "stabilization" moves. Schoenflies conjecture is the statement that the compl…

By adapting methods of \cite{AC} we prove a sharp estimate on the expansion modulus of the gradient of the log of the parabolic kernel to the Schördinger operator with convex potential, which improves an earlier work of Brascamp-Lieb. We also include alternate proofs to the improved log-concavity estimate, and to the f…

Adapting the method of Andrews-Clutterbuck we prove an eigenvalue gap theorem for a class of non symmetric second order linear elliptic operators on a convex domain in euclidean space. The class of operators includes the Bakry-Emery laplacian with potential and any operator with second order term the laplacian whose fi…

We prove a lower bound estimate for the first non-zero eigenvalue of the Witten-Laplacian on compact Riemannian manifolds. As an application, we derive a lower bound estimate for the diameter of compact gradient shrinking Ricci solitons. Our results improve some previous estimates which were obtained by the first autho…

We give a bound on the extinction time for a compact, strictly convex hypersurface in R^{n+1} evolving by a geometric flow where the velocity is given in terms of the curvature. This result generalizes a theorem of Colding and Minicozzi for mean curvature flow solutions to a wider class of flows studied by Ben Andrews.…

We introduce a novel combinatorial method to study $Q^{**}$-transformations of group presentations or, equivalently, 3-deformations of CW-complexes of dimension 2. Our procedure is based on a refinement of discrete Morse theory that gives a Whitehead simple homotopy equivalence from a regular CW-complex to the simplifi…

Sharp chord-arc estimates for curve shortening flow on spheres.

In this short article, we prove the existence of ancient solutions of the mean curvature flow that for t -> 0 collapse to a round point, but for t -> -infinity become more and more oval: near the center they have asymptotic shrinkers modeled on round cylinders S^j x R^n-j and near the tips they have asymptotic translat…