Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Proof of a Conjecture of Z.-W. Sun on Trigonometric Series
Recently, Z. W. Sun introduced a sequence $(S_n)_{n\geq 0}$, where $S_n=\frac{\binom{6n}{3n} \binom{3n}{n}}{2(2n+1)\binom{2n}{n}}$, and found one congruence and two convergent series on $S_n$ by {\tt{Mathematica}}. Furthermore, he proposed some related conjectures. In this paper, we first give analytic proofs of his two convergent series and then confirm one of his conjectures by invoking series expansions of $\sin(t\arcsin(x))$ and $\cos(t\arcsin(x)).$
Computing graded Betti tables of toric surfaces
Published
• View Publication
• BIB
We present various facts on the graded Betti table of a projectively embedded toric surface, expressed in terms of the combinatorics of its defining lattice polygon. These facts include explicit formulas for a number of entries, as well as a lower bound on the length of the linear strand that we conjecture to be sharp (and prove to be so in several special cases). We also present an algorithm for determining the graded Betti table of a given toric surface by explicitly computing its Koszul cohomology, and report on an implementation in SageMath. This works well for ambient projective spaces of dimension up to roughly $25$, depending on the concrete combinatorics, although the current implementation runs in finite characteristic only. As a main application we obtain the graded Betti table of the Veronese surface $ν_6(\mathbb{P}^2) \subseteq \mathbb{P}^{27}$ in characteristic $40\,009$. This allows us to formulate precise conjectures predicting what certain entries look like in the case of an arbitrary Veronese surface $ν_d(\mathbb{P}^2)$.
Distinguishing number and distinguishing index of lexicographic product of two graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The lexicographic product of two graphs $G$ and $H$, $G[H]$ can be obtained from $G$ by substituting a copy $H_u$ of $H$ for every vertex $u$ of $G$ and then joining all vertices of $H_u$ with all vertices of $H_v$ if $uv\in E(G)$. In this paper we obtain some sharp bounds for the distinguishing number and the distinguishing index of lexicographic product of two graphs. As consequences, we prove that if $G$ is a connected graph with a special condition on automorphism group of $G[G]$ and $D(G)> 1$, then for every natural $k$, $D(G)\leq D(G^k)\leq D(G)+k-1$, where $G^k=G[G[...]]$. Also we prove that all lexicographic powers of $G$, $G^k$ ($k\geq 2$) can be distinguished by at most two edge labels.
From Chio Pivotal Condensation to the Matrix-Tree theorem
We show a determinant identity which generalizes both the Chio pivotal condensation theorem and the Matrix-Tree theorem.
A Quillen adjunction between algebras and operads, Koszul duality, and the Lagrange inversion formula
Published
• View Publication
• BIB
We define, for a somewhat standard forgetful functor from nonsymmetric operads to weight graded associative algebras, two functorial "enveloping operad" functors, the right inverse and the left adjoint of the forgetful functor. Those functors turn out to be related by operadic Koszul duality, and that relationship can be utilised to provide examples showing limitations of two standard tools of the Koszul duality theory. We also apply these functors to get a homotopical algebra proof of the Lagrange inversion formula.
A center transversal theorem for an improved Rado depth
Published in Discrete & Computational Geometry 60:2 (2018), 406-419
• View Publication
• BIB
A celebrated result of Dol'nikov, and of Živaljević and Vrećica, asserts that for every collection of $m$ measures $μ_1,\dots,μ_m$ on the Euclidean space $\mathbb R^{n + m - 1}$ there exists a projection onto an $n$-dimensional vector subspace $Γ$ with a point in it at depth at least $\tfrac{1}{n + 1}$ with respect to each associated $n$-dimensional marginal measure $Γ_*μ_1,\dots,Γ_*μ_m$.
In this paper we consider a natural extension of this result and ask for a minimal dimension of a Euclidean space in which one can require that for any collection of $m$ measures there exists a vector subspace $Γ$ with a point in it at depth slightly greater than $\tfrac{1}{n + 1}$ with respect to each $n$-dimensional marginal measure. In particular, we prove that if the required depth is $\tfrac{1}{n + 1} + \tfrac{1}{3(n + 1)^3}$ then the increase in the dimension of the ambient space is a linear function in both $m$ and $n$.
Weak embeddings of posets to the Boolean lattice
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (January 24, 2018) dmtcs:3684
• View Publication
• BIB
The goal of this paper is to prove that several variants of deciding whether a poset can be (weakly) embedded into a small Boolean lattice, or to a few consecutive levels of a Boolean lattice, are NP-complete, answering a question of Griggs and of Patkos. As an equivalent reformulation of one of these problems, we also derive that it is NP-complete to decide whether a given graph can be embedded to the two middle levels of some hypercube.
The Dulmage-Mendelsohn Decomposition for $b$-Matchings
We establish the theory of the Dulmage-Mendelsohn decomposition for $b$-matchings. The original Dulmage-Mendelsohn decomposition is a classical canonical decomposition of bipartite graphs, which describes the structures of the maximum $1$-matchings and the dual optimizers, i.e., the minimum vertex covers. In this paper, we develop analogical properties, and thus obtain the structure of the maximum $b$-matchings and characterizes the family of $b$-verifying set.
Summation formulas involving generalized harmonic numbers
Published
• View Publication
• BIB
In terms of the derivative operator and three hypergeometric series identities, several interesting summation formulas involving generalized harmonic numbers are established.
A kind of orthogonal polynomials and related identities
Published in J. Math. Anal. Appl. 456(2017), no.2, 912-926
• View Publication
• BIB
In this paper we introduce the polynomials $\{d_n^{(r)}(x)\}$ and $\{D_n^{(r)}(x)\}$ given by $d_n^{(r)}(x)=\sum_{k=0}^n\binom{x+r+k}k\binom{x-r}{n-k} \ (n\ge 0)$, $D_0^{(r)}(x)=1,\ D_1^{(r)}(x)=x$ and $D_{n+1}^{(r)}(x)=xD_n^{(r)}(x)-n(n+2r)D_{n-1}^{(r)}(x)\ (n\ge 1).$ We show that $\{D_n^{(r)}(x)\}$ are orthogonal polynomials for $r>-\frac 12$, and establish many identities for $\{d_n^{(r)}(x)\}$ and $\{D_n^{(r)}(x)\}$, especially obtain a formula for $d_n^{(r)}(x)^2$ and the linearization formulas for $d_m^{(r)}(x)d_n^{(r)}(x)$ and $D_m^{(r)}(x)D_n^{(r)}(x)$. As an application we extend recent work of Sun and Guo.
Laminar Matroids
Published
• View Publication
• BIB
A laminar family is a collection $\mathscr{A}$ of subsets of a set $E$ such that, for any two intersecting sets, one is contained in the other. For a capacity function $c$ on $\mathscr{A}$, let $\mathscr{I}$ be $\{I:|I\cap A| \leq c(A)\text{ for all $A\in\mathscr{A}$}\}$. Then $\mathscr{I}$ is the collection of independent sets of a (laminar) matroid on $E$. We present a method of compacting laminar presentations, characterize the class of laminar matroids by their excluded minors, present a way to construct all laminar matroids using basic operations, and compare the class of laminar matroids to other well-known classes of matroids.
The twist for positroid varieties
Published
• View Publication
• BIB
The purpose of this note is to connect two maps related to certain graphs embedded in the disc. The first is Postnikov's boundary measurement map, which combines partition functions of matchings in the graph into a map from an algebraic torus to an open positroid variety in a Grassmannian. The second is a rational map from the open positroid variety to an algebraic torus, given by certain Plücker coordinates which are expected to be a cluster in a cluster structure.
This paper clarifies the relationship between these two maps, which has been ambiguous since they were introduced by Postnikov in 2001. The missing ingredient supplied by this paper is a twist automorphism of the open positroid variety, which takes the target of the boundary measurement map to the domain of the (conjectural) cluster. Among other applications, this provides an inverse to the boundary measurement map, as well as Laurent formulas for twists of Plücker coordinates.
The kernel method for lattice paths below a line of rational slope
Published
• View Publication
• BIB
We analyse some enumerative and asymptotic properties of lattice paths below a line of rational slope. We illustrate our approach with Dyck paths under a line of slope $2/5$. This answers Knuth's problem #4 from his "Flajolet lecture" during the conference "Analysis of Algorithms" (AofA'2014) in Paris in June 2014. Our approach extends the work of Banderier and Flajolet for asymptotics and enumeration of directed lattice paths to the case of generating functions involving several dominant singularities, and has applications to a full class of problems involving some "periodicities". A key ingredient in the proof is the generalization of an old trick by Knuth himself (for enumerating permutations sortable by a stack), promoted by Flajolet and others as the "kernel method". All the corresponding generating functions are algebraic, and they offer some new combinatorial identities, which can also be tackled in the A=B spirit of Wilf-Zeilberger-Petkovsek. We show how to obtain similar results for any rational slope. An interesting case is e.g. Dyck paths below the slope $2/3$ (this corresponds to the so-called Duchon's club model), for which we solve a conjecture related to the asymptotics of the area below such lattice paths. Our work also gives access to lattice paths below an irrational slope (e.g. Dyck paths below $y=x/\sqrt{2}$), a problem that we study in a companion article.
The 3x3 rooks graph is the unique smallest graph with lazy cop number 3
In the ordinary version of the pursuit-evasion game "cops and robbers", a team of cops and a robber occupy vertices of a graph and alternately move along the graph's edges, with perfect information about each other. If a cop lands on the robber, the cops win; if the robber can evade the cops indefinitely, he wins. In the variant "lazy cops and robbers", the cops may only choose one member of their squad to make a move when it's their turn. The minimum number of cops (respectively lazy cops) required to catch the robber is called the "cop number" (resp. "lazy cop number") of G and is denoted $c(G)$ (resp. $c_L(G)$). Previous work by Beveridge at al. has shown that the Petersen graph is the unique graph on ten vertices with $c(G)=3$, and all graphs on nine or fewer vertices have $c(G)\leq 2$. (This was a self-contained mathematical proof of a result found by computational search by Baird and Bonato.) In this article, we prove a similar result for lazy cops, namely that the 3x3 rooks graph ($K_3\square K_3$) is the unique graph on nine vertices which requires three lazy cops, and a graph on eight or fewer vertices requires at most two lazy cops.
Enumeration of graphs with given weighted number of connected components
We give a generating function for the number of graphs with given numerical properties and prescribed weighted number of connected components. As an application, we give a generating function for the number of bipartite graphs of given order, size and number of connected components.
Asymptotic enumeration by Khintchine-Meinardus method: Necessary and sufficient conditions for sub exponential growth
Published
• View Publication
• BIB
In this paper we prove the necessity of the main sufficient condition of Meinardus for sub exponential rate of growth of the number of structures, having multiplicative generating functions of a general form and establish a new necessary and suffcient condition for normal local limit theorem for aforementioned structures. The latter result allows to encompass in our study structures with weights having gaps in their supports.
Projective linear groups as automorphism groups of chiral polytopes
Published
• View Publication
• BIB
It is already known that the automorphism group of a chiral polyhedron is never isomorphic to $PSL(2,q)$ or $PGL(2,q)$ for any prime power $q$. In this paper, we show that $PSL(2,q)$ and $PGL(2,q)$ are never automorphism groups of chiral polytopes of rank at least $5$. Moreover, we show that $PGL(2,q)$ is the automorphism group of at least one chiral polytope of rank $4$ for every $q\geq5$. Finally, we determine for which values of $q$ the group $PSL(2,q)$ is the automorphism group of a chiral polytope of rank $4$, except when $q=p^d\equiv3\pmod{4}$ where $d>1$ is not a prime power, in which case the problem remains unsolved.
Twin peaks
Published
• View Publication
• BIB
We study random labelings of graphs conditioned on a small number (typically one or two) peaks, i.e., local maxima. We show that the boundaries of level sets of a random labeling of a square with a single peak have dimension 2, in a suitable asymptotic sense. The gradient line of a random labeling of a long ladder graph conditioned on a single peak consists mostly of straight line segments. We show that for some tree-graphs, if a random labeling is conditioned on exactly two peaks then the peaks can be very close to each other. We also study random labelings of regular trees conditioned on having exactly two peaks. Our results suggest that the top peak is likely to be at the root and the second peak is equally likely, more or less, to be any vertex not adjacent to the root.
On Two OEIS Conjectures
Stephan (Prove or Disprove 100 Conjectures from the OES, arXiv:math/0409509v4 [math.CO])enumerates a number of conjectures regarding integer sequences contained in Sloane's On-line Encyclopedia of Integer Sequences (N. J. A. Sloane, editor, The On-Line Encyclopedia of Integer Sequences, published electronically at https://oeis.org). In this paper, we prove two of these conjectures.
Combinatorial interpretations of Ramanujan's tau function
Published in Discrete Math. 341(10) (2018), 2831-2840
• View Publication
• BIB
We use a q-series identity by Ramanujan to give a combinatorial interpretation of Ramanujan's tau function which involves t-cores and a new class of partitions which we call (m,k)-capsids. The same method can be applied in conjunction with other related identities yielding alternative combinatorial interpretations of the tau function.