Related papers: Contractors for flows

Tichler proved that a manifold admitting a smooth closed one-form fibers over a circle. More generally a manifold admitting $k$ independent closed one-forms fibers over a torus $T^k$. In this article we explain a version of this…

We generalise to signed graphs a classical result of Tutte [Canad. J. Math. 8 (1956), 13--28] stating that every integer flow can be expressed as a sum of characteristic flows of circuits. In our generalisation, the r\^ole of circuits is…

We discuss functions from the edges and vertices of a directed graph to an Abelian group. Such functions, when the sum of their values along any cycle is zero, are called balanced and form an Abelian group. We study this group in two cases:…

Following Penrose, we introduce a family of graph functions defined in terms of contractions of certain products of symmetric tensors along the edges of a graph. Special cases of these functions enumerate edge colorings and cycles of…

A graph is strongly $\Z_{\ell}$-connected if for each boundary function $\beta: V(G)\mapsto \Z_{\ell}$ with $\beta(v) \equiv d(v) \pmod{2}$ for every vertex $v$ and $\sum_{v \in V(G)} \beta(v) \equiv 0 \pmod{2\ell}$, there exists an…

There are many major open problems in integer flow theory, such as Tutte's 3-flow conjecture that every 4-edge-connected graph admits a nowhere-zero 3-flow, Jaeger et al.'s conjecture that every 5-edge-connected graph is $Z_3$-connected and…

This paper is devoted to a detailed study of nowhere-zero flows on signed eulerian graphs. We generalise the well-known fact about the existence of nowhere-zero $2$-flows in eulerian graphs by proving that every signed eulerian graph that…

We adapt the classical 3-decomposition of any 2-connected graph to the case of simple graphs (no loops or multiple edges). By analogy with the block-cutpoint tree of a connected graph, we deduce from this decomposition a bicolored tree…

We extend the duality between acyclic orientations and totally cyclic orientations on planar graphs to dualities on graphs on orientable surfaces by introducing boundary acyclic orientations and totally bi-walkable orientations. In…

A one-parameter family of coupled flows depending on a parameter $\kappa>0$ is introduced which reduces when $\kappa=1$ to the coupled flow of a metric $\omega$ with a $(1,1)$-form $\alpha$ due recently to Y. Li, Y. Yuan, and Y. Zhang. It…

Both the combinatorial and the circuit diameters of polyhedra are of interest to the theory of linear programming for their intimate connection to a best-case performance of linear programming algorithms. We study the diameters of dual…

We recently introduced a formalism for the modeling of temporal networks, that we call stream graphs. It emphasizes the streaming nature of data and allows rigorous definitions of many important concepts generalizing classical graphs. This…

We prove that a vector field on an affine $C^\infty$-scheme Spec(A) has a flow if the $C^\infty$-ring A is finitely generated. If the vector field is complete then the flow is the target map of a groupoid internal to the category of…

A graph (digraph) $G=(V,E)$ with a set $T\subseteq V$ of terminals is called inner Eulerian if each nonterminal node $v$ has even degree (resp. the numbers of edges entering and leaving $v$ are equal). Cherkassky and Lov\'asz showed that…

In this work, which was inspired by the article [2] by M. V. Velasco and A. R. Villena, we obtain a characterization for probably continuous operators and show that the probability of a linear random operator being continuous coincides with…

The conjecture of Bollob\'as and Koml\'os, recently proved by B\"ottcher, Schacht, and Taraz [Math. Ann. 343(1), 175--205, 2009], implies that for any $\gamma>0$, every balanced bipartite graph on $2n$ vertices with bounded degree and…

We present elements of a typing theory for flow networks, where "types", "typings", and "type inference" are formulated in terms of familiar notions from polyhedral analysis and convex optimization. Based on this typing theory, we develop…

We prove relations between the number of $k$-connected components of a graph, Crapo's invariant $\beta(M)$ of a matroid, and Speyer's polynomial $g_M(t)$. These yield a simple interpretation of $g_M'(-1)$ when $M$ is graphic or cographic.…

We study a type of calculus for proving inequalities between subgraph densities which is based on Jensen's inequality for the logarithmic function. As a demonstration of the method we verify the conjecture of Erd\"os-Simonovits and…

We consider in-network computation of an arbitrary function over an arbitrary communication network. A network with capacity constraints on the links is given. Some nodes in the network generate data, e.g., like sensor nodes in a sensor…