Solves Einstein constraint equations on compact manifolds with specified boundaries.
problem Solving Einstein constraint equations with specified boundaries.
method Studies conformal constraint equations with low regularity assumptions.
result Solves Einstein constraint equations on compact manifolds with specified boundaries.
Theory for gravity coupled with fields on manifolds with null-boundary.
problem Formulating a theory for gravity coupled with scalar, SU(n), and spinor fields on manifolds with null-boundary.
method Symplectic reduction of boundary fields and constraints analysis.
result The set of constraints does not form a first class system for the three couplings.
New boundary and point constraints for controlling conformal surfaces.
problem Controlling the geometry of surfaces defined by minimizers of conformal variational problems.
method Introducing new boundary conditions, point constraints, and flux constraints to control the metric and conformal scale factor.
result Introduces intuitive controls for exploring a subspace of conformal immersions.
Proves existence of solutions to Einstein constraints with specific boundary conditions and verifies Penrose inequality.
problem Existence of asymptotically hyperbolic solutions to Einstein constraints with marginally outer trapped boundaries.
method Constant mean curvature conformal method.
result Verification of Penrose inequality for certain Schwarzschild-AdS black hole perturbations.
We construct asymptotically Euclidean solutions of the vacuum Einstein constraint equations with an apparent horizon boundary condition. Specifically, we give sufficient conditions for the constant mean curvature conformal method to generate such solutions. The method of proof is based on the barrier method used by Ise…
The paper studies constraint maps with singularities and free boundaries, proving continuity near singularities and optimality.
problem Analyzing the structure of constraint maps with singularities and free boundaries.
method Establish continuity near singularities using a new quantitative unique continuation principle, and investigate the presence of branch points leading to new singularities.
result Topological singularities can only lie in the interior of the contact set in the uniformly convex setting, and the optimality of this result is proven.
Proves well-posedness for Einstein equations with totally geodesic timelike boundary condition.
problem Initial boundary value problem for Einstein equations with specific geometric boundary condition.
method ADM system, parallelly propagated orthonormal frame, modified evolution equations, hyperbolic systems, constraints propagation.
result First well-posedness result for Einstein equations with totally geodesic timelike boundary condition.
Study constraints on diffeomorphisms and homeomorphisms of 4-manifolds with boundary.
problem Constraints on smooth families of 4-manifolds with boundary.
method Use Manolescu's Seiberg-Witten Floer stable homotopy type.
result Inclusion map between diffeomorphisms and homeomorphisms is not a weak homotopy equivalence.
The paper studies the properties of maps with free boundaries, focusing on the obstacle case.
problem Properties of the projected image and its regularity in maps with free boundaries.
method Dividing the map into distance and projected image parts; applying classical obstacle problem methods and proving higher regularity for the projected image.
result The projected image is at most of class C2,1 and globally of class W3,BMO, locally of C2,1 around the regular part of the free boundary. Proof of local well-posedness for a specific boundary condition in general relativity.
problem Initial boundary value problem in general relativity with umbilic boundary condition.
method Wave coordinates and key observation of momentum constraint validity for umbilic boundaries.
result Local well-posedness established for the initial boundary value problem.
Study variational properties of curves in half-plane with area constraints.
problem Characterize critical points of inverse mean curvature.
method Variational analysis of curves with boundary constraints.
result Existence and stability of critical points with prescribed area.
New minimal surfaces found in ball with boundary constraints.
problem Finding minimal surfaces with boundary conditions.
method Equivariant differential geometry approach.
result A family of free boundary minimal surfaces in the unit ball.
Study min-max theory for hypersurfaces with boundary constraints.
problem Finding minimal hypersurfaces with boundary constraints.
method Schoen-Simon-type regularity result for integral varifolds, proving existence of closed hypersurfaces with specific properties.
result Existence of a closed C1,1 hypersurface with codimension ≥7 singular set in the interior. Method estimates posterior model for boundary value problems with uncertain constraints.
problem Estimating posterior probability model for stochastic boundary value problems with uncertain constraints.
method Probabilistic learning inference using Kullback-Leibler divergence and MCMC.
result Method successfully estimates posterior probability measure with constraints.
Proves critical points of ADM mass correspond to specific initial data sets.
problem Finding initial data sets with fixed Bartnik boundary data.
method Proves existence of critical points on a Banach manifold.
result Critical points of ADM mass correspond to initial data sets with generalized Killing vector fields.
In this paper, we consider a free boundary problem with volume constraint. We show that positive minimizer is locally Lipschitz and the free boundary is analytic away from a singular set with Hausdorff dimension at most n−8.
We study immersed surfaces in R3 which are critical points of the Willmore functional under boundary constraints. The two cases considered are when the surface meets a plane orthogonally along the boundary, and when the boundary is contained in a line. In both cases we derive weak forms of the resulting fre…
One method of studying the asymptotic structure of spacetime is to apply Penrose's conformal rescaling technique. In this setting, the Einstein equations for the metric and the conformal factor in the unphysical spacetime degenerate where the conformal factor vanishes, namely at the boundary representing null infinity.…
The paper classifies energy-minimizing sets in specific domains.
problem Classifying volume-constraint local energy-minimizing sets.
method Proved a Poincaré-type inequality for stable sets.
result Relative boundary of energy-minimizing sets is smooth.
Study shows convergence of volumes on manifolds with boundary under area constraints.
problem Volume convergence on manifolds with boundary under area constraints.
method Doubling with necks procedure and area constraints.
result Only a bound on boundary area is needed for volume preserving intrinsic flat convergence.
We analyse the definition of quasi-local energy in GR based on a Hamiltonian analysis of the Einstein-Hilbert action initiated by Brown-York. The role of the constraint equations, in particular the Hamiltonian constraint on the timelike boundary, neglected in previous studies, is emphasized here. We argue that a consis…
Psychiatric neuroscience is increasingly aware of the need to define psychopathology in terms of abnormal neural computation. The central tool in this endeavour is the fitting of computational models to behavioural data. The most prominent example of this procedure is fitting reinforcement learning (RL) models to decis…
A new method for generating counterfactual explanations in high-dimensional datasets.
problem Creating realistic counterfactual explanations in complex, high-dimensional data.
method A discretized approach using binary search and boundary approximation.
result Our method reduces the distance between counterfactuals by 5% to 50% in terms of the L2 norm.
Physics-informed neural networks improve by measuring effective dimensionality of constraints.
problem Task interference in physics-informed neural networks due to shared parameter space.
method Introduce effective dimensionality (deff) as an operator invariant to quantify constraints. result Effective dimensionality measures unconstrained parameter directions, independent of network architecture.
New mathematical surfaces without boundaries found.
problem Existence of nonlocal free boundary minimal surfaces.
method Fractional perimeter critical points with invariant boundary.
result Existence of nonlocal free boundary minimal surfaces without boundaries.
Survey of Gaussian process constraints for modeling expensive data.
problem Modeling expensive data with physical constraints.
method Overview of various Gaussian process constraints and their implementation.
result Discussion of computational challenges introduced by constraints.
Study optimal consumption with relaxed benchmarks and drawdown constraints.
problem Optimal consumption under relaxed benchmark tracking and consumption drawdown constraint.
method Transformed stochastic control problem into regular control problem with state-control constraints, then solved using dual transform and optimal consumption behavior.
result Closed-form solution for optimal investment and consumption in feedback form.
The paper proves stability of manifolds with boundary under volume and distance constraints.
problem Stability of manifolds with boundary under volume and distance constraints.
method Volume preserving intrinsic flat convergence of metrics with boundary constraints.
result The stability of manifolds with boundary under volume and distance constraints is proven.
This paper optimizes dividend payout rates with a drawdown constraint in a stochastic model.
problem Optimizing dividend payout rates while avoiding drawdowns in a stochastic model.
method Solving a path-dependent stochastic control problem using Hamilton-Jacobi-Bellman equations and PDE methods.
result Explicit characterization of an optimal feedback control strategy, including two free boundaries and the running maximum surplus process.
We establish the regularity theory for certain critical elliptic systems with an anti-symmetric structure under inhomogeneous Neumann and Dirichlet boundary constraints. As applications, we prove full regularity and smooth estimates at the free boundary for weakly Dirac-harmonic maps from spin Riemann surfaces. Our met…
Compact hypersurfaces minimize area in convex cones with free boundary.
problem Finding compact hypersurfaces minimizing area in convex cones with free boundary.
method Minimizing an anisotropic area functional under a volume constraint.
result Compact hypersurfaces are contained in a Wulff-shape.
Enhances neural network solvers for PDEs with complex boundary conditions.
problem Challenges in solving PDEs with high accuracy and complex boundary conditions.
method Integrates natural gradient optimization with numerical time-stepping schemes to enforce Dirichlet boundary conditions.
result Superior accuracy and computational efficiency of the proposed methods for solving PDEs.
We characterize the value of swing contracts in continuous time as the unique viscosity solution of a Hamilton-Jacobi-Bellman equation with suitable boundary conditions. The case of contracts with penalties is straightforward, and in that case only a terminal condition is needed. Conversely, the case of contracts with …
Graph Attention Networks (GATs) are the state-of-the-art neural architecture for representation learning with graphs. GATs learn attention functions that assign weights to nodes so that different nodes have different influences in the feature aggregation steps. In practice, however, induced attention functions are pron…
Study optimal consumption with drawdown limits over a fixed time frame.
problem Maximizing utility with consumption limits during a fixed period.
method Extended utility maximization problem with drawdown constraint, using PDE arguments and dual transform.
result Existence and uniqueness of classical solution to HJB variational inequality, with explicit free boundaries.
A new method reduces CI tests for causal structure learning.
problem Exponential CI tests in constraint-based methods.
method Recursive Markov boundary-based approach.
result Significantly reduces CI tests compared to existing methods.
Proposes a new method for constrained generative modeling using Langevin dynamics.
problem Challenges in satisfying underlying constraints with score-based generative models.
method Uses kinetic Langevin dynamics with specular reflection to model constraints.
result Demonstrates efficient numerical samplers with optimal convergence rates.
RFM improves CNFs by adding a boundary constraint term and matching velocity fields.
problem Flow matching on constrained domains leads to unnatural samples.
method RFM adds a boundary constraint term and matches velocity fields in a simulation-free manner.
result RFM achieves comparable or better results on standard image benchmarks and produces high-quality samples.
Study curve shortening flow in high dimensions with boundary constraints.
problem Understanding the behavior of curves in high-dimensional spaces with boundary conditions.
method Used curvature and higher-derivative estimates, Stahl-type maximum principle, and blow-up analysis.
result Flow converges to a shrinking semicircle model or has only semicircle boundary singularities in low entropy regimes.
Soft-Radial Projection solves gradient saturation in constrained deep learning.
problem Gradient saturation in deep learning models when integrating hard constraints.
method Introduces Soft-Radial Projection, a differentiable layer that maps predictions onto constraint boundaries without rank-deficient Jacobians.
result Improves convergence and solution quality over state-of-the-art methods.
Rigidity theorem for special metrics on 4-manifolds.
problem Rigidity of Bach-flat metrics on manifolds with boundary.
method Critical point analysis of Weyl energy with boundary conditions.
result Rigidity of critical metrics on upper hemisphere.
In this work, we prove the existence of a family of solutions of the Allen-Cahn equation with nonlinear Neumann boundary condition under some constraints, whose nodal sets concentrate asymptotically to a given volume nondegenerate capillary hypersurface in a compact Riemannian manifold. Our construction is inspired by …
The paper finds metrics for surfaces with boundaries that match specific eigenvalues and areas.
problem Finding metrics for surfaces with boundaries that match specific eigenvalues and areas.
method The approach involves constructing a metric on a compact surface with boundary that satisfies given eigenvalues and area constraints.
result A metric can be constructed on a compact surface with boundary that matches a given sequence of eigenvalues and area.
Study characterizes conformal boundaries of de Sitter spacetimes.
problem Characterize conformal infinity of asymptotically de Sitter spacetimes.
method Derive constraints relating stress-energy tensor to conformal geometric data using higher conformal fundamental forms.
result Constraints on stress-energy tensor relate to conformal geometric data.
Study on high-codimensional minimal surfaces in hyperbolic space.
problem Understanding high-codimensional minimal surfaces in hyperbolic space.
method Investigating asymptotic behavior and boundary regularity of area-minimizing currents.
result Established boundary regularity results for high-codimensional minimal surfaces near their asymptotic boundaries.
In this paper we construct compact manifolds with fixed boundary geometry which admit Riemannian metrics of unit volume with arbitrarily large Steklov spectral gap. We also study the effect of localized conformal deformations that fix the boundary geometry. For instance, we prove that it is possible to make the spectra…
Let M be a weighted manifold with boundary ∂M, i.e., a Riemannian manifold where a density function is used to weight the Riemannian Hausdorff measures. In this paper we compute the first and the second variational formulas of the interior weighted area for deformations by hypersurfaces with boundary in $\p…
Simplifies neural network constraints with computationally efficient method.
problem Implementing hard output constraints in neural networks.
method Additional neural network layer for output constraints.
result Computational simplicity with complexity O(n*m) for linear constraints.