Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A Note on Linear Complementary Pairs of Group Codes
Published
• View Publication
• BIB
We give a short and elementary proof of the fact that for a linear complementary pair $(C,D)$, where $C$ and $D$ are $2$-sided ideals in a group algebra, $D$ is uniquely determined by $C$ and the dual code $D^\perp$ is permutation equivalent to $C$. This includes earlier results of Carlet et al. and Güneri et al. on nD cyclic codes which have been proved by subtle and lengthy calculations in the space of polynomials.
A Conjectural Brouwer Inequality for Higher-Dimensional Laplacian Spectra
We present a generalization of Brouwer's conjectural family of inequalities -- a popular family of inequalities in spectral graph theory bounding the partial sum of the Laplacian eigenvalues of graphs -- for the case of abstract simplicial complexes of any dimension. We prove that this family of inequalities holds for shifted simplicial complexes, which generalize threshold graphs, and give tighter bounds (linear in the dimension of the complexes) for simplicial trees. We prove that the conjecture holds for the the first, second, and last partial sums for all simplicial complexes, generalizing many known proofs for graphs to the case of simplicial complexes. We also show that the conjecture holds for the tth partial sum for all simplicial complexes with dimension at least t and matching number greater than $t$. Returning to the special case of graphs, we expand on a known proof to show that the Brouwer's conjecture holds with equality for the tth partial sum where t is the maximum clique size of the graph minus one (or, equivalently, the number of cone vertices). Along the way, we develop machinery that may give further insights into related long-standing conjectures.
The Steiner distance problem for large vertex subsets in the hypercube
We find the asymptotic behavior of the Steiner k-diameter of the $n$-cube if $k$ is large. Our main contribution is the lower bound, which utilizes the probabilistic method.
Automatic sequences defined by Theta functions and some infinite products
Let $p(x) \in C(x)$ be a rational function satisfying the condition $p(0)=1$ and $q$ an integer larger than $1$, in this article we will consider the power expansion of the infinite product $$f(x)=\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=0}^{\infty}c_ix^i,$$ and study when the sequence $(c_i)_{i \in \mathbf{N}}$ is $q$-automatic. The main result is that for given integers $q \geq 2$ and $d \geq 0$, there exist finitely many polynomials of degree $d$ defined over the field of rational numbers $\mathbf{Q}$, such that $\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=1}^{\infty}c_ix^i$ is a $q$-automatic power series.
Plethysms of symmetric functions and representations of $\mathrm{SL}_2(\mathbb{C})$
Published
• View Publication
• BIB
Let $\nabla^λ$ denote the Schur functor labelled by the partition $λ$ and let $E$ be the natural representation of $\mathrm{SL}_2(\mathbb{C})$. We make a systematic study of when there is an isomorphism $\nabla^λ\!\mathrm{Sym}^\ell \!E \cong \nabla^μ\!\mathrm{Sym}^m \! E$ of representations of $\mathrm{SL}_2(\mathbb{C})$. Generalizing earlier results of King and Manivel, we classify all such isomorphisms when $λ$ and $μ$ are conjugate partitions and when one of $λ$ or $μ$ is a rectangle. We give a complete classification when $λ$ and $μ$ each have at most two rows or columns or is a hook partition and a partial classification when $\ell = m$. As a corollary of a more general result on Schur functors labelled by skew partitions we also determine all cases when $\nabla^λ\!\mathrm{Sym}^\ell \!E$ is irreducible. The methods used are from representation theory and combinatorics; in particular, we make explicit the close connection with MacMahon's enumeration of plane partitions, and prove a new $q$-binomial identity in this setting.
A Tight Bound for Hyperaph Regularity
Published
• View Publication
• BIB
The hypergraph regularity lemma -- the extension of Szemerédi's graph regularity lemma to the setting of $k$-uniform hypergraphs -- is one of the most celebrated combinatorial results obtained in the past decade. By now there are several (very different) proofs of this lemma, obtained by Gowers, by Nagle-Rödl-Schacht-Skokan and by Tao. Unfortunately, what all these proofs have in common is that they yield regular partitions whose order is given by the $k$-th Ackermann function.
We show that such Ackermann-type bounds are unavoidable for every $k \ge 2$, thus confirming a prediction of Tao. Prior to our work, the only result of this type was Gowers' famous lower bound for graph regularity.
Independence and Matching Numbers of Unicyclic Graphs From Null Space
Published
• View Publication
• BIB
We characterize unicyclic graphs that are singular using the support of the null space of their pendant trees. From this, we obtain closed formulas for the independence and matching numbers of a unicyclic graph, based on the support of its subtrees. These formulas allows one to compute independence and matching numbers of unicyclic graphs using linear algebra methods.
The Steiner $k$-radius and Steiner $k$-diameter of connected graphs for $k\geq 4$
Given a connected graph $G=(V,E)$ and a vertex set $S\subset V$, the {\em Steiner distance} $d(S)$ of $S$ is the size of a minimum spanning tree of $S$ in $G$. For a connected graph $G$ of order $n$ and an integer $k$ with $2\leq k \leq n$, the $k$-eccentricity of a vertex $v$ in $G$ is the maximum value of $d(S)$ over all $S\subset V$ with $|S|=k$ and $v\in S$. The minimum $k$-eccentricity, ${srad}_k(G)$, is called the $k$-radius of $G$ while the maximum $k$-eccentricity, ${sdiam}_k(G)$, is called the $k$-diameter of $G$. In 1990, Henning, Oellermann, and Swart [\textit{Ars Combinatoria} \textbf{12} 13-19, (1990)] showed that there exists a graph $H_k$ such that ${sdiam}_k(H_k) = \frac{2(k+1)}{2k-1}srad_k(H_k)$. The authors also conjectured that for any $k\geq 2$ and connected graph $G$ ${sdiam}_k(G) \leq \frac{2(k+1)}{2k-1}srad_k(G)$. The authors provided proofs of the conjecture for $k=3$ and $4$. Their proof for $k=4$, however, was incomplete. In this note, we disprove the conjecture for $k\geq 5$ by proving that the bound ${sdiam}_k(G)\leq \frac{k+3}{k+1}{srad}_k(G)$ is tight for $k\geq 5$. We then provide a complete proof for $k=4$ and identify the error in the previous proof of this case.
A Cheeger type inequality in finite Cayley sum graphs
Published
• View Publication
• BIB
Let $G$ be a finite group and $S$ be a symmetric generating set of $G$ with $|S| = d$. We show that if the undirected Cayley sum graph $C_Σ(G,S)$ is an expander graph and is non-bipartite, then the spectrum of its normalised adjacency operator is bounded away from $-1$. We also establish an explicit lower bound for the spectrum of these graphs, namely, the non-trivial eigenvalues of the normalised adjacency operator lies in the interval $\left(-1+\frac{h(G)^{4}}η, 1-\frac{h(G)^{2}}{2d^{2}}\right]$, where $h(G)$ denotes the (vertex) Cheeger constant of the $d$-regular graph $C_Σ(G,S)$ and $η= 2^{9}d^{8}$. Further, we improve upon a recently obtained bound on the non-trivial spectrum of the normalised adjacency operator of the non-bipartite Cayley graph $C(G,S)$.
Algebraic Relations Between Partition Functions and the $j$-Function
Published in Res. number theory 6, 2 (2020)
• View Publication
• BIB
We obtain identities and relationships between the modular $j$-function, the generating functions for the classical partition function and the Andrews $spt$-function, and two functions related to unimodal sequences and a new partition statistic we call the "signed triangular weight" of a partition. These results follow from the closed formula we obtain for the Hecke action on a distinguished harmonic Maass form $\mathscr{M}(τ)$ defined by Bringmann in her work on the Andrews $spt$-function. This formula involves a sequence of polynomials in $j(τ)$, through which we ultimately arrive at expressions for the coefficients of the $j$-function purely in terms of these combinatorial quantities.
An Ongoing Project to Improve the Rectilinear and the Pseudolinear Crossing Constants
Published
• View Publication
• BIB
A drawing of a graph in the plane is {\it pseudolinear} if the edges of the drawing can be extended to doubly-infinite curves that form an arrangement of pseudolines, that is, any pair of edges crosses precisely once. A special case are {\it rectilinear} drawings where the edges of the graph are drawn as straight line segments. The rectilinear (pseudolinear) crossing number of a graph is the minimum number of pairs of edges of the graph that cross in any of its rectilinear (pseudolinear) drawings. In this paper we describe an ongoing project to continuously obtain better asymptotic upper bounds on the rectilinear and pseudolinear crossing number of the complete graph $K_n$.
Gončarov Polynomials in Partition Lattices and Exponential Families
Published
• View Publication
• BIB
Classical Gončarov polynomials arose in numerical analysis as a basis for the solutions of the Gončarov interpolation problem. These polynomials provide a natural algebraic tool in the enumerative theory of parking functions. By replacing the differentiation operator with a delta operator and using the theory of finite operator calculus, Lorentz, Tringali and Yan introduced the sequence of generalized Gončarov polynomials associated to a pair $(Δ, Z)$ of a delta operator $Δ$ and an interpolation grid $Z$. Generalized Gončarov polynomials share many nice algebraic properties and have a connection with the theories of binomial enumeration and order statistics. In this paper we give a complete combinatorial interpretation for any sequence of generalized Gončarov polynomials. First, we show that they can be realized as weight enumerators in partition lattices. Then, we give a more concrete realization in exponential families and show that these polynomials enumerate various enriched structures of vector parking functions.
EL-Shelling on Comodernistic Lattices
Published
• View Publication
• BIB
We prove the equivalence of EL-shellability and the existence of recursive atom ordering independent of roots. We show that a comodernistic lattice, as defined by Schweig and Woodroofe, admits a recursive atom ordering independent of roots, therefore is EL-shellable. We also present and discuss a simpler EL-shelling on one of the most important classes of comodernistic lattice, the order congruence lattices.
CL-Shellable Posets with No EL-Shellings
Published
• View Publication
• BIB
We construct an ungraded CL-shellable poset and a graded CL-shellable poset and show that neither is EL-shellable.
A theorem about partitioning consecutive numbers
In 1882 J.J. Sylvester already proved, that the number of different ways to partition a positive integer into consecutive positive integers exactly equals the number of odd divisors of that integer (see [1]). We will now develop an interesting statement about triangular numbers, those positive integers which can be partitioned into consecutive numbers beginning at 1. For every partition of a triangular number n into consecutive numbers we can partition the sequence of numbers beginning at 1, adding up to n again, such that every part of this partition adds up to exactly one number of the chosen partition of n.
Graphs with large girth and free groups
We use Margulis' construction together with lattice counting arguments to build Cayley graphs on $\mathrm{SL}_{2}\left(\mathbb{F}_{p}\right),\;p\to\infty$ which are d-regular graphs with girth $\geq\frac{2}{3}\frac{\ln\left(n\right)}{\ln\left(d-1\right)+\ln\left(C\right)}$ for some absolute constant C.
on removal of perfect matching from folded hypercubes
The hypercube Qn of dimension n is one of the most versatile and powerful interconnection networks. The n-dimensional folded cube denoted as FQn, a variation of the hypercube possesses some embeddable properties that the hypercube does not possess. Dong and Wang(In Theor. Comput. Sci.771(2019)93-98) conjectured that "A subset Em of edges of FQn is a perfect matching if and only if FQn - Em is isomorphic to Qn". In this paper, we disprove this conjecture by providing some perfect matchings removal of which from FQn do not give a graph isomorphic to Qn.
Positive specializations of symmetric Grothendieck polynomials
Published in Adv. Math. Vol. 363 (2020)
• View Publication
• BIB
It is a classical fundamental result that Schur-positive specializations of the ring of symmetric functions are characterized via totally positive functions whose parametrization describes the Edrei-Thoma theorem. In this paper we study positive specializations of symmetric Grothendieck polynomials, $K$-theoretic deformations of Schur polynomials.
Some Structure Theory for Cayley Graphs and Associated Hypergraphs
We expand the structural theory of \ca graphs that avoid specific cyclic coset patterns. We present several characterisations of tree-likeness for these structures and show a close connection to $α$-acyclic hypergraphs. A focus lies on the behaviour of short paths of overlapping cosets in these \ca graphs, and their relation to short chordless paths in hypergraphs that are locally acyclic.
Ordinal pattern probabilities for symmetric random walks
An ordinal pattern for a finite sequence of real numbers is a permutation that records the relative positions in the sequence. For random walks with steps drawn uniformly from $[-1,1]$, we show an ordinal pattern occurs with probability $\frac{|[1,w]|}{2^n n!}$, where $[1,w]$ is a weak order interval in the affine Weyl group $\widetilde{A}_n$. For random walks with steps drawn from a symmetric Laplace distribution, the probability is $\frac{1}{2^n \prod_{j=1}^n \mathrm{lev}(π)_j}$, where $\mathrm{lev}(π)_j$ measures how often $j$ occurs between consecutive values in $π$. Permutations whose consecutive values are at most two positions apart in $π$ are shown to occur with the same probability for any choice of symmetric continuous step distribution. For random walks with steps from a mean zero normal distribution, ordinal pattern probabilities are determined by a matrix whose $ij$-th entry measures how often $i$ and $j$ are between consecutive values.