Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Corners in tree-like tableaux
Published
• View Publication
• BIB
In this paper, we study tree--like tableaux, combinatorial objects which exhibit a natural tree structure and are connected to the partially asymmetric simple exclusion process (PASEP). There was a conjecture made on the total number of corners in tree--like tableaux and the total number of corners in symmetric tree--like tableaux. In this paper, we prove the first conjecture leaving the proof of the second conjecture to the full version of this paper. Our proofs are based on the bijection with permutation tableaux or type--B permutation tableaux and consequently, we also prove results for these tableaux.
N>=2 symmetric superpolynomials
Published in Journal of Mathematical Physics 58, 033503 (2017)
• View Publication
• BIB
The theory of symmetric functions has been extended to the case where each variable is paired with an anticommuting one. The resulting expressions, dubbed superpolynomials, provide the natural N=1 supersymmetric version of the classical bases of symmetric functions. Here we consider the case where two independent anticommuting variables are attached to each ordinary variable. The N=2 super-version of the monomial, elementary, homogeneous symmetric functions, as well as the power sums, are then constructed systematically (using an exterior-differential formalism for the multiplicative bases), these functions being now indexed by a novel type of superpartitions. Moreover, the scalar product of power sums turns out to have a natural N=2 generalization which preserves the duality between the monomial and homogeneous bases. All these results are then generalized to an arbitrary value of N. Finally, for N=2, the scalar product and the homogenous functions are shown to have a one-parameter deformation, a result that prepares the ground for the yet-to-be-defined N=2 Jack superpolynomials.
What Graphs are 2-Dot Product Graphs?
Published
• View Publication
• BIB
Let $d \geq 1$ be an integer. From a set of $d$-dimensional vectors, we obtain a $d$-\dpg\ by letting each vector $\va^u$ correspond to a vertex $u$ and by adding an edge between two vertices $u$ and $v$ if and only if their dot product $\va^{u} \cdot \va^{v} \geq t$, for some fixed, positive threshold~$t$. Dot product graphs can be used to model social networks. Recognizing a $d$-dot product graph is known to be \NP-hard for all fixed $d\geq 2$. To understand the position of $d$-dot product graphs in the landscape of graph classes, we consider the case $d=2$, and investigate how $2$-dot product graphs relate to a number of other known graph classes including a number of well-known classes of intersection graphs.
The Kelmans-Seymour conjecture I: special separations
Published
• View Publication
• BIB
Seymour and, independently, Kelmans conjectured in the 1970s that every 5-connected nonplanar graph contains a subdivision of $K_5$. This conjecture was proved by Ma and Yu for graphs containing $K_4^-$, and an important step in their proof is to deal with a 5-separation in the graph with a planar side. In order to establish the Kelmans-Seymour conjecture for all graphs, we need to consider 5-separations and 6-separations with less restrictive structures. The goal of this paper is to deal with special 5-separations and 6-separations, including those with an apex side. Results will be used in subsequent papers to prove the Kelmans-Seymour conjecture.
Loop-Erased Random Surfaces
Loop-erased random walk and it's scaling limit, Schramm--Loewner evolution, have found numerous applications in mathematics and physics. We present a 2 dimensional analogue of LERW, the loop erased random surface. We do this by defining a 2 dimensional spanning tree and declaring that LERS should have the same relation to these 2 trees as LERW has to ordinary spanning trees. Furthermore we present numerical evidence that the growth rate for LERS on a $δ$ fine grid as $δ\to 0$ is $2.5269 \pm 0.0017$ and we hypothesize that it has an exact value of 48/19. This suggests the possibility of a fractal limiting object for LERS analogous to SLE for LERW.
Cliques in Graphs Excluding a Complete Graph Minor
Published in Electronic J. Combinatorics 23.3:18, 2016
• View Publication
• BIB
This paper considers the following question: What is the maximum number of $k$-cliques in an $n$-vertex graph with no $K_t$-minor? This question generalises the extremal function for $K_t$-minors, which corresponds to the $k=2$ case. The exact answer is given for $t\leq 9$ and all values of $k$. We also determine the maximum total number of cliques in an $n$-vertex graph with no $K_t$-minor for $t\leq 9$. Several observations are made about the case of general $t$.
The maximum degree resistance distance of cacti
Various topological indices, based on the distances between the vertices of a graph, are widely used in theoretical chemistry. The degree resistance distance of a graph $G$ is defined as ${D_R}(G) = \sum\limits_{\{u,v\} \subseteq V(G)} {[d(u) + d(v)]R(u,v)},$ where $d(u)$ is the degree of the vertex $u,$ and $R(u, v)$ the resistance distance between the vertices $u$ and $v.$
A graph $G$ is called a cactus if each block of $G$ is either an edge or a cycle. In this paper, we completely characterize the extremal cacti having the maximum degree resistance distance among all cacti with $n$ vertices and $t$ cycles, and extend some results of a recent paper [J. Tu, J. Du, G. Su, The unicyclic graphs with maximum degree resistance distance, Appl. Math. Comput. 268 (2015) 859-864].
Edge-transitivity of Cayley graphs generated by transpositions
Published
• View Publication
• BIB
Let $S$ be a set of transpositions generating the symmetric group $S_n$. The transposition graph of $S$ is defined to be the graph with vertex set $\{1,\ldots,n\}$, and with vertices $i$ and $j$ being adjacent in $T(S)$ whenever $(i,j) \in S$. In the present note, it is proved that two transposition graphs are isomorphic if and only if the corresponding two Cayley graphs are isomorphic. It is also proved that the transposition graph $T(S)$ is edge-transitive if and only if the Cayley graph $Cay(S_n,S)$ is edge-transitive.
Bipartite algebraic graphs without quadrilaterals
Published in Discrete Mathematics, Volume 341, Issue 6, June 2018, Pages 1597-1604
• View Publication
• BIB
Let $\mathbb{P}^s$ be the $s$-dimensional complex projective space, and let $X, Y$ be two non-empty open subsets of $\mathbb{P}^s$ in the Zariski topology. A hypersurface $H$ in $\mathbb{P}^s\times\mathbb{P}^s$ induces a bipartite graph $G$ as follows: the partite sets of $G$ are $X$ and $Y$, and the edge set is defined by $\overline{u}\sim\overline{v}$ if and only if $(\overline{u},\overline{v})\in H$. Motivated by the Turán problem for bipartite graphs, we say that $H\cap (X\times Y)$ is $(s,t)$-grid-free provided that $G$ contains no complete bipartite subgraph that has $s$ vertices in $X$ and $t$ vertices in $Y$. We conjecture that every $(s,t)$-grid-free hypersurface is equivalent, in a suitable sense, to a hypersurface whose degree in $\overline{y}$ is bounded by a constant $d = d(s,t)$, and we discuss possible notions of the equivalence.
We establish the result that if $H\cap(X\times \mathbb{P}^2)$ is $(2,2)$-grid-free, then there exists $F\in \mathbb{C}[\overline{x},\overline{y}]$ of degree $\le 2$ in $\overline{y}$ such that $H\cap(X\times \mathbb{P}^2) = \{F = 0\}\cap (X\times \mathbb{P}^2)$. Finally, we transfer the result to algebraically closed fields of large characteristic.
Estimates related to Shirshov height theorem (PhD Thesis)
In 1993 E. I. Zelmanov asked the following question in Dniester Notebook: $"$Suppose that $F_{2,m}$ is a $2$-generated associative ring with the identity $x^m=0$. Is it true, that the nilpotency degree of $F_{2,m}$ has exponential growth?$"$ We show that the nilpotency degree of $l$-generated associative algebra with the identity $x^d=0$ is smaller than $Ψ(d,d,l)$, where $Φ(n,d,l)=l(nd)^{C\log(nd)}$ and $C$ is a constant. We give the definitive answer to E. I. Zelmanov by this result. It is the consequence of one fact, which is based on combinatorics of words. Let $l$, $n$ and $d\ge n$ be positive integers. Then all the words over alphabet of cardinality $l$ which length is greater than $Ψ(n,d,l)$ are either $n$-divided or contain $d$-th power of subword, where a word $W$ is $n$-divided, if it can be represented in the following form $W=W_0W_1\dots W_n$ such that $W_n\succ W_{n-1}\succ\cdots\succ W_1$. The symbol $\succ$ means lexicographical order here. A. I. Shirshov proved that the set of non $n$-divided words over alphabet of cardinality $l$ has bounded height $h$ over the set $Y$ consisting of all the words of degree $<n$. Original Shirshov's estimation was just recursive, in 1982 double exponent was obtained by A. G. Kolotov and in 1993 A. Ya. Belov obtained exponential estimation. We show, that $h<Φ(n,l)$, where $Φ(n,l)=n^{C\log n} l$ and $C$ is a constant. Our proof uses Latyshev idea of Dilworth theorem application.
Counting dense connected hypergraphs via the probabilistic method
Published in Random Structures and Algorithms 53 (2018), 185--220
• View Publication
• BIB
In 1990 Bender, Canfield and McKay gave an asymptotic formula for the number of connected graphs on $[n]=\{1,2,\ldots,n\}$ with $m$ edges, whenever $n\to\infty$ and $n-1\le m=m(n)\le \binom{n}{2}$. We give an asymptotic formula for the number $C_r(n,m)$ of connected $r$-uniform hypergraphs on $[n]$ with $m$ edges, whenever $r\ge 3$ is fixed and $m=m(n)$ with $m/n\to\infty$, i.e., the average degree tends to infinity. This complements recent results of Behrisch, Coja-Oghlan and Kang (the case $m=n/(r-1)+Θ(n)$) and the present authors (the case $m=n/(r-1)+o(n)$, i.e., `nullity' or `excess' $o(n)$). The proof is based on probabilistic methods, and in particular on a bivariate local limit theorem for the number of vertices and edges in the largest component of a certain random hypergraph. The arguments are much simpler than in the sparse case; in particular, we can use `smoothing' techniques to directly prove the local limit theorem, without needing to first prove a central limit theorem.
The monodromy of real Bethe vectors for the Gaudin model
Published
• View Publication
• BIB
The Bethe algebras for the Gaudin model act on the multiplicity space of tensor products of irreducible $ \mathfrak{gl}_r $-modules and have simple spectrum over real points. This fact is proved by Mukhin, Tarasov and Varchenko who also develop a relationship to Schubert intersections over real points. We use an extension to $ \overline{M}_{0,n+1}(\mathbb{R}) $ of these Schubert intersections, constructed by Speyer, to calculate the monodromy of the spectrum of the Bethe algebras. We show this monodromy is described by the action of the cactus group $ J_n $ on tensor products of irreducible $ \mathfrak{gl}_r $-crystals.
The role of twins in computing planar supports of hypergraphs
Published
• View Publication
• BIB
A support or realization of a hypergraph $H$ is a graph $G$ on the same vertex as $H$ such that for each hyperedge of $H$ it holds that its vertices induce a connected subgraph of $G$. The NP-hard problem of finding a planar support has applications in hypergraph drawing and network design. Previous algorithms for the problem assume that twins -- pairs of vertices that are in precisely the same hyperedges -- can safely be removed from the input hypergraph. We prove that this assumption is generally wrong, yet that the number of twins necessary for a hypergraph to have a planar support only depends on its number of hyperedges. We give an explicit upper bound on the number of twins necessary for a hypergraph with $m$ hyperedges to have an $r$-outerplanar support, which depends only on $r$ and $m$. Since all additional twins can be safely removed, we obtain a linear-time algorithm for computing $r$-outerplanar supports for hypergraphs with $m$ hyperedges if $m$ and $r$ are constant; in other words, the problem is fixed-parameter linear-time solvable with respect to the parameters $m$ and $r$.
Efron's coins and the Linial arrangement
Published
• View Publication
• BIB
We characterize the tournaments that are dominance graphs of sets of (unfair) coins in which each coin displays its larger side with greater probability. The class of these tournaments coincides with the class of tournaments whose vertices can be numbered in a way that makes them semiacyclic, as defined by Postnikov and Stanley. We provide an example of a tournament on nine vertices that can not be made semiacyclic, yet it may be represented as a dominance graph of coins, if we also allow coins that display their smaller side with greater probability. We conclude with an example of a tournament with $81$ vertices that is not the dominance graph of any system of coins.
Constructing Permutation Arrays from Groups
Published
• View Publication
• BIB
Let M(n, d) be the maximum size of a permutation array on n symbols with pairwise Hamming distance at least d. We use various combinatorial, algebraic, and computational methods to improve lower bounds for M(n, d). We compute the Hamming distances of affine semilinear groups and projective semilinear groups, and unions of cosets of AGL(1,q) and PGL(2,q) with Frobenius maps to obtain new, improved lower bounds for M(n,d). We give new randomized algorithms. We give better lower bounds for M(n,d) also using new theorems concerning the contraction operation. For example, we prove a quadratic lower bound for M(n,n-2) for all n=2 (mod 3) such that n+1 is a prime power.
A construction principle for tight and minimal triangulations of manifolds
Published in Exp. Math. , vol. 27, 22-36, 2018
• View Publication
• BIB
Tight triangulations are exotic, but highly regular objects in combinatorial topology. A triangulation is tight if all its piecewise linear embeddings into a Euclidean space are as convex as allowed by the topology of the underlying manifold. Tight triangulations are conjectured to be strongly minimal, and proven to be so for dimensions $\leq 3$. However, in spite of substantial theoretical results about such triangulations, there are precious few examples. In fact, apart from dimension two, we do not know if there are infinitely many of them in any given dimension.
In this paper, we present a computer-friendly combinatorial scheme to obtain tight triangulations, and present new examples in dimensions three, four and five. Furthermore, we describe a family of tight triangulated $d$-manifolds, with $2^{d-1} \lfloor d / 2 \rfloor ! \lfloor (d-1) / 2 \rfloor !$ isomorphically distinct members for each dimension $d \geq 2$. While we still do not know if there are infinitely many tight triangulations in a fixed dimension $d > 2$, this result shows that there are abundantly many.
The poset of proper divisibility
Published
• View Publication
• BIB
We study the partially ordered set $P(a_1,\ldots, a_n)$ of all multidegrees $(b_1,\dots,b_n)$ of monomials $x_1^{b_1}\cdots x_n^{b_n}$ which properly divide $x_1^{a_1}\cdots x_n^{a_n}$. We prove that the order complex $Δ(P(a_1,\dots,a_n))$ of $P(a_1,\ldots a_n)$ is (non-pure) shellable, by showing that the order dual of $P(a_1,\ldots,a_n)$ is $\mathrm{CL}$-shellable. Along the way, we exhibit the poset $P(4,4)$ as a new example of a poset with $\mathrm{CL}$-shellable order dual that is not $\mathrm{CL}$-shellable itself. For $n = 2$ we provide the rank of all homology groups of the order complex $Δ\left( P(a_1,a_2) \right)$. Furthermore, we give a succinct formula for the Euler characteristic of $Δ\left( P(a_1,a_2) \right)$.
Weak and strong versions of the 1-2-3 conjecture for uniform hypergraphs
Published
• View Publication
• BIB
Given an $r$-uniform hypergraph $H=(V,E)$ and a weight function $ω:E\to\{1,\dots,w\}$, a coloring of vertices of $H$, induced by $ω$, is defined by $c(v) = \sum_{e\ni v} w(e)$ for all $v\in V$. If there exists such a coloring that is strong (that means in each edge no color appears more than once), then we say that $H$ is strongly $w$-weighted. Similarly, if the coloring is weak (that means there is no monochromatic edge), then we say that $H$ is weakly $w$-weighted. In this paper, we show that almost all 3 or 4-uniform hypergraphs are strongly 2-weighted (but not 1-weighted) and almost all $5$-uniform hypergraphs are either 1 or 2 strongly weighted (with a nontrivial distribution). Furthermore, for $r\ge 6$ we show that almost all $r$-uniform hypergraphs are strongly 1-weighted. We complement these results by showing that almost all 3-uniform hypergraphs are weakly 2-weighted but not 1-weighted and for $r\ge 4$ almost all $r$-uniform hypergraphs are weakly 1-weighted. These results extend a previous work of Addario-Berry, Dalal and Reed for graphs. We also prove general lower bounds and show that there are $r$-uniform hypergraphs which are not strongly $(r^2-r)$-weighted and not weakly 2-weighted. Finally, we show that determining whether a particular uniform hypergraph is strongly 2-weighted is NP-complete.
The Pascal Rhombus and the Generalized Grand Motzkin Paths
In the present article, we find a closed expression for the entries of the Pascal rhombus. Moreover, we show a relation between the entries of the Pascal rhombus and a family of generalized grand Motzkin paths.
On Erasure Combinatorial Batch Codes
Published in JiYoon Jung, Carl Mummert, Elizabeth Niese, and Michael Schroeder, "On erasure combinatorial batch codes'', Advances in Mathematics of Communications v. 12 n. 1, 2018, pp. 49-65
• View Publication
• BIB
Combinatorial batch codes were defined by Paterson, Stinson, and Wei as purely combinatorial versions of the batch codes introduced by Ishai, Kushilevitz, Ostrovsky, and Sahai. There are $n$ items and $m$ servers, each of which stores a subset of the items. A batch code is an arrangement for storing items on servers so that, for prescribed integers $k$ and $t$, any $k$ items can be retrieved by reading at most $t$ items from each server. Silberstein defined an erasure batch code (with redundancy $r$) as a batch code in which any $k$ items can be retrieved by reading at most $t$ items from each server, while any $r$ servers are unavailable (failed).
In this paper, we investigate erasure batch codes with $t=1$ (each server can read at most one item) in a combinatorial manner. We determine the optimal (minimum) total storage of an erasure batch code for several ranges of parameters. Additionally, we relate optimal erasure batch codes to maximum packings. We also identify a necessary lower bound for the total storage of an erasure batch code, and we relate parameters for which this trivial lower bound is achieved to the existence of graphs with appropriate girth.