Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Generalized Stirling permutations and forests: Higher-order Eulerian and Ward numbers
Published in Electron. J. Comb. 22 (2015) #P3.37 (20pp)
• View Publication
• BIB
We define a new family of generalized Stirling permutations that can be interpreted in terms of ordered trees and forests. We prove that the number of generalized Stirling permutations with a fixed number of ascents is given by a natural three-parameter generalization of the well-known Eulerian numbers. We give the generating function for this new class of numbers and, in the simplest cases, we find closed formulas for them and the corresponding row polynomials. By using a non-trivial involution our generalized Eulerian numbers can be mapped onto a family of generalized Ward numbers, forming a Riordan inverse pair, for which we also provide a combinatorial interpretation.
Robinson-Schensted-Knuth algorithm, jeu de taquin and Kerov-Vershik measures on infinite tableaux
Published in SIAM J. Discrete Math. 28 (2014), no. 2, 598-630
• View Publication
• BIB
We investigate Robinson-Schensted-Knuth algorithm (RSK) and Schützenberger's jeu de taquin in the infinite setup. We show that the recording tableau in RSK defines an isomorphism of the following two dynamical systems: (i) a sequence of i.i.d. random letters equipped with Bernoulli shift, and (ii) a random infinite Young tableau (with the distribution given by Vershik-Kerov measure, corresponding to some Thoma character of the infinite symmetric group) equipped with jeu de taquin transformation. As a special case we recover the results on non-colliding random walks and multidimensional Pitman transform.
Erdős - Szekeres Theorem for Lines
According to the Erdős-Szekeres theorem, for every $n$, a sufficiently large set of points in general position in the plane contains $n$ in convex position. In this note we investigate the line version of this result, that is, we want to find $n$ lines in convex position in a sufficiently large set of lines that are in general position. We prove almost matching upper and lower bounds for the minimum size of the set of lines in general position that always contains $n$ in convex position. This is quite unexpected, since in the case of points, the best known bounds are very far from each other. We also establish the dual versions of many variants and generalizations of the Erd\H os-Szekeres theorem.
Fourier analysis on finite groups and the Lovász theta-number of Cayley graphs
Published in Experiment. Math. 23 (2014), 146-152
• View Publication
• BIB
We apply Fourier analysis on finite groups to obtain simplified formulations for the Lovász theta-number of a Cayley graph. We put these formulations to use by checking a few cases of a conjecture of Ellis, Friedgut, and Pilpel made in a recent article proving a version of the Erdős-Ko-Rado theorem for $k$-intersecting families of permutations. We also introduce a $q$-analog of the notion of $k$-intersecting families of permutations, and we verify a few cases of the corresponding Erdős-Ko-Rado assertion by computer.
Uniform Random Planar Graphs with Degree Constraints
Random planar graphs have been the subject of much recent work. Many basic properties of the standard uniform random planar graph P_{n}, by which we mean a graph chosen uniformly at random from the set of all planar graphs with vertex set {1,2,...,n}, are now known, and variations on this standard random graph are also attracting interest.
Prominent among the work on P_{n} have been asymptotic results for the probability that P_{n} will be connected or contain given components/subgraphs. Such progress has been achieved through a combination of counting arguments and a generating function approach.
More recently, attention has turned to P_{n,m}, the graph taken uniformly at random from the set of all planar graphs on {1,2,...,n} with exactly m(n) edges (this can be thought of as a uniform random planar graph with a constraint on the average degree). The case when m(n) = qn for fixed q in (1,3) has been investigated, and results obtained for the events that P_{n,qn} will be connected and that P_{n,qn} will contain given subgraphs.
In Part I of this thesis, we use elementary counting arguments to extend the current knowledge of P_{n,m}. We investigate the probability that P_{n,m} will contain given components, the probability that P_{n,m} will contain given subgraphs, and the probability that P_{n,m} will be connected, all for general m(n), and show that there is different behaviour depending on which `region' the ratio m(n)/n falls into. In Part II, we investigate the same three topics for a uniform random planar graph with constraints on the maximum and minimum degrees.
Generalizing Krawtchouk polynomials using Hadamard matrices
Published in ISRN Applied Mathematics Volume 2014 (2014), Article ID 498135 (8 pages)
• View Publication
• BIB
We investigate polynomials, called m-polynomials, whose generator polynomial has coefficients that can be arranged as a matrix, where q is a positive integer greater than one. Orthogonality relations are established and coefficients are obtained for the expansion of a polynomial in terms of m-polynomials. We conclude this article by an implementation in MATHEMATICA of m-polynomials and the results obtained for them.
Moving to Extremal Graph Parameters
Which graphs, in the class of all graphs with given numbers n and m of edges and vertices respectively, minimizes or maximizes the value of some graph parameter? In this paper we develop a technique which provides answers for several different parameters: the numbers of edges in the line graph, acyclic orientations, cliques, and forests. (We minimize the first two and maximize the third and fourth.)
Our technique involves two moves on the class of graphs. A compression move converts any graph to a form we call fully compressed: the fully compressed graphs are split graphs in which the neighbourhoods of points in the independent set are nested. A second consolidation move takes each fully compressed graph to one particular graph which we call H(n,m). We show monotonicity of the parameters listed for these moves in many cases, which enables us to obtain our results fairly simply.
The paper concludes with some open problems and future directions.
A special case of Postnikov-Shapiro conjecture
For a graph $G$, Postnikov-Shapiro \cite{PS04} construct two ideals $I_G$ and $J_G.$ $I_G$ is a monomial ideal and $J_G$ is generated by powers of linear forms. They proved the equality of their Hilbert series and conjectured that the graded Betti numbers are equal. When $G=K_{n+1}^{l,k}$ is the complete graph on the vertices $\{0,1,\cdots, n\}$ with the edges $e_{i, j},$ $i, j\neq 0,$ of multiplicity $k$ and the edges $e_{0, i}$ of multiplicity $l,$ for two non-negative integers $k$ and $l,$ they gave an explicit formula for the graded Betti numbers of $I_G,$ which are conjecturally the same for $J_G.$ We prove this conjecture in the case $n=3,$ which was also conjectured by Schenck \cite{S04}.
Asymptotic multipartite version of the Alon-Yuster theorem
Published
• View Publication
• BIB
In this paper, we prove the asymptotic multipartite version of the Alon-Yuster theorem, which is a generalization of the Hajnal-Szemerédi theorem: If $k\geq 3$ is an integer, $H$ is a $k$-colorable graph and $γ>0$ is fixed, then, for every sufficiently large $n$, where $|V(H)|$ divides $n$, and for every balanced $k$-partite graph $G$ on $kn$ vertices with each of its corresponding $\binom{k}{2}$ bipartite subgraphs having minimum degree at least $(k-1)n/k+γn$, $G$ has a subgraph consisting of $kn/|V(H)|$ vertex-disjoint copies of $H$.
The proof uses the Regularity method together with linear programming.
Recent progress on the combinatorial diameter of polytopes and simplicial complexes
Published in TOP 21:3 (October 2013), 426-460
• View Publication
• BIB
The Hirsch conjecture, posed in 1957, stated that the graph of a $d$-dimensional polytope or polyhedron with $n$ facets cannot have diameter greater than $n - d$. The conjecture itself has been disproved, but what we know about the underlying question is quite scarce. Most notably, no polynomial upper bound is known for the diameters that were conjectured to be linear. In contrast, no polyhedron violating the conjecture by more than 25% is known.
This paper reviews several recent attempts and progress on the question. Some work in the world of polyhedra or (more often) bounded polytopes, but some try to shed light on the question by generalizing it to simplicial complexes. In particular, we include here our recent and previously unpublished proof that the maximum diameter of arbitrary simplicial complexes is in $n^{Theta(d)}$ and we summarize the main ideas in the polymath 3 project, a web-based collective effort trying to prove an upper bound of type nd for the diameters of polyhedra and of more general objects (including, e. g., simplicial manifolds).
Distance-based phylogenetic methods around a polytomy
Published
• View Publication
• BIB
Distance-based phylogenetic algorithms attempt to solve the NP-hard least squares phylogeny problem by mapping an arbitrary dissimilarity map representing biological data to a tree metric. The set of all dissimilarity maps is a Euclidean space properly containing the space of all tree metrics as a polyhedral fan. Outputs of distance-based tree reconstruction algorithms such as UPGMA and Neighbor-Joining are points in the maximal cones in the fan. Tree metrics with polytomies lie at the intersections of maximal cones.
A phylogenetic algorithm divides the space of all dissimilarity maps into regions based upon which combinatorial tree is reconstructed by the algorithm. Comparison of phylogenetic methods can be done by comparing the geometry of these regions. We use polyhedral geometry to compare the local nature of the subdivisions induced by least squares phylogeny, UPGMA, and Neighbor-Joining. Our results suggest that in some circumstances, UPGMA and Neighbor-Joining poorly match least squares phylogeny when the true tree has a polytomy.
Ehrhart polynomials and symplectic embeddings of ellipsoids
Published
• View Publication
• BIB
McDuff and Schlenk determined when a four-dimensional ellipsoid can be symplectically embedded into a ball, and found that part of the answer is given by an infinite "Fibonacci staircase." Similarly, Frenkel and Müller determined when a four-dimensional ellipsoid can be symplectically embedded into the ellipsoid E(1,2) and found that part of the answer is given by a "Pell staircase." ECH capacities give an obstruction to symplectically embedding one four-dimensional ellipsoid into another, and McDuff showed that this obstruction is sharp. We use this result to give new proofs of the staircases of McDuff-Schlenk and Frenkel-Müller, and we prove that another infinite staircase arises for embeddings into the ellipsoid E(1,3/2). Our proofs relate these staircases to a combinatorial phenomenon of independent interest called "period collapse" of the Ehrhart quasipolynomial.
In the appendix, we use McDuff's theorem to show that for a >= 6, the only obstruction to embedding an ellipsoid E(1,a) into a scaling of E(1,3/2) is the volume, and we also give new proofs of similar results for embeddings into scalings of E(1,1) and E(1,2).
A note on the number of $k$-roots in $S_n$
The number of $k$-roots of an arbitrary permutation is expressed as an alternating sum of $μ$-unimodal $k$-roots of the identity permutation.
The double competition multigraph of a digraph
Published in Discrete Mathematics and Theoretical Computer Science, Vol. 17, No. 2 (2015) 303-310
• View Publication
• BIB
In this article, we introduce the notion of the double competition multigraph of a digraph. We give characterizations of the double competition multigraphs of arbitrary digraphs, loopless digraphs, reflexive digraphs, and acyclic digraphs in terms of edge clique partitions of the multigraphs.
Fourier-Dedekind Sums and an Extension of Rademacher Reciprocity
Published
• View Publication
• BIB
Fourier-Dedekind sums are a generalization of Dedekind sums - important number-theoretical objects that arise in many areas of mathematics, including lattice point enumeration, signature defects of manifolds and pseudo random number generators. A remarkable feature of Fourier-Dedekind sums is that they satisfy a reciprocity law called Rademacher reciprocity. In this paper, we study several aspects of Fourier-Dedekind sums: properties of general Fourier-Dedekind sums, extensions of the reciprocity law, average behavior of Fourier-Dedekind sums, and finally, extrema of 2-dimensional Fourier-Dedekind sums.
On properties of general Fourier-Dedekind sums we show that a general Fourier-Dedekind sum is simultaneously a convolution of simpler Fourier-Dedekind sums, and a linear combination of these with integer coefficients. We show that Fourier-Dedekind sums can be extended naturally to a group under convolution. We introduce "Reduced Fourier-Dedekind sums", which encapsulate the complexity of a Fourier-Dedekind sum, describe these in terms of generating functions, and give a geometric interpretation.
Next, by finding interrelations among Fourier-Dedekind sums, we extend the range on which Rademacher reciprocity Theorem holds.
We go on to study the average behavior of Fourier-Dedekind sums, showing that the average behavior of a Fourier-Dedekind sum is described concisely by a lower-dimensional, simpler Fourier-Dedekind sum.
Finally, we focus our study on 2-dimensional Fourier-Dedekind sums. We find tight upper and lower bounds on these for a fixed $t$, estimates on the argmax and argmin, and bounds on the sum of their "reciprocals".
Domination game: effect of edge- and vertex-removal
The domination game is played on a graph $G$ by two players, named Dominator and Staller. They alternatively select vertices of $G$ such that each chosen vertex enlarges the set of vertices dominated before the move on it. Dominator's goal is that the game is finished as soon as possible, while Staller wants the game to last as long as possible. It is assumed that both play optimally. Game 1 and Game 2 are variants of the game in which Dominator and Staller has the first move, respectively. The game domination number $γ_g(G)$, and the Staller-start game domination number $γ_g'(G)$, is the number of vertices chosen in Game 1 and Game 2, respectively. It is proved that if $e\in E(G)$, then $|γ_g(G) - γ_g(G-e)| \le 2$ and $|γ_g'(G) - γ_g'(G-e)| \le 2$, and that each of the possibilities here is realizable by connected graphs $G$ for all values of $γ_g(G)$ and $γ_g'(G)$ larger than 5. For the remaining small values it is either proved that realizations are not possible or realizing examples are provided. It is also proved that if $v\in V(G)$, then $γ_g(G) - γ_g(G-v) \le 2$ and $γ_g'(G) - γ_g'(G-v) \le 2$. Possibilities here are again realizable by connected graphs $G$ in almost all the cases, the exceptional values are treated similarly as in the edge-removal case.
A Note on Co-Maximal Ideal Graph of Commutative Rings
Let $R$ be a commutative ring with unity. The co-maximal ideal graph of $R$, denoted by $Γ(R)$, is a graph whose vertices are the proper ideals of $R$ which are not contained in the Jacobson radical of $R$, and two vertices $I_1$ and $I_2$ are adjacent if and only if $I_1 + I_2 = R$. We classify all commutative rings whose co-maximal ideal graphs are planar. In 2012 the following question was posed: If $Γ(R)$ is an infinite star graph, can $R$ be isomorphic to the direct product of a field and a local ring? In this paper, we give an affirmative answer to this question.
Graphs cospectral with a friendship graph or its complement
Let $n$ be any positive integer and let $F_n$ be the friendship (or Dutch windmill) graph with $2n+1$ vertices and $3n$ edges. Here we study graphs with the same adjacency spectrum as the $F_n$. Two graphs are called cospectral if the eigenvalues multiset of their adjacency matrices are the same. Let $G$ be a graph cospectral with $F_n$. Here we prove that if $G$ has no cycle of length 4 or 5, then $G\cong F_n$. Moreover if $G$ is connected and planar then $G\cong F_n$. All but one of connected components of $G$ are isomorphic to $K_2$. The complement $\bar{F_n}$ of the friendship graph is determined by its adjacency eigenvalues, that is, if $\bar{F_n}$ is cospectral with a graph $H$, then $H\cong \bar{F_n}$.
Groups all of whose undirected Cayley graphs are integral
Published in European Journal of Combinatorics 38 (2014) 102-109
• View Publication
• BIB
Let $G$ be a finite group, $S\subseteq G\setminus\{1\}$ be a set such that if $a\in S$, then $a^{-1}\in S$, where $1$ denotes the identity element of $G$. The undirected Cayley graph $Cay(G,S)$ of $G$ over the set $S$ is the graph whose vertex set is $G$ and two vertices $a$ and $b$ are adjacent whenever $ab^{-1}\in S$. The adjacency spectrum of a graph is the multiset of all eigenvalues of the adjacency matrix of the graph. A graph is called integral whenever all adjacency spectrum elements are integers. Following Klotz and Sander, we call a group $G$ Cayley integral whenever all undirected Cayley graphs over $G$ are integral. Finite abelian Cayley integral groups are classified by Klotz and Sander as finite abelian groups of exponent dividing $4$ or $6$. Klotz and Sander have proposed the determination of all non-abelian Cayley integral groups. In this paper we complete the classification of finite Cayley integral groups by proving that finite non-abelian Cayley integral groups are the symmetric group $S_{3}$ of degree $3$, $C_{3} \rtimes C_{4}$ and $Q_{8}\times C_{2}^{n}$ for some integer $n\geq 0$, where $Q_8$ is the quaternion group of order $8$.
Polynomiality for Bin Packing with a Constant Number of Item Types
Published
• View Publication
• BIB
We consider the bin packing problem with d different item sizes s_i and item multiplicities a_i, where all numbers are given in binary encoding. This problem formulation is also known as the 1-dimensional cutting stock problem.
In this work, we provide an algorithm which, for constant d, solves bin packing in polynomial time. This was an open problem for all d >= 3.
In fact, for constant d our algorithm solves the following problem in polynomial time: given two d-dimensional polytopes P and Q, find the smallest number of integer points in P whose sum lies in Q.
Our approach also applies to high multiplicity scheduling problems in which the number of copies of each job type is given in binary encoding and each type comes with certain parameters such as release dates, processing times and deadlines. We show that a variety of high multiplicity scheduling problems can be solved in polynomial time if the number of job types is constant.