Generative model disentangles dark matter halo properties.
problem Entangling physical factors in generative model latent spaces.
method Auxiliary-variable-guided framework with halo mass and concentration.
result Reveals mass-concentration scaling relation and identifies unusual halo formation.
Core-Halo solves large-scale fixed-point problems by decentralizing updates.
problem Large-scale fixed-point equations with block dependencies.
method Core-Halo decomposition separates write ownership from read-only context, aligning with block-dependence structure.
result Core-Halo achieves near-centralized performance while retaining parallelism.
Semi-analytic models are best suited to compare galaxy formation and evolution theories with observations. These models rely heavily on halo merger trees, and their realistic features (i.e., no drastic changes on halo mass or jumps on physical locations). Our aim is to provide a new framework for halo merger tree gener…
Introduces halo products and studies their geometric properties.
problem Understanding the large-scale geometry of halo groups.
method Introduces halo products and builds a geometric framework.
result Provides refined invariants distinguishing halo groups up to quasi-isometry.
HALO uses local Lipschitz constants to optimize functions efficiently.
problem Efficiently solving global optimization problems with complex objective functions.
method Hybrid Adaptive Lipschizian Optimization (HALO) algorithm that estimates local Lipschitz constants and balances global and local information.
result HALO outperforms other global optimization algorithms on numerous test functions.
New geodesic rays found on hyperbolic surfaces with unique halo.
problem Existence of geodesic rays not asymptotic to lamination leaves.
method Analyzing intersections and lifts of measured geodesic laminations.
result Uncountable halo of geodesic endpoints disjoint from lamination leaves.
CHARM creates mock halo catalogs from dark matter density fields using neural networks.
problem Creating accurate mock halo catalogs for cosmological studies is computationally expensive.
method CHARM uses multi-stage neural spline flow networks to learn the mapping from dark matter density fields to halo catalogs.
result Mock halo catalogs have the same statistical properties as those from high-resolution N-body simulations.
HALO learns to prune neural networks by adaptively shrinking weights.
problem Sparsity and model size in deep neural networks.
method Bayesian hierarchical models and trainable parameters for adaptive sparsification.
result HALO learns to create highly sparse networks with significant performance gains.
Neural net reconstructs dark matter density from halo velocities.
problem Reconstructing local dark matter density from halo velocities.
method Hybrid architecture combining U-Net and DeepSets.
result Hybrid network recovers density amplitudes and phases better than U-Net.
New method extracts cosmological information from dark matter halo catalogues using graph neural networks.
problem Quantifying cosmological information from large-scale structure data.
method Implicit likelihood approach with Information Maximising Neural Networks (IMNNs) on graph representations of dark matter halo catalogues.
result Graph neural network summaries can extract information from noisy catalogues and improve parameter constraints.
Point clouds, as a form of Lagrangian representation, allow for powerful and flexible applications in a large number of computational disciplines. We propose a novel deep-learning method to learn stable and temporally coherent feature spaces for points clouds that change over time. We identify a set of inherent problem…
Study lampshuffler groups' isoperimetric profiles, refining previous estimates.
problem Relate isoperimetric profiles of lampshuffler groups to their base groups.
method Use lamplighter subgraphs and halo products to find optimal upper bounds.
result Sharp estimates for exponential growth groups, including Brieussel-Zheng groups.
Hybrid model speeds up galaxy simulations by incorporating baryonic properties.
problem Inaccurate baryonic properties in dark matter-only simulations.
method Combining analytic models and machine learning for faster, more accurate simulations.
result Hybrid model outperforms machine learning alone for some baryonic properties.
Probabilistic programming allows specification of probabilistic models in a declarative manner. Recently, several new software systems and languages for probabilistic programming have been developed on the basis of newly developed and improved methods for approximate inference in probabilistic models. In this contribut…
A new method models galaxies as points in space for better analysis.
problem Limitations of binning and voxelization in galaxy surveys.
method A diffusion-based generative model for galaxy point clouds.
result Demonstrated on dark matter haloes in Quijote simulations.
Linear algebra approach for parallel deep learning models.
problem Training large DNNs in distributed environments.
method Linear algebraic approach to model parallelism.
result Manual development of backward operators for gradient-based training.
Cluster-wise linear regression (CLR), a clustering problem intertwined with regression, is to find clusters of entities such that the overall sum of squared errors from regressions performed over these clusters is minimized, where each cluster may have different variances. We generalize the CLR problem by allowing each…
The paper reduces normal curvature and enhances homology recovery via embedded submanifolds.
problem Recovering the homology of submanifolds with narrow cycles.
method Embedding submanifolds into scaled oriented Grassmannian bundles to reduce normal curvature and stabilize Čech persistent homology.
result The Čech persistent homology is stable with respect to the interleaving distance and provides lower bounds on scales for homology recovery.
Physics-informed neural networks improve baryonic predictions from dark matter simulations.
problem Recreating hydrodynamic simulations from dark matter requires expensive and time-consuming computations.
method Combining neural network architectures with physical constraints and using Kullback-Leibler divergence for prediction comparison.
result Improved accuracy of baryonic predictions based on dark matter halo properties, successful recovery of the metallicity relation, and preserved scatter.
Dark matter in the universe evolves through gravity to form a complex network of halos, filaments, sheets and voids, that is known as the cosmic web. Computational models of the underlying physical processes, such as classical N-body simulations, are extremely resource intensive, as they track the action of gravity in …
ST-STORM separates semantic and appearance features for robust representation learning.
problem Traditional SSL methods fail to capture appearance cues in critical applications.
method Hybrid SSL framework with two latent streams, Content and Style, disentangled through gating mechanisms.
result The Style branch effectively isolates complex appearance phenomena without degrading semantic performance.
Classifies geodesic planes outside convex core of geometrically finite 3-manifolds.
problem Classifying geodesic planes in geometrically finite 3-manifolds.
method Constructive proof involving exotic rays and roofs.
result Existence of exotic roofs depends on the existence of exotic rays and bending lamination properties.
The paper introduces new structures for left-symmetric algebroids.
problem Developing new mathematical structures for left-symmetric algebroids.
method Introducing Koszul-Vinberg-Nijenhuis structures and related concepts.
result Koszul-Vinberg-Nijenhuis structures provide a hierarchy of structures.
We give a notion of compatibility between a Riemannian structure and a Jacobi structure. We prove that in case of fundamental examples of Jacobi structures : Poisson structures, contact structures and locally conformally symplectic structures, we get respectively Riemann-Poisson structures in the sense of M. Boucetta, …
We give a notion of compatibility between a Riemannian metric and a Jacobi structure. We prove that in case of Poisson structures, contact structures and locally conformally symplectic structures, fundamental examples of Jacobi structures, we get respectively Riemann-Poisson structures in the sense of M. Boucetta, $\fr…
Defines structure constants for specific geometric structures on Lie groups.
problem No specific problem stated; focuses on defining structure constants.
method Not explicitly detailed in the abstract.
result Defines structure constants for almost complex, almost symplectic, and Riemannian structures on a local Lie group.
Study on G2∗ structures and almost para-contact structures in 7D.
problem Understanding the relation between G2∗ structures and almost para-contact structures. method Calculating projections using properties of G2∗ structures. result Determined the class of almost para-contact structures induced by G2∗ structures. Defines a new Poisson structure for generalized Sasakian spaces.
problem No specific problem stated; focuses on new structure definition.
method Defines a canonical Poisson structure on generalized contact metric spaces.
result Shows distinction between generalized Sasakian and coKähler structures.
In a preceding paper we introduced a notion of compatibility between a Jacobi structure and a Riemannian structure on a smooth manifold. We proved that in the case of fundamental examples of Jacobi structures : Poisson structures, contact structures and locally conformally symplectic structures, we get respectively Rie…
Study on types of generalized hypercomplex structures on tori and Kodaira-Thurston surface.
problem Characterizing types of generalized hypercomplex structures.
method Analysis of S2-family of generalized complex structures and study of twistor spaces. result Existence of generalized hypercomplex structures on 4n-dimensional tori with non-maximal types. Classifies complex Dirac structures with invariants and local structure.
problem Classifying complex Dirac structures.
method Introducing invariants (order, type), proving existence and splitting theorems.
result Pointwise classification and local structure of complex Dirac structures.
Extends corner structure study to general case, constructs normal Trans-Sasakian structures.
problem Extending corner structure study to general case without conditions.
method Extends corner structure to general case, constructs Trans-Sasakian structures from non-normal corner structures.
result Constructs normal Trans-Sasakian structures from non-normal corner structures.
New metric structures generalize Sasakian and cosymplectic structures, proving rigidity and finding conditions.
problem Generalizing Sasakian and cosymplectic structures to new metric structures.
method Introducing weak structures and proving rigidity of Sasakian structures.
result Any weak Sasakian structure is homothetically equivalent to a Sasakian structure.
3D projective structures can be metrized with conformal structures.
problem Weyl metrizability of 3D projective structures.
method Interpreting Weyl metrizability as CR submanifolds in 7D.
result Beltrami's theorem extends to conformal structures in 3D.
Hypersymplectic structures with torsion on Lie algebroids are investigated. We show that each hypersymplectic structure with torsion on a Lie algebroid determines three Nijenhuis morphisms. From a contravariant point of view, these structures are twisted Poisson structures. We prove the existence of a one-to-one corres…
Study equivalence between Hessian and Born structures on tangent bundles.
problem Equivalence between Hessian and Born structures on tangent bundles.
method Analyzing conditions for Hessian structures and integrability of induced almost Born structures.
result Conditions for equivalence between Hessian and Born structures are established.
Introduces compatibility between Dirac structures and Nijenhuis tensors.
problem No specific problem stated; focuses on extending Poisson-Nijenhuis structures.
method Introduces compatibility between Dirac structures and (1,1)-tensor fields.
result Properties of Dirac-Nijenhuis structures studied, including connections and integrations.
We introduce generalized almost contact structures which admit the B-field transformations on odd dimensional manifolds. We provide definition of generalized Sasakain structures from the view point of the generalized almost contact structures. We obtain a generalized Sasakian structure on a non-compact manifold which…
Introduces semi-abelian generalized complex structures.
problem Deformation theory of abelian complex structures.
method Definition and examples of semi-abelian generalized complex structures.
result Illustration of new concept with examples.
Introduces VB-structures for geometric objects on manifolds.
problem Properties of higher tangent lifts of geometric structures.
method Introduces weighted structures for various geometric objects on a manifold with a homogeneity structure.
result Proves interesting properties of various weighted structures.
The paper studies nilpotent structures in oriented neutral vector bundles and neutral hyperKähler structures.
problem Nilpotent structures in oriented neutral vector bundles and their relation to neutral hyperKähler structures.
method Defined H-nilpotent structures for Lie subgroups of SO(2n,2n) related to neutral hyperKähler structures. result Existence of complex and paracomplex structures forming neutral hyperKähler structures if and only if there exists an H-nilpotent structure. Spin-structures on real Bott manifolds with Kähler structure are characterized.
problem Existence of spin-structures on real Bott manifolds with Kähler structure.
method Ishida characterization and techniques from \cite{PS16} using characteristic classes.
result Necessary and sufficient condition for the existence of spin-structures on M. Expanding on previous work, this note generalizes geometric structures results.
problem Generalizing geometric structures results.
method Generalization to a class of geometric structures including integrable almost-complex structures.
result Main results generalized to a broader class of geometric structures.
Exotic hypercomplex structures on a torus are proven to not exist.
problem Existence of exotic hypercomplex structures on a torus.
method Classification of complete flat affine structures on real tori using the Obata connection.
result Exotic hypercomplex structures on a torus do not exist.
Parabolic almost conformally symplectic structures were introduced in the first part of this series of articles as a class of geometric structures which have an underlying almost conformally symplectic structure. If this underlying structure is conformally symplectic, then one obtains a PCS-structure. In the current ar…
In this paper, we show the existence of (co-oriented) contact structures on certain classes of G2-manifolds, and that these two structures are compatible in certain ways. Moreover, we prove that any seven-manifold with a spin structure (and so any manifold with G2-structure) admits an almost contact structure. We…
Two Kähler structures are PCR equivalent in the Siegel domain.
problem Equivalence of two Kähler structures in the Siegel domain.
method Construction of complex hyperbolic and Kähler structures from Sasakian structure.
result PCR Kähler equivalent structures in Siegel domain.
We characterize the Dirac structures that are parallel with respect to Gualtieri's canonical connection of a generalized Riemannian metric. On the other hand, we discuss Dirac structures that are images of generalized tangent structures. These structures turn out to be Dirac structures that, if seen as Lie algebroids, …