arXiv research

Characterizes polyhomogeneous symbols and applies to Heisenberg calculus.

New calculus solves boundary value problems for elliptic operators.

Polyhomogeneous expansions for Calabi-Yau metrics near singularities.

Study revisits Bondi mass and discusses memory effect in polyhomogeneous spacetimes.

We study various aspects of the noncommutative residue for an algebra of pseudodifferential operators whose symbols have an expansion $a\sim \sum_{j=0}^\infty a_{m-j}, a_{m-j}(x,ξ)=\sum_{l=0}^k a_{m-j,l}(x,ξ) \log^l|ξ|,$ where $a_{m-j,l}$ is homogeneous in $ξ$ of degree $m-j$. We will explain why this algebra of pseudo…

The article studies mapping properties of Radon transform and backprojection on a unit ball.

Study linear differential operators on special manifolds.

For a 3-manifold $X$ and compact simple Lie group $G$, we study the expansions of polyhomogeneous Nahm pole solutions to the Kapustin-Witten equations over $X\times (0,+\infty)$. Let $y$ be the coordinate of $(0,+\infty)$, we prove that the sub-leading terms of a polyhomogeneous Nahm pole solution is smooth to the boun…

We prove a local well-posedness theorem for the (n+1)-dimensional Einstein equations in Lorentzian signature, with initial data $(\tilde g, K)$ whose asymptotic geometry at infinity is similar to that anti-de Sitter (AdS) space, and compatible boundary data $\hat g$ prescribed at the time-like conformal boundary of spa…

Along the Ricci flow, we study the polyhomogeneity of complete Riemannian metrics endowed with "a Lie structure fibred at infinity", that is, a class of Lie structures at infinity that induce in a precise way a fibre bundle structure on a certain compactification by a manifold with corners. When the compactification is…

We find a resonance free region polynomially close to the critical line on Conformally compact manifolds with polyhomogeneous metric.

We prove local polyhomogeneity of asymptotically real or complex hyperbolic Einstein metrics, with application to unique continuation problems.

We study the nonlinear stability of the $(3+1)$-dimensional Minkowski spacetime as a solution of the Einstein vacuum equation. Similarly to our previous work on the stability of cosmological black holes, we construct the solution of the nonlinear initial value problem using an iteration scheme in which we solve a linea…

We present a new multiparameter resolvent trace expansion for elliptic operators, polyhomogeneous in both the resolvent and auxiliary variables. For elliptic operators on closed manifolds the expansion is a simple consequence of the parameter dependent pseudodifferential calculus. As an additional nontrivial toy exampl…

Study of conformally compact metrics and Lovelock tensors in even dimensions.

We show that C^2 conformally compact Riemannian Einstein metrics have conformal compactifications that are smooth up to the boundary in dimension 3 and all even dimensions, and polyhomogeneous in odd dimensions greater than 3.

We show that any polyhomogeneous asymptotically hyperbolic constant-mean-curvature solution to the vacuum Einstein constraint equations can be approximated, arbitrarily closely in Hölder norms determined by the physical metric, by shear-free smoothly conformally compact vacuum initial data.

We establish multiparameter resolvent trace expansions for elliptic boundary value problems, polyhomogeneous both in the resolvent and the auxiliary parameter. The present analysis is rooted in the joint project with Matthias Lesch on multiparameter resolvent trace expansions on revolution surfaces with applications to…

Study X-ray transform on manifolds, desingularize, and improve mapping properties.

We consider the Riemann moduli space $\mathcal M_γ$ of conformal structures on a compact surface of genus $γ>1$ together with its Weil-Petersson metric $g_{\mathrm{WP}}$. Our main result is that $g_{\mathrm{WP}}$ admits a complete polyhomogeneous expansion in powers of the lengths of the short geodesics up to the singu…

We show that the polyhomogeneity at infinity of an asymptotically complex hyperbolic metric is preserved along the Ricci-DeTurck flow. Moreover, if the initial metric is `smooth up to the boundary', this will be preserved by the Ricci-DeTurck flow and the normalized Ricci flow. When the initial metric is Kähler, sharpe…

VaSST uses soft symbolic trees for probabilistic symbolic regression.

We consider the first non-zero eigenvalue $λ_1$ of the Laplacian on hyperbolic surfaces for which one disconnecting collar degenerates and prove that $8π\nabla\log(λ_1)$ essentially agrees with the dual of the differential of the degenerating Fenchel-Nielsen length coordinate. As a consequence, we can improve previous …

In this paper, we study the properties of the first global term in the polyhomogeneous expansions for Liouville's equation. We obtain rigidity and gap results for the boundary integral of the global coefficient. We prove that such a boundary integral is always nonpositive, and is zero if and only if the underlying doma…

We consider the family of constant curvature fiber metrics for a Lefschetz fibration with regular fibers of genus greater than one. A result of Obitsu and Wolpert is refined by showing that on an appropriate resolution of the total space, constructed by iterated blow-up, this family is log-smooth, i.e. polyhomogeneous …

This article considers the existence and regularity of Kahler-Einstein metrics on a compact Kahler manifold $M$ with edge singularities with cone angle $2πβ$ along a smooth divisor $D$. We prove existence of such metrics with negative, zero and some positive cases for all cone angles $2πβ\leq 2π$. The results in the po…

We describe dimensionally constrained symbolic regression which has been developed for mass measurement in certain classes of events in high-energy physics (HEP). With symbolic regression, we can derive equations that are well known in HEP. However, in problems with large number of variables, we find that by constraini…

Paper closes neural-symbolic learning loop with grammar model and back-search algorithm.

Reinforcement learning and symbolic planning have both been used to build intelligent autonomous agents. Reinforcement learning relies on learning from interactions with real world, which often requires an unfeasibly large amount of experience. Symbolic planning relies on manually crafted symbolic knowledge, which may …

For an arbitrary Riemannian manifold $X$ and Hermitian vector bundles $E$ and $F$ over $X$ we define the notion of the normal symbol of a pseudodifferential operator $P$ from $E$ to $F$. The normal symbol of $P$ is a certain smooth function from the cotangent bundle $T^*X$ to the homomorphism bundle $Hom (E,F)$ and dep…

Based on the ideas of Optimal Control, we introduce the new basic characteristic of a bracket generating distribution, the Jacobi symbol. In contrast to the classical Tanaka symbol, the set of Jacobi symbols is discrete and classifiable. We give an explicit and unified algebraic procedure for the construction of the ca…

We introduce mod 3 triple Milnor invariants and triple cubic residue symbols for certain primes of the Eisenstein number field $\mathbb{Q}(\sqrt{-3})$, following the analogies between knots and primes. Our triple symbol generalizes both the cubic residue symbol and Rédei's triple symbol, and describes the decomposition…

A formula for Rademacher symbols in triangle groups is provided.

The symbolic dynamics technique is well-known for low-dimensional dynamical systems and chaotic maps, and lies at the roots of the thermodynamic formalism of dynamical systems. Here we show that this technique can also be successfully applied to time series generated by complex systems of much higher dimensionality. Ou…

Complex $b$-$6j$ symbols relate to hyperbolic tetrahedron volumes and determinants.

The paper classifies symbols of differential operators on vector bundles.

NeSS combines neural and symbolic approaches for better compositional generalization.

Defines transverse symbols for foliated manifolds and proves their K-homology class.

A new method for spotting symbols in CAD images reduces annotation costs and improves accuracy.

Paper proposes a bijective approach for signal/symbol translation using variational auto-encoders.

The Wodzicki residue and the cut-off integral extend to classical symbol-valued forms. We show that they obey a Stokes' type property and that the extended Wodzicki residue can be interpreted as a complex residue like the ordinary one. In the case of cut-off integrals, Stokes' property (i.e. vanishing on exact forms) o…

Bayesian symbolic regression automates model discovery from data.

Symbolic regression finds simple formulas for implied volatility.

Study shows how transformers classify symbols without naming them, proving a margin-versus-collision criterion.

S2KAN integrates symbolic primitives into neural network activations for improved interpretability.

Symbolic LSTM improves time series forecasting by reducing hyperparameter sensitivity.

Introduces canonical connections for sub-Riemannian manifolds with constant symbol.

Meta-learning symbolic default hyperparameters from dataset properties.