sequence
6845 papers tagged with this keyword
Total positivity of a class of combinatorial matrices
In this paper, we consider matrices whose entries are combinatorial sequences which can be expressed in terms of a convolution of elementary and complete homogeneous symmetric functions. We establish the total positivity of these matrices using the Lindström-Gessel-Viennot Lemma.
Immaculate line bundles on toric varieties
Published
• View Publication
• BIB
We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism.
In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans.
The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata.
A note on palindromic length of Sturmian sequences
Frid, Puzynina and Zamboni (2013) defined the palindromic length of a finite word $w$ as the minimal number of palindromes whose concatenation is equal to $w$. For an infinite word $u$ we study $PL_{u}$, that is, the function that assigns to each positive integer $n$, the maximal palindromic length of factors of length $n$ in $u$. Recently, Frid (2018) proved that $\limsup_{n\to\infty} PL_{u}(n)=+\infty$ for any Sturmian word $u$. We show that there is a constant $K>0$ such that $PL_{u}(n)\leq K\ln n$ for every Sturmian word $u$, and that for each non-decreasing function $f$ with property $\lim_{n\to\infty}f(n)=+\infty$ there is a Sturmian word $u$ such that $PL_{u}(n)=O(f(n))$.
Modified Erdös--Ginzburg--Ziv Constants for $\mathbb Z/n\mathbb Z$ and $(\mathbb Z/n\mathbb Z)^2$
For an abelian group $G$ and an integer $t > 0$, the \emph{modified Erdös--Ginzburg--Ziv constant} $s_t'(G)$ is the smallest integer $\ell$ such that any zero-sum sequence of length at least $\ell$ with elements in $G$ contains a zero-sum subsequence (not necessarily consecutive) of length $t$. We compute $s_t'(G)$ for $G = \mathbb Z/n\mathbb Z$ and for $t = n$, $G = (\mathbb Z/n\mathbb Z)^2$.
What is an answer? - remarks, results and problems on PIO formulas in combinatorial enumeration, part I
For enumerative problems, i.e. computable functions f from N to Z, we define the notion of an effective (or closed) formula. It is an algorithm computing f(n) in the number of steps that is polynomial in the combined size of the input n and the output f(n), both written in binary notation. We discuss many examples of enumerative problems for which such closed formulas are, or are not, known. These problems include (i) linear recurrence sequences and holonomic sequences, (ii) integer partitions, (iii) pattern-avoiding permutations, (iv) triangle-free graphs and (v) regular graphs. In part I we discuss problems (i) and (ii) and defer (iii)--(v) to part II. Besides other results, we prove here that every linear recurrence sequence of integers has an effective formula in our sense.
Discrete Decreasing Minimization, Part I: Base-polyhedra with Applications in Network Optimization
Borradaile et al. (2017) investigated orientations of an undirected graph in which the sequence of in-degrees of the nodes is lexicographically minimal, which we call decreasingly minimal (=dec-min). They proved that an orientation is dec-min if and only if there is no dipath from $s$ to $t$ with in-degrees $\varrho (t) \geq \varrho (s)+2$. They conjectured that an analogous statement holds for strongly connected dec-min orientations, as well. We prove not only this conjecture but its extension to $k$-edge-connected orientations, as well. We also provide a solution to a discrete version of Megiddo's lexicographically optimal (fractional) network flow problem (1974, 1977).
Our main goal is to integrate these cases into a single framework. Namely, we characterize dec-min elements of an M-convex set (which is nothing but the set of integral points of an integral base-polyhedron), and prove that the set of dec-min elements is a special M-convex set arising from a matroid base-polyhedron by translation. The topic of our investigations may be interpreted as a discrete counter-part of the work by Fujishige (1980) on the (unique) lexicographically optimal base of a base-polyhedron. We also exhibit a canonical chain (and partition) associated with a base-polyhedron. We also show that dec-min elements of an M-convex set are exactly those which minimize the square-sum of components, and describe a new min-max formula for the minimum square-sum. Our approach gives rise to a strongly polynomial algorithm for computing a dec-min element, as well as the canonical chain. The algorithm relies on a submodular function minimizer oracle in the general case, which can, however, be replaced by more efficient classic flow- and matroid algorithms in the relevant special cases.
Long monotone trails in random edge-labelings of random graphs
Published
• View Publication
• BIB
Given a graph $G$ and a bijection $f : E(G)\rightarrow \{1, 2, \ldots,e(G)\}$, we say that a trail/path in $G$ is $f$-\emph{increasing} if the labels of consecutive edges of this trail/path form an increasing sequence. More than 40 years ago Chvátal and Komlós raised the question of providing the worst-case estimates of the length of the longest increasing trail/path over all edge orderings of $K_n$. The case of a trail was resolved by Graham and Kleitman, who proved that the answer is $n-1$, and the case of a path is still widely open. Recently Lavrov and Loh proposed to study the average case of this problem in which the edge ordering is chosen uniformly at random. They conjectured (and it was proved by Martinsson) that such an ordering with high probability (whp) contains an increasing Hamilton path.
In this paper we consider random graph $G=G(n,p)$ and its edge ordering chosen uniformly at random. In this setting we determine whp the asymptotics of the number of edges in the longest increasing trail. In particular we prove an average case of the result of Graham and Kleitman, showing that the random edge ordering of $K_n$ has whp an increasing trail of length $(1-o(1))en$ and this is tight. We also obtain an asymptotically tight result for the length of the longest increasing path for random Erdő-Renyi graphs with $p=o(1)$.
D.H. Lehmer's Tridiagonal determinant: An Etude in (Andrews-Inspired) Experimental Mathematics
Published
• View Publication
• BIB
We use a "reverse engineering" method, pioneered by George Andrews, to discover an explicit expression for the determinant of a certain tridiagonal matrix discussed by Derrick Henry Lehmer in 1974, that lead to OEIS sequence A039924. Lehmer only did the infinite case, and here we also do the finite case, that immediately implies the former by taking the limit as n goes to infinity
On generalized Erdős-Ginzburg-Ziv constants for $\mathbb{Z}_2^d$
Published in J. Combin. Theory, ser. A, vol. 174, 2020, article 105254
• View Publication
• BIB
Let $G$ be a finite abelian group, and $r$ be a multiple of its exponent. The generalized Erdős-Ginzburg-Ziv constant $s_r(G)$ is the smallest integer $s$ such that every sequence of length $s$ over $G$ has a zero-sum subsequence of length $r$. We find exact values of $s_{2m}(\mathbb{Z}_2^d)$ for $d \leq 2m+1$. Connections to linear binary codes of maximal length and codes without a forbidden weight are discussed.
Möbius orthogonality for $q$-semimultiplicative sequences
Published
• View Publication
• BIB
We show that all $q$-semimultiplicative sequences are asymptotically orthogonal to the Möbius function, thus proving the Sarnak conjecture for this class of sequences. This generalises analogous results for the sum-of-digits function and other digital sequences which follow from previous work of Mauduit and Rivat.
Lower bound for the cost of connecting tree with given vertex degree sequence
Published
• View Publication
• BIB
The optimal connecting network problem generalizes many models of structure optimization known from the literature, including communication and transport network topology design, graph cut and graph clustering, structure identification from data, etc. For the case of connecting trees with the given sequence of vertex degrees, the cost of the optimal tree is shown to be bounded from below by the solution of a semidefinite optimization program with bilinear matrix constraints, which is reduced to the solution of a series of convex programs with linear matrix inequality constraints. The proposed lower bound estimate is used to construct several heuristic algorithms and to evaluate their quality on a variety of generated and real-life data sets.
Keywords: Optimal communication network, generalized Wiener index, origin-destination matrix, semidefinite programming, quadratic matrix inequality.
A stronger connection between the Erdős-Burgess and Davenport constants
Published
• View Publication
• BIB
The Erdős-Burgess constant of a semigroup $S$ is the smallest positive integer $k$ such that any sequence over $S$ of length $k$ contains a nonempty subsequence whose elements multiply to an idempotent element of $S$. In the case where $S$ is the multiplicative semigroup of $\mathbb{Z}/n\mathbb{Z}$, we confirm a conjecture connecting the Erdős-Burgess constant of $S$ and the Davenport constant of $(\mathbb{Z}/n\mathbb{Z})^{\times}$ for $n$ with at most two prime factors. We also discuss the extension of our techniques to other rings.
Skew RSK and the switching on ballot tableau pairs
In arXiv:1808.06095 we have introduced the Knuth class of the word recording a sequence of locations for repeated internal insertion operations in the Sagan-Stanley skew RSK correspondence, with no prescribed external insertion of new cells, to be a preserver for the $P$-tableau. As a consequence the Benkart-Sottile-Stroomer switching involution on ballot tableau pairs allows a realization as a recursive internal insertion procedure. This amounts to explain the various presentations of Littlewood-Richardson (LR) commuters and their coincidence predicted by Pak and Vallejo with contributions by Danilov and Koshevoi. In particular, the aforesaid presentation provides internal insertion as an alternative to Schützenberger- Lusztig involution (or evacuation) to constructing the Gelfand-Tsetlin pair in the Henriques-Kamnitzer $\mathfrak{gl}_n$-crystal commuter. In addition, the coincidence of LR commuters solves the Lecouvey-Lenart conjecture, recently further developed by Kumar-Torres, on bijections between the Kwon and Sundaram branching models.
The Manickam-Miklós-Singhi Parameter of Graphs and Degree Sequences
Let $G$ be a simple graph. Consider all weightings of the vertices of $G$ with real numbers whose total sum is nonnegative. How many edges of $G$ have endpoints with a nonnegative sum? We consider the minimum number of such edges over all such weightings as a graph parameter. Computing this parameter has been shown to be NP-hard but we give a polynomial algorithm to compute the minimum of this parameter over realizations of a given degree sequence. We also completely determine the minimum and maximum value of this parameter for regular graphs.
Some results and a conjecture on certain subclasses of graphs according to the relations among certain energies, degrees and conjugate degrees of graphs
Let $G$ be a simple graph of order $n$ with degree sequence $(d)=(d_1,d_2,\ldots,d_n)$ and conjugate degree sequence $(d^*)=(d_1^*,d_2^*,\ldots,d_n^*)$. In \cite{AkbariGhorbaniKoolenObudi2010,DasMojallalGutman2017} it was proven that $\mathcal{E}(G)\leq \sum_{i=1}^{n} \sqrt{d_i}$ and $\sum_{i=1}^{n} \sqrt{d_i^*} \leq LEL(G) \leq IE(G) \leq \sum_{i=1}^{n} \sqrt{d_i}$, where $\mathcal{E}(G)$, $LEL(G)$ and $IE(G)$ are the energy, the Laplacian-energy-like invariant and the incidence energy of $G$, respectively, and in \cite{DasMojallalGutman2017} it was concluded that the class of all connected simple graphs of order $n$ can be dividend into four subclasses according to the position of $\mathcal{E}(G)$ in the order relations above. Then, they proposed a problem about characterizing all graphs in each subclass. In this paper, we attack this problem. First, we count the number of graphs of order $n$ in each of four subclasses for every $1\leq n \leq 8$ using a Sage code. Second, we present a conjecture on the ratio of the number of graphs in each subclass to the number of all graphs of order $n$ as $n$ approaches the infinity. Finally, as a first partial solution to the problem, we determine subclasses to which a path, a complete graph and a cycle graph of order $n\geq 1$ belong.
Growing Graceful and Harmonious Trees
We describe symbolic constructions for listing and enumerating graphs having the same induced edge label sequence. We settle in the affirmative R. Whitty's [W08] conjectured existence of determinantal constructions for listing and enumerating gracefully labeled trees. We conclude the paper with a description of a new graceful labeling algorithm.
Extended Weyl groups, Hurwitz transitivity and weighted projective lines I: Generalities and the tubular case
We start the systematic study of extended Weyl groups, and continue the combinatorial description of thick subcategories in hereditary categories started by Ingalls-Thomas, Igusa-Schiffler-Thomas and Krause. We show that for a weighted projective line $\mathbb{X}$ there exists an order preserving bijection between the thick subcategories of $\mathrm{coh}(\mathbb{X})$ generated by an exceptional sequence and a subposet of the interval poset of a Coxeter transformation $c$ in the Weyl group of a simply-laced extended root system if the Hurwitz action is transitive on the reduced reflection factorizations of $c$ that generate the Weyl group. By using combinatorial and group theoretical tools we show that this assumption on the transitivity of the Hurwitz action is fulfilled for a weighted projective line $\mathbb{X}$ of tubular type.
A topological characterization of Gauss codes
A (smooth) embedding of a closed curve on the plane with finitely many intersections is said to be generic if each point of self-intersection is crossed exactly twice and at non-tangent angles. A finite word $ω$ where each character occurs twice is a Gauss code if it can be obtained as the sequence of traversed self-intersections of a generic plane embedding of a close curved $γ$. Then $γ$ is said to realize $ω$.
We present a characterization of Gauss codes using Seifert cycles. The characterization is given by an algorithm that, given a Gauss code $ω$ as input, it outputs a combinatorial plane embedding of closed curve in linear time with respect to the number of characters of the word. The algorithm allows to find all the (combinatorial) embeddings of a closed curve in the plane that realize $ω$.
The characterization involve two functions between graphs embedded on orientable surfaces, invertible of each other. One produces an embedding of the Seifert graph of the word (or paragraph), and the other is its inverse operation. These operations might be of independent interest.
Rigid colourings of hypergraphs and contiguity
Published
• View Publication
• BIB
We consider the problem of $q$-colouring a $k$-uniform random hypergraph, where $q,k \geq 3$, and determine the rigidity threshold. For edge densities above the rigidity threshold, we show that almost all solutions have a linear number of vertices that are linearly frozen, meaning that they cannot be recoloured by a sequence of colourings that each change the colour of a sublinear number of vertices. When the edge density is below the threshold, we prove that all but a vanishing proportion of the vertices can be recoloured by a sequence of colourings that recolour only one vertex at a time. This change in the geometry of the solution space has been hypothesised to be the cause of the algorithmic barrier faced by naive colouring algorithms. Our calculations verify predictions made by statistical physicists using the non-rigorous cavity method.
The traditional model for problems of this type is the random colouring model, where a random hypergraph is chosen and then a random colouring of that hypergraph is selected. However, it is often easier to work with the planted model, where a random colouring is selected first, and then edges are randomly chosen which respect the colouring. As part of our analysis, we show that up to the condensation phase transition, the random colouring model is contiguous with respect to the planted model. This result is of independent interest.
Enumerating five families of pattern-avoiding inversion sequences; and introducing the powered Catalan numbers
Published
• View Publication
• BIB
The first problem addressed by this article is the enumeration of some families of pattern-avoiding inversion sequences. We solve some enumerative conjectures left open by the foundational work on the topics by Corteel et al., some of these being also solved independently by Lin, and Kim and Lin. The strength of our approach is its robustness: we enumerate four families $F_1 \subset F_2 \subset F_3 \subset F_4$ of pattern-avoiding inversion sequences ordered by inclusion using the same approach. More precisely, we provide a generating tree (with associated succession rule) for each family $F_i$ which generalizes the one for the family $F_{i-1}$.
The second topic of the paper is the enumeration of a fifth family $F_5$ of pattern-avoiding inversion sequences (containing $F_4$). This enumeration is also solved \emph{via} a succession rule, which however does not generalize the one for $F_4$. The associated enumeration sequence, which we call the \emph{powered Catalan numbers}, is quite intriguing, and further investigated. We provide two different succession rules for it, denoted $Ω_{pCat}$ and $Ω_{steady}$, and show that they define two types of families enumerated by powered Catalan numbers. Among such families, we introduce the \emph{steady paths}, which are naturally associated with $Ω_{steady}$. They allow us to bridge the gap between the two types of families enumerated by powered Catalan numbers: indeed, we provide a size-preserving bijection between steady paths and valley-marked Dyck paths (which are naturally associated with $Ω_{pCat}$).
Along the way, we provide several nice connections to families of permutations defined by the avoidance of vincular patterns, and some enumerative conjectures.