sequence
6845 papers tagged with this keyword
A matrix version of the Steinitz lemma
The Steinitz lemma, a classic from 1913, states that $a_1,\ldots,a_n$, a sequence of vectors in $\R^d$ with $\sum_1^n a_i=0$, can be rearranged so that every partial sum of the rearranged sequence has norm at most $2d\max \|a_i\|$. In the matrix version $A$ is a $k\times n$ matrix with entries $a_i^j \in \R^d$ with $\sum_{j=1}^k\sum_{i=1}^na_i^j=0$. It is proved in \cite{OPW} that there is a rearrangement of row $j$ of $A$ (for every $j$) such that the sum of the entries in the first $m$ columns of the rearranged matrix has norm at most $40d^5\max \|a_i^j\|$ (for every $m$). We improve this bound to $(4d-2)\max \|a_i^j\|$.
More on the $2$-restricted optimal pebbling number
Let $G=(V,E)$ be a simple graph. A function $f:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the weight of $f$ is $w(f)=\sum_{u\in V}f(u)$ which is just the total number of pebbles assigned to vertices. A pebbling step from a vertex $u$ to one of its neighbors $v$ reduces $f(u)$ by two and increases $f(v)$ by one. A pebbling configuration $f$ is said to be solvable if for every vertex $ v $, there exists a sequence (possibly empty) of pebbling moves that results in a pebble on $v$. A pebbling configuration $f$ is a $t$-restricted pebbling configuration (abbreviated $t$RPC) if $f(v)\leq t$ for all $v\in V$. The $t$-restricted optimal pebbling number $π_t^*(G)$ is the minimum weight of a solvable $t$RPC on $G$. Chellali et.al. [Discrete Appl. Math. 221 (2017) 46-53] characterized connected graphs $G$ having small $2$-restricted optimal pebbling numbers and characterization of graphs $G$ with $π_2^*(G)=5$ stated as an open problem. In this paper, we solve this problem. We improve the upper bound of the $2$-restricted optimal pebbling number of trees of order $n$. Also, we study $2$-restricted optimal pebbling number of some grid graphs, corona and neighborhood corona of two specific graphs.
Fan's lemma via bistellar moves
Pachner proved that all closed combinatorially equivalent combinatorial manifolds can be transformed into each other by a finite sequence of bistellar moves. We prove an analogue of Pachner's theorem for combinatorial manifolds with a free Z2-action, and use it to give a combinatorial proof of Fan's lemma about labellings of centrally symmetric triangulations of spheres. Similarly to other combinatorial proofs, we must assume an additional property of the triangulation for the proof to work. However, unlike the other combinatorial proofs, no such assumption is needed for dimensions at most 3.
Non-standard binary representations and the Stern sequence
We show that the number of short binary signed-digit representations of an integer $n$ is equal to the $n$-th term in the Stern sequence. Various proofs are provided, including direct, bijective, and generating function proofs. We also show that this result can be derived from recent work of Monroe on binary signed-digit representations of a fixed length.
Graphs with degree sequence $\{m^{m-1},n^{n-1}\}$ and $\{m^n,n^m\}$
In this paper we study the class of graphs $G_{m,n}$ that have the same degree sequence as two disjoint cliques $K_m$ and $K_n$, as well as the class $\overline G_{m,n}$ of the complements of such graphs. We establish various properties of $G_{m,n}$ and $\overline G_{m,n}$ related to recognition, connectivity, diameter, bipartiteness, Hamiltonicity, and pancyclicity. We also show that several classical optimization problems on these graphs are NP-hard.
The S-rule and 1-d representation for the traversal of a planar graph in AEC industry
Based on two trivial observations of the AEC industry, this paper proposes a traversal method ("S-rule") and expression ("1-dimensional-graph") transformed from DFS. This traversal method conforms to the original cognitive logic of the AEC industry, and the 1-d expression has clear language characteristics while completely retaining the topological relationship of the planar graph : a sequence of finite symbols (vocabularies) under definite rules. Moreover, the language can be restored to a standard 2-d form that is isomorphic to the original planar graph, thus ensuring its visualization characteristics. Fragments of the 1-d language can be used as planar units for free combination and weighting, and as the data foundation to support advanced calculations including FEM and isomorphic matching. And after the 2-d graph is reduced to 1-d, any 3-d or higher-dimensional graphs can also be reduced to 1 or 2 dimensions. The first half of this paper (Chapter 1) takes the 4X4 standard grid as an example to introduce the prototype of S-rule and 1-d expression, and gives the mapping rule from 1-d expression to its editable text form. In the second half of this paper, the rule and expression are gradually extended to non-embedded planar graphs (Chapter 2) and embedded planar graphs (Chapter 3), and the "grammar" is finally summarized (Chapter 4).
Proving properties of some greedily-defined integer recurrences via automata theory
Venkatachala on the one hand, and Avdispahić & Zejnulahi on the other, both studiied integer sequences with an unusual sum property defined in a greedy way, and proved many results about them. However, their proofs were rather lengthy and required numerous cases. In this paper, I provide a different approach, via finite automata, that can prove the same results (and more) in a simple, unified way. Instead of case analysis, we use a decision procedure implemented in the free software Walnut. Using these ideas, we can prove a conjecture of Quet and find connections between Quet's sequence and the "married" functions of Hofstadter.
Total positivity from a kind of lattice paths
Total positivity of matrices is deeply studied and plays an important role in various branches of mathematics. The main purpose of this paper is to study total positivity of a matrix $M=[M_{n,k}]_{n,k}$ generated by the weighted lattice paths in $\mathbb{N}^2$ from the origin $(0,0)$ to the point $(k,n)$ consisting of types of steps: $(0,1)$ and $(1,t+i)$ for $0\leq i\leq \ell$, where each step $(0,1)$ from height~$n-1$ gets the weight~$b_n(\textbf{y})$ and each step $(1,t+i)$ from height~$n-t-i$ gets the weight $a_n^{(i)}(\textbf{x})$.
Using an algebraic method, we prove that the $\textbf{x}$-total positivity of the weight matrix $[a_i^{(i-j)}(\textbf{x})]_{i,j}$ implies that of $M$. Furthermore, using the Lindström-Gessel-Viennot lemma, we obtain that both $M$ and the Toeplitz matrix of each row sequence of $M$ with $t\geq1$ are $\textbf{x}$-totally positive under the following three cases respectively: (1) $\ell=1$, (2) $\ell=2$ and restrictions for $a_n^{(i)}$, (3) general $\ell$ and both $a^{(i)}_n$ and $b_n$ are independent of $n$. In addition, for the case (3), we show that the matrix $M$ is a Riordan array, present its explicit formula and prove total positivity of the Toeplitz matrix of the each column of $M$. In particular, from the results for Toeplitz-total positivity, we also obtain the Pólya frequency and log-concavity of the corresponding sequence.
Finally, as applications, we in a unified manner establish total positivity and the Toeplitz-total positivity for many well-known combinatorial triangles, including the Pascal triangle, the Pascal square, the Delannoy triangle, the Delannoy square, the signless Stirling triangle of the first kind, the Legendre-Stirling triangle of the first kind, the Jacobi-Stirling triangle of the first kind, the Brenti's recursive matrix, and so on.
A class of trees determined by their chromatic symmetric functions
Published
• View Publication
• BIB
Stanley introduced the concept of chromatic symmetric functions of graphs which extends and refines the notion of chromatic polynomials of graphs, and asked whether trees are determined up to isomorphism by their chromatic symmetric functions. Using the technique of differentiation with respect to power-sum symmetric functions, we give a positive answer to Stanley's question for the class of trees with exactly two vertices of degree at least 3. In addition, we prove that for any tree $T$, the generalized degree sequence for subtrees of $T$ is determined by the chromatic symmetric function of $T$, providing evidence to a conjecture of Crew.
Integration on complex Grassmannians, deformed monotone Hurwitz numbers, and interlacing phenomena
Published
• View Publication
• BIB
We introduce a family of polynomials, which arise in three distinct ways: in the large $N$ expansion of a matrix integral, as a weighted enumeration of factorisations of permutations, and via the topological recursion. More explicitly, we interpret the complex Grassmannian $\mathrm{Gr}(M,N)$ as the space of $N \times N$ idempotent Hermitian matrices of rank $M$ and develop a Weingarten calculus to integrate products of matrix elements over it. In the regime of large $N$ and fixed ratio $\frac{M}{N}$, such integrals have expansions whose coefficients count factorisations of permutations into monotone sequences of transpositions, with each sequence weighted by a monomial in $t = 1 - \frac{N}{M}$. This gives rise to the desired polynomials, which specialise to the monotone Hurwitz numbers when $t = 1$.
These so-called deformed monotone Hurwitz numbers satisfy a cut-and-join recursion, a one-point recursion, and the topological recursion. Furthermore, we conjecture on the basis of overwhelming empirical evidence that the deformed monotone Hurwitz numbers are real-rooted polynomials whose roots satisfy remarkable interlacing phenomena.
An outcome of our work is the viewpoint that the topological recursion can be used to "topologise" sequences of polynomials, and we claim that the resulting families of polynomials may possess interesting properties. As a further case study, we consider a weighted enumeration of dessins d'enfant and conjecture that the resulting polynomials are also real-rooted and satisfy analogous interlacing properties.
Spartan Bipartite Graphs are Essentially Elementary
Published
• View Publication
• BIB
We study a two-player game on a graph between an attacker and a defender. To begin with, the defender places guards on a subset of vertices. In each move, the attacker attacks an edge. The defender must move at least one guard across the attacked edge to defend the attack. The defender wins if and only if the defender can defend an infinite sequence of attacks. The smallest number of guards with which the defender has a winning strategy is called the eternal vertex cover number of a graph $G$ and is denoted by $evc(G)$. It is clear that $evc(G)$ is at least $mvc(G)$, the size of a minimum vertex cover of $G$. We say that $G$ is Spartan if $evc(G) = mvc(G)$. The characterization of Spartan graphs has been largely open. In the setting of bipartite graphs on $2n$ vertices where every edge belongs to a perfect matching, an easy strategy is to have $n$ guards that always move along perfect matchings in response to attacks. We show that these are essentially the only Spartan bipartite graphs.
Bidiagonal matrix factorisations associated with symmetric multiple orthogonal polynomials and lattice paths
Published in Numer. Algor. (2025)
• View Publication
• BIB
The central object of study in this paper are infinite banded Hessenberg matrices admitting factorisations as products of bidiagonal matrices. In the two main novel results of this paper, we show that these Hessenberg matrices are associated with the decomposition of $(r+1)$-fold symmetric $r$-orthogonal polynomials and are the production matrices of the generating polynomials of $r$-Dyck paths.
We combine the aforementioned bidiagonal matrix factorisations and the recently found connection of multiple orthogonal polynomials with lattice paths and branched continued fractions to study $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set of the complex plane and their decomposition via multiple orthogonal polynomials on the positive real line. As an explicit example, we give formulas as terminating hypergeometric series for the Appell sequences of $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set and show that the densities of their orthogonality measures can be expressed via Meijer G-functions on the positive real line.
A Combinatorial Hopf Algebra on Partition Diagrams
We introduce a Combinatorial Hopf Algebra (CHA) with bases indexed by the partition diagrams indexing the bases for partition algebras. By analogy with the operation $H_α H_β = H_{α\cdot β}$ for the complete homogeneous basis of the CHA $ \textsf{NSym}$ given by concatenating compositions $α$ and $β$, we mimic this multiplication rule by setting $\textsf{H}_π \textsf{H}_ρ = \textsf{H}_{π\otimes ρ}$ for partition diagrams $π$ and $ρ$ and for the horizontal concatenation $π\otimes ρ$ of $ π$ and $ρ$. This gives rise to a free, graded algebra $\textsf{ParSym}$, which we endow with a CHA structure by lifting the CHA structure of $ \textsf{NSym}$ using an analogue, for partition diagrams, of near-concatenations of integer compositions. Unlike the Hopf algebra $\textsf{NCSym}$ on set partitions, the new CHA $\textsf{ParSym}$ projects onto $\textsf{NSym}$ in natural way via a ``forgetful'' morphism analogous to the projection of $\textsf{NSym}$ onto its commutative counterpart $\textsf{Sym}$. We prove, using the Boolean transform for the sequence $(B_{2n} : n \in \mathbb{N})$ of even-indexed Bell numbers, an analogue of Comtet's generating function for the sequence counting irreducible permutations, yielding a formula for the number of generators in each degree for $\textsf{ParSym}$, and we prove, using a sign-reversing involution, an evaluation for the antipode for $\textsf{ParSym}$. An advantage of our CHA being defined on partition diagrams in full generality, in contrast to a previously defined Hopf algebra on uniform block permutations, is given by how the coproduct operation we have defined for $\textsf{ParSym}$ is such that the usual diagram subalgebras of partition algebras naturally give rise to Hopf subalgebras of $\textsf{ParSym}$ by restricting the indexing sets of the graded components to diagrams of a specified form.
Periodicity and Circulant Matrices in the Riordan Array of a Polynomial
We consider Riordan arrays $\bigl(1/(1-t^{d+1}), ~ tp(t)\bigr)$. These are infinite lower triangular matrices determined by the formal power series $1/(1-t^{d+1})$ and a polynomial $p(t)$ of degree $d$. Columns of such matrix are eventually periodic sequences with a period of $d + 1$, and circulant matrices are used to describe the long term behavior of such periodicity when the column's index grows indefinitely. We also discuss some combinatorially interesting sequences that appear through the corresponding A - and Z - sequences of such Riordan arrays.
Reconstruction of graph colourings
A $k$-deck of a (coloured) graph is a multiset of its induced $k$-vertex subgraphs. Given a graph $G$, when is it possible to reconstruct with high probability a uniformly random colouring of its vertices in $r$ colours from its $k$-deck? In this paper, we study this question for grids and random graphs. Reconstruction of random colourings of $d$-dimensional $n$-grids from the deck of their $k$-subgrids is one of the most studied colour reconstruction questions. The 1-dimensional case is motivated by the problem of reconstructing DNA sequences from their `shotgunned' stretches. It was comprehensively studied and the above reconstruction question was completely answered in the '90s. In this paper, we get a very precise answer for higher $d$. For every $d\geq 2$ and every $r\geq 2$, we present an almost linear algorithm that reconstructs with high probability a random $r$-colouring of vertices of a $d$-dimensional $n$-grid from the deck of all its $k$-subgrids for every $k\geq(d\log_r n)^{1/d}+1/d+\varepsilon$ and prove that the random $r$-colouring is not reconstructible with high probability if $k\leq (d\log_r n)^{1/d}-\varepsilon$. This answers the question of Narayanan and Yap (that was asked for $d\geq 3$) on "two-point concentration" of the minimum $k$ so that $k$-subgrids determine the entire colouring. Next, we prove that with high probability a uniformly random $r$-colouring of vertices of a uniformly random graph $G(n,1/2)$ is reconstructible from its full $k$-deck if $k\geq 2\log_2 n+8$ and is not reconstructible with high probability if $k\leq\sqrt{2\log_2 n}$. We further show that the colour reconstruction algorithm for random graphs can be modified and used for graph reconstruction: we prove that with high probability $G(n,1/2)$ is reconstructible from its full $k$-deck if $k\geq 2\log_2 n+11$ while it is not reconstructible with high probability if $k\leq 2\sqrt{\log_2 n}$.
Inequalities Connecting the Annihilation and Independence Numbers
Given a graph $G$, the number of its vertices is represented by $n(G)$, while the number of its edges is denoted as $m(G)$.
An independent set in a graph is a set of vertices where no two vertices are adjacent to each other and the size of the maximum independent set is denoted by $α(G)$. A matching in a graph refers to a set of edges where no two edges share a common vertex and the maximum matching size is denoted by $μ(G)$. If $α(G) + μ(G) = n(G)$, then the graph $G$ is called a König-Egerváry graph.
Considering a graph $G$ with a degree sequence $d_1 \leq d_2 \leq \cdots \leq d_n$, the annihilation number $a(G)$ is defined as the largest integer $k$ such that the sum of the first $k$ degrees in the sequence is less than or equal to $m(G)$ (Pepper, 2004).
It is a known fact that $α(G)$ is less than or equal to $a(G)$ for any graph $G$. Our goal is to estimate the difference between these two parameters. Specifically, we prove a series of inequalities, including
$a(G) - α(G) \leq \frac{μ(G) - 1}{2}$ for trees, $a(G) - α(G) \leq 2 + μ(G) - 2\sqrt{1 + μ(G)}$ for bipartite graphs and $a(G) - α(G) \leq μ(G) - 2$ for König-Egerváry graphs. Furthermore, we demonstrate that these inequalities serve as tight upper bounds for the difference between the annihilation and independence numbers, regardless of the assigned value for $μ(G)$.
Job Shop Scheduling via Deep Reinforcement Learning: a Sequence to Sequence approach
Published in Proceedings of the International Conference on Learning and Intelligent Optimization (LION17). Springer International Publishing (2023, June)
• Search Publication
Job scheduling is a well-known Combinatorial Optimization problem with endless applications. Well planned schedules bring many benefits in the context of automated systems: among others, they limit production costs and waste. Nevertheless, the NP-hardness of this problem makes it essential to use heuristics whose design is difficult, requires specialized knowledge and often produces methods tailored to the specific task. This paper presents an original end-to-end Deep Reinforcement Learning approach to scheduling that automatically learns dispatching rules. Our technique is inspired by natural language encoder-decoder models for sequence processing and has never been used, to the best of our knowledge, for scheduling purposes. We applied and tested our method in particular to some benchmark instances of Job Shop Problem, but this technique is general enough to be potentially used to tackle other different optimal job scheduling tasks with minimal intervention. Results demonstrate that we outperform many classical approaches exploiting priority dispatching rules and show competitive results on state-of-the-art Deep Reinforcement Learning ones.
Meeting, coalescence and consensus time on random directed graphs
We consider Markovian dynamics on a typical realization of the so-called Directed Configuration Model (DCM), that is, a random directed graph with prescribed in- and out-degrees. In this random geometry, we study the meeting time of two random walks on a typical realization of the graph starting at stationarity, the coalescence time for a system of coalescent random walks, and the consensus time of the voter model. Indeed, it is known that the latter three quantities are related to each other when the underlying sequence of graphs satisfies certain mean field conditions. Such conditions can be summarized by requiring a fast mixing time of the random walk and some anti-concentration of its stationary distribution: properties that a typical random directed graph is known to have under natural assumptions on the degree sequence. In this paper we show that, for a typical large graph from the DCM ensemble, the distribution of the meeting time is well-approximated by an exponential random variable and we provide the first-order approximation of its expectation, showing that the latter is linear in the size of the graph, and the preconstant depends on some easy statistics of the degree sequence. As a byproduct, we are able to analyze the effect of the degree sequence in changing the meeting, coalescence and consensus time. Our approach follows the classical idea of converting meeting into hitting times of a proper collapsed chain, which we control by the so-called First Visit Time Lemma.
Action convergence of general hypergraphs and tensors
Action convergence provides a limit theory for linear bounded operators $A_n:L^{\infty}(Ω_n)\longrightarrow L^1(Ω_n)$ where $Ω_n$ are potentially different probability spaces. This notion of convergence emerged in graph limits theory as it unifies and generalizes many notions of graph limits. We generalize the theory of action convergence to sequences of multi-linear bounded operators $A_n:L^{\infty}(Ω_n)\times \ldots \times L^{\infty}(Ω_n)\longrightarrow L^1(Ω_n)$. Similarly to the linear case, we obtain that for a uniformly bounded (under an appropriate norm) sequence of multi-linear operators, there exists an action convergent subsequence. Additionally, we explain how to associate different types of multi-linear operators to a tensor and we study the different notions of convergence that we obtain for tensors and in particular for adjacency tensors of hypergraphs. We obtain several hypergraphs convergence notions and we link these with the hierarchy of notions of quasirandomness for hypergraph sequences. This convergence also covers sparse and inhomogeneous hypergraph sequences and it preserves many properties of adjacency tensors of hypergraphs. Moreover, we explain how to obtain a meaningful convergence for sequences of non-uniform hypergraphs and, therefore, also for simplicial complexes. Additionally, we highlight many connections with the theory of dense uniform hypergraph limits (hypergraphons) and we conjecture the equivalence of this theory with a modification of multi-linear action convergence.
Slow graph bootstrap percolation I: Cycles
Given a fixed graph $H$ and an $n$-vertex graph $G$, the $H$-bootstrap percolation process on $G$ is defined to be the sequence of graphs $G_i$, $i\geq 0$ which starts with $G_0:=G$ and in which $G_{i+1}$ is obtained from $G_i$ by adding every edge that completes a copy of $H$. We are interested in $M_H(n)$ which is the maximum number of steps, over all $n$-vertex graphs $G$, that this process takes to stabilise. We determine this maximum running time precisely when $H$ is a cycle, giving the first infinite family of graphs $H$ for which an exact solution is known. We find that $M_{C_k}(n)$ is of order $\log_{k-1}(n)$ for all $3\leq k\in \mathbb{N}$. Interestingly though, the function exhibits different behaviour depending on the parity of $k$ and the exact location of the values of $n$ for which $M_H(n)$ increases is determined by the Frobenius number of a certain numerical semigroup depending on $k$.