Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Finding perfect matchings in random regular graphs in linear time
Published
• View Publication
• BIB
In a seminal paper on finding large matchings in sparse random graphs, Karp and Sipser proposed two algorithms for this task. The second algorithm has been intensely studied, but due to technical difficulties, the first algorithm has received less attention. Empirical results suggest that the first algorithm is superior. In this paper we analyze an adapted version of the first algorithm, the Reduce-Construct algorithm. We show that the Reduce-Construct algorithm finds a maximum matching in random $k=O(1)$-regular graphs in linear time in expectation, as opposed to $O(n^{3/2})$ time for the worst-case.
Classifications of quasitrivial semigroups
Published in Semigroup Forum 100 (3) (2020) 743-764
• View Publication
• BIB
We investigate classifications of quasitrivial semigroups defined by certain equivalence relations. The subclass of quasitrivial semigroups that preserve a given total ordering is also investigated. In the special case of finite semigroups, we address and solve several related enumeration problems.
Counterexamples to a conjecture of Harris on Hall ratio
The Hall ratio of a graph $G$ is the maximum value of $v(H) / α(H)$ taken over all non-null subgraphs $H$ of $G$. For any graph, the Hall ratio is a lower-bound on its fractional chromatic number. In this note, we present various constructions of graphs whose fractional chromatic number grows much faster than their Hall ratio. This refutes a conjecture of Harris.
A combinatorial proof of a partition identity of Andrews and Stanley
Published in International Journal of Mathematics and Mathematical Sciences, volume 2004, issue 47, pp. 2495-2501
• View Publication
• BIB
In his paper, "On a Partition Function of Richard Stanley," George Andrews proves a certain partition identity analytically and asks for a combinatorial proof. This paper provides the requested combinatorial proof.
Partial Difference Sets in $C_{2^n} \times C_{2^n}$
We give an algorithm for enumerating the regular nontrivial partial difference sets (PDS) in the group $G_n = C_{2^n}\times C_{2^n}$. We use our algorithm to obtain all of these PDS in $G_n$ for $2\leq n\leq 9$, and we obtain partial results for $n=10$ and $n=11$. Most of these PDS are new. For $n\le 4$ we also identify group-inequivalent PDS. Our approach involves constructing tree diagrams and canonical colorings of these diagrams. Both the total number and the number of group-inequivalent PDS in $G_n$ appear to grow super-exponentially in $n$. For $n=9$, a typical canonical coloring represents in excess of $10^{146}$ group-inequivalent PDS, and there are precisely $2^{520}$ reversible Hadamard difference sets.
Further results on the inducibility of $d$-ary trees
A subset of leaves of a rooted tree induces a new tree in a natural way. The density of a tree $D$ inside a larger tree $T$ is the proportion of such leaf-induced subtrees in $T$ that are isomorphic to $D$ among all those with the same number of leaves as $D$. The inducibility of $D$ measures how large this density can be as the size of $T$ tends to infinity. In this paper, we explicitly determine the inducibility in some previously unknown cases and find general upper and lower bounds, in particular in the case where $D$ is balanced, i.e., when its branches have at least almost the same size. Moreover, we prove a result on the speed of convergence of the maximum density of $D$ in strictly $d$-ary trees $T$ (trees where every internal vertex has precisely $d$ children) of a given size $n$ to the inducibility as $n \to \infty$, which supports an open conjecture.
On identities of the Rogers--Ramanujan type
Published in Ramanujan Journal 11 (2006) 403--429
• View Publication
• BIB
A generalized Bailey pair, which contains several special cases considered by Bailey (\emph{Proc. London Math. Soc. (2)}, 50 (1949), 421--435), is derived and used to find a number of new Rogers-Ramanujan type identities. Consideration of associated $q$-difference equations points to a connection with a mild extension of Gordon's combinatorial generalization of the Rogers-Ramanujan identities (\emph{Amer. J. Math.}, 83 (1961), 393--399). This, in turn, allows the formulation of natural combinatorial interpretations of many of the identities in Slater's list (\emph{Proc. London Math. Soc. (2)} 54 (1952), 147--167), as well as the new identities presented here. A list of 26 new double sum--product Rogers-Ramanujan type identities are included as an appendix.
An identity for the odd double factorial
The ordinary factorial may be written in terms of the Stirling numbers of the second kind as shown by Quaintance and Gould and the odd double factorial in terms of the Stirling numbers of the first kind as shown by Callan. During the preparation of an expository paper on Wolstenholme's Theorem, we discovered an expression for the odd double factorial using the Stirling numbers of the second kind. This appears to be the first such identity involving both positive and negative integers and the result is outlined here.
Balanced triangulations on few vertices and an implementation of cross-flips
A $d$-dimensional simplicial complex is balanced if the underlying graph is $(d+1)$-colorable. We present an implementation of cross-flips, a set of local moves introduced by Izmestiev, Klee and Novik which connect any two PL-homeomorphic balanced combinatorial manifolds. As a result we exhibit a vertex minimal balanced triangulation of the real projective plane, of the dunce hat and of the real projective space, as well as several balanced triangulations of surfaces and 3-manifolds on few vertices. In particular we construct small balanced triangulations of the 3-sphere that are non-shellable and shellable but not vertex decomposable.
A bijection between self-conjugate and ordinary partitions and counting simultaneous cores as its application
We give a bijection between the set of self-conjugate partitions and that of ordinary partitions. Also, we show the relation between hook lengths of self conjugate partition and corresponding partition via the bijection. As a corollary, we give new combinatorial interpretations for the Catalan number and the Motzkin number in terms of self-conjugate simultaneous core partitions.
Gapsets and numerical semigroups
Published
• View Publication
• BIB
For g $\ge$ 0, let n g denote the number of numerical semi-groups of genus g. A conjecture by Maria Bras-Amorós in 2008 states that the inequality n g $\ge$ n g--1 + n g--2 should hold for all g $\ge$ 2. Here we show that such an inequality holds for the very large subtree of numerical semigroups satisfying c $\le$ 3m, where c and m are the conductor and multiplicity, respectively. Our proof is given in the more flexible setting of gapsets, i.e. complements in N of numerical semigroups.
Nonnegativity for hafnians of certain matrices
Published
• View Publication
• BIB
We show that a complex symmetric matrix of the form $A(Y,B) = \begin{bmatrix}Y & B\\ B^\top & \overline{Y} \end{bmatrix},$ where $B$ is Hermitian positive semidefinite, has a nonnegative hafnian. These are positive scalar multiples of matrices $A(Y,B)$ that are encodable in a Gaussian boson sampler. Further, the hafnian of this matrix is non-decreasing in $B$ in the sense that $\mathrm{haf}A(Y,L) \ge \mathrm{haf}A(Y,B)$ if $L \succeq B$.
Even and odd trees
In this paper we at first consider plane trees with the root vertex and a marked directed edge, outgoing from the root vertex. For such trees we introduce a new characteristic --- the \emph{parity}, using the bracket code. It turns out that the parity depends only on the root vertex (not on the marked edge). And in the case of an even number of vertices the parity does not depend on the root vertex also. Then we consider rotation groups of bipartite trees, study their properties and prove that in the case of even number of vertices rotation groups of even and odd trees are different.
Enumerative properties of restricted words and compositions
In this document we achieve exact and asymptotic enumeration of words, compositions over a finite group, and/or integer compositions characterized by local restrictions and, separately, subsequence pattern avoidance. We also count cyclically restricted and circular objects. This either fills gaps in the current literature by e.g. considering particular new patterns, or involves general progress, notably with locally restricted compositions over a finite group. We associate these compositions to walks on a covering graph whose structure is exploited to simplify asymptotic expressions. Specifically, we show that under certain conditions the number of locally restricted compositions of a group element is asymptotically independent of the group element. For some problems our results extend to the case of a positive number of subword pattern occurrences (instead of zero for pattern avoidance) or convergence in distribution of the normalized number of occurrences. We typically apply the more general propositions to concrete examples such as the familiar Carlitz compositions or simple subword patterns.
On permutations of $\{1,\ldots,n\}$ and related topics
In this paper we study combinatorial aspects of permutations of $\{1,\ldots,n\}$ and related topics. In particular, we prove that there is a unique permutation $π$ of $\{1,\ldots,n\}$ such that all the numbers $k+π(k)$ ($k=1,\ldots,n$) are powers of two. We also show that $n\mid\text{per}[i^{j-1}]_{1\le i,j\le n}$ for any integer $n>2$. We conjecture that if a group $G$ contains no element of order among $2,\ldots,n+1$ then any $A\subseteq G$ with $|A|=n$ can be written as $\{a_1,\ldots,a_n\}$ with $a_1,a_2^2,\ldots,a_n^n$ pairwise distinct. This conjecture is confirmed when $G$ is a torsion-free abelian group. We also prove that for any finite subset $A$ of a torsion-free abelian group $G$ with $|A|=n>3$, there is a numbering $a_1,\ldots,a_n$ of all the elements of $A$ such that all the $n$ sums $$a_1+a_2+a_3,\ a_2+a_3+a_4,\ \ldots,\ a_{n-2}+a_{n-1}+a_n,\ a_{n-1}+a_n+a_1,\ a_n+a_1+a_2$$ are pairwise distinct.
The defining properties of the Kontsevich unoriented graph complex
Published in Journal of Physics: Conference Series (2019) Vol.1194, Paper 012095, 1-10
• View Publication
• BIB
Consider the real vector space of formal sums of non-empty, finite unoriented graphs without multiple edges and loops. Let the vertices of graphs be unlabelled but let every graph $γ$ be endowed with an ordered set of edges $\mathsf{E}(γ)$. Denote by Gra the vector space of formal sums of graphs modulo the relation $(γ_1,\mathsf{E}(γ_1))-\text{sign}(σ) (γ_2,\mathsf{E}(γ_2)) = 0$ for topologically equal graphs $γ_1$ and $γ_2$ whose edge orderings differ by a permutation $σ$. The zero class in Gra is represented by sums of graphs that cancel via the above relation. The Lie bracket of graphs with ordered edge sets is defined using the insertion of a graph into vertices of the other one. We give an explicit proof of the theorems which state that the space Gra is a well\/-\/defined differential graded Lie algebra: both the Lie bracket $[{\cdot},{\cdot}]$ and the vertex\/-\/expanding differential ${\mathrm d}=[{\bullet}\!{-}\!{\bullet},{\cdot}]$ respect the calculus modulo zero graphs.
Poset models for Weyl group analogs of symmetric functions and Schur functions
The `Weyl symmetric functions' studied here naturally generalize classical symmetric (polynomial) functions, and `Weyl bialternants,' sometimes also called Weyl characters, analogize the Schur functions. For this generalization, the underlying symmetry group is a finite Weyl group. A `splitting poset' for a Weyl bialternant is an edge-colored ranked poset possessing a certain structural property and a natural weighting of its elements so that the weighted sum of poset elements is the given Weyl bialternant. Connected such posets are of combinatorial interest in part because they are rank symmetric and rank unimodal and have nice quotient-of-product expressions for their rank generating functions. Supporting graphs of weight bases for irreducible semisimple Lie algebra representations provide one large family of examples. However, many splitting posets can be obtained outside of this Lie theoretic context. This monograph provides a tutorial on Weyl bialternants / Weyl symmetric functions and splitting posets that is largely self-contained and independent of Lie algebra representation theory. New results are also obtained.
Composition Tableaux basis for Schur functors and the Plücker algebra
We show that combinatorial objects called row-strict composition tableaux, introduced by Mason and Remmel in 2014 and closely related to the quasi-symmetric Schur functions of Haglund-Luoto-Mason-van Willigenburg, form a basis for Schur functors of finite free modules over arbitrary commutative rings. When the ring is the complex numbers, this produces a new basis for the irreducible polynomial representations of $\operatorname{GL}_n(\mathbb{C})$. Moreover, in this case it also produces new basis for the Plücker algebra, a subalgebra of the polynomial ring over $\mathbb{C}$ in $n^2$ variables, which is of independent combinatorial and geometric interests. As an aside we also show that these results hold for other combinatorial objects called reverse row strict tableau.
On an almost all version of the Balog-Szemeredi-Gowers theorem
We deduce, as a consequence of the arithmetic removal lemma, an almost-all version of the Balog-Szemerédi-Gowers theorem: For any $K\geq 1$ and $\varepsilon > 0$, there exists $δ= δ(K,\varepsilon)>0$ such that the following statement holds: if $|A+_ΓA| \leq K|A|$ for some $Γ\geq (1-δ)|A|^2$, then there is a subset $A' \subset A$ with $|A'| \geq (1-\varepsilon)|A|$ such that $|A'+A'| \leq |A+_ΓA| + \varepsilon |A|$. We also discuss issues around quantitative bounds in this statement, in particular showing that when $A \subset \mathbb{Z}$ the dependence of $δ$ on $ε$ cannot be polynomial for any fixed $K>2$.
Best play in Dots and Boxes endgames
We give very simple algorithms for best play in the simplest kind of Dots & Boxes endgames: those that consist entirely of loops and long chains. In every such endgame we compute the margin of victory, assuming both players maximize the number of boxes they capture, and specify a move that leads to that result. We improve on results of Buzzard and Ciere on the same problem: our algorithms examine only the current position and do not need to consider the game tree at all.