Unified framework for subgraph-enhanced GNNs, improving prediction accuracy and reducing computation time.
problem Limited understanding of subgraph-enhanced GNNs and their relation to the Weisfeiler-Leman hierarchy.
method Theoretical framework, theoretical expressivity results, and data-driven subgraph sampling methods.
result Data-driven subgraph-enhanced GNNs outperform non-data-driven methods in predictive performance.
Unified view on random walk and Weisfeiler-Leman kernels, improving accuracy.
problem Improving graph kernel methods for better classification accuracy.
method Define and analyze walk-based node refinement methods, relate to Weisfeiler-Leman test, and introduce new walk-based kernels.
result Walk-based kernels are as expressive as Weisfeiler-Leman subtree kernel but support non-strict neighborhood comparison.
Weisfeiler-Leman struggles with graph isomorphism; enhanced architectures improve generalization.
problem Graph isomorphism problem and limited expressivity of 1-WL. method Augmenting 1-WL and MPNNs with subgraph information, employing margin theory, and introducing provable generalization kernels. result Increased expressivity of graph neural networks and kernels does not necessarily correlate with improved generalization performance.
Enhances graph neural networks with spectral and topological information.
problem Improving graph neural networks' expressivity beyond Weisfeiler-Leman hierarchy.
method Integrates spectral information into Persistent Homology diagrams.
result SpectRe is strictly more expressive than PH and spectral information alone.
Line graph transformation aids graph isomorphism tests by excluding challenging graph properties.
problem Limited theoretical understanding of line graph transformation's impact on GNN models.
method Examined CFI and strongly regular graphs, showing line graph transformation helps WL tests distinguish these graphs.
result Line graph transformation aids WL tests in distinguishing challenging graph properties.
New MPNNs match 2-WL, faster distinguishing graphs.
problem Improving graph neural network expressiveness.
method Introducing ℓ-walk MPNNs and second-order GNNs. result Walk MPNNs match 2-WL and can distinguish graphs faster.
Graph Substructure Networks (GSN) improves GNN expressivity by counting subgraph isomorphisms.
problem Limited expressivity of GNNs in detecting and counting graph substructures.
method Topologically-aware message passing scheme based on substructure encoding.
result GSN is strictly more expressive than the Weisfeiler-Leman (WL) test and can disambiguate even hard graph isomorphism instances.
Geometric GNNs improve graph discrimination through GWL.
problem Discriminating geometric graphs embedded in Euclidean space.
method Proposed a geometric version of the Weisfeiler-Leman test (GWL) for geometric graphs.
result Characterized the expressive power of geometric GNNs based on physical symmetries.
ISP improves GNN expressivity by stratifying nodes based on graph invariants.
problem Graph Neural Networks struggle with expressivity and structural heterogeneity.
method Invariant-Stratified Propagation (ISP) using ISP-WL and ISPGNN.
result ISP achieves enhanced expressivity beyond 1-WL, with theoretical guarantees and practical improvements.
We investigate graph neural networks for multi-relational data.
problem Understanding and improving graph neural networks for multi-relational data.
method Aligning Relational GCN and Compositional GCN with the Weisfeiler-Leman test to understand their expressive power and introduce a new k-RN architecture. result The k-RN architecture overcomes the expressiveness limitations of Relational GCN and Compositional GCN. Graph kernels based on the 1-dimensional Weisfeiler-Leman algorithm and corresponding neural architectures recently emerged as powerful tools for (supervised) learning with graphs. However, due to the purely local nature of the algorithms, they might miss essential patterns in the given data and can only handle binar…
Constructs integrable hierarchies for generalized Frobenius manifolds with non-flat unity.
problem Integrable hierarchies for generalized Frobenius manifolds with non-flat unity.
method Constructs a bihamiltonian integrable hierarchy of hydrodynamic type.
result Integrable hierarchy possesses Virasoro symmetries and a tau structure.
Study identifies pitfalls in assessing hierarchies for multi-class classification.
problem Lack of understanding in selecting hierarchies for multi-class classification.
method Analyzed and compared popular approaches to extracting hierarchies.
result Hierarchy quality becomes irrelevant when using powerful classifiers.
Super tau-covers extend bihamiltonian hierarchies' symmetries.
problem Extending symmetries of bihamiltonian hierarchies.
method Constructing super tau-covers for bihamiltonian integrable hierarchies.
result Symmetries of bihamiltonian hierarchies extended to super tau-covers.
Hydrodynamic hierarchy deformed using conservation laws.
problem Deforming a hydrodynamic hierarchy with non-vanishing Nijenhuis torsion.
method Using a chain of conservation laws to deform the hierarchy.
result The resulting hierarchy has non-vanishing Nijenhuis torsion but vanishing Haantjes tensor.
Legendre transformations link related integrable hierarchies.
problem Understanding relationships between integrable hierarchies.
method Legendre-type transformations of generalized Frobenius manifolds.
result Linear reciprocal transformations link related hierarchies.
Twisted U- and twisted U/K-hierarchies are soliton hierarchies introduced by Terng to find higher flows of the generalized sine-Gordon equation. Twisted O(J)×O(J)O(J,J)-hierarchies are among the most important classes of twisted hierarchies. In this paper, interesting first and higher flows of twi…
Derive bihamiltonian structure for rational reduction of 2D-Toda hierarchy
problem Derive bihamiltonian structure for rational reduction of 2D-Toda hierarchy
method Direct computations
result Derive local bihamiltonian structure
We propose a formally completely integrable extension of heat hierarchy based on the space of symmetries isomorphic to the Weyl algebra A1. The extended heat hierarchy will be the basic model for the analysis of the extension of KP hierarchy, and other integrable equations.
Wise's Quasiconvex Hierarchy Theorem classifying hyperbolic virtually compact special groups in terms of quasiconvex hierarchies played an essential role in Agol's proof of the Virtual Haken Conjecture. Answering a question of Wise, we construct a new virtual quasiconvex hierarchy for relatively hyperbolic virtually co…
New hierarchies derived from KP hierarchy using non-formal operators and Yang-Mills action.
problem Formal solutions of KP hierarchy and their non-formal counterparts.
method Developed new hierarchies of non-linear equations on non-formal pseudo-differential operators.
result Expressed one hierarchy as Yang-Mills action minimization.
Symmetry reduction of Painlevé IV to Flaschka-Newell Painlevé II
problem Isomonodromic deformation problem associated with rank-two meromorphic connections
method Symmetry Ψ(−λ)=σ1Ψ(λ)σ1 result Induced isomonodromic dynamics coincides with Flaschka-Newell Painlevé II hierarchy
Scroll structures on solutions of 4D integrable equations are involutive and governed by a dispersionless hierarchy.
problem Characterizing the geometry of solutions to 4D integrable equations.
method Defining rational normal scrolls and showing their involutivity.
result Involutive scroll structures are governed by a dispersionless integrable hierarchy.
A relation between the Goldstein-Petrich hierarchy for plane curves and the Toda lattice hierarchy is investigated. A representation formula for plane curves is given in terms of a special class of τ-functions of the Toda lattice hierarchy. A representation formula for discretized plane curves is also discussed.
Constructs tri-Hamiltonian structure and Frobenius manifold for asymmetric gAL hierarchy
problem Tri-Hamiltonian structure and Frobenius manifold for asymmetric gAL hierarchy
method Local tri-Hamiltonian structure construction and Frobenius manifold construction
result Dispersionless limits of flows belong to Principal Hierarchy
New integrable deformations for topological hierarchies from Frobenius manifolds.
problem Integrable deformations of topological hierarchies from Frobenius manifolds.
method Construction of integrable deformations with polynomial tau-structures.
result Conjecture of universal object for Riemann--Hopf hierarchy.
We introduce two families of soliton hierarchies: the twisted hierarchies associated to symmetric spaces. The Lax pairs of these two hierarchies are Laurent polynomials in the spectral variable. Our constructions gives a hierarchy of commuting flows for the generalized sine-Gordon equation (GSGE), which is the Gauss-Co…
Paper investigates methods to improve classification by inducing a hierarchy from flat labels.
problem Improving classification performance on datasets lacking a natural hierarchy.
method The approach involves clustering conditional distributions and using a hierarchical classifier with the induced hierarchy.
result The methods can discover latent hierarchies and improve accuracy in various applications.
We compute the central invariants of the bihamiltonian structures of the constrained KP hierarchies, and show that these integrable hierarchies are topological deformations of their hydrodynamic limits.
We prove that the extended Toda hierarchy of \cite{CDZ} admits nonabelian Lie algebra of infinitesimal symmetries isomorphic to the half of the Virasoro algebra. The generators Lm, m≥−1 of the Lie algebra act by linear differential operators onto the tau function of the hierarchy. We also prove that the tau fu…
Paper addresses limitations of traditional hierarchical clustering methods.
problem Traditional hierarchical clustering methods face limitations in binary trees and ultrametrics.
method Introduces the notion of a valid hierarchy and a two-step algorithm to construct a binary tree and prune it to enforce validity.
result Proposes a method to recover the finest valid hierarchy, which is not constrained to binary structures.
We present the Lax pair formalism for certain extension of the continuous limit of the classical Toda lattice hierarchy, provide a well defined notion of tau function for its solutions, and give an explicit formulation of the relationship between the CP1 topological sigma model and the extended Toda hierarchy. We al…
New diffiety theory leads to a well-posed KP hierarchy.
problem Formalizing diffieties for better hierarchy analysis.
method Definition of diffiety based on Frolicher structures.
result Formation of a well-posed Kadomtsev-Petviashvili hierarchy.
We propose an extension of the differential system for constant mean curvature (CMC) surfaces in a three dimensional space form to an associated hierarchy of evolution equations by the higher-order commuting symmetries. The infinite sequence of higher-order conservation laws of CMC surfaces admit the corresponding exte…
This is the third in a series of papers attempting to describe a uniform geometric framework in which many integrable systems can be placed. A soliton hierarchy can be constructed from a splitting of an infinite dimensional group L as positive and negative subgroups L_+, L_- and a commuting sequence in the Lie algebr…
Study bihamiltonian structures and Frobenius manifolds for specific Toda hierarchies.
problem Local bihamiltonian structures and Frobenius manifolds for asymmetric rational reductions of 2D-Toda hierarchy.
method Construct three-dimensional generalized Frobenius manifold, relate to other hierarchies via transformations.
result Explicit relation between RR2T and bi-graded Toda and constrained KP hierarchies.
Weisfeiler and Leman enhance graph learning for machine learning tasks.
problem Learning from graph data in machine learning.
method Weisfeiler and Leman algorithm applied to graph and node representation learning.
result The algorithm improves graph and node representation learning in machine learning.
We observe that the modular class of a Poisson-Nijhenhuis manifold has a canonical representative and that, under a cohomological assumption, this vector field is bi-hamiltonian. In many examples the associated hierarchy of flows reproduces classical integrable hierarchies.
ProHOC detects OOD samples in class hierarchies, predicting them to correct internal nodes.
problem Binary OOD detection ignores semantic relationships between OOD and ID classes.
method Probabilistic hierarchical model using multi-depth networks trained for ID classification.
result ProHOC effectively classifies OOD samples to their correct internal nodes in class hierarchies.
We construct integrable hierarchies of flows for curves in centroaffine R3 through a natural pre-symplectic structure on the space of closed unparametrized starlike curves. We show that the induced evolution equations for the differential invariants are closely connected with the Boussinesq hierarchy, and …
The hierarchy structure associated with a (2+1)-dimensional Nonlinear Schroedinger equation is discussed as an extension of the theory of the KP hierarchy. Several methods to construct special solutions are given. The relation between the hierarchy and a representation of toroidal Lie algebras are established by using …
Starting from a so-called flat exact semisimple bihamiltonian structures of hydrodynamic type, we arrive at a Frobenius manifold structure and a tau structure for the associated principal hierarchy. We then classify the deformations of the principal hierarchy which possess tau structures.
We propose a hierarchy for approximate inference based on the Dobrushin, Lanford, Ruelle (DLR) equations. This hierarchy includes existing algorithms, such as belief propagation, and also motivates novel algorithms such as factorized neighbors (FN) algorithms and variants of mean field (MF) algorithms. In particular, w…
The paper constructs Darboux transforms for a specific hierarchy and its related flows.
problem Constructing and analyzing Darboux transforms for the B^n(1)-hierarchy. method Using loop group factorization, the authors construct Darboux transforms and provide Permutability and scaling formulas.
result Explicit soliton solutions are constructed and provided for specific flows.
Local tri-Hamiltonian structure for Ablowitz-Ladik hierarchy established.
problem Establishing a tri-Hamiltonian structure for the Ablowitz-Ladik hierarchy.
method Constructing a local tri-Hamiltonian structure and computing central invariants.
result Central invariants of one bi-Hamiltonian structure are 1/24, and dispersionless limit matches Frobenius manifold.
Proves existence and uniqueness of loop equation solutions for semisimple Frobenius manifolds.
problem Existence and uniqueness of solutions to loop equations in generalized Frobenius manifolds.
method Proves existence and uniqueness of solutions to loop equations for semisimple generalized Frobenius manifolds.
result Existence and uniqueness of solutions to loop equations for semisimple generalized Frobenius manifolds.
NeurT-FDR controls FDR by incorporating feature hierarchy.
problem Controlling FDR in complex, large-scale hypothesis testing problems.
method NeurT-FDR uses a neural network to parametrize test-level covariates and a regression framework to adjust feature hierarchy.
result NeurT-FDR makes substantially more discoveries than competitive baselines.
We propose an extension of the structure equation for constant mean curvature (CMC) surfaces in a three dimensional Riemannian space form to the associated CMC hierarchy of evolution equations by the higher-order commuting symmetries. Via the canonical formal Killing field, considered as an infinitely prolonged and loo…