The tilings of the 2-dimensional sphere by congruent triangles have been extensively studied, and the edge-to-edge tilings have been completely classified. However, not much is known about the tilings by other congruent polygons. In this paper, we classify the simplest case, which is the edge-to-edge tilings of the 2-d…
We reconcile between two classical models of edge-dislocations in solids. The first model, dating from the early 1900s models isolated edge-dislocations as line singularities in locally-Euclidean manifolds. The second model, dating from the 1950s, models continuously-distributed edge-dislocations as smooth manifolds en…
VFGNN tackles privacy-preserving node classification with federated GNN.
problem Data isolation problem in graph data.
method Vertically partitioned federated GNN, differential privacy.
result Demonstrates effectiveness of VFGNN on three benchmarks.
Study of singular metrics with negative scalar curvature on compact manifolds.
problem Understanding metrics with negative scalar curvature on compact manifolds with singularities.
method Analyzes metrics with edge singularities and isolated point singularities, showing they are Einstein.
result Uniformly Euclidean metrics with negative scalar curvature are Einstein on compact manifolds.
New method identifies latent causal graphs without parametric assumptions.
problem Identifying latent causal graphs without parametric assumptions.
method Constructive proofs with new graphical concepts.
result Conditions for nonparametric identification of latent causal graphs.
We study positive scalar curvature on the regular part of Riemannian manifolds with singular, uniformly Euclidean (L∞) metrics that consolidate Gromov's scalar curvature polyhedral comparison theory and edge metrics that appear in the study of Einstein manifolds. We show that, in all dimensions, edge singularit…
In this paper we study CAT(0) groups and their splittings as graphs of groups. For one-ended CAT(0) groups with isolated flats we prove a theorem characterizing exactly when the visual boundary is locally connected. This characterization depends on whether the group has a certain type of splitting over a virtually abel…
Method identifies root causes of anomalies in causal processes.
problem Identifying root causes of anomalies in causal processes.
method Noisy functional causal model, Bayesian learning, gradient-based attribution.
result Proposes efficient method to compute anomaly attribution scores.
Federated learning has been showing as a promising approach in paving the last mile of artificial intelligence, due to its great potential of solving the data isolation problem in large scale machine learning. Particularly, with consideration of the heterogeneity in practical edge computing systems, asynchronous edge-c…
In this paper, we consider the problem of estimating the underlying graph associated with an Ising model given a number of independent and identically distributed samples. We adopt an \emph{approximate recovery} criterion that allows for a number of missed edges or incorrectly-included edges, in contrast with the widel…
Foresight Arena benchmarks AI forecasting on real-world markets, isolating predictive edge.
problem Evaluating AI forecasting ability in real-world markets is challenging due to overfitting, centralized trust, and conflated metrics.
method Permissionless, on-chain benchmark using probabilistic forecasts, commit-reveal protocol, and smart contracts.
result Demonstrates the need for 350 predictions to reliably distinguish agents of different skill levels.
In this paper, we give two classes of positive semi-definite metrics on 2-manifolds. The one is called a class of Kossowski metrics and the other is called a class of Whitney metrics: The pull-back metrics of wave fronts which admit only cuspidal edges and swallowtails in R3 are Kossowski metrics, and t…
EoS selectively shapes learning, affecting some groups more than others.
problem EoS affects learning differently across the data distribution.
method Branching intervention to enter or exit EoS regime, controlled perturbation to isolate mechanisms.
result EoS redistributes learning, amplifying progress on some groups and suppressing others.
From a sequence of similarity networks, with edges representing certain similarity measures between nodes, we are interested in detecting a change-point which changes the statistical property of the networks. After the change, a subset of anomalous nodes which compares dissimilarly with the normal nodes. We study a sim…
IIC decouples causal identification into two phases, significantly reducing the HTC gap in linear SEMs.
problem Determining causal effect coefficients in linear SEMs with latent confounders using the Half-Trek Criterion (HTC) leaves a gap of inconclusive causal effects.
method Iterative Identification Closure (IIC) framework that decouples causal identification into two phases: a seed function S_0 and Reduced HTC propagation.
result IIC strictly subsumes both HTC and ancestor decomposition, reducing the HTC gap by over 80% with combined seeds.
Study financial contagion and risk in sparse networks with directed edges.
problem Analyzing systemic risk in sparse financial networks with balance-sheet interactions.
method Linear fraction of institutions with zero out-degree, sender-truncated subgraph G_sh, adversarial and random systemic events, explicit fan-in accumulation bound.
result Maximal forward reachability in G_sh is O(log n) with high probability in the subcritical regime, and multi-hit defaults are negligible in the supercritical regime.
This paper interprets critical scales in persistent homology for compact metric spaces.
problem Understanding critical scales in persistent homology for general compact metric spaces.
method Analyzing local minima of the distance function and their impact on persistence.
result Each decrease in zero-dimensional persistence and increase in one-dimensional persistence is induced by local minima of the distance function.
The study explains delayed spikes in batch-normalized models.
problem Delayed spikes in batch-normalized models.
method Analyzing batch-normalized linear models, deriving conditions for delayed onset and waiting time.
result Explicit conditions for delayed-onset and waiting time in whitened square-loss linear regression.
Framework isolates causal effects from time series data, improving accuracy under non-stationarity and autocorrelation.
problem Causal inference in non-stationary, autocorrelated time series data.
method Decomposes time series into trend, seasonal, and residual components; performs component-specific causal analysis.
result Framework more accurately recovers ground-truth causal structure than state-of-the-art baselines, especially under strong non-stationarity and temporal autocorrelation.
The paper identifies all link projections with isolate-region number one.
problem Determining link projections with a specific isolate-region number.
method Analyzing link projections to find isolated regions and their cardinality.
result All link projections with isolate-region number one are identified.
Optimal Kelly strategy for multi-outcome parlay bets proven using implicit cash approach.
problem Finding optimal Kelly stakes for multi-outcome parlay bets.
method Eventwise Kelly strategy followed by outer product for full menu of bets. Uses implicit cash viewpoint.
result Optimal Kelly stakes for parlay bets factorize across events, with active leg criterion.
This thesis studies moduli spaces of singular connections on 3-manifolds and manifolds with cylindrical ends. A Chern-Simons functional is defined for singular connections on 3-manifolds which are singular along a knot. The critical points of that Chern-Simons functional are flat singular connections. The Hodge-de Rham…
Algorithm recovers graph from Glauber dynamics trajectory without mixing.
problem Learning Gaussian graphical models from a single Glauber dynamics trajectory.
method Three components: conditional variance estimation, pairwise influence test, robust median aggregation.
result Polynomial-time recovery of conditional independence graph from a single trajectory.
We extend the study of the de Rham operator with ideal boundary conditions from the case of isolated conic singularities, as analyzed by Cheeger, to the case of arbitrary stratified pseudomanifolds. We introduce a class of ideal boundary operators and the notion of mezzoperversity, which intermediates between the stand…
Study of G2-structures with isolated singularities and bounded torsion.
problem Understanding G2-structures with special torsion and isolated singularities. method Revisiting known examples, describing symmetries, and analyzing collapsing of circle fibres.
result Collapsing circle fibres at isolated points cannot produce G2-structures with bounded torsion. New stability and isolation results for Einstein manifolds.
problem Stability and isolation of Einstein manifolds.
method Conditions on Weyl tensor for AH and ALE manifolds, Bochner tensor for Kähler and Sasaki manifolds.
result Established new stability criteria and isolation results for various types of Einstein manifolds.
Map quandle orders to actions, characterize isolated orders, and prove no isolated right orders.
problem Characterizing isolated orders on quandles and proving the absence of certain orders.
method Construct a continuous map from orders to actions, use strong rigidity, and analyze specific cases.
result No isolated right orders on free quandles, except for specific cases.
This paper presents a new insight into improving the performance of Stochastic Neighbour Embedding (t-SNE) by using Isolation kernel instead of Gaussian kernel. Isolation kernel outperforms Gaussian kernel in two aspects. First, the use of Isolation kernel in t-SNE overcomes the drawback of misrepresenting some structu…
Estimating dimension from sparse random geometric graphs.
problem Estimating the dimension of the underlying space from a random geometric graph.
method An estimator of dimension is derived using the adjacency matrix of the graph, under specific conditions on the density and threshold.
result An estimator converges to the true dimension with high probability under certain conditions.
Defines Perelman's functionals on manifolds with non-isolated conical singularities.
problem Defining functionals on manifolds with non-isolated conical singularities.
method Starting from a spectral point of view for the Perelman's λ-functional, defining the spectrum of Schrödinger operator and proving the existence of discrete eigenvalues.
result Proves the existence of the infimum of W-functional and obtains asymptotic behavior of eigenfunctions.
The Milnor fiber conjecture is proven for splice type singularities.
problem Proving the Milnor fiber conjecture for a specific class of singularities.
method Combining techniques from tropical geometry, log geometry, and rounding of logarithmic spaces.
result The Milnor fiber conjecture is proven for splice type singularities.
iMondrian forest combines isolation forest and Mondrian forest for better anomaly detection.
problem Anomaly detection in batch and online settings.
method Hybrid of isolation forest and Mondrian forest, using depth in Mondrian forest structure.
result iMondrian forest outperforms existing methods in batch and online settings.
We investigate the face numbers of simplicial complexes with Buchsbaum vertex links, especially pseudomanifolds with isolated singularities. This includes deriving Dehn-Sommerville relations for pseudomanifolds with isolated singularities and establishing lower bound theorems when the singularities are also homological…
We explore the geometry of nonpositively curved spaces with isolated flats, and its consequences for groups that act properly discontinuously, cocompactly, and isometrically on such spaces. We prove that the geometric boundary of the space is an invariant of the group up to equivariant homeomorphism. We also prove that…
The Poincaré-Hopf theorem is extended to projective varieties with isolated singularities.
problem Extending the Poincaré-Hopf theorem to varieties with isolated singularities.
method Using generalizations of the Poincaré-Hopf index.
result A Poincaré-Hopf type theorem for projective varieties with isolated singularities.
Quantifies how geodesic planes isolate in hyperbolic 3-manifolds.
problem Understanding isolation properties of geodesic planes in hyperbolic 3-manifolds.
method Quantitative estimates of geodesic planes in frame bundles, using tight areas and densities.
result Polynomial estimates of isolation properties with degree given by modified critical exponents.
We define two types of local indices of a vector field at an isolated zero on the boundary, and prove Poincare-Hopf-type index theorems for certain vector fields on a compact smooth manifold which have only isolated zeros.
Study reveals GAGA phenomenon in Poisson cohomology for plane structures with isolated singularities.
problem Understanding Poisson cohomology for plane structures with isolated singularities.
method Determined Gerstenhaber algebra structure over Poisson cohomology groups.
result GAGA type phenomenon observed in Poisson cohomology.
Proves conditions for positive scalar curvature on certain manifolds with conical singularities.
problem Conditions for positive scalar curvature on manifolds with isolated conical singularities.
method Analyzes isolated conical singularities and uses Geroch type results.
result No metric with positive scalar curvature on X#Tn with isolated conical singularity. We study the Euler obstruction of essentially isolated determinantal singularities (EIDS). The EIDS were defined by W. Ebeling and S. Gusein-Zade, as a generalization of isolated singularity. We obtain some formulas to calculate the Euler obstruction for the determinantal varieties with singular set an ICIS.
The paper builds complex hyperbolic 2-manifolds with isolated singularities.
problem Finding compact complex hyperbolic 2-manifolds with non-free actions and isolated fixed points.
method Constructs specific examples for each prime p with Z/pZ action. result General examples for p=2 related to complex hyperbolic lattices conjugacy separability. The Poincaré-Hopf theorem is extended to projective varieties with isolated singularities.
problem Extending the Poincaré-Hopf theorem to projective varieties with isolated singularities.
method Using generalized Poincaré-Hopf indices for a projective variety with isolated determinantal singularities.
result A Poincaré-Hopf type theorem is proven for projective varieties with isolated singularities.
Robert Bryant (Theorie des varietes minimales et applications, 1988, 154: 321-347) proved that an isolated singularity of a conformal metric of positive constant curvature on a Riemann surface is a conical one. Using Complex Analysis, we find all of the local models for an isolated singularity of a flat metric whose ar…
Study on solutions near isolated singularities in 6D Yamabe equation.
problem Behavior of solutions near isolated singularities in 6D Yamabe equation.
method Analyze asymptotic behavior of local solutions in non-conformally flat metrics.
result Solutions are asymptotically close to Fowler solutions in 6D.
Two new scoring methods improve anomaly detection in Isolation Forest.
problem Anomaly and outlier detection in data.
method Generalized score function and volume-based scoring for individual trees.
result Significant improvement in anomaly detection on 34 datasets.
We study solutions to conformally invariant equations with isolated singularties.
The purpose of this erratum is to correct the proof of Theorem A.0.1 in the appendix to our article ``Hadamard spaces with isolated flats'' math.GR/0411232, which was jointly authored by Mohamad Hindawi, Hruska and Kleiner. In that appendix, many of the results of math.GR/0411232 about CAT(0) spaces with isolated flats…
New isolated geometric triangulations found in once-punctured torus bundles.
problem Identifying isolated geometric triangulations in 3-manifolds.
method Examining ideal triangulations and their moves to find isolated geometric ones.
result Infinite family of once-punctured torus bundles with isolated geometric triangulations.