-
The Erdős-Rényi Random Graph Conditioned on Every Component Being a Clique
Authors:
Martijn Gösgens,
Lukas Lüchtrath,
Elena Magnanini,
Marc Noy,
Élie de Panafieu
Abstract:
We consider an Erdős-Rényi random graph, conditioned on the rare event that all connected components are fully connected. Such graphs can be considered as partitions of vertices into cliques. Hence, this conditional distribution defines a distribution over partitions. Using tools from analytic combinatorics, we prove limit theorems for several graph observables: the number of cliques; the number o…
▽ More
We consider an Erdős-Rényi random graph, conditioned on the rare event that all connected components are fully connected. Such graphs can be considered as partitions of vertices into cliques. Hence, this conditional distribution defines a distribution over partitions. Using tools from analytic combinatorics, we prove limit theorems for several graph observables: the number of cliques; the number of edges; and the degree distribution. We consider several regimes of the connection probability $p$ as the number of vertices $n$ diverges. For $p=\frac{1}{2}$, the conditioning yields the uniform distribution over set partitions, which is well-studied, but has not been studied as a graph distribution before. For $p < \frac{1}{2}$, we show that the number of cliques is of the order $n/\sqrt{\log n}$, while for $p > \frac{1}{2}$, we prove that the graph consists of a single clique with high probability. This shows that there is a phase transition at $p=\frac{1}{2}$. We additionally study the near-critical regime $p_n\downarrow\frac{1}{2}$, as well as the sparse regime $p_n\downarrow0$.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Tree walks and the spectrum of random graphs
Authors:
Eva-Maria Hainzl,
Élie de Panafieu
Abstract:
It is a classic result in spectral theory that the limit distribution of the spectral measure of random graphs G(n, p) converges to the semicircle law in case np tends to infinity with n. The spectral measure for random graphs G(n, c/n) however is less understood. In this work, we combine and extend two combinatorial approaches by Bauer and Golinelli (2001) and Enriquez and Menard (2016) and appro…
▽ More
It is a classic result in spectral theory that the limit distribution of the spectral measure of random graphs G(n, p) converges to the semicircle law in case np tends to infinity with n. The spectral measure for random graphs G(n, c/n) however is less understood. In this work, we combine and extend two combinatorial approaches by Bauer and Golinelli (2001) and Enriquez and Menard (2016) and approximate the moments of the spectral measure by counting walks that span trees.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Robot Positioning Using Torus Packing for Multisets
Authors:
Chung Shue Chen,
Peter Keevash,
Sean Kennedy,
Élie de Panafieu,
Adrian Vetta
Abstract:
We consider the design of a positioning system where a robot determines its position from local observations. This is a well-studied problem of considerable practical importance and mathematical interest. The dominant paradigm derives from the classical theory of de Bruijn sequences, where the robot has access to a window within a larger code and can determine its position if these windows are dis…
▽ More
We consider the design of a positioning system where a robot determines its position from local observations. This is a well-studied problem of considerable practical importance and mathematical interest. The dominant paradigm derives from the classical theory of de Bruijn sequences, where the robot has access to a window within a larger code and can determine its position if these windows are distinct. We propose an alternative model in which the robot has more limited observational powers, which we argue is more realistic in terms of engineering: the robot does not have access to the full pattern of colours (or letters) in the window, but only to the intensity of each colour (or the number of occurrences of each letter). This leads to a mathematically interesting problem with a different flavour to that arising in the classical paradigm, requiring new construction techniques. The parameters of our construction are optimal up to a constant factor, and computing the position requires only a constant number of arithmetic operations.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Combinatorics of nondeterministic walks
Authors:
Élie de Panafieu,
Michael Wallner
Abstract:
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. The main difference to classical walks is that its nondeterministic steps consist of sets of steps from a predefined set such that all possible extensions are explored in parallel. We discuss in detail the most natural nondeterministic step sets (Dyck and Motzkin step sets), and show that several nondete…
▽ More
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. The main difference to classical walks is that its nondeterministic steps consist of sets of steps from a predefined set such that all possible extensions are explored in parallel. We discuss in detail the most natural nondeterministic step sets (Dyck and Motzkin step sets), and show that several nondeterministic classes of lattice paths, such as nondeterministic bridges, excursions, and meanders are algebraic. The key concept is the generalization of the ending point of a walk to its reachable points, i.e., a set of ending points. We extend our results to general step sets: We show that nondeterministic bridges and several subclasses of nondeterministic meanders are always algebraic. We conjecture the same is true for nondeterministic excursions, and we present python and Maple packages to support our conjecture. This research is motivated by the study of networks involving encapsulation and decapsulation of protocols. Our results are obtained using generating functions, analytic combinatorics, and additive combinatorics.
Keywords. Random walks, analytic combinatorics, generating functions, limit laws, networking, encapsulation.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Active clustering for labeling training data
Authors:
Quentin Lutz,
Élie de Panafieu,
Alex Scott,
Maya Stein
Abstract:
Gathering training data is a key step of any supervised learning task, and it is both critical and expensive. Critical, because the quantity and quality of the training data has a high impact on the performance of the learned function. Expensive, because most practical cases rely on humans-in-the-loop to label the data. The process of determining the correct labels is much more expensive than comp…
▽ More
Gathering training data is a key step of any supervised learning task, and it is both critical and expensive. Critical, because the quantity and quality of the training data has a high impact on the performance of the learned function. Expensive, because most practical cases rely on humans-in-the-loop to label the data. The process of determining the correct labels is much more expensive than comparing two items to see whether they belong to the same class. Thus motivated, we propose a setting for training data gathering where the human experts perform the comparatively cheap task of answering pairwise queries, and the computer groups the items into classes (which can be labeled cheaply at the very end of the process). Given the items, we consider two random models for the classes: one where the set partition they form is drawn uniformly, the other one where each item chooses its class independently following a fixed distribution. In the first model, we characterize the algorithms that minimize the average number of queries required to cluster the items and analyze their complexity. In the second model, we analyze a specific algorithm family, propose as a conjecture that they reach the minimum average number of queries and compare their performance to a random approach. We also propose solutions to handle errors or inconsistencies in the experts' answers.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Exact enumeration of satisfiable 2-SAT formulae
Authors:
Sergey Dovgal,
Élie de Panafieu,
Vlady Ravelomanana
Abstract:
We obtain exact expressions counting the satisfiable 2-SAT formulae and describe the structure of associated implication digraphs. Our approach is based on generating function manipulations. To reflect the combinatorial specificities of the implication digraphs, we introduce a new kind of generating function, the Implication generating function, inspired by the Graphic generating function used in…
▽ More
We obtain exact expressions counting the satisfiable 2-SAT formulae and describe the structure of associated implication digraphs. Our approach is based on generating function manipulations. To reflect the combinatorial specificities of the implication digraphs, we introduce a new kind of generating function, the Implication generating function, inspired by the Graphic generating function used in digraph enumeration. Using the underlying recurrences, we make accurate numerical predictions of the phase transition curve of the 2-SAT problem inside the critical window. We expect these exact formulae to be amenable to rigorous asymptotic analysis using complex analytic tools, leading to a more detailed picture of the 2-SAT phase transition in the future.
△ Less
Submitted 24 October, 2022; v1 submitted 18 August, 2021;
originally announced August 2021.
-
Limit Distribution of Two Skellam Distributions, Conditionally on Their Equality
Authors:
François Durand,
Élie de Panafieu
Abstract:
Consider two random variables following Skellam distributions of parameters going to infinity linearly. We prove that the limit distribution of the first variable, conditionally on being equal to the second, is Gaussian.
Consider two random variables following Skellam distributions of parameters going to infinity linearly. We prove that the limit distribution of the first variable, conditionally on being equal to the second, is Gaussian.
△ Less
Submitted 22 February, 2021;
originally announced February 2021.
-
The birth of the strong components
Authors:
Sergey Dovgal,
Élie de Panafieu,
Dimbinaina Ralaivaosaona,
Vonjy Rasendrahasina,
Stephan Wagner
Abstract:
Random directed graphs $D(n,p)$ undergo a phase transition around the point $p = 1/n$, and the width of the transition window has been known since the works of Luczak and Seierstad. They have established that as $n \to \infty$ when $p = (1 + μn^{-1/3})/n$, the asymptotic probability that the strongly connected components of a random directed graph are only cycles and single vertices decreases from…
▽ More
Random directed graphs $D(n,p)$ undergo a phase transition around the point $p = 1/n$, and the width of the transition window has been known since the works of Luczak and Seierstad. They have established that as $n \to \infty$ when $p = (1 + μn^{-1/3})/n$, the asymptotic probability that the strongly connected components of a random directed graph are only cycles and single vertices decreases from 1 to 0 as $μ$ goes from $-\infty$ to $\infty$.
By using techniques from analytic combinatorics, we establish the exact limiting value of this probability as a function of $μ$ and provide more properties of the structure of a random digraph around, below and above its transition point. We obtain the limiting probability that a random digraph is acyclic and the probability that it has one strongly connected complex component with a given difference between the number of edges and vertices (called excess). Our result can be extended to the case of several complex components with given excesses as well in the whole range of sparse digraphs.
Our study is based on a general symbolic method which can deal with a great variety of possible digraph families, and a version of the saddle point method which can be systematically applied to the complex contour integrals appearing from the symbolic method. While the technically easiest model is the model of random multidigraphs, in which multiple edges are allowed, and where edge multiplicities are sampled independently according to a Poisson distribution with a fixed parameter $p$, we also show how to systematically approach the family of simple digraphs, where multiple edges are forbidden, and where 2-cycles are either allowed or not.
Our theoretical predictions are supported by numerical simulations, and we provide tables of numerical values for the integrals of Airy functions that appear in this study.
△ Less
Submitted 10 April, 2022; v1 submitted 25 September, 2020;
originally announced September 2020.
-
Counting directed acyclic and elementary digraphs
Authors:
Élie de Panafieu,
Sergey Dovgal
Abstract:
Directed acyclic graphs (DAGs) can be characterised as directed graphs whose strongly connected components are isolated vertices. Using this restriction on the strong components, we discover that when $m = cn$, where $m$ is the number of directed edges, $n$ is the number of vertices, and $c < 1$, the asymptotic probability that a random digraph is acyclic is an explicit function $p(c)$, such that…
▽ More
Directed acyclic graphs (DAGs) can be characterised as directed graphs whose strongly connected components are isolated vertices. Using this restriction on the strong components, we discover that when $m = cn$, where $m$ is the number of directed edges, $n$ is the number of vertices, and $c < 1$, the asymptotic probability that a random digraph is acyclic is an explicit function $p(c)$, such that $p(0) = 1$ and $p(1) = 0$. When $m = n(1 + μn^{-1/3})$, the asymptotic behaviour changes, and the probability that a digraph is acyclic becomes $n^{-1/3} C(μ)$, where $C(μ)$ is an explicit function of $μ$. Łuczak and Seierstad (2009, Random Structures & Algorithms, 35(3), 271--293) showed that, as $μ\to -\infty$, the strongly connected components of a random digraph with $n$ vertices and $m = n(1 + μn^{-1/3})$ directed edges are, with high probability, only isolated vertices and cycles. We call such digraphs elementary digraphs. We express the probability that a random digraph is elementary as a function of $μ$. Those results are obtained using techniques from analytic combinatorics, developed in particular to study random graphs.
△ Less
Submitted 17 April, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Symbolic method and directed graph enumeration
Authors:
Élie de Panafieu,
Sergey Dovgal
Abstract:
We introduce the arrow product, a systematic generating function technique for directed graph enumeration. It provides short proofs for previous results of Gessel on the number of directed acyclic graphs and of Liskovets, Robinson and Wright on the number of strongly connected directed graphs. We also recover Robinson's enumerative results on directed graphs where all strongly connected components…
▽ More
We introduce the arrow product, a systematic generating function technique for directed graph enumeration. It provides short proofs for previous results of Gessel on the number of directed acyclic graphs and of Liskovets, Robinson and Wright on the number of strongly connected directed graphs. We also recover Robinson's enumerative results on directed graphs where all strongly connected components belong to a given family.
△ Less
Submitted 12 June, 2019; v1 submitted 22 March, 2019;
originally announced March 2019.
-
Combinatorics of nondeterministic walks of the Dyck and Motzkin type
Authors:
Elie De Panafieu,
Mohamed Lamine Lamali,
Michael Wallner
Abstract:
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. At each step, a nondeterministic walk draws a random set of steps from a predefined set of sets and explores all possible extensions in parallel. We introduce our new model on Dyck steps with the nondeterministic step set {{--1}, {1}, {--1, 1}} and Motzkin steps with the nondeterministic step set {{--1},…
▽ More
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. At each step, a nondeterministic walk draws a random set of steps from a predefined set of sets and explores all possible extensions in parallel. We introduce our new model on Dyck steps with the nondeterministic step set {{--1}, {1}, {--1, 1}} and Motzkin steps with the nondeterministic step set {{--1}, {0}, {1}, {--1, 0}, {--1, 1}, {0, 1}, {--1, 0, 1}}. For general lists of step sets and a given length, we express the generating function of nondeterministic walks where at least one of the walks explored in parallel is a bridge (ends at the origin). In the particular cases of Dyck and Motzkin steps, we also compute the asymptotic probability that at least one of those parallel walks is a meander (stays nonnegative) or an excursion (stays nonnegative and ends at the origin). This research is motivated by the study of networks involving encapsulations and decapsulations of protocols. Our results are obtained using generating functions and analytic combinatorics.
△ Less
Submitted 17 December, 2018;
originally announced December 2018.
-
Of Kernels and Queues: when network calculus meets analytic combinatorics
Authors:
Anne Bouillard,
Céline Comte,
Élie De Panafieu,
Fabien Mathieu
Abstract:
Stochastic network calculus is a tool for computing error bounds on the performance of queueing systems. However, deriving accurate bounds for networks consisting of several queues or subject to non-independent traffic inputs is challenging. In this paper, we investigate the relevance of the tools from analytic combinatorics, especially the kernel method, to tackle this problem. Applying the kerne…
▽ More
Stochastic network calculus is a tool for computing error bounds on the performance of queueing systems. However, deriving accurate bounds for networks consisting of several queues or subject to non-independent traffic inputs is challenging. In this paper, we investigate the relevance of the tools from analytic combinatorics, especially the kernel method, to tackle this problem. Applying the kernel method allows us to compute the generating functions of the queue state distributions in the stationary regime of the network. As a consequence, error bounds with an arbitrary precision can be computed. In this preliminary work, we focus on simple examples which are representative of the difficulties that the kernel method allows us to overcome.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
Threshold functions for small subgraphs in simple graphs and multigraphs
Authors:
Gwendal Collet,
Élie de Panafieu,
Danièle Gardy,
Bernhard Gittenberger,
Vlady Ravelomanana
Abstract:
We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, for various models of random (multi)graphs. For our proofs we introduce the notion of \emph{patchworks} to describe the possible overlap**s of copies of subgraphs. Furthermore, the proofs are based on analytic combinatorics to carry out asymptotic computations. The flexibility of our approac…
▽ More
We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, for various models of random (multi)graphs. For our proofs we introduce the notion of \emph{patchworks} to describe the possible overlap**s of copies of subgraphs. Furthermore, the proofs are based on analytic combinatorics to carry out asymptotic computations. The flexibility of our approach allows us to tackle a wide range of problems. We obtain the asymptotic number and the limiting distribution of the number of subgraphs which are isomorphic to a graph from a given set of graphs. The results apply to multigraphs as well as to (multi)graphs with degree constraints. One application is to scale-free multigraphs, where the degree distribution follows a power law, for which we show how to obtain the asymptotic number of copies of a given subgraph and give as an illustration the expected number of small cycles.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Threshold functions for small subgraphs: an analytic approach
Authors:
Gwendal Collet,
Élie de Panafieu,
Danièle Gardy,
Bernhard Gittenberger,
Vlady Ravelomanana
Abstract:
We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, including the case of constrained degrees. Our approach relies heavily on analytic combinatorics and on the notion of patchwork to describe the possible overlap** of copies.
This paper is a version, extended to include proofs, of the paper with the same title to be presented at the Eurocom…
▽ More
We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, including the case of constrained degrees. Our approach relies heavily on analytic combinatorics and on the notion of patchwork to describe the possible overlap** of copies.
This paper is a version, extended to include proofs, of the paper with the same title to be presented at the Eurocomb 2017 meeting.
△ Less
Submitted 24 May, 2017;
originally announced May 2017.
-
Analytic combinatorics of connected graphs
Authors:
Elie de Panafieu
Abstract:
We enumerate the connected graphs that contain a number of edges growing linearly with respect to the number of vertices. So far, only the first term of the asymptotics and a bound on the error were known. Using analytic combinatorics, ie generating function manipulations, we derive a formula for the coefficients of the complete asymptotic expansion. The same result is derived for connected multig…
▽ More
We enumerate the connected graphs that contain a number of edges growing linearly with respect to the number of vertices. So far, only the first term of the asymptotics and a bound on the error were known. Using analytic combinatorics, ie generating function manipulations, we derive a formula for the coefficients of the complete asymptotic expansion. The same result is derived for connected multigraphs.
△ Less
Submitted 11 October, 2018; v1 submitted 27 May, 2016;
originally announced May 2016.
-
Counting connected graphs with large excess
Authors:
Elie de Panafieu
Abstract:
We enumerate the connected graphs that contain a linear number of edges with respect to the number of vertices. So far, only the first term of the asymptotics was known. Using analytic combinatorics, i.e. generating function manipulations, we derive the complete asymptotic expansion.
We enumerate the connected graphs that contain a linear number of edges with respect to the number of vertices. So far, only the first term of the asymptotics was known. Using analytic combinatorics, i.e. generating function manipulations, we derive the complete asymptotic expansion.
△ Less
Submitted 25 April, 2016;
originally announced April 2016.
-
2-Xor revisited: satisfiability and probabilities of functions
Authors:
Élie de Panafieu,
Danièle Gardy,
Bernhard Gittenberger,
Markus Kuba
Abstract:
The problem 2-Xor-Sat asks for the probability that a random expression, built as a conjunction of clauses $x \oplus y$, is satisfiable. We revisit this classical problem by giving an alternative, explicit expression of this probability. We then consider a refinement of it, namely the probability that a random expression computes a specific Boolean function. The answers to both problems involve a…
▽ More
The problem 2-Xor-Sat asks for the probability that a random expression, built as a conjunction of clauses $x \oplus y$, is satisfiable. We revisit this classical problem by giving an alternative, explicit expression of this probability. We then consider a refinement of it, namely the probability that a random expression computes a specific Boolean function. The answers to both problems involve a description of 2-Xor expressions as multigraphs and use classical methods of analytic combinatorics by expressing probabilities through coefficients of generating functions.
△ Less
Submitted 24 November, 2015;
originally announced November 2015.
-
Graphs with degree constraints
Authors:
Élie de Panafieu,
Lander Ramos
Abstract:
Given a set D of nonnegative integers, we derive the asymptotic number of graphs with a givenvnumber of vertices, edges, and such that the degree of every vertex is in D. This generalizes existing results, such as the enumeration of graphs with a given minimum degree, and establishes new ones, such as the enumeration of Euler graphs, i.e. where all vertices have an even degree. Those results are d…
▽ More
Given a set D of nonnegative integers, we derive the asymptotic number of graphs with a givenvnumber of vertices, edges, and such that the degree of every vertex is in D. This generalizes existing results, such as the enumeration of graphs with a given minimum degree, and establishes new ones, such as the enumeration of Euler graphs, i.e. where all vertices have an even degree. Those results are derived using analytic combinatorics.
△ Less
Submitted 21 July, 2015; v1 submitted 9 June, 2015;
originally announced June 2015.
-
Enumeration and structure of inhomogeneous graphs
Authors:
Élie de Panafieu
Abstract:
We analyze a general model of weighted graphs, introduced by de Panafieu and Ravelomanana (2014) and similar to the "inhomogeneous graph model" of Söderberg (2002). Each vertex receives a "type" among a set of $q$ possibilities as well as a "weight" corresponding to this type, and each edge is weighted according to the types of the vertices it links. The weight of the graph is then the product of…
▽ More
We analyze a general model of weighted graphs, introduced by de Panafieu and Ravelomanana (2014) and similar to the "inhomogeneous graph model" of Söderberg (2002). Each vertex receives a "type" among a set of $q$ possibilities as well as a "weight" corresponding to this type, and each edge is weighted according to the types of the vertices it links. The weight of the graph is then the product of the weights of its vertices and edges. We investigate the sum of the weights of such graphs and prove that when the number of edges is small, almost all of them contain no component with more than one cycle. Those results allow us to give a new proof in a more general setting of a theorem of Wright (1961) on the enumeration of properly colored graphs. We also discuss applications related to social networks.
△ Less
Submitted 5 November, 2015; v1 submitted 30 January, 2015;
originally announced January 2015.
-
Limit law for number of components of fixed sizes of graphs with degree one or two
Authors:
Nicolas Broutin,
Élie de Panafieu
Abstract:
We consider graphs with vertices of degree 1 or 2 and prove that the numbers of components of sizes 2 to q have a limit normal distribution for any q > 1. The result is also extended to multigraphs.
We consider graphs with vertices of degree 1 or 2 and prove that the numbers of components of sizes 2 to q have a limit normal distribution for any q > 1. The result is also extended to multigraphs.
△ Less
Submitted 11 December, 2014; v1 submitted 6 November, 2014;
originally announced November 2014.
-
Analytic Description of the Phase Transition of Inhomogeneous Multigraphs
Authors:
Élie de Panafieu,
Vlady Ravelomanana
Abstract:
We introduce a new model of random multigraphs with colored vertices and weighted edges. It is similar to the "inhomogeneous random graph model" of Söderberg (2002), extended by Bollobás, Janson and Riordan (2007). By means of analytic combinatorics, we then analyze the birth of "complex components", which are components with at least two cycles.
We apply those results to give a complete picture…
▽ More
We introduce a new model of random multigraphs with colored vertices and weighted edges. It is similar to the "inhomogeneous random graph model" of Söderberg (2002), extended by Bollobás, Janson and Riordan (2007). By means of analytic combinatorics, we then analyze the birth of "complex components", which are components with at least two cycles.
We apply those results to give a complete picture of the finite size scaling and the critical exponents associated to a rather broad family of decision problems. As applications, we derive new proofs of known results on the 2-colorability problem, already investigated by Pittel and Yeum (2010), and on the enumeration of properly q-colored multigraphs, analyzed by Wright (1972). We also obtain new results on the phase transition of the satisfiability of quantified 2-Xor-formulas, a problem introduced by Creignou, Daudé and Egly (2007).
△ Less
Submitted 30 September, 2014;
originally announced September 2014.
-
Phase Transition of Random Non-Uniform Hypergraphs
Authors:
Elie de Panafieu
Abstract:
Non-uniform hypergraphs appear in various domains of computer science as in the satisfiability problems and in data analysis. We analyse a general model where the probability for an edge of size $t$ to belong to the hypergraph depends of a parameter $ω_t$ of the model. It is a natural generalization of the models of graphs presented in "The first cycles in an evolving graph" [Flajolet, Knuth, Pitt…
▽ More
Non-uniform hypergraphs appear in various domains of computer science as in the satisfiability problems and in data analysis. We analyse a general model where the probability for an edge of size $t$ to belong to the hypergraph depends of a parameter $ω_t$ of the model. It is a natural generalization of the models of graphs presented in "The first cycles in an evolving graph" [Flajolet, Knuth, Pittel, 1989] and in the "Birth of the giant component" [Janson, Knuth, Łuczak, Pittel, 1993]. The present paper follows the same general approach based on analytic combinatorics. We show that many analytic tools developed for the analysis of graphs can be extended surprisingly well to non-uniform hypergraphs. Specifically, we investigate random hypergraphs with a large number of vertices $n$ and a complexity, defined as the "excess", proportional to $n$. We analyze their typical structure before, near and after the birth of the "complex" components, that are the connected components with more than one cycle. Finally, we compute statistics of the model to link number of edges and excess.
△ Less
Submitted 5 March, 2015; v1 submitted 22 April, 2013;
originally announced April 2013.
-
Complexity Estimates for Two Uncoupling Algorithms
Authors:
Alin Bostan,
Frédéric Chyzak,
Élie De Panafieu
Abstract:
Uncoupling algorithms transform a linear differential system of first order into one or several scalar differential equations. We examine two approaches to uncoupling: the cyclic-vector method (CVM) and the Danilevski-Barkatou-Zürcher algorithm (DBZ). We give tight size bounds on the scalar equations produced by CVM, and design a fast variant of CVM whose complexity is quasi-optimal with respect t…
▽ More
Uncoupling algorithms transform a linear differential system of first order into one or several scalar differential equations. We examine two approaches to uncoupling: the cyclic-vector method (CVM) and the Danilevski-Barkatou-Zürcher algorithm (DBZ). We give tight size bounds on the scalar equations produced by CVM, and design a fast variant of CVM whose complexity is quasi-optimal with respect to the output size. We exhibit a strong structural link between CVM and DBZ enabling to show that, in the generic case, DBZ has polynomial complexity and that it produces a single equation, strongly related to the output of CVM. We prove that algorithm CVM is faster than DBZ by almost two orders of magnitude, and provide experimental results that validate the theoretical complexity analyses.
△ Less
Submitted 23 April, 2013; v1 submitted 23 January, 2013;
originally announced January 2013.
