sequence
6845 papers tagged with this keyword
Optimization over Degree Sequences of Graphs
Published in Discrete Applied Mathematics, 296:2--8, 2021
• View Publication
• BIB
We consider the problem of finding a subgraph of a given graph minimizing the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already for bipartite graphs when the functions are convex on one side and concave on the other, we show that when all functions are convex, the problem can be solved in polynomial time for any graph. We also provide polynomial time solutions for bipartite graphs with one side fixed for arbitrary functions, and for arbitrary graphs when all but a fixed number of functions are either nondecreasing or nonincreasing. We note that the general factor problem and the (l,u)-factor problem over a graph are special cases of our problem, as well as the intriguing exact matching problem. The complexity of the problem remains widely open, particularly for arbitrary functions over complete graphs.
Peripheral convex expansions of resonance graphs
Published
• View Publication
• BIB
In this paper, we show that the resonance graph of a plane elementary bipartite graph $G$ can be obtained from an edge by a sequence of peripheral convex expansions with respect to a reducible face decomposition of $G$ if and only if the infinite face of $G$ is forcing.
Mixing time and cutoff phenomenon for the interchange process on dumbbell graphs and the labelled exclusion process on the complete graph
We find the total variation mixing time of the interchange process on the dumbbell graph (two complete graphs, $K_n$ and $K_m$, connected by a single edge), and show that this sequence of chains exhibits the cutoff phenomenon precisely when the smaller size $m$ goes to infinity. The mixing time undergoes a phase transition at $m\asymp \sqrt{n}$. We also state a conjecture on when exactly cutoff holds for the interchange process on general graphs.
Our proofs use coupling methods, and they also give the mixing time of the simple exclusion process of $k$ labelled particles in the complete graph $K_n$, for any $k\leq n$, with cutoff, as conjectured by Lacoin and Leblond (2011). In particular, this is a new probabilistic proof for the mixing time of random transpositions, first established by Diaconis and Shahshahani (1981).
Counting pop-stacked permutations in polynomial time
Published
• View Publication
• BIB
Permutations in the image of the pop-stack operator are said to be pop-stacked. We give a polynomial-time algorithm to count pop-stacked permutations up to a fixed length and we use it to compute the first 1000 terms of the corresponding counting sequence. Only the first 16 terms had previously been computed. With the 1000 terms we prove some negative results concerning the nature of the generating function for pop-stacked permutations. We also predict the asymptotic behavior of the counting sequence using differential approximation.
Quasi-local Algebras and Asymptotic Expanders
Published
• View Publication
• BIB
In this paper, we study the relation between the uniform Roe algebra and the uniform quasi-local algebra associated to a metric space of bounded geometry. In the process, we introduce a weakening of the notion of expanders, called asymptotic expanders. We show that being a sequence of asymptotic expanders is a coarse property under certain connectedness condition, and it implies non-uniformly local amenability. Moreover, we also analyse some $C^*$-algebraic properties of uniform quasi-local algebras. In particular, we show that a uniform quasi-local algebra is nuclear if and only if the underlying metric space has Property A.
Real polynomials with constrained real divisors. I. Fundamental groups
Published
• View Publication
• BIB
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree d and with no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces of real monic univariate polynomials of degree d whose real divisors avoid sequences of root multiplicities taken from a given poset of compositions which is closed under certain natural combinatorial operations. In this paper, we concentrate on the fundamental group of such spaces. We find explicit presentations for the fundamental groups in terms of generators and relations and show that in a number of cases they are free with rank bounded from above by a quadratic function in d. We also show that the fundamental group stabilizes for d large. We further show that the fundamental groups admit an interpretation as special bordisms of immersions of 1-manifolds into the cylinder S^1 \times R, whose images avoid the tangency patterns from the poset with respect to the generators of the cylinder.
K-Nearest Neighbor Approximation Via the Friend-of-a-Friend Principle
Suppose $V$ is an $n$-element set where for each $x \in V$, the elements of $V \setminus \{x\}$ are ranked by their similarity to $x$. The $K$-nearest neighbor graph is a directed graph including an arc from each $x$ to the $K$ points of $V \setminus \{x\}$ most similar to $x$. Constructive approximation to this graph using far fewer than $n^2$ comparisons is important for the analysis of large high-dimensional data sets. $K$-Nearest Neighbor Descent is a parameter-free heuristic where a sequence of graph approximations is constructed, in which second neighbors in one approximation are proposed as neighbors in the next. Run times in a test case fit an $O(n K^2 \log{n})$ pattern. This bound is rigorously justified for a similar algorithm, using range queries, when applied to a homogeneous Poisson process in suitable dimension. However the basic algorithm fails to achieve subquadratic complexity on sets whose similarity rankings arise from a ``generic'' linear order on the $\binom{n}{2}$ inter-point distances in a metric space.
An Efficient Algorithm to Test Potentially Bipartiteness of Graphical Degree Sequences
Published
• View Publication
• BIB
As a partial answer to a question of Rao, a deterministic and customizable efficient algorithm is presented to test whether an arbitrary graphical degree sequence has a bipartite realization. The algorithm can be configured to run in polynomial time, at the expense of possibly producing an erroneous output on some "yes" instances but with very low error rate.
The general spectral radius and majorization theorem of $t$-cone graphs with given degree sequences
The general spectral radius of a graph $G$, denoted by $Θ(G,α)$, is the maximal eigenvalue of $M_α(G)=A(G)+αD(G)$ $(α\geq 0)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the diagonal matrix of vertex degrees of $G$, respectively. A graph $G$ is called $Θ_α$-maximal in a class of connected simple graphs $\mathcal {G}$ if $Θ(G,α)$ is maximal among all graphs of $\mathcal {G}$. A $t$-cone $c$-cyclic graph is the join of a complete graph $K_t$ and a $c$-cyclic connected simple graph. Let $π=\big(d_1,d_2,\ldots,d_n\big)$ and $π'=\big(d'_1,d'_2,\ldots,d'_n\big)$ be two non-increasing degree sequences of $t$-cone $c$-cyclic graphs with $n$ vertices. We say $π$ is strictly majorized by $π'$, denoted by $π\lhd π'$, if $π\neq π'$, $\sum_{i=1}^n d_i=\sum_{i=1}^n d_i'$, and $\sum_{i=1}^k d_i\leq \sum_{i=1}^k d_i'$ for $k=1,2,\ldots,n-1$. Denote by $Γ(π,t;c)$ the class of $t$-cone $c$-cyclic graphs with $π$ as its degree sequence. In this paper, we determine some properties of $Θ_α$-maximal graphs of $Γ(π,t;c)$ and characterize the unique $Θ_α$-maximal graph of $Γ(π,t;0)$ \big(resp. $Γ(π,t;1)$ and $Γ(π,t;2)$\big). Moreover, we prove that if $π\lhd π'$, $G$ and $G'$ are the $Θ_α$-maximal graphs of $Γ(π,t;c)$ and $Γ(π',t;c)$ respectively, then $Θ(G,α)<Θ(G',α)$ for $c\in \big\{0,1\big\}$, and we also consider the similar result for $c=2$.
Sheaf homology of hyperplane arrangements, Boolean covers and exterior powers
Published in Math. Z. 302 (2022), 1451-1475
• View Publication
• BIB
We compute the sheaf homology of the intersection lattice of a hyperplane arrangement with coefficients in the graded exterior sheaf of the natural sheaf. This builds on the results of our previous paper, where this homology was computed for the natural sheaf, itself a generalisation of an old result of Lusztig. The computational machinery we develop in this paper is quite different though: sheaf homology is lifted to what we call Boolean covers, where we instead compute homology cellularly. A number of tools are given for the cellular homology of these Boolean covers, including a deletion-restriction long exact sequence.
New Results on Nyldon Words and Nyldon-like Sets
Published in Advances in Applied Mathematics, Volume 131, 2021, 102249,
• View Publication
• BIB
Grinberg defined Nyldon words as those words which cannot be factorized into a sequence of lexicographically nondecreasing smaller Nyldon words. He was inspired by Lyndon words, defined the same way except with "nondecreasing" replaced by "nonincreasing." Charlier, Philibert, and Stipulanti proved that, like Lyndon words, any word has a unique nondecreasing factorization into Nyldon words. They also show that the Nyldon words form a right Lazard set, and equivalently, a right Hall set. In this paper, we provide a new proof of unique factorization into Nyldon words related to Hall set theory and resolve several questions of Charlier et al. In particular, we prove that Nyldon words of a fixed length form a circular code, we prove a result on factorizing powers of words into Nyldon words, and we investigate the Lazard procedure for generating Nyldon words. We show that these results generalize to a new class of Hall sets, of which Nyldon words are an example, that we name "Nyldon-like sets."
Nonleaf Patterns in Trees: Protected Nodes and Fine Numbers
Published in Journal of Integer Sequences, vol. 23, art. 20.7.7 (2020)
• Search Publication
A closed-form formula is derived for the number of occurrences of matches of a multiset of patterns among all ordered (plane-planted) trees with a given number of edges. A pattern looks like a tree, with internal nodes and leaves, but also contain components that match subtrees or sequences of subtrees. This result extends previous versatile tree-pattern enumeration formulae to incorporate components that are only allowed to match nonleaf subtrees and provides enumerations of trees by the number of protected (shortest outgoing path has two or more edges) or unprotected nodes.
Bijective recurrences concerning two Schröder triangles
Published
• View Publication
• BIB
Let $r(n,k)$ (resp. $s(n,k)$) be the number of Schröder paths (resp. little Schröder paths) of length $2n$ with $k$ hills, and set $r(0,0)=s(0,0)=1$. We bijectively establish the following recurrence relations: \begin{align*} r(n,0)&=\sum\limits_{j=0}^{n-1}2^{j}r(n-1,j), r(n,k)&=r(n-1,k-1)+\sum\limits_{j=k}^{n-1}2^{j-k}r(n-1,j),\quad 1\le k\le n, s(n,0) &=\sum\limits_{j=1}^{n-1}2\cdot3^{j-1}s(n-1,j), s(n,k) &=s(n-1,k-1)+\sum\limits_{j=k+1}^{n-1}2\cdot3^{j-k-1}s(n-1,j),\quad 1\le k\le n. \end{align*} The infinite lower triangular matrices $[r(n,k)]_{n,k\ge 0}$ and $[s(n,k)]_{n,k\ge 0}$, whose row sums produce the large and little Schröder numbers respectively, are two Riordan arrays of Bell type. Hence the above recurrences can also be deduced from their $A$- and $Z$-sequences characterizations.
On the other hand, it is well-known that the large Schröder numbers also enumerate separable permutations. This propelled us to reveal the connection with a lesser-known permutation statistic, called initial ascending run, whose distribution on separable permutations is shown to be given by $[r(n,k)]_{n,k\ge 0}$ as well.
High-girth near-Ramanujan graphs with localized eigenvectors
Published
• View Publication
• BIB
We show that for every prime $d$ and $α\in (0,1/6)$, there is an infinite sequence of $(d+1)$-regular graphs $G=(V,E)$ with girth at least $2α\log_{d}(|V|)(1-o_d(1))$, second adjacency matrix eigenvalue bounded by $(3/\sqrt{2})\sqrt{d}$, and many eigenvectors fully localized on small sets of size $O(|V|^α)$. This strengthens the results of Ganguly-Srivastava, who constructed high girth (but not expanding) graphs with similar properties, and may be viewed as a discrete analogue of the "scarring" phenomenon observed in the study of quantum ergodicity on manifolds. Key ingredients in the proof are a technique of Kahale for bounding the growth rate of eigenfunctions of graphs, discovered in the context of vertex expansion and a method of Erdős and Sachs for constructing high girth regular graphs.
On maximal multiplicities for Hamiltonians with separable variables
For $\mathbb N^*:=\mathbb N \setminus \{0\}$, we consider the collection $\mathfrak M(N)$ of all the $N$ rows, for which, for $n=1,\cdots,N$, the $n-th$ row consists of an increasing sequence $(a_j^n)_j$ of real numbers. For $\mathfrak A \in \mathfrak M(N)$, we define its spectrum $σ(\mathfrak A)$ by $σ(\mathfrak A)=\{λ\in \mathbb R \;|\; λ=\sum_{n=1}^Na_{j_n}^n\}\,,$ where $(j_1,j_2,\dots,j_N)\in (\mathbb N^*)^N$. This spectrum is discrete and consists of an infinite sequence that can be ordered as a strictly increasing sequence $λ_k(\mathfrak A)$. For $λ\in σ(\mathfrak A)$ we denote by $m(λ,\mathfrak A) $ the number of representations of such a $λ$, hence the multiplicity of $λ$.\\ In this paper we investigate for given $N\in \mathbb N^*$ and $k\in \mathbb N^*$ the highest possible multiplicity (denoted by $\mathfrak m_k(N)$) of $λ_k(\mathfrak A)$ for $\mathfrak A \in \mathfrak M(N)$. We give the exact result for $N=2$ and for $N=3$ prove a lower bound which appears, according to numerical experiments, as a "good" conjecture. For the general case, we give examples demonstrating that the problem is quite difficult. \\ This problem is equivalent to the analogue eigenvalue multiplicity questions for Schrödinger operators describing a system of N non-interacting one-dimensional particles.
Enumerating $k$-arc-connected orientations
Published
• View Publication
• BIB
We study the problem of enumerating the $k$-arc-connected orientations of a graph $G$, i.e., generating each exactly once. A first algorithm using submodular flow optimization is easy to state, but intricate to implement. In a second approach we present a simple algorithm with $O(knm^2)$ time delay and amortized time $O(m^2)$, which improves over the analysis of the submodular flow algorithm. As ingredients, we obtain enumeration algorithms for the $α$-orientations of a graph $G$ in $O(m^2)$ time delay and for the outdegree sequences attained by $k$-arc-connected orientations of $G$ in $O(knm^2)$ time delay.
Iterated foldings of discrete spaces and their limits: candidates for the role of Brownian map in higher dimensions
Published
• View Publication
• BIB
In this last decade, an important stochastic model emerged: the Brownian map. It is the limit of various models of random combinatorial maps after rescaling: it is a random metric space with Hausdorff dimension 4, almost surely homeomorphic to the 2-sphere, and possesses some deep connections with
Liouville quantum gravity in 2D. In this paper, we present a sequence of random objects that we call $D$th-random feuilletages (denoted by ${\bf r}[D]$), indexed by a parameter $D\geq 0$ and which are candidate to play the role of the Brownian map in dimension $D$. The construction relies on some objects that we name iterated Brownian snakes, which are branching analogues of iterated Brownian motions, and which are moreover limits of iterated discrete snakes. In the planar $D=2$ case, the family of discrete snakes considered coincides with some family of (random) labeled trees known to encode planar quadrangulations.
Iterating snakes provides a sequence of random trees $({\bf t}^{(j)}, j\geq 1)$. The $D$th-random feuilletage ${\bf r}[D]$ is built using $({\bf t}^{(1)},\cdots,{\bf t}^{(D)})$: ${\bf r}[0]$ is a deterministic circle, ${\bf r}[1]$ is Aldous' continuum random tree, ${\bf r}[2]$ is the Brownian map, and somehow, ${\bf r}[D]$ is obtained by quotienting ${\bf t}^{(D)}$ by ${\bf r}[D-1]$.
A discrete counterpart to ${\bf r}[D]$ is introduced and called the $D$th random discrete feuilletage with $n+D$ nodes (${\bf r}_n[D]$). The proof of the convergence of ${\bf r}_n[D]$ to ${\bf r}[D]$ after appropriate rescaling in some functional space is provided (however, the convergence obtained is too weak to imply the Gromov-Hausdorff convergence). An upper bound on the diameter of ${\bf r}_{n}[D]$ is $n^{1/2^{D}}$. Some elements allowing to conjecture that the Hausdorff dimension of ${\bf r}[D]$ is $2^D$ are given.
On the automaticity of sequences defined by continued fractions
Published
• View Publication
• BIB
Continued fraction expansions and Hankel determinants of automatic sequences are extensively studied during the last two decades. These studies found applications in number theory in evaluating irrationality exponents. The present paper is motivated by the converse problem: to study continued fractions of which the elements form an automatic sequence. We consider two such continued fractions defined by the Thue-Morse and period-doubling sequences respectively, and prove that they are congruent to algebraic series in $\mathbb{Z}[[x]]$ modulo $4$. Consequently, the sequences of the coefficients of the power series expansions of the two continued fractions modulo $4$ are $2$-automatic. Our approach is to first guess the explicit formulas of certain subsequences of $(P_n(x))$ and $(Q_n(x))$, where $P_n(x)/Q_n(x)$ is the canonical representation of the truncated continued fractions, then prove these formulas by an intricate induction involving eight subsequences while exploiting the relations between these subsequences.
Asymptotic enumeration of orientations of a graph as a function of the out-degree sequence
Published
• View Publication
• BIB
We prove an asymptotic formula for the number of orientations with given out-degree (score) sequence for a graph $G$. The graph $G$ is assumed to have average degrees at least $n^{1/3 + \varepsilon}$ for some $\varepsilon > 0$, and to have strong mixing properties, while the maximum imbalance (out-degree minus in-degree) of the orientation should be not too large. Our enumeration results have applications to the study of subdigraph occurrences in random orientations with given imbalance sequence. As one step of our calculation, we obtain new bounds for the maximum likelihood estimators for the Bradley-Terry model of paired comparisons.
On the probability of existence of a universal cycle or a universal word for a set of words
Published
• View Publication
• BIB
A universal cycle, or u-cycle, for a given set of words is a circular word that contains each word from the set exactly once as a contiguous subword. The celebrated de Bruijn sequences are a particular case of such a u-cycle, where a set in question is the set $A^n$ of all words of length $n$ over a $k$-letter alphabet $A$. A universal word, or u-word, is a linear, i.e. non-circular, version of the notion of a u-cycle, and it is defined similarly.
Removing some words in $A^n$ may, or may not, result in a set of words for which u-cycle, or u-word, exists. The goal of this paper is to study the probability of existence of the universal objects in such a situation. We give lower bounds for the probability in general cases, and also derive explicit answers for the case of removing up to two words in $A^n$, or the case when $k=2$ and $n\leq 4$.