Showing 20 papers (Total: 84360 papers, 48587 authors in database)
A Poset Structure on the Alternating Group Generated by 3-Cycles
Published in Algebraic Combinatorics 2 (2019), 1285-1310
• View Publication
• BIB
We investigate the poset structure on the alternating group that arises when the latter is generated by 3-cycles. We study intervals in this poset and give several enumerative results, as well as a complete description of the orbits of the Hurwitz action on maximal chains. Our motivating example is the well-studied absolute order arising when the symmetric group is generated by transpositions, i.e. 2-cycles, and we compare our results to this case along the way. In particular, noncrossing partitions arise naturally in both settings.
On the number of generalized Sidon sets
Published
• View Publication
• BIB
A set $A$ of nonnegative integers is called a Sidon set if there is no Sidon 4-tuple, i.e., $(a,b,c,d)$ in $A$ with $a+b=c+d$ and $\{a, b\}\cap \{c, d\}=\emptyset$. Cameron and Erd\H os proposed the problem of determining the number of Sidon sets in $[n]$. Results of Kohayakawa, Lee, R\" odl and Samotij, and Saxton and Thomason has established that the number of Sidon sets is between $2^{(1.16+o(1))\sqrt{n}}$ and $2^{(6.442+o(1))\sqrt{n}}$. An $α$-generalized Sidon set in $[n]$ is a set with at most $α$ Sidon 4-tuples. One way to extend the problem of Cameron and Erd\H os is to estimate the number of $α$-generalized Sidon sets in $[n]$. We show that the number of $(n/\log^4 n)$-generalized Sidon sets in $[n]$ with additional restrictions is $2^{Θ(\sqrt{n})}$. In particular, the number of $(n/\log^5 n)$-generalized Sidon sets in $[n]$ is $2^{Θ(\sqrt{n})}$. Our approach is based on some variants of the graph container method.
Effective versions of two theorems of Rado
Published
• View Publication
• BIB
Let $M$ be a representable matroid on $n$ elements. We give bounds, in terms of $n$, on the least positive characteristic and smallest field over which $M$ is representable.
Magnitude homology of metric spaces and order complexes
Published in Bull. London Math. Soc. 53 (2021), no. 3, 893-905
• View Publication
• BIB
Hepworth, Willerton, Leinster and Shulman introduced the magnitude homology groups for enriched categories, in particular, for metric spaces. The purpose of this paper is to describe the magnitude homology group of a metric space in terms of order complexes of posets.
In a metric space, an interval (the set of points between two chosen points) has a natural poset structure, which is called the interval poset. Under additional assumptions on sizes of $4$-cuts, we show that the magnitude chain complex can be constructed using tensor products, direct sums and degree shifts from order complexes of interval posets.
We give several applications. First, we show the vanishing of higher magnitude homology groups for convex subsets of the Euclidean space. Second, magnitude homology groups carry the information about the diameter of a hole. Third, we construct a finite graph whose $3$rd magnitude homology group has torsion.
Edge Partitions of Optimal $2$-plane and $3$-plane Graphs
Published
• View Publication
• BIB
A topological graph is a graph drawn in the plane. A topological graph is $k$-plane, $k>0$, if each edge is crossed at most $k$ times. We study the problem of partitioning the edges of a $k$-plane graph such that each partite set forms a graph with a simpler structure. While this problem has been studied for $k=1$, we focus on optimal $2$-plane and $3$-plane graphs, which are $2$-plane and $3$-plane graphs with maximum density. We prove the following results. (i) It is not possible to partition the edges of a simple optimal $2$-plane graph into a $1$-plane graph and a forest, while (ii) an edge partition formed by a $1$-plane graph and two plane forests always exists and can be computed in linear time. (iii) We describe efficient algorithms to partition the edges of a simple optimal $2$-plane graph into a $1$-plane graph and a plane graph with maximum vertex degree $12$, or with maximum vertex degree $8$ if the optimal $2$-plane graph is such that its crossing-free edges form a graph with no separating triangles. (iv) We exhibit an infinite family of simple optimal $2$-plane graphs such that in any edge partition composed of a $1$-plane graph and a plane graph, the plane graph has maximum vertex degree at least $6$ and the $1$-plane graph has maximum vertex degree at least $12$. (v) We show that every optimal $3$-plane graph whose crossing-free edges form a biconnected graph can be decomposed, in linear time, into a $2$-plane graph and two plane forests.
Non-magic Hypergraphs
This article studies a generalization of magic squares to $k$-uniform hypergraphs. In traditional magic squares the entries come from the natural numbers. A magic labeling of the vertices in a graph or hypergraph has since been generalized to allow for labels coming from any abelian group. We demonstrate an algorithm for determining whether a given hypergraph has a magic labeling over some abelian group. A slight adjustment of this algorithm also allows one to determine whether a given hypergraph can be magically labeled over $\mathbb{Z}$. As a demonstration, we use these algorithms to determine the number of magic $n_3$-configurations for $n=7, \dots, 14$.
Sidon set systems
Published
• View Publication
• BIB
A family ${\mathcal A}$ of $k$-subsets of $\{1,2,\dots, N\}$ is a Sidon system if the sumsets $A+B$, $A,B\in \mathcal{A}$ are pairwise distinct. We show that the largest cardinality $F_k(N)$ of a Sidon system of $k$-subsets of $[N]$ satisfies $F_k(N)\le {N-1\choose k-1}+N-k$ and the asymptotic lower bound $F_k(N)=Ω_k(N^{k-1})$. More precise bounds on $F_k(N)$ are obtained for $k\le 3$. We also obtain the threshold probability for a random system to be Sidon for $k\ge 2$.
Multi-part balanced incomplete-block designs
Published in Statistical Papers 60 (2019), 55-76
• View Publication
• BIB
We consider designs for cancer trials which allow each medical centre to treat only a limited number of cancer types with only a limited number of drugs. We specify desirable properties of these designs, and prove some consequences. Then we give several different constructions. Finally we generalise this to three or more types of object, such as biomarkers.
Hamiltonian cycles in hypercubes with faulty edges
Published
• View Publication
• BIB
Szepietowski [A. Szepietowski, Hamiltonian cycles in hypercubes with $2n-4$ faulty edges, Information Sciences, 215 (2012) 75--82] observed that the hypercube $Q_n$ is not Hamiltonian if it contains a trap disconnected halfway. A proper subgraph $T$ is disconnected halfway if at least half of its nodes have parity 0 (or 1, resp.) and the edges joining all nodes of parity 0 (or 1, resp.) in $T$ with nodes outside $T$, are faulty. The simplest examples of such traps are: (1) a vertex with $n-1$ incident faulty edges, or (2) a cycle $(u,v,w,x)$, where all edges going out of the cycle from $u$ and $w$ are faulty. In this paper we describe all traps disconnected halfway $T$ with the size $|T|\le8$, and discuss the problem whether there exist small sets of faulty edges which preclude Hamiltonian cycles and are not based on sets disconnected halfway. We describe heuristic which detects sets of faulty edges which preclude HC also those sets that are not based on subgraphs disconnected halfway. We describe all $Q_4$ cubes that are not Hamiltonian, and all $Q_5$ cubes with 8 or 9 faulty edges that are not Hamiltonian.
Holomorphic quadratic differentials on graphs and the chromatic polynomial
Published
• View Publication
• BIB
We study "holomorphic quadratic differentials" on graphs. We relate them to the reactive power in an LC circuit, and also to the chromatic polynomial of a graph. Specifically, we show that the chromatic polynomial $χ$ of a graph $G$, at negative integer values, can be evaluated as the degree of a certain rational mapping, arising from the defining equations for a holomorphic quadratic differential. This allows us to give an explicit integral expression for $χ(-k)$.
Geometric random graphs and Rado sets of continuous functions
We prove the existence of Rado sets in the Banach space of continuous functions on [0,1]. A countable dense set S is Rado if with probability 1, the infinite geometric random graph on S, formed by probabilistically making adjacent elements of S that are within unit distance of each other, is unique up to isomorphism. We show that for a suitable measure which we construct, almost all countable dense sets in the subspaces of piecewise linear functions and of polynomials are Rado. Moreover, all graphs arising from such sets are of a unique isomorphism type. For the subspace of Brownian motion paths, almost all countable subsets are Rado (for a suitable measure) and the resulting graphs are of a unique isomorphism type. We show that the graph arising from piecewise linear functions and polynomials is not isomorphic to the graph arising from Brownian motion paths. Moreover, these graphs are non-isomorphic to graphs arising from Rado sets in $\mathbb{R}^n$, or the sequence spaces $c$ and $c_0$.
A note on passing from a quasi-symmetric function expansion to a Schur function expansion of a symmetric function
Egge, Loehr and Warrington gave in \cite{ELW} a combinatorial formula that permits to convert the expansion of a symmetric function, homogeneous of degree $n$, in terms of Gessel's fundamental quasisymmetric functions into an expansion in terms of Schur functions. Surprisingly the Egge, Loehr and Warrington result may be shown to be simply equivalent to replacing the Gessel fundamental by a Schur function indexed by the same composition. In this paper we give a direct proof of the validity of this replacement. This interpretation of the result in \cite{ELW} has already been successfully applied to Schur positivity problems.
Skew hook formula for $d$-complete posets
Published in Algebr. Comb. 2 (2019), 541-571
• View Publication
• BIB
Peterson and Proctor obtained a formula which expresses the multivariate generating function for $P$-partitions on a $d$-complete poset $P$ as a product in terms of hooks in $P$. In this paper, we give a skew generalization of Peterson--Proctor's hook formula, i.e., a formula for the generating function for $(P \setminus F)$-partitions for a $d$-complete poset $P$ and its order filter $F$, by using the notion of excited diagrams. Our proof uses the Billey-type formula and the Chevalley-type formula in the equivariant $K$-theory of Kac--Moody partial flag varieties. This generalization provides an alternate proof of Peterson--Proctor's hook formula.
A new class of refined Eulerian polynomials
In this note we introduce a new class of refined Eulerian polynomials defined by $$A_n(p,q)=\sum_{π\in\mathfrak{S}_n}p^{{\rm odes}(π)}q^{{\rm edes}(π)},$$ where ${\rm odes}(π)$ and ${\rm edes}(π)$ enumerate the number of descents of permutation $π$ in odd and even positions, respectively. We show that the refined Eulerian polynomials $A_{2k+1}(p,q),k=0,1,2,\ldots,$ and $(1+q)A_{2k}(p,q),k=1,2,\ldots,$ have a nice symmetry property.
Optimal subspace codes in ${\rm PG}(4,q)$
Published
• View Publication
• BIB
We investigate subspace codes whose codewords are subspaces of ${\rm PG}(4,q)$ having non-constant dimension. In particular, examples of optimal mixed-dimension subspace codes are provided, showing that ${\cal A}_q(5,3) = 2(q^3+1)$.
How to generate all possible rational Wilf-Zeilberger pairs?
Published
• View Publication
• BIB
A Wilf--Zeilberger pair $(F, G)$ in the discrete case satisfies the equation $ F(n+1, k) - F(n, k) = G(n, k+1) - G(n, k)$. We present a structural description of all possible rational Wilf--Zeilberger pairs and their continuous and mixed analogues.
Atoms for signed permutations
Published in European J. Combin. 94 (2021), 103288
• View Publication
• BIB
There is a natural analogue of weak Bruhat order on the involutions in any Coxeter group. The saturated chains of intervals in this order correspond to reduced words for a certain set of group elements called atoms. Brion gives a general formula for the cohomology class of a $K$-orbit closure in an arbitrary flag variety, where $K$ is a symmetric subgroup of a complex algebraic group. In type A, the terms in this formula are indexed by atoms for permutations. We study the combinatorics of atoms for involutions in the group of signed permutations. In particular, we give a compact description of the atom set for any signed involution and endow it with the structure of a graded poset. Our main result, as an application, is to identify explicitly the terms in Brion's cohomology formula in types B and C. These descriptions apply to all $K$-orbits in these types and are the first of their kind outside of type A.
Isomorphism classification of infinite Sierpinski carpet graphs
For each infinite word over a given finite alphabet, we define an increasing sequence of rooted finite graphs, that can be thought as approximations of the famous Sierpinski carpet. These sequences naturally converge to an infinite rooted limit graph. We show that there are uncountably many classes of isomorphism of such limit graphs, regarded as unrooted graphs.
Computing the Wiener index in Sierpinski carpet graphs
We describe an algorithm to compute the Wiener index of a sequence of finite graphs approximating the Sierpinski carpet.
Constructing graphs with limited resources
We discuss the amount of physical resources required to construct a given graph, where vertices are added sequentially. We naturally identify information -- distinct into instructions and memory -- and randomness as resources. Not surprisingly, we show that, in this framework, threshold graphs are the simplest possible graphs, since the construction of threshold graphs requires a single bit of instructions for each vertex and no use of memory. Large instructions without memory do not bring any advantage. With one bit of instructions and one bit of memory for each vertex, we can construct a family of perfect graphs that strictly includes threshold graphs. We consider the case in which memory lasts for a single time step, and show that as well as the standard threshold graphs, linear forests are also producible. We show further that the number of random bits (with no memory or instructions) needed to construct any graph is asymptotically the same as required for the Erdős-Rényi random graph. We also briefly consider constructing trees in this scheme. The problem of defining a hierarchy of graphs in the proposed framework is fully open.