funcGNN uses graph neural networks to estimate program similarity efficiently.
problem Estimating accurate program similarity for software engineering tasks.
method funcGNN trains on labeled CFG pairs to predict GED between unseen programs using effective embedding vectors.
result funcGNN achieves lower error rate (0.00194) and is 23 times faster than traditional methods.
INDEQS: A Graph-Based Neural Controlled Differential Equation Framework for Forecasting
problem Forecasting time series with neural networks
method Incorporating prior knowledge of a directed graph
result Outer informedness consistently improves forecasting accuracy
HLTF generates chemically valid 3D molecules with improved topology control.
problem Generating chemically valid 3D molecules is challenging due to bond topology errors.
method HLTF uses a latent multi-scale plan for global context and a constraint-aware sampler to suppress topology-driven failures.
result HLTF achieves high validity and uniqueness on QM9 and GEOM-DRUGS datasets.
Graphs with nonnegative Bakry-Émery curvature have volume doubling and Poincaré inequalities.
problem Proving properties of graphs with specific curvature conditions.
method Graph-theoretic modified nonlinear heat-flow method, including point-mass consequences and diffusive exit-time control.
result Volume doubling and Poincaré inequalities for graphs with nonnegative Bakry-Émery curvature.
We address the problem of reverse engineering of stripped executables, which contain no debug information. This is a challenging problem because of the low amount of syntactic information available in stripped executables, and the diverse assembly code patterns arising from compiler optimizations. We present a novel ap…
GraphBSI generates graphs by refining a belief in continuous space, outperforming existing models.
problem Generating discrete, unordered graph data is challenging for traditional models.
method GraphBSI uses Bayesian Sample Inference (BSI) to iteratively refine a belief over graph distribution parameters.
result GraphBSI outperforms existing one-shot graph generative models on molecular and synthetic graph generation benchmarks.
A novel spatio-temporal graph neural network with a learnable Tweedie head improves vessel traffic flow prediction in sparse maritime data.
problem Accurate vessel traffic flow prediction in sparse maritime data.
method A model-agnostic learnable Tweedie head attached to ST-GNN backbones.
result The proposed head consistently improves RMSE across multiple ST-GNN backbones, especially on non-zero events.
This paper investigates the behavior of the Min-Sum message passing scheme to solve systems of linear equations in the Laplacian matrices of graphs and to compute electric flows. Voltage and flow problems involve the minimization of quadratic functions and are fundamental primitives that arise in several domains. Algor…
Graph neural networks have become increasingly popular in recent years due to their ability to naturally encode relational input data and their ability to scale to large graphs by operating on a sparse representation of graph adjacency matrices. As we look to scale up these models using custom hardware, a natural assum…
A new diffusion model encodes causal structures for better interventional sampling and edge inference.
problem Lack of causal analysis in standard diffusion models.
method Causality-encoded diffusion framework that trains conditional models consistent with a directed acyclic graph.
result The method enables accurate interventional sampling and edge inference, with theoretical guarantees and practical applications.
SHADOWCAST generates graphs with user-specified attributes.
problem Controlling graph generation with understandable structures.
method Conditional generative adversarial network guided by Markov model.
result Competitive performance in generating desired graphs.
This paper tackles traffic volume estimation challenges with a deep learning method.
problem Underdetermined and non-equilibrium traffic flows.
method Graph-based deep learning method with adaptive attention mechanisms.
result The proposed model achieves high accuracy even with low sensor coverage.
Existence and uniqueness theorem for Ricci flow on weighted graphs proved.
problem Existence and uniqueness of solutions to Ricci flow equations on weighted graphs.
method Continuous time normalized Ricci flow approach.
result Existence and uniqueness theorem for solutions to Ricci flow on weighted graphs.
New method constructs Birkhoff sections for pseudo-Anosov flows with controlled complexity.
problem Constructing Birkhoff sections for pseudo-Anosov flows with specific properties.
method Uses connection between pseudo-Anosov flows and veering triangulations to explicitly construct sections with controlled complexity.
result Shows that any transitive pseudo-Anosov flow has a Birkhoff section with two boundary components.
Constructs graph manifolds with many Anosov flows.
problem Finding graph manifolds supporting multiple Anosov flows.
method Cutting geodesic flows, pulling back to finite covers, and gluing compatible pairs of flows.
result Constructs graph manifolds with at least n Anosov flows for any n.
New method shows pseudo-Anosov flows on graph manifolds can be simplified.
problem Understanding pseudo-Anosov flows on graph manifolds.
method Constructing a partial Birkhoff section with genus one components that misses finitely many closed orbits.
result Every pseudo-Anosov flow on a graph manifold is almost equivalent to a totally periodic flow or a suspension Anosov flow.
New curvature defined via graph resistances leads to Ricci flow.
problem Defining curvature on graph edges for analysis.
method Introducing Ricci--Foster curvature based on effective resistances and studying Ricci flow.
result Existence of solutions to Ricci flow on short time intervals, preservation of nonnegative curvature.
Two proofs of Kalman Theorem using flows of vector fields.
problem Classical result of Control Theory (Kalman Theorem).
method Two proofs using flows of vector fields.
result New criteria for local controllability of non-linear systems.
The paper explores heat flow and constants on graphs, proving properties and proposing new concepts.
problem Analyzing heat flow and constants on graphs.
method Introducing concepts, recalling graph theory, and proposing new discrete Morse flows.
result Weak discrete Morse flows for heat flow on finite graphs under suitable assumptions.
This paper addresses the challenging problem of retrieval and matching of graph structured objects, and makes two key contributions. First, we demonstrate how Graph Neural Networks (GNN), which have emerged as an effective model for various supervised prediction problems defined on structured data, can be trained to pr…
Graph neural network using Beltrami flow for feature and topology evolution.
problem Efficient feature learning and topology evolution on graphs.
method Discretized Beltrami flow applied to graph neural networks with positional encodings.
result Achieves state-of-the-art results on various benchmarks.
Study of mean curvature flows on graphs in warped product manifolds, focusing on behavior at infinity.
problem Behavior of mean curvature flows on graphs in warped product manifolds, especially at infinity.
method Analysis of curve shortening flow and mean curvature flow on geodesic graphs for various warping functions.
result Long-time existence of mean curvature flows and vanishing of curvature and derivatives at infinity.
Graph neural controlled differential equations learn graph dynamics from vertex observations.
problem Predicting future states of dynamical systems on graphs with limited vertex data.
method Incorporates graph topology information into NCDE to predict graph dynamics.
result Informed NCDE requires fewer parameters and lower MAE compared to previous methods.
New Ricci flow method for directed graphs with balancing factor.
problem Analyzing asymmetry in directed networks.
method Rigorous formulation of Ricci flow on directed weighted graphs with balancing factor.
result Existence and uniqueness of discrete Ricci flow solutions.
In this paper, following J. Franks' work on Lyapunov graphs of nonsingular Smale flows on S3, we study Lyapunov graphs of nonsingular Smale flows on S1×S2. More precisely, we determine necessary and sufficient conditions on an abstract Lyapunov graph to be associated with a nonsingular Smale flow on $S^1 …
Ricci flow controls curvature on manifolds with bounds.
problem Controlling curvature on manifolds with given bounds.
method Ricci flow with curvature bounds and entropy controls.
result Global curvature control at positive times for manifolds.
Local existence and uniqueness of Bakry-Émery Ricci flow solutions on finite graphs.
problem Analyzing the behavior of Ricci flow on finite graphs.
method Local existence and uniqueness proof for solutions of the Bakry-Émery Ricci flow.
result Local existence and uniqueness of solutions to the Ricci flow on finite graphs.
We introduce graph normalizing flows: a new, reversible graph neural network model for prediction and generation. On supervised tasks, graph normalizing flows perform similarly to message passing neural networks, but at a significantly reduced memory footprint, allowing them to scale to larger graphs. In the unsupervis…
The paper introduces a new type of Ricci flow on graphs to study their curvature.
problem Understanding the curvature of graphs and their convergence properties.
method Proposes a weighted Forman and Lin-Lu-Yau Ricci flow on graphs and proves the existence and uniqueness of solutions.
result The normalized curvature flow on trees converges to a constant curvature metric.
Graph Ricci flow reveals hidden hierarchies in stock market correlations.
problem Detecting hidden structures in the complex stock market graph.
method Using graph Ricci curvature and flow techniques to analyze the NASDAQ 100 index.
result Algorithm detects hidden hierarchies, community behavior, and clustering in financial markets.
Study on planar graphs in Poincare model of hyperbolic geometry.
problem Investigating Morse flows on a 2-disk using planar graphs.
method Using planar graphs and spherical graphs to describe topological structures.
result Listed all planar graphs with at least 3 edges and described those with 4 edges.
Flow preserves curvature sharpness on weighted graphs.
problem Curvature flow on weighted graphs.
method Adapting Bakry-Émery calculus for Markovian preservation and analyzing limits.
result Flow limits to curvature sharp weighted graphs.
Neural ODEs control graph dynamics with low energy feedback.
problem Controlling complex dynamical systems on graphs.
method Neural Ordinary Differential Equation Control (NODEC) framework.
result NODEC learns low-energy control signals for graph dynamical systems.
Statistical generative models for molecular graphs attract attention from many researchers from the fields of bio- and chemo-informatics. Among these models, invertible flow-based approaches are not fully explored yet. In this paper, we propose a powerful invertible flow for molecular graphs, called graph residual flow…
We present a notion of super Ricci flow for time-dependent finite weighted graphs. A challenging feature is that these flows typically encounter singularities where the underlying graph structure changes. Our notion is robust enough to allow the flow to continue past these singularities. As a crucial tool for this purp…
Proposes a new model for traffic flow on directed graphs.
problem Modeling advection on directed graphs for traffic flow.
method Reformulates graph advection operator as finite difference scheme; proposes DGAMGP model.
result Effective modeling of traffic flow and uncertainty as an advective process.
Shapley Flow interprets model predictions using a graph-based approach to feature importance.
problem Existing feature importance methods ignore or hide feature dependencies.
method Shapley Flow considers the entire causal graph and assigns credit to edges.
result Shapley Flow provides a deeper, graph-based view of feature importance.
Graph neural networks are explained through energy gradient flow and framelet decomposition.
problem Understanding and improving graph neural networks.
method Viewing framelet-based models as gradient flows of energy, proposing a generalized energy via framelet decomposition.
result The proposed model leads to more flexible dynamics, enhancing graph neural networks.
EGFs use ergodicity to simplify generative flows for easier training and imitation learning.
problem Challenges in training generative flows, especially in continuous settings and for imitation learning.
method EGFs leverage ergodicity to build simple flows with universality guarantees and tractable FM loss. They introduce a KL-weakFM loss for IL training without a separate reward model.
result EGFs simplify generative flow training and enable effective imitation learning.
Classifies solitons for surface diffusion flow of graphs.
problem Classifying solitons for surface diffusion flow of graphs.
method Classifies solitons including equilibria, self-similar solutions, and travelling waves.
result Classified solitons for surface diffusion flow of entire graphs.
Timely accurate traffic forecast is crucial for urban traffic control and guidance. Due to the high nonlinearity and complexity of traffic flow, traditional methods cannot satisfy the requirements of mid-and-long term prediction tasks and often neglect spatial and temporal dependencies. In this paper, we propose a nove…
We present a graph-based semi-supervised learning (SSL) method for learning edge flows defined on a graph. Specifically, given flow measurements on a subset of edges, we want to predict the flows on the remaining edges. To this end, we develop a computational framework that imposes certain constraints on the overall fl…
New methods prove controllability of non-linear systems, extending classical results.
problem Controllability of non-linear control systems.
method Analytic control system, graph completions, flows of vector fields, pseudogroup of local diffeomorphisms.
result Sufficient conditions for local controllability and accessibility of non-linear systems.
In this work we study the degree distribution, the maximum vertex and edge flow in non-uniform random Delaunay triangulations when geodesic routing is used. We also investigate the vertex and edge flow in Erdös-Renyi random graphs, geometric random graphs, expanders and random k-regular graphs. Moreover we show that …
Flow on weighted graphs sharpens Bakry-Émery curvature.
problem Sharp curvature in weighted graphs.
method Bakry-Émery curvature flow on mixed weighted graphs.
result Limits of curvature flow are curvature sharp.
We present two initial graphs over the entire Rn, n≥2 for which the mean curvature flow behaves differently from the heat flow. In the first example, the two flows stabilize at different heights. With our second example, the mean curvature flow oscillates indefinitely while the heat flow stabilizes. …
The Ollivier Ricci flow with prescribed curvature on infinite graphs.
problem Ricci flow with prescribed curvature on infinite graphs.
method Existence and uniqueness of the solution to the Ricci flow.
result Convergence of the Ricci flow for graphs with girth at least 6.
Study on veering triangulations and their flow graphs, proving new applications.
problem Understanding the structure of veering triangulations and their flow graphs.
method Analyzing the infinitesimal components of the flow graph associated with veering triangulations.
result Infinitesimal components of veering triangulations' flow graphs have specific forms related to subsets called 'walls'.