Paper proves stability of positive mass theorem for specific types of manifolds.
problem Stability of positive mass theorem for compact graphical manifolds.
method Used Federer--Fleming flat distance and static quasi-local Brown-York energy.
result Proved stability of positive mass theorem for compact (locally) hyperbolic graphical manifolds.
The study proves geometric inequalities for static convex domains in static rotationally symmetric spaces.
problem Proving geometric inequalities for static convex domains in static rotationally symmetric spaces.
method Locally constrained curvature flow in a static rotationally symmetric space Nn+1, proving graphical solutions and static convexity preservation. result Proves weighted geometric inequalities for static convex domains close to a slice of Nn+1. Modeling complex systems with multi-resolution data and causal dependencies.
problem Accurate prediction of complex systems with varying causal dependencies and multi-resolution data.
method Score-based Variational Graphical Diffusion Model (Temporal-SVGDM) that constructs individual SDEs for each variable at its native resolution and couples them through a causal score mechanism.
result Improved prediction accuracy and causal understanding compared to existing methods, especially in temporal scenarios.
Ancient curve flows classified into specific types.
problem Classifying ancient finite-entropy curve shortening flows.
method Proving flow types through mathematical analysis.
result Ancient flows are one of several specific types.
In this paper, we study the problem of sampling from a graphical model when the model itself is changing dynamically with time. This problem derives its interest from a variety of inference, learning, and sampling settings in machine learning, computer vision, statistical physics, and theoretical computer science. Whil…
Model learns disentangled static and dynamic data representations.
problem Learning disentangled representations from unordered data.
method Factorized graphical model exploiting sequential data regularities.
result Well-organized latent space for data dynamics.
This research uses machine learning and graphic statics to explore new structural forms.
problem Limiting structural design space and promoting creativity in design.
method Combining CEM, SOM, UMAP algorithms to generate and interpret equilibrium spatial networks.
result Understanding the manifold of a solution space with minimal data and increasing diversity of solutions.
We propose a new probabilistic graphical model that jointly models the difficulties of questions, the abilities of participants and the correct answers to questions in aptitude testing and crowdsourcing settings. We devise an active learning/adaptive testing scheme based on a greedy minimization of expected model entro…
Mixtures of Gaussians, factor analyzers (probabilistic PCA) and hidden Markov models are staples of static and dynamic data modeling and image and video modeling in particular. We show how topographic transformations in the input, such as translation and shearing in images, can be accounted for in these models by inclu…
Paper proves unique tangent flow at infinity for entropy-limited curve shortening.
problem Proving uniqueness of tangent flows for finite-entropy curve shortening.
method Rescaled backward convergence to a line, entropy analysis, and geometric properties.
result Ancient smooth curve shortening flow has a unique tangent flow at infinity.
The thesis tackles structure learning and parameter estimation for PGMs using penalized maximum likelihood methods.
problem Recovering the true structure of probabilistic graphical models (PGMs) for decision-making and interpretation.
method Penalized maximum likelihood estimation with the LASSO penalty.
result The approach successfully recovers the true structure of PGMs, including Bayesian networks and continuous time Bayesian networks, for both complete and incomplete data.
Study optimal adjustment sets for causal policies with hidden variables.
problem Estimating dynamic treatment regimes with hidden variables.
method Developed criteria for graphs without hidden variables to compare estimators, extended to dynamic policies and hidden variables.
result Existence and computation of optimal minimal and globally optimal adjustment sets.
Study classifies static potentials on 3-manifolds, proving one-dimensionality under specific conditions.
problem Classifying the dimension of static potentials on 3-manifolds.
method Analysis of relative zero sets of static potentials, using Miao and Tam's technique.
result Proves one-dimensionality of static potentials under specific conditions.
New static vacuum metrics confirmed for near Euclidean boundary data.
problem Establishing sufficient conditions for near Euclidean boundary data in static vacuum metrics.
method Using new arguments from studying the conjecture for arbitrary static vacuum metrics.
result Any hypersurface in a dense subfamily is static regular.
Extends static vacuum metrics with specific boundary conditions.
problem Proving the existence of static vacuum metrics with prescribed boundary data.
method Introducing static regular types (I) and (II), showing local well-posedness, and confirming Bartnik's conjecture.
result Confirms Bartnik's static vacuum extension conjecture for a broad range of boundary conditions.
Graphical lasso may fail to fit models when data points are insufficient.
problem When does graphical lasso fail to select and fit a graphical model?
method Computational experiments with graphical lasso.
result Graphical lasso may fail when the number of data points is less than the maximum likelihood threshold.
Study on rigidity of translating hypersurfaces not in graphical direction.
problem Rigidity of translating hypersurfaces not in graphical direction.
method Proved rigidity results for complete graphical translating hypersurfaces under specific conditions.
result Entire graphical translating surfaces are flat under certain conditions.
We classify static manifolds which admit more than one static decomposition whenever a condition on the curvature is fullfilled. For this, we take a standard static vector field and analyze its associated one parameter family of projections onto the base. We show that the base itself is a static manifold and the warpin…
Study of 3D vacuum static spaces with specific curvature properties.
problem Classifying 3D vacuum static spaces with certain curvature conditions.
method Used generalized maximum principle to classify 3D spaces.
result Gave a complete classification of 3D complete vacuum static spaces.
Paper finds exact solutions for static fluids with symmetries.
problem Finding exact solutions for static fluids with symmetries.
method Utilized symmetries to solve Einstein's equation for a perfect fluid on a static manifold.
result Exact solutions found for static fluids with symmetries.
New rigidity theorem on static manifolds with boundary.
problem Static metrics on manifolds with boundary.
method Obata-type rigidity theorem, sufficient geometric conditions.
result Scalar curvature map can be locally surjective at static metrics on manifolds with boundary.
Geometric inequalities for static convex domains in hyperbolic space proved.
problem Proving geometric inequalities for static convex domains in hyperbolic space.
method Using static convexity of flow hypersurfaces, new inequalities are derived.
result New family of geometric inequalities for static convex domains in hyperbolic space.
The paper classifies vacuum static spaces with harmonic curvature.
problem Classifying vacuum static spaces with harmonic curvature.
method Extending the 4-dimensional work by Kim-Shin, the paper classifies n-dimensional spaces (n≥5). result New counterexamples to the Fischer-Marsden conjecture on compact vacuum static spaces.
This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move…
The paper investigates geometrical aspects of static spacetime with almost gradient Ricci solitons.
problem Geometrical properties of static spacetime with almost gradient Ricci solitons.
method Analyzing conditions and properties of static spacetime with almost gradient Ricci solitons.
result Conditions and properties of static spacetime with almost gradient Ricci solitons are determined.
Proves equality in Minkowski inequality for static, flat manifolds.
problem Proving equality in Minkowski inequality for static, flat manifolds.
method Analyzes quasi-spherical metrics and static manifolds.
result Equality in Minkowski inequality achieved only by Schwarzschild space slices.
Researchers found specific conformal groups for Einstein static universe models.
problem Understanding conformal groups of Einstein static universe models.
method Constructed explicit models for restricted conformal groups and universal covering groups.
result Determined all conformal Lorentz manifolds with maximal restricted conformal group dimension.
Geometric flow method finds static extensions for axisymmetric data.
problem Bartnik's static metric extension conjecture under axisymmetry.
method Geometric flow coupled with Weyl-Papapetrou formalism.
result Axisymmetric static extensions found for various data.
We consider Killing vector fields on standard static space-times and obtain equations for a vector field on a standard static space-time to be Killing. We also provide a characterization of Killing vector fields on standard static space-times with compact Riemannian parts.
Proves existence of static vacuum metrics with specific boundary data.
problem Existence of static vacuum metrics with prescribed boundary data.
method Proves existence and local uniqueness of static vacuum metrics close to the Euclidean metric.
result Existence of static vacuum metrics with prescribed Bartnik boundary data.
Analyzing static solutions in Finsler gravity, extending known results.
problem Extending the analyticity of static vacuum solutions to Finsler spacetimes.
method Examining Finsler spacetimes with properties similar to static Lorentzian spacetimes.
result Finsler spacetimes with vanishing Ricci scalar are analytic.
Paper derives Riccati equation for static spaces and proves its applications.
problem Deriving Riccati equation for static spaces.
method Proving splitting theorem and connectivity of conformal boundary.
result Establishes compactness of universal covering for static triples.
We consider a continuous-time financial market that consists of securities available for dynamic trading, and securities only available for static trading. We work in a robust framework where a set of non-dominated models is given. The concept of semi-static completeness is introduced: it corresponds to having exact re…
This paper completes the classification of S1-symmetric static vacuum black holes.
problem Identifying all S1-symmetric static vacuum black hole solutions.
method Analyzing and constructing known solutions and proving their completeness.
result Proves that the Schwarzschild, Boost, and Weyl-Korotkin-Nicolai families exhaust all S1-symmetric static vacuum black hole solutions.
We consider the problem of learning high-dimensional Gaussian graphical models. The graphical lasso is one of the most popular methods for estimating Gaussian graphical models. However, it does not achieve the oracle rate of convergence. In this paper, we propose the graphical nonconvex optimization for optimal estimat…
In this paper, we study short-time existence of static flow on complete noncompact asymptotically static manifolds from the point of view that the stationary points of the evolution equations can be interpreted as static solutions of the Einstein vacuum equations with negative cosmological constant. For a static vacuum…
Paper proves static triples with specific curvature are standard hemispheres.
problem Proving rigidity of static triples with half harmonic Weyl curvature.
method Analyzes static triples with positive scalar curvature and half harmonic Weyl curvature.
result Proves static triples with half harmonic Weyl curvature and positive scalar curvature are standard hemispheres.
Study on stellar models' topology and mass using minimal surfaces.
problem Investigating the topology and mass of static stellar models.
method Analyzing stable free boundary minimal surfaces in static perfect fluid spaces.
result Proved non-existence of stable free boundary minimal surfaces and derived upper bounds for Hawking mass.
Classifies vacuum static spaces with harmonic curvature.
problem Classifying vacuum static spaces with harmonic curvature.
method Thorough classification through geometric analysis.
result Spaces are locally isometric to four types.
Paper proves a rigidity result for static perfect fluids.
problem Proving a rigidity result for static perfect fluids.
method Robinson's divergence formula and boundary conditions.
result Rigidity result for static perfect fluids.
The paper redefines semi-static hedging as derivatives and calculates hedging errors.
problem The costs of maintaining hedging portfolios and the limitations of semi-static hedging.
method New integral representations, approximations, and efficient numerical methods for calculating Wiener-Hopf factors and Laplace-Fourier inversion.
result The hedging error of static hedging portfolios can be larger than variance-minimizing portfolios.
Existence proved for static vacuum extensions near Schwarzschild spheres.
problem Proving existence of static vacuum extensions near Schwarzschild spheres.
method Existence and local uniqueness of static vacuum extensions for Bartnik data on a sphere near a Schwarzschild sphere.
result Existence of static vacuum extensions near Schwarzschild spheres.
LIC compiles probabilistic models to generate efficient MCMC proposals.
problem Creating accurate Metropolis-Hastings proposals for Bayesian inference.
method Integrates probabilistic graphical models and neural networks in an open-source framework to optimize proposal distributions.
result LIC produces more efficient and robust MCMC proposals compared to existing methods.
Paper proves rigidity of static manifolds and applies to metric extensions.
problem Detecting rotational symmetry in static systems.
method Conformal techniques and Minkowski-type inequalities.
result Proves global uniqueness of static metric extensions.
New method for tuning Graphical Lasso hyperparameters.
problem Tuning hyperparameters of Graphical Lasso.
method Bilevel optimization with first-order method.
result Derivation of Graphical Lasso Jacobian.
Consider a mean curvature flow of hypersurfaces in Euclidean space, that is initially graphical inside a cylinder. There exists a period of time during which the flow is graphical inside the cylinder of half the radius. Here we prove a lower bound on this period depending on the Lipschitz-constant of the initial graphi…
Undirected graphical models, or Markov networks, are a popular class of statistical models, used in a wide variety of applications. Popular instances of this class include Gaussian graphical models and Ising models. In many settings, however, it might not be clear which subclass of graphical models to use, particularly…
Alternative proof for static black hole uniqueness with nonpositive mass.
problem Proving static uniqueness for Kottler spacetimes with nonpositive mass.
method Alternative, more elementary proof of static uniqueness theorem.
result Alternative proof of static uniqueness for Kottler spacetimes with nonpositive mass.