sequence
6845 papers tagged with this keyword
The Connection between the Number of Realizations for Degree Sequences and Majorization
The \emph{graph realization problem} is to find for given nonnegative integers $a_1,\dots,a_n$ a simple graph (no loops or multiple edges) such that each vertex $v_i$ has degree $a_i.$ Given pairs of nonnegative integers $(a_1,b_1),\dots,(a_n,b_n),$ (i) the \emph{bipartite realization problem} ask whether there is a bipartite graph (no loops or multiple edges) such that vectors $(a_1,...,a_n)$ and $(b_1,...,b_n)$ correspond to the lists of degrees in the two partite sets, (ii) the \emph{digraph realization problem} is to find a digraph (no loops or multiple arcs) such that each vertex $v_i$ has indegree $a_i$ and outdegree $b_i.$\\ The classic literature provides characterizations for the existence of such realizations that are strongly related to the concept of majorization. Aigner and Triesch (1994) extended this approach to a more general result for graphs, leading to an efficient realization algorithm and a short and simple proof for the Erdős-Gallai Theorem. We extend this approach to the bipartite realization problem and the digraph realization problem.\\ Our main result is the connection between majorization and the number of realizations for a degree list in all three problems. We show: if degree list $S'$ majorizes $S$ in a certain sense, then $S$ possesses more realizations than $S'.$ We prove that constant lists possess the largest number of realizations for fixed $n$ and a fixed number of arcs $m$ when $n$ divides $m.$ So-called \emph{minconvex lists} for graphs and bipartite graphs or \emph{opposed minconvex lists} for digraphs maximize the number of realizations when $n$ does not divide $m$.
Combinatorics of flag simplicial 3-polytopes
Published
• View Publication
• BIB
In the focus of this paper is the operation of edge contraction. One can show that simplicial 3-polytope is flag iff contraction of any its edge gives simplicial 3-polytope. Our main result states that any flag simplicial 3-polytope can be reduced to octahedron by sequence of edge contractions. Using this operation we introduce a partial order on the set of flag simplicial 3-polytopes and study Hasse graph of corresponding poset. We estimate input and output degrees of vertices of this Hasse graph.
The quadratic balanced optimization problem
Published
• View Publication
• BIB
We introduce the quadratic balanced optimization problem (QBOP) which can be used to model equitable distribution of resources with pairwise interaction. QBOP is strongly NP-hard even if the family of feasible solutions has a very simple structure. Several general purpose exact and heuristic algorithms are presented. Results of extensive computational experiments are reported using randomly generated quadratic knapsack problems as the test bed. These results illustrate the efficacy of our exact and heuristic algorithms. We also show that when the cost matrix is specially structured, QBOP can be solved as a sequence of linear balanced optimization problems. As a consequence, we have several polynomially solvable cases of QBOP.
Graph Products Revisited: Tight Approximation Hardness of Induced Matching, Poset Dimension and More
Published
• View Publication
• BIB
Graph product is a fundamental tool with rich applications in both graph theory and theoretical computer science. It is usually studied in the form $f(G*H)$ where $G$ and $H$ are graphs, * is a graph product and $f$ is a graph property. For example, if $f$ is the independence number and * is the disjunctive product, then the product is known to be multiplicative: $f(G*H)=f(G)f(H)$.
In this paper, we study graph products in the following non-standard form: $f((G\oplus H)*J)$ where $G$, $H$ and $J$ are graphs, $\oplus$ and * are two different graph products and $f$ is a graph property. We show that if $f$ is the induced and semi-induced matching number, then for some products $\oplus$ and *, it is subadditive in the sense that $f((G\oplus H)*J)\leq f(G*J)+f(H*J)$. Moreover, when $f$ is the poset dimension number, it is almost subadditive.
As applications of this result (we only need $J=K_2$ here), we obtain tight hardness of approximation for various problems in discrete mathematics and computer science: bipartite induced and semi-induced matching (a.k.a. maximum expanding sequences), poset dimension, maximum feasible subsystem with 0/1 coefficients, unit-demand min-buying and single-minded pricing, donation center location, boxicity, cubicity, threshold dimension and independent packing.
On the Hankel transform of C-fractions
We study the Hankel transforms of sequences whose generating function can be expressed as a C-fraction. In particular, we relate the index sequence of the non-zero terms of the Hankel transform to the powers appearing in the monomials defining the C-fraction. A closed formula for the Hankel transforms studied is given. As every power-series can be represented by a C-fraction, this gives in theory a closed form formula for the Hankel transform of any sequence. The notion of multiplicity is introduced to differentiate between Hankel transforms.
Ramsey theory for p-quasicyclic groups with a view towards topological dynamics
We prove additive and multiplicative partition theorems, obtaining combinatorial results for p-quasicyclic groups, where p is a prime number. We also get density results for p-quasicyclic groups via left Følner sequences of non-empty finite subsets of it, giving a sufficient condition in order a subset of a p-quasicyclic group to contain arbitrary long arithmetic progressions. Finally, we introduce the notion of a dynamical system over p-quasicyclic groups extending the classical notion of a topological dynamical system and we prove (multiple) recurrent results for the p-quasicyclic groups. In particular, we prove recurrent results analogous to Furstenberg-Weiss type theorems for classical systems.
A zero-sum theorem over Z
Published
• View Publication
• BIB
A zero-sum sequence of integers is a sequence of nonzero terms that sum to 0. Let $k>0$ be an integer and let $[-k,k]$ denote the set of all nonzero integers between $-k$ and $k$. Let $\ell(k)$ be the smallest integer $\ell$ such that any zero-sum sequence with elements from $[-k,k]$ and length greater than $\ell$ contains a proper nonempty zero-sum subsequence. In this paper, we prove a more general result which implies that $\ell(k)=2k-1$ for $k>1$.
Transformations Integer Sequences And Pairing Functions
We propose several procedures for creating new families of integer sequences based on the method of Cantor diagonalization. Then we modify and generalize this method. The paper includes explicit formulas for most proposed families of integer sequences.
Hopf algebra of building sets
Published in The Electronic Journal of Combinatorics, Vol 19, Issue 4 (2012), P42
• Search Publication
The combinatorial Hopf algebra on building sets $BSet$ extends the chromatic Hopf algebra of simple graphs. The image of a building set under canonical morphism to quasi-symmetric functions is the chromatic symmetric function of the corresponding hypergraph. By passing from graphs to building sets, we construct a sequence of symmetric functions associated to a graph. From the generalized Dehn-Sommerville relations for the Hopf algebra $BSet$, we define a class of building sets called eulerian and show that eulerian building sets satisfy Bayer-Billera relations. We show the existence of the $\mathbf{c}\mathbf{d}-$index, the polynomial in two noncommutative variables associated to an eulerian building set. The complete characterization of eulerian building sets is given in terms of combinatorics of intersection posets of antichains of finite sets.
Agent Arrangement Problem
An {\em arrangement} of an ordered pair $(G_A, G_M)$ of graphs is defined as a function $f$ from $V(G_A)$ to $V(G_M)$ such that, for each vertex $c$ of $G_M$, the vertex-set $f^{-1}(c)$ of $G_A$ either is $\emptyset$ (the case when $c \not\in f(V(G_A))$) or induces a connected subgraph of $G_A$ and that the family $\{f^{-1}(y) : y \in V(G_M), f^{-1}(y) \neq \emptyset\}$ is a partition of $V(G_A)$. Let $f$ be an arrangement of $(G_A, G_M)$, let $pq$ be an edge of $G_M$ and let $U$ be a subset of $f^{-1}(p)$ such that each of the three graphs $G_A[U]$, $G_A[f^{-1}(p)\setminus U]$ and $G_A[f^{-1}(q)\cup U]$ is ether connected or $\emptyset$ and that $\big(f^{-1}(p)\cup f^{-1}(q) \big) \setminus U \neq \emptyset$. A {\em transfer} of $U$ from $p$ to $q$ is defined as the modification $f^{\prime}$ of $f$ such that $f^{\prime}(x):=f(x)$ for every $ x \notin U$ and $f^{\prime}(u):=q$ for every $u \in U$. Two arrangements $f$ and $g$ of $(G_A, G_M)$ are called {\em t-equivalent} if they can be transformed into each other by a finite sequence of transfers. An ordered pair $(G_A, G_M)$ of graphs is called {\em almighty} if every two arrangements of the pair $(G_A, G_M)$ are t-equivalent. In this study, we consider the following two decision problems. [{\bf (P1)}]{For a given pair of arrangements $f$ and $g$ of a given ordered pair $(G_A,G_M)$ of graphs, decide whether $f$ is t-equivalent to $g$ or not.} [{\bf (P2)}]{For a given ordered pair $(G_A,G_M)$ of graphs, decide whether the pair $(G_A,G_M)$ is almighty or not.} We show an $\Od(|E(G_A)|+(|V(G_M)|+|E(G_A)|)|V(G_A)|)$-time algorithm for {\bf (P1)}, and prove the $\co\np$-completeness of {\bf (P2)}.
Minkowski Polynomials and Mutations
Published in SIGMA 8 (2012), 094, 707 pages
• View Publication
• BIB
Given a Laurent polynomial f, one can form the period of f: this is a function of one complex variable that plays an important role in mirror symmetry for Fano manifolds. Mutations are a particular class of birational transformations acting on Laurent polynomials in two variables; they preserve the period and are closely connected with cluster algebras. We propose a higher-dimensional analog of mutation acting on Laurent polynomials f in n variables. In particular we give a combinatorial description of mutation acting on the Newton polytope P of f, and use this to establish many basic facts about mutations. Mutations can be understood combinatorially in terms of Minkowski rearrangements of slices of P, or in terms of piecewise-linear transformations acting on the dual polytope P^* (much like cluster transformations). Mutations map Fano polytopes to Fano polytopes, preserve the Ehrhart series of the dual polytope, and preserve the period of f. Finally we use our results to show that Minkowski polynomials, which are a family of Laurent polynomials that give mirror partners to many three-dimensional Fano manifolds, are connected by a sequence of mutations if and only if they have the same period.
Generalized Stirling transform
Published
• View Publication
• BIB
In this paper, algorithms are developed for computing the Stirling transform and the inverse Stirling transform; specifically, we investigate a class of sequences satisfying a two-term recurrence. We derive a general identity which generalizes the usual Stirling transform and investigate the corresponding generating functions also. In addition, some interesting consequences of these results related to classical sequences like Fibonacci, Bernoulli and the numbers of derangements have been derived.
Threshold Digraphs
Published in Journal of Research of NIST, Vol. 119, pg. 227-234, 2014
• View Publication
• BIB
A digraph whose degree sequence has a unique vertex labeled realization is called threshold. In this paper we present several characterizations of threshold digraphs and their degree sequences, and show these characterizations to be equivalent. One of the characterizations is new, and allows for a shorter proof of the equivalence of the two known characterizations as well as proving the final characterization which appears without proof in the literature. Using this result, we obtain a new, short proof of the Fulkerson-Chen theorem on degree sequences of general digraphs.
Recursive bijections for Catalan objects
In this note we introduce several instructive examples of bijections found between several different combinatorially defined sequences of sets. Each sequence has cardinalities given by the Catalan numbers. Our results answer some questions posed by R. Stanley in the addendum to his textbook. We actually discuss two types of bijection, one defined recursively and the other defined in a more local, relative, fashion. It is interesting to compare the results of the two.
Biologically Unavoidable Sequences
Published in Electronic Journal of Combinatorics vol 20 issue 1 (2013), 13pp
• View Publication
• BIB
A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes Koenig's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.
Motors and Impossible Firing Patterns in the Parallel Chip-Firing Game
Published
• View Publication
• BIB
The parallel chip-firing game is an automaton on graphs in which vertices "fire" chips to their neighbors when they have enough chips to do so. The game is always periodic, and we concern ourselves with the firing sequences of vertices. We introduce the concepts of motorized parallel chip-firing games and motor vertices, study the effects of motors connected to a tree and show that motorized games can be transformed into ordinary games if the motors' firing sequences occur in some ordinary game. We then characterize exactly which periodic firing patterns can occur in an ordinary game and state some implications of the finding.
Polyhedral computational geometry for averaging metric phylogenetic trees
Published
• View Publication
• BIB
This paper investigates the computational geometry relevant to calculations of the Frechet mean and variance for probability distributions on the phylogenetic tree space of Billera, Holmes and Vogtmann, using the theory of probability measures on spaces of nonpositive curvature developed by Sturm. We show that the combinatorics of geodesics with a specified fixed endpoint in tree space are determined by the location of the varying endpoint in a certain polyhedral subdivision of tree space. The variance function associated to a finite subset of tree space has a fixed $C^\infty$ algebraic formula within each cell of the corresponding subdivision, and is continuously differentiable in the interior of each orthant of tree space. We use this subdivision to establish two iterative methods for producing sequences that converge to the Frechet mean: one based on Sturm's Law of Large Numbers, and another based on descent algorithms for finding optima of smooth functions on convex polyhedra. We present properties and biological applications of Frechet means and extend our main results to more general globally nonpositively curved spaces composed of Euclidean orthants.
Degree-based network models
We derive the sampling properties of random networks based on weights whose pairwise products parameterize independent Bernoulli trials. This enables an understanding of many degree-based network models, in which the structure of realized networks is governed by properties of their degree sequences. We provide exact results and large-sample approximations for power-law networks and other more general forms. This enables us to quantify sampling variability both within and across network populations, and to characterize the limiting extremes of variation achievable through such models. Our results highlight that variation explained through expected degree structure need not be attributed to more complicated generative mechanisms.
Arc diagram varieties
Published in in: "Expository lectures on representation theory", Contemporary Mathematics 607, Amer. Math. Soc., Providence, RI, (2014), 205--224
• View Publication
• BIB
Let $k$ be an algebraically closed field and $α$, $β$, $γ$ be partitions. An algebraic group acts on the constructible set of short exact sequences of nilpotent $k$-linear operators of Jordan types $α$, $β$, and $γ$, respectively; we are interested in the stratification given by the orbits in the case where all parts of $α$ are at most 2. Geometric properties of the degeneration relation are controlled by the combinatorics of arc diagrams. The extended bubble sort algorithm is used to construct chains of orbits such that subsequent strata have dimension difference equal to one.
On Groupoids and Hypergraphs
We present a novel construction of finite groupoids whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour class (sub-groupoid), and only counts transitions between colour classes (cosets). These groupoids are employed towards a generic construction method for finite hypergraphs that realise specified overlap patterns and avoid small cyclic configurations. The constructions are based on reduced products with groupoids generated by the elementary local extension steps, and can be made to preserve the symmetries of the given overlap pattern. In particular, we obtain highly symmetric, finite hypergraph coverings without short cycles. The groupoids and their application in reduced products are sufficiently generic to be applicable to other constructions that are specified in terms of local glueing operations and require global finite closure.