Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Mixed coloured permutations
In this paper we introduce mixed coloured permutation, permutations with certain coloured cycles, and study the enumerative properties of these combinatorial objects. We derive the generating function, closed forms, recursions and combinatorial identities for the counting sequence, mixed Stirling numbers of the first kind. In this comprehensive study we consider further the conditions on the length of the cycles, $r$-mixed Stirling numbers and the connection to Bell polynomials.
Infinite families of $2$-designs from two classes of linear codes
The interplay between coding theory and $t$-designs has attracted a lot of attention for both directions. It is well known that the supports of all codewords with a fixed weight in a code may hold a $t$-design. In this paper, by determining the weight distributions of two classes of linear codes, we derive infinite families of $2$-designs from the supports of codewords with a fixed weight in these codes, and explicitly obtain their parameters.
Extending partial automorphisms of $n$-partite tournaments
We prove that for every $n\geq 2$ the class of all finite $n$-partite tournaments (orientations of complete $n$-partite graphs) has the extension property for partial automorphisms, that is, for every finite $n$-partite tournament $G$ there is a finite $n$-partite tournament $H$ such that every isomorphism of induced subgraphs of $G$ extends to an automorphism of $H$. Our constructions are purely combinatorial (whereas many earlier EPPA results use deep results from group theory) and extend to other classes such as the class of all finite semi-generic tournaments.
Solving $x^{2^k+1}+x+a=0$ in $\mathbb{F}_{2^n}$ with $\gcd(n,k)=1$
Let $N_a$ be the number of solutions to the equation $x^{2^k+1}+x+a=0$ in $\GF {n}$ where $\gcd(k,n)=1$. In 2004, by Bluher \cite{BLUHER2004} it was known that possible values of $N_a$ are only 0, 1 and 3. In 2008, Helleseth and Kholosha \cite{HELLESETH2008} have got criteria for $N_a=1$ and an explicit expression of the unique solution when $\gcd(k,n)=1$. In 2014, Bracken, Tan and Tan \cite{BRACKEN2014} presented a criterion for $N_a=0$ when $n$ is even and $\gcd(k,n)=1$.
This paper completely solves this equation $x^{2^k+1}+x+a=0$ with only condition $\gcd(n,k)=1$. We explicitly calculate all possible zeros in $\GF{n}$ of $P_a(x)$. New criterion for which $a$, $N_a$ is equal to $0$, $1$ or $3$ is a by-product of our result.
Upper tail bounds for cycles
This paper examines bounds on upper tails for cycle counts in $G_{n,p}$. For a fixed graph $H$ define $ξ_H= ξ_H^{n,p}$ to be the number of copies of $H$ in $G_{n,p}$. It is a much studied and surprisingly difficult problem to understand the upper tail of the distribution of $ξ_H$, for example, to estimate \begin{equation*}
\mathbb{P}(ξ_H > 2 \mathbb{E}ξ_H). \end{equation*} The best known result for general $H$ and $p$ is due to Janson, Oleszkiewicz, and Ruciński, who, in 2004, proved \begin{align}\label{a:JOR} \exp[-O_{H, η}(M_H(n,p) \ln(1/p))]&<\mathbb{P}(ξ_H > (1+η)\mathbb{E} ξ_H)\\&<\exp[-Ω_{H, η}(M_{H}(n,p))].\nonumber \end{align} Thus they determined the upper tail up to a factor of $\ln(1/p)$ in the exponent. There has since been substantial work to improve these bounds for particular $H$ and $p$. We close the $\ln(1/p)$ gap for cycles, up to a constant in the exponent. Here the lower bound given by JOR is the truth for $l$-cycles when $p> \frac{\ln^{1/(l-2)}n}{n}$.
Scaling limits of permutation classes with a finite specification: a dichotomy
We consider uniform random permutations in classes having a finite combinatorial specification for the substitution decomposition. These classes include (but are not limited to) all permutation classes with a finite number of simple permutations. Our goal is to study their limiting behavior in the sense of permutons.
The limit depends on the structure of the specification restricted to families with the largest growth rate. When it is strongly connected, two cases occur. If the associated system of equations is linear, the limiting permuton is a deterministic $X$-shape. Otherwise, the limiting permuton is the Brownian separable permuton, a random object that already appeared as the limit of most substitution-closed permutation classes, among which the separable permutations. Moreover these results can be combined to study some non strongly connected cases.
To prove our result, we use a characterization of the convergence of random permutons by the convergence of random subpermutations. Key steps are the combinatorial study, via substitution trees, of families of permutations with marked elements inducing a given pattern, and the singularity analysis of the corresponding generating functions.
Tutte's dichromate for signed graphs
Published
• View Publication
• BIB
We introduce the ``trivariate Tutte polynomial" of a signed graph as an invariant of signed graphs up to vertex switching that contains among its evaluations the number of proper colorings and the number of nowhere-zero flows. In this, it parallels the Tutte polynomial of a graph, which contains the chromatic polynomial and flow polynomial as specializations. The number of nowhere-zero tensions (for signed graphs they are not simply related to proper colorings as they are for graphs) is given in terms of evaluations of the trivariate Tutte polynomial at two distinct points. Interestingly, the bivariate dichromatic polynomial of a biased graph, shown by Zaslavsky to share many similar properties with the Tutte polynomial of a graph, does not in general yield the number of nowhere-zero flows of a signed graph. Therefore the ``dichromate" for signed graphs (our trivariate Tutte polynomial) differs from the dichromatic polynomial (the rank-size generating function).
The trivariate Tutte polynomial of a signed graph can be extended to an invariant of ordered pairs of matroids on a common ground set -- for a signed graph, the cycle matroid of its underlying graph and its frame matroid form the relevant pair of matroids. This invariant is the canonically defined Tutte polynomial of matroid pairs on a common ground set in the sense of a recent paper of Krajewski, Moffatt and Tanasa, and was first studied by Welsh and Kayibi as a four-variable linking polynomial of a matroid pair on a common ground set.
The size of the largest antichains in products of linear orders
We present new exact and asymptotic results about the size of the largest antichain in the product of $n$ linear orders.
Spanning subspace configurations
A {\em spanning configuration} in the complex vector space $\mathbb{C}^k$ is a sequence $(W_1, \dots, W_r)$ of linear subspaces of $\mathbb{C}^k$ such that $W_1 + \cdots + W_r = \mathbb{C}^k$. We present the integral cohomology of the moduli space of spanning configurations in $\mathbb{C}^k$ corresponding to a given sequence of subspace dimensions. This simultaneously generalizes the classical presentation of the cohomology of partial flag varieties and the more recent presentation of a variety of spanning line configurations defined by the author and Pawlowski. This latter variety of spanning line configurations plays the role of the flag variety for the Haglund-Remmel-Wilson Delta Conjecture of symmetric function theory.
Partition Inequalities and Applications to Sum-Product Conjectures of Kanade-Russell
We consider differences of one- and two-variable finite products and provide combinatorial proofs of the nonnegativity of certain coefficients. Since the products may be interpreted as generating functions for certain integer partitions, this amounts to showing a partition inequality. This extends results due to Berkovich-Garvan and McLaughlin. We then apply the first inequality and Andrews' Anti-telescoping Method to give a solution to an 'Ehrenpreis Problem' for recently conjectured sum-product identities of Kanade- Russell. That is, we provide some evidence for Kanade-Russell's conjectures by showing nonnegativity of coefficients in differences of product-sides as Andrews-Baxter and Kadell did for the product sides of the Rogers-Ramanujan identities.
Kronecker positivity and 2-modular representation theory
This paper consists of two prongs. Firstly, we prove that any Specht module labelled by a 2-separated partition is semisimple and we completely determine its decomposition as a direct sum of graded simple modules. Secondly, we apply these results and other modular representation theoretic techniques on the study of Kronecker coefficients and hence verify Saxl's conjecture for a large new class of partitions.
Bijections between t-Core Partitions and t-Tuples
This note introduces some bijections relating core partitions and tuples of integers. We apply these bijections to count the number of cores with various types of restriction, including fixed number of parts, limited size of parts, parts divisible by some integer, and distinct parts. For example, we prove that the number of $2t$-core partitions into $l$ even parts equals the number of $t$-core partitions into $l$ parts. We also generalize one expression for simultaneous cores, which was given by Baek, Nam and Yu, recently. Subsequently, we use this expression to obtain recurrence satisfied by numbers of $(s,s+1,\cdots,s+r)-$core partitions for $s\geq1$.
Euler-genus distributions of cubic Halin graphs
Gross derived an $O(n^2)$-time algorithm to calculate the genus distribution of a given cubic Halin graph.
In this paper, with the help of overlap matrix, we get a recurrence relation for the Euler-genus polynomial of cubic caterpillar-Halin graphs.
Explicit formulas for the embeddings of cubic caterpillar-Halin graph into a surface with Euler-genus 0, 1 and 2 are also obtained.
Group divisible designs with block size four and type g^u m^1 - III
We deal with group divisible designs that have block size 4 and group type g^u m^1, where g = 2 or 4 (mod 6). We show that the necessary conditions for the existence of a 4-GDD of type g^u m^1 are sufficient when g = 14, 20, 22, 26, 28, 32, 34, 38, 40, 44, 46, 50, 52, 58, 62, 68, 76, 88, 92, 100, 104, 116, 124, 136, 152, 160, 176, 184, 200, 208, 224, 232, 248, 272, 304, 320, 368, 400, 448, 464 and 496. Using these results we go on to show that the necessary conditions are sufficient for g = 2^t q^s, q = 19, 23, 25, 29, 31, s, t = 1, 2, ..., as well as for g = 2^t q, q = 2, 5, 7, 11, 13, 17, t = 1, 2, ..., with possible exceptions 56^9 m^1, 80^9 m^1 and 112^9 m^1 for a few large values of m.
On the Spectrum of Finite, Rooted Homogeneous Trees
In this paper we study the adjacency spectrum of families of finite rooted trees with regular branching properties. In particular, we show that in the case of constant branching, the eigenvalues are realized as the roots of a family of generalized Fibonacci polynomials and produce a limiting distribution for the eigenvalues as the tree depth goes to infinity. We indicate how these results can be extended to periodic branching patterns and also provide a generalization to higher order simplicial complexes.
Shortest directed networks in the plane
Given a set of sources and a set of sinks as points in the Euclidean plane, a directed network is a directed graph drawn in the plane with a directed path from each source to each sink. Such a network may contain nodes other than the given sources and sinks, called Steiner points. We characterize the local structure of the Steiner points in all shortest-length directed networks in the Euclidean plane. This characterization implies that these networks are constructible by straightedge and compass. Our results build on unpublished work of Alfaro, Campbell, Sher, and Soto from 1989 and 1990. Part of the proof is based on a new method that uses other norms in the plane. This approach gives more conceptual proofs of some of their results, and as a consequence, we also obtain results on shortest directed networks for these norms.
Remarks on Enveloping Semigroups
The local structures of enveloping semigroups of simple groups are investigated. All J-coirreducible connected stabilizer submonoids are determined. The notion of a navel of a reductive monoid is introduced. The cross-section lattice of the enveloping monoid is shown to be atomic. In type A, the generating series for the number of $G\times G$-orbits is found.
Description of infinite orbits on multiple projective spaces
Let $G$ be the general linear group of the degree $n\geq 2$ over the field $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$. In this article, we give a description of orbit decomposition of the multiple projective space $G^m/P^m$ under the diagonal action of $G$ where $P$ is the maximal parabolic subgroup of $G$ such that $G/P\cong\mathbb{P}^{n-1}\mathbb{K}$. We also construct representatives of orbits. If $m\geq 4$, the number of orbits is infinite, and we give a description of those uncountably many orbits.
Lights Out on graphs
We model the Lights Out game on general simple graphs in the framework of linear algebra over the field $\mathbb F_2$. Based upon a version of the Fredholm alternative, we introduce a separating invariant of the game, i.e., an initial state can be transformed into a final state if and only if the invariant of both states agrees. We also investigate certain states with particularly interesting properties. Apart from the classical version of the game, we propose several variants, in particular a version with more than only two states (light on, light off), where the analysis resides on systems of linear equations over the ring $\mathbb Z_n$. Although it is easy to find a concrete solution of the Lights Out problem, we show that it is NP-hard to find a minimal solution. We also propose electric circuit diagrams to actually realize the Lights Out game.
Limits of Sums for Binomial and Eulerian Numbers and their Associated Distributions
We provide a unified, probabilistic approach using renewal theory to derive some novel limits of sums for the normalized binomial coefficients and for the normalized Eulerian numbers. We also investigate some corresponding results for their associated distributions -- the binomial distributions for the binomial coefficients and the Irwin-Hall distributions (uniform B-splines) for the Eulerian numbers.