sequence
6845 papers tagged with this keyword
Path decompositions of random directed graphs
We consider the problem of decomposing the edges of a directed graph into as few paths as possible. There is a natural lower bound for the number of paths needed in an edge decomposition of a directed graph $D$ in terms of its degree sequence: this is given by the excess of $D$, which is the sum of $|d^+(v) - d^-(v)|/2$ over all vertices $v$ of $D$ (here $d^+(v)$ and $d^-(v)$ are, respectively, the out- and indegree of $v$).
A conjecture due to Alspach, Mason and Pullman from 1976 states that this bound is correct for tournaments of even order. The conjecture was recently resolved for large tournaments. Here we investigate to what extent the conjecture holds for directed graphs in general. In particular, we prove that the conjecture holds with high probability for the random directed graph $D_{n,p}$ for a large range of $p$ (thus proving that it holds for most directed graphs). To be more precise, we define a deterministic class of directed graphs for which we can show the conjecture holds, and later show that the random digraph belongs to this class with high probability. Our techniques involve absorption and flows.
Constructing bounded degree graphs with prescribed degree and neighbor degree sequences
Let $D = d_1, d_2, \ldots, d_n$ and $F = f_1, f_2,\ldots, f_n$ be two sequences of positive integers. We consider the following decision problems: is there a $i)$ multigraph, $ii)$ loopless multigraph, $iii)$ simple graph, $iv)$ connected simple graph, $v)$ tree, $vi)$ caterpillar $G = (V,E)$ such that for all $k$, $d(v_k) = d_k$ and $\sum_{w\in \mathcal{N}(v_k)} d(w) = f_k$ ($d(v)$ is the degree of $v$ and $\mathcal{N}(v)$ is the set of neighbors of $v$). Here we show that all these decision problems can be solved in polynomial time if $\max_{k} d_k$ is bounded.
The problem is motivated by NMR spectroscopy of hydrocarbons.
On the power of choice for Boolean functions
Published
• View Publication
• BIB
In this paper we consider a variant of the well-known Achlioptas process for graphs adapted to monotone Boolean functions. Fix a number of choices $r\in \mathbb N$ and a sequence of increasing functions $(f_n)_{n\ge 1}$ such that, for every $n\ge 1$, $f_n:\{0,1\}^n\mapsto \{0,1\}$. Given $n$ bits which are all initially equal to 0, at each step $r$ 0-bits are sampled uniformly at random and are proposed to an agent. Then, the agent selects one of the proposed bits and turns it from 0 to 1 with the goal to reach the preimage of 1 as quickly as possible. We nearly characterize the conditions under which an acceleration by a factor of $r(1+o(1))$ is possible, and underline the wide applicability of our results by giving examples from the fields of Boolean functions and graph theory.
Bisections of mass assignments using flags of affine spaces
Published
• View Publication
• BIB
We use recent extensions of the Borsuk--Ulam theorem for Stiefel manifolds to generalize the ham sandwich theorem to mass assignments. A $k$-dimensional mass assignment continuously imposes a measure on each $k$-dimensional affine subspace of $\mathbb{R}^d$. Given a finite collection of mass assignments of different dimensions, one may ask if there is some sequence of affine subspaces $S_{k-1} \subset S_k \subset \ldots \subset S_{d-1} \subset \mathbb{R}^d$ such that $S_i$ bisects all the mass assignments on $S_{i+1}$ for every $i$. We show it is possible to do so whenever the number of mass assignments of dimensions $(k,\ldots,d)$ is a permutation of $(k,\ldots,d)$. We extend previous work on mass assignments and the central transversal theorem. We also study the problem of halving several families of $(d-k)$-dimensional affine spaces of $\mathbb{R}^d$ using a $(k-1)$-dimensional affine subspace contained in some translate of a fixed $k$-dimensional affine space. For $k=d-1$, there results can be interpreted as dynamic ham sandwich theorems for families of moving points.
A spanning union of cycles in rectangular grid graphs, thick grid cylinders and Moebius strips
Motivated to find the answers to some of the questions that have occurred in recent papers dealing with Hamiltonian cycles (abbreviated HCs) in some special classes of grid graphs we started the investigation of spanning unions of cycles, the so-called 2-factors, in these graphs (as a generalizations of HCs). For all the three types of graphs from the title and for any integer $m \geq 2$ we propose an algorithm for obtaining a specially designed (transfer) digraph ${\cal D}^*_m$. The problem of enumeration of 2-factors is reduced to the problem of enumerating oriented walks in this digraph. Computational results we gathered for $m \leq 17$ reveal some interesting properties both for the digraphs ${\cal D}^*_m$ and for the sequences of numbers of 2-factors. We prove some of them for arbitrary $m \geq 2$.
Insertion and Lie Bracket Concerning Finite Sets
In this article we discuss the operations of partitions (sequence of disjoint finite subsets) which are quotient, insertion, composition and Lie bracket. Moreover, we discuss applications of those operations for Feymman diagrams and Kontesvich's graphs.
Permanent identities, combinatorial sequences, and permutation statistics
Published
• View Publication
• BIB
In this paper, we confirm six conjectures on the exact values of some permanents, relating them to the Genocchi numbers of the first and second kinds as well as the Euler numbers. For example, we prove that $$\mathrm{per}\left[\left\lfloor\frac{2j-k}{n}\right\rfloor\right]_{1\le j,k\le n}=2(2^{n+1}-1)B_{n+1},$$ where $B_0,B_1,B_2,\ldots$ are the Bernoulli numbers. We also show that $$ \mathrm{per}\left[\mathrm{sgn}\left(\cosπ\frac{i+j}{n+1}\right)\right]_{1\le i,j\le n}=\begin{cases} -\sum_{k=0}^m\binom{m}{k}E_{2k+1}&\quad\text{if}\ n=2m+1,\\ \sum_{k=0}^m\binom{m}{k}E_{2k}&\quad\text{if}\ n=2m, \end{cases} $$ where $\mathrm{sgn}(x)$ is the sign function, and $E_0,E_1,E_2,\ldots$ are the Euler (zigzag) numbers.
In the course of linking the evaluation of these permanents to the aforementioned combinatorial sequences, the classical permutation statistic -- the excedance number, together with several kinds of its variants, plays a central role. Our approach features recurrence relations, bijections, as well as certain elementary operations on matrices that preserve their permanents. Moreover, our proof of the second permanent identity leads to a proof of Bala's conjectural continued fraction formula, and an unexpected permutation interpretation for the $γ$-coefficients of the $2$-Eulerian polynomials.
Lagrangian combinatorics of matroids
Published
• View Publication
• BIB
The Lagrangian geometry of matroids was introduced in [ADH20] through the construction of the conormal fan of a matroid M. We used the conormal fan to give a Lagrangian-geometric interpretation of the h-vector of the broken circuit complex of M: its entries are the degrees of the mixed intersections of certain convex piecewise linear functions $γ$ and $δ$ on the conormal fan of M. By showing that the conormal fan satisfies the Hodge-Riemann relations, we proved Brylawski's conjecture that this h-vector is a log-concave sequence.
This sequel explores the Lagrangian combinatorics of matroids, further developing the combinatorics of biflats and biflags of a matroid, and relating them to the theory of basis activities developed by Tutte, Crapo, and Las Vergnas. Our main result is a combinatorial strengthening of the $h$-vector computation: we write the k-th mixed intersection of $γ$ and $δ$ explicitly as a sum of biflags corresponding to the nbc-bases of internal activity k+1.
A numerical study of L-convex polyominoes and 201-avoiding ascent sequences
For L-convex polyominoes we give the asymptotics of the generating function coefficients, obtained by analysis of the coefficients derived from the functional equation given by Castiglione et al. \cite{CFMRR7}. For 201-avoiding ascent sequences, we conjecture the solution, obtained from the first 23 coefficients of the generating function. The solution is D-finite, indeed algebraic. The conjectured solution then correctly generates all subsequent coefficients. We also obtain the asymptotics, both from direct analysis of the coefficients, and from the conjectured solution. As well as presenting these new results, our purpose is to illustrate the methods used, so that they may be more widely applied.
Classes of Explicit Phylogenetic Networks and their Biological and Mathematical Significance
Published
• View Publication
• BIB
The evolutionary relationships among organisms have traditionally been represented using rooted phylogenetic trees. However, due to reticulate processes such as hybridization or lateral gene transfer, evolution cannot always be adequately represented by a phylogenetic tree, and rooted phylogenetic networks that describe such complex processes have been introduced as a generalization of rooted phylogenetic trees. In fact, estimating rooted phylogenetic networks from genomic sequence data and analyzing their structural properties is one of the most important tasks in contemporary phylogenetics. Over the last two decades, several subclasses of rooted phylogenetic networks (characterized by certain structural constraints) have been introduced in the literature, either to model specific biological phenomena or to enable tractable mathematical and computational analyses. In the present manuscript, we provide a thorough review of these network classes, as well as provide a biological interpretation of the structural constraints underlying these networks where possible. In addition, we discuss how imposing structural constraints on the network topology can be used to address the scalability and identifiability challenges faced in the estimation of phylogenetic networks from empirical data.
A Multiplicative Property for Zero-Sums II
Published
• View Publication
• BIB
Let $G=C_n\oplus C_{mn}$ with $n\geq 2$ and $m\geq 1$, and let $k\in [0,n-1]$. It is known that any sequence of $mn+n-1+k$ terms from $G$ must contain a nontrivial zero-sum of length at most $mn+n-1-k$. The associated inverse question is to characterize those sequences with maximal length $mn+n-2+k$ that fail to contain a nontrivial zero-sum subsequence of length at most $mn+n-1-k$. For $k\leq 1$, this is the inverse question for the Davenport Constant. For $k=n-1$, this is the inverse question for the $η(G)$ invariant concerning short zero-sum subsequences. The structure in both these cases is known, and the structure for $k\in [2,n-2]$ when $m=1$ was studied previously with it conjectured that they must have the form $S=e_1^{[n-1]}\boldsymbol{\cdot} e_2^{[n-1]}\boldsymbol{\cdot} (e_1+e_2)^{[k]}$ for some basis $(e_1,e_2)$, with the conjecture established in many cases. We focus on $m\geq 2$. Assuming the conjectured structure holds for $k\in [2,n-2]$ in $C_n\oplus C_n$, we characterize the structure of all sequences of maximal length $mn+n-2+k$ in $C_n\oplus C_{mn}$ that fail to contain a nontrivial zero-sum of length at most $mn+n-1-k$, showing they must have either have the form $S=e_1^{[n-1]}\boldsymbol{\cdot} e_2^{[sn-1]}\boldsymbol{\cdot} (e_1+e_2)^{[(m-s)n+k]}$ for some $s\in [1,m]$ and basis $(e_1,e_2)$ with $\mathsf{ord}(e_2)=mn$, or else have the form $S=g_1^{[n-1]}\boldsymbol{\cdot} g_2^{[n-1]}\boldsymbol{\cdot} (g_1+g_2)^{[(m-1)n+k]}$ for some generating set $\{g_1,g_2\}$ with $\mathsf{ord}(g_1+g_2)=mn$. Additionally, we give a new proof of the precise structure in the case $k=n-1$ for $m=1$. Combined with known results, our results unconditionally establish the structure of extremal sequences in $G=C_n\oplus C_{mn}$ in many cases.
Tiling with monochromatic bipartite graphs of bounded maximum degree
We prove that for any $r\in \mathbb{N}$, there exists a constant $C_r$ such that the following is true. Let $\mathcal{F}=\{F_1,F_2,\dots\}$ be an infinite sequence of bipartite graphs such that $|V(F_i)|=i$ and $Δ(F_i)\leq Δ$ hold for all $i$. Then in any $r$-edge coloured complete graph $K_n$, there is a collection of at most $\exp(C_rΔ)$ monochromatic subgraphs, each of which is isomorphic to an element of $\mathcal{F}$, whose vertex sets partition $V(K_n)$. This proves a conjecture of Corsten and Mendonça in a strong form and generalizes results on the multicolour Ramsey numbers of bounded-degree bipartite graphs.
Enumeration of self-reciprocal irreducible monic polynomials with prescribed leading coefficients over a finite field
Published
• View Publication
• BIB
A polynomial is called self-reciprocal (or palindromic) if the sequence of its coefficients is palindromic. In this paper we enumerate self-reciprocal irreducible monic polynomials over a finite field with prescribed leading coefficients. Asymptotic expression with explicit error bound is derived, which is used to show that such polynomials with degree $2n$ always exist provided that the number of prescribed leading coefficients is slightly less than $n/4$. Exact expressions are also obtained for fields with two or three elements and up to two prescribed leading coefficients.
A noncommutative approach to the graphon Fourier transform
Published in Applied and Computational Harmonic Analysis 61, pp.121-131 (2022)
• View Publication
• BIB
Signal analysis on graphs relies heavily on the graph Fourier transform, which is defined as the projection of a signal onto an eigenbasis of the associated shift operator. Large graphs of similar structure may be represented by a graphon. Theoretically, graphons are limit objects of converging sequences of graphs. Our work extends previous research aiming to provide a common scheme for signal analysis of graphs that are similar in structure to a graphon. We extend a previous definition of graphon Fourier transform, and show that the graph Fourier transforms of graphs in a converging graph sequence converge to the graphon Fourier transform of the limiting graphon. We then apply this convergence result to signal processing on Cayley graphons. We show that Fourier analysis of the underlying group enables the construction of a suitable eigen-decomposition for the graphon, which can be used as a common framework for signal processing on graphs converging to the graphon.
Optimal pebbling of complete binary trees and a meta-Fibonacci sequence
Published
• View Publication
• BIB
In this paper, we present a new method for determining the optimal pebbling number of a complete binary tree. This method reveals a curious connection between the optimal pebbling numbers of complete binary trees and the Conolly-Fox sequence, a type of meta-Fibonacci sequence.
Riordan arrays and Jacobi and Thron continued fractions
We show that certain Riordan arrays have generating functions that can be expressed as continued fractions of Jacobi and Thron type. We investigate the inverses of such arrays, which in certain circumstances can also have generating functions representable as continued fractions. Links to orthogonal polynomial moment sequences, and to Laurent biorthogonal polynomials are developed. We show that certain Riordan group involutions can be defined by continued fractions. We also show how simple transformations of the Jacobi continued fractions can lead to exponential Riordan arrays. Finally, by way of contrast, we look at the case of some non Riordan arrays that are of combinatorial significance, including the Narayana numbers.
Free Fermion Six Vertex Model: Symmetric Functions and Random Domino Tilings
Published
• View Publication
• BIB
Our work deals with symmetric rational functions and probabilistic models based on the fully inhomogeneous six vertex (ice type) model satisfying the free fermion condition. Two families of symmetric rational functions $F_λ,G_λ$ are defined as certain partition functions of the six vertex model, with variables corresponding to row rapidities, and the labeling signatures $λ=(λ_1\ge \ldots\ge λ_N)\in \mathbb{Z}^N$ encoding boundary conditions. These symmetric functions generalize Schur symmetric polynomials, as well as some of their variations, such as factorial and supersymmetric Schur polynomials. Cauchy type summation identities for $F_λ,G_λ$ and their skew counterparts follow from the Yang-Baxter equation. Using algebraic Bethe Ansatz, we obtain a double alternant type formula for $F_λ$ and a Sergeev-Pragacz type formula for $G_λ$.
In the spirit of the theory of Schur processes, we define probability measures on sequences of signatures with probability weights proportional to products of our symmetric functions. We show that these measures can be viewed as determinantal point processes, and we express their correlation kernels in a double contour integral form. We present two proofs: The first is a direct computation of Eynard-Mehta type, and the second uses non-standard, inhomogeneous versions of fermionic operators in a Fock space coming from the algebraic Bethe Ansatz for the six vertex model.
We also interpret our determinantal processes as random domino tilings of a half-strip with inhomogeneous domino weights. In the bulk, we show that the lattice asymptotic behavior of such domino tilings is described by a new determinantal point process on $\mathbb{Z}^{2}$, which can be viewed as an doubly-inhomogeneous generalization of the extended discrete sine process.
Minimal graphs for contractible and dismantlable properties
Published
• View Publication
• BIB
The notion of a contractible transformation on a graph was introduced by Ivashchenko as a means to study molecular spaces arising from digital topology and computer image analysis, and more recently has been applied to topological data analysis. Contractible transformations involve a list of four elementary moves that can be performed on the vertices and edges of a graph, and it has been shown by Chen, Yau, and Yeh that these moves preserve the simple homotopy type of the underlying clique complex. A graph is said to be ${\mathcal I}$-contractible if one can reduce it to a single isolated vertex via a sequence of contractible transformations. Inspired by the notions of collapsible and non-evasive simplicial complexes, in this paper we study certain subclasses of ${\mathcal I}$-contractible graphs where one can collapse to a vertex using only a subset of these moves. Our main results involve constructions of minimal examples of graphs for which the resulting classes differ. We also relate these classes of graphs to the notion of $k$-dismantlable graphs and $k$-collapsible complexes, which also leads to a minimal counterexample to an erroneous claim of Ivashchenko from the literature. We end with some open questions.
True complexity and iterated Cauchy--Schwarz
We prove a polynomial bound in the "true complexity" problem of Gowers and Wolf. The proof uses only repeated applications of the Cauchy--Schwarz inequality, answering negatively a question posed by Gowers and Wolf.
To choose and reason about the sequence of Cauchy--Schwarz steps needed, we need to introduce several layers of formalism and theory. The highest level of abstraction in this framework concerns building what we term "arithmetic circuits" encoding computations in multilinear algebra.
It is plausible this machinery could be used to generate arithmetic inequalities in greater generality, and we state some conjectures along these lines.
Combinatorics of NC-Probability Spaces with Independent Constants
Published
• View Publication
• BIB
Unlike classical and free independence, the boolean and monotone notions of independence lack of the property of independent constants. In the scalar case, this leads to restrictions for the central limit theorems, as observed by F. Oravecz. We characterize the property of independent constants from a combinatorial point of view, based on cumulants and set partitions. This characterization also holds for the operator-valued extension. Our considerations lead rather directly to very mild variations of boolean and monotone cumulants, where constants are now independent. These alternative probability theories are closely related to the usual notions. Hence, an important part of the boolean/monotone probability theories can be imported directly. We describe some standard combinatorial aspects of these variations (and their cyclic versions), such as their Mobius functions, which feature well-known combinatorial integer sequences. The new notions with independent constants seem also more strongly related to the operator-valued extension of c-free probability.