Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Color-critical Graphs and Hereditary Hypergraphs
A quick proof of Gallai's celebrated theorem on color-critical graphs is given from Gallai's simple, ingenious lemma on factor-critical graphs, in terms of partitioning the vertex-set into a minimum number of hyperedges of a hereditary hypergraph, generalizing the chromatic number. We then show examples of applying the results to new problems and indicate the way to algorithms and refined complexity results for all these examples at the same time.
Some explorations on two conjectures about Rademacher sequences
Published
• View Publication
• BIB
In this paper, we explore two conjectures about Rademacher sequences. Let $(ε_i)$ be a Rademacher sequence, i.e., a sequence of independent $\{-1,1\}$-valued symmetric random variables. Set $S_n=a_1ε_1+\cdots+a_nε_n$ for $a=(a_1,\dots,a_n)\in \mathbb{R}^n$. The first conjecture says that $P\ (\ |S_n\ |\leq \|a\|\ )\geq\frac{1}{2}$ for all $a\in \mathbb{R}^n$ and $n\in \mathbb{N}$. The second conjecture says that $P\ (\ |S_n\ |\geq\|a\|\ )\geq \frac{7}{32}$ for all $a\in \mathbb{R}^n$ and $n\in \mathbb{N}$. Regarding the first conjecture, we present several new equivalent formulations. These include a topological view, a combinatorial version and a strengthened version of the conjecture. Regarding the second conjecture, we prove that it holds true when $n\leq 7$.
The Typical Structure of Sets with Small Sumset
Published
• View Publication
• BIB
In this paper we determine the number and typical structure of sets of integers with bounded doubling. In particular, improving recent results of Green and Morris, and of Mazur, we show that the following holds for every fixed $λ> 2$ and every $k \geqslant (\log n)^4$: if $ω\to \infty$ as $n \to \infty$ (arbitrarily slowly), then almost all sets $A \subset [n]$ with $|A| = k$ and $|A + A| \leqslant λk$ are contained in an arithmetic progression of length $λk/2 + ω$.
A Note on Colourings of Connected $2$-edge Coloured Cubic Graphs
In this short note we show that every connected $2$-edge coloured cubic graph admits an $10$-colouring. This lowers the best known upper bound for the chromatic number of connected $2$-edge coloured cubic graphs.
Sandwich semigroups in diagram categories
This paper concerns a number of diagram categories, namely the partition, planar partition, Brauer, partial Brauer, Motzkin and Temperley-Lieb categories. If $\mathcal K$ denotes any of these categories, and if $σ\in\mathcal K_{nm}$ is a fixed morphism, then an associative operation $\star_σ$ may be defined on $\mathcal K_{mn}$ by $α\star_σβ=ασβ$. The resulting semigroup $\mathcal K_{mn}^σ=(\mathcal K_{mn},\star_σ)$ is called a sandwich semigroup. We conduct a thorough investigation of these sandwich semigroups, with an emphasis on structural and combinatorial properties such as Green's relations and preorders, regularity, stability, mid-identities, ideal structure, (products of) idempotents, and minimal generation. It turns out that the Brauer category has many remarkable properties not shared by any of the other diagram categories we study. Because of these unique properties, we may completely classify isomorphism classes of sandwich semigroups in the Brauer category, calculate the rank (smallest size of a generating set) of an arbitrary sandwich semigroup, enumerate Green's classes and idempotents, and calculate ranks (and idempotent ranks, where appropriate) of the regular subsemigroup and its ideals, as well as the idempotent-generated subsemigroup. Several illustrative examples are considered throughout, partly to demonstrate the sometimes-subtle differences between the various diagram categories.
On Topological Properties of Planar Octahedron Networks
Published
• View Publication
• BIB
Topological indices are scientific details of graphs which represents its topology and of the most part graph invariant. In QSAR/QSPR, physico-chemical characteristics and topological indices, for example, atom bond connectivity (ABC) and geometric-arithmetic (GA) indices are apply to foresee the bioactivity of concoction mixes. Graph theory discovered a significant practice in the region of investigation. In this paper, we are taking Planar Octahedron networks, produced by honeycomb structure of dimension n and obtain analytical closed results of Multiplicative topological indices for firstly and presents closed formulas of degree based indices.
DP-coloring for planar graphs of diameter two
DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced by Dvourák and Postle (2017). Recently, Huang et al. [https://doi.org/10.1016/j.amc.2019.124562] showed that planar graphs with diameter at most two are $4$-choosable. In this paper, we will prove that planar graphs with diameter at most two are DP-$4$-colorable, which is an extension of the above result.
Topology and Geometry of Crystallized Polyominoes
We give a complete solution to the extremal topological combinatorial problem of finding the minimum number of tiles needed to construct a polyomino with $h$ holes. We denote this number by $g(h)$ and say that a polyomino is crystallized if it has $h$ holes and $g(h)$ tiles. We analyze structural properties of crystallized polyominoes and characterize their efficiency by a topological isoperimetric inequality that relates minimum perimeter, the area of the holes, and the structure of the dual graph of a polyomino. We also develop a new dynamical method of creating sequences of polyominoes which is invariant with respect to crystallization and efficient structure. Using this technique, we prove that crystallized polyominoes with $h_l=(2^{2l}-1)/3$ holes are unique.
On the Exponent of Several Classes of Oscillatory Matrices
Published
• View Publication
• BIB
Oscillatory matrices were introduced in the seminal work of Gantmacher and Krein. An $n\times n$ matrix $A$ is called oscillatory if all its minors are nonnegative and there exists a positive integer $k$ such that all minors of $A^k$ are positive. The smallest $k$ for which this holds is called the exponent of the oscillatory matrix $A$. Gantmacher and Krein showed that the exponent is always smaller than or equal to $n-1$. An important and nontrivial problem is to determine the exact value of the exponent. Here we use the successive elementary bidiagonal factorization of oscillatory matrices, and its graph-theoretic representation, to derive an explicit expression for the exponent of several classes of oscillatory matrices, and a nontrivial upper-bound on the exponent for several other classes.
Polynomization of the Bessenrodt-Ono inequality
Published
• View Publication
• BIB
In this paper we investigate the generalization of the Bessenrodt--Ono inequality by following Gian-Carlo Rota's advice in studying problems in combinatorics and number theory in terms of roots of polynomials. We consider the number of $k$-colored partitions of $n$ as special values of polynomials $P_n(x)$. We prove for all real numbers $x >2 $ and $a,b \in \mathbb{N}$ with $a+b >2$ the inequality \begin{equation*} P_a(x) \, \cdot \, P_b(x) > P_{a+b}(x). \end{equation*} We show that $P_n(x) < P_{n+1}(x)$ for $x \geq 1$, which generalizes $p(n) < p(n+1)$, where $p(n)$ denotes the partition function. Finally, we observe for small values, the opposite can be true since for example: $P_2(-3+ \sqrt{10}) = P_{3}(-3 + \sqrt{10})$.
Stability of the Hecke algebra of wreath products
The Hecke algebras $\mathcal{H}_{n,k}$ of the group pairs $(S_{kn}, S_k\wr S_n)$ can be endowed with a filtration with respect to the orbit structures of the elements of $S_{kn}$ relative to the action of $S_{kn}$ on the set of $k$-partitions of $\{1,\dots,kn\}$. We prove that the structure constants of the associated filtered algebra $\mathcal{F}_{n,k} $ is independent of $n$. The stability property enables the construction of a universal algebra $\mathcal{F}$ to govern the algebras $\mathcal{F}_{n,k}$. We also prove that the structure constants of the algebras $\mathcal{H}_{n,k}$ are polynomials in $n$. For $k=2$, when the algebras $(\mathcal{F}_{n,2})_{n\in \mathbb{N}}$ are commutative, these results were obtained by Aker and Can, by Can and Ozden, and by Tout.
Combinatorial study of stable categories of graded Cohen--Macaulay modules over skew quadric hypersurfaces
Published
• View Publication
• BIB
In this paper, we present a new connection between representation theory of noncommutative hypersurfaces and combinatorics. Let $S$ be a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree $1$ and $f =x_1^2 + \cdots +x_n^2 \in S$. We prove that the stable category $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ of graded maximal Cohen--Macaulay module over $S/(f)$ can be completely computed using the four graphical operations. As a consequence, $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ is equivalent to the derived category $\mathsf{D^b}(\operatorname{\mathsf{mod}} k^{2^r})$, and this $r$ is obtained as the nullity of a certain matrix over ${\mathbb F}_2$. Using the properties of Stanley--Reisner ideals, we also show that the number of irreducible components of the point scheme of $S$ that are isomorphic to ${\mathbb P}^1$ is less than or equal to $\binom{r+1}{2}$.
The Asymptotic Distribution of the Rank for Unimodal Sequences
Published
• View Publication
• BIB
We study the asymptotic behavior of the rank statistic for unimodal sequences. We use analytic techniques involving asymptotic expansions in order to prove asymptotic formulas for the moments of the rank. Furthermore, when appropriately normalized, the values of the unimodal rank asymptotically follow a logistic distribution. We also prove similar results for Durfee unimodal sequences and semi-strict unimodal sequences, with the only major difference being that the (normalized) rank for semistrict unimodal sequences has a distributional limit of a point mass probability distribution.
Structural Considerations of Ramsey Algebras
Published
• View Publication
• BIB
Ramsey algebras is an attempt to investigate Ramsey spaces generated by algebras in a purely combinatorial fashion. Previous studies have focused on the basic properties of Ramsey algebras and the study of a few specific examples. In this article, we study the properties of Ramsey algebras from a structural point of view. For instance, we will see that isomorphic algebras have the same Ramsey algebraic properties, but elementarily equivalent algebras need not be so, as expected. Answer to a long-standing question about the Cartesian products of Ramsey algebras is also given.
On the Enumeration and Asymptotic Growth of Free Quasigroup Words
Published
• View Publication
• BIB
The paper counts the number of reduced quasigroup words of a particular length in a certain number of generators. Taking account of the relationship with the Catalan numbers, counting words in a free magma, we introduce the term peri-Catalan number for the free quasigroup word counts. The main result of the paper is an exact recursive formula for the peri-Catalan numbers, structured by the Euclidean Algorithm.
The Euclidean Algorithm structure does not readily lend itself to standard techniques of asymptotic analysis. However, conjectures for the asymptotic behavior of the peri-Catalan numbers, substantiated by numerical data, are presented. A remarkable aspect of the observed asymptotic behavior is the so-called asymptotic irrelevance of quasigroup identities, whereby cancelation resulting from quasigroup identities has a negligible effect on the asymptotic behavior of the peri-Catalan numbers for long words in a large number of generators.
The isomorphism problem of trees from the viewpoint of Terwilliger algebras
Published
• View Publication
• BIB
Let $Γ^{(x_0)}$ be a finite rooted tree, for which $Γ$ is the underlying tree and $x_0$ the root. Let $T$ be the Terwilliger algebra of $Γ$ with respect to $x_0$. We study the structure of the principal $T$-module. As a result, it is shown that $T$ recognizes the isomorphism class of $Γ^{(x_0)}$.
Maximal nonassociativity via fields
Published in Designs, Codes and Cryptography 88 (2020), 2521-2530
• Search Publication
We say that $(x,y,z)\in Q^3$ is an associative triple in a quasigroup $Q(*)$ if $(x*y)*z=x*(y*z)$. Let $a(Q)$ denote the number of associative triples in $Q$. It is easy to show that $a(Q)\ge |Q|$, and we call the quasigroup maximally nonassociative if $a(Q)= |Q|$. It was conjectured that maximally nonassociative quasigroups do not exist when $|Q|>1$. Drápal and Lisoněk recently refuted this conjecture by proving the existence of maximally nonassociative quasigroups for a certain infinite set of orders $|Q|$. In this paper we prove the existence of maximally nonassociative quasigroups for a much larger set of orders $|Q|$. Our main tools are finite fields and the Weil bound on quadratic character sums. Unlike in the previous work, our results are to a large extent constructive.
Lattice paths inside a table: Rows and columns linear combinations
A lattice path inside the $m\times n$ table $T$ is a sequence $ν_1,\ldots,ν_k$ of cells such that $ν_{j+1}-ν_j\in\{(1,-1),(1,0),(1,1)\}$ for all $j=1,\ldots,k-1$. The number of lattice paths in $T$ from the first column to the $(x,y)$-cell is written into that cell. We present a precise description of the minimal linear recurrences among rows, columns, and columns sums. As a result, we obtain several formulas for the number of all lattice paths from the first column to the last column of $T$, that is, the $n^{th}$ column sum. Our methods are based on three classes of operators, which will also be studied independently.
Bounded Degree Spanners of the Hypercube
Published
• View Publication
• BIB
In this short note we study two questions about the existence of subgraphs of the hypercube $Q_n$ with certain properties. The first question, due to Erdős--Hamburger--Pippert--Weakley, asks whether there exists a bounded degree subgraph of $Q_n$ which has diameter $n$. We answer this question by giving an explicit construction of such a subgraph with maximum degree at most 120.
The second problem concerns properties of $k$-additive spanners of the hypercube, that is, subgraphs of $Q_n$ in which the distance between any two vertices is at most $k$ larger than in $Q_n$. Denoting by $Δ_{k,\infty}(n)$ the minimum possible maximum degree of a $k$-additive spanner of $Q_n$, Arizumi--Hamburger--Kostochka showed that
$$\frac{n}{\ln n}e^{-4k}\leq Δ_{2k,\infty}(n)\leq 20\frac{n}{\ln n}\ln \ln n.$$ We improve their upper bound by showing that
$$Δ_{2k,\infty}(n)\leq 10^{4k} \frac{n}{\ln n}\ln^{(k+1)}n,$$where the last term denotes a $k+1$-fold iterated logarithm.
On the existence of integer relative Heffter arrays
Published
• View Publication
• BIB
Let $v=2ms+t$ be a positive integer, where $t$ divides $2ms$, and let $J$ be the subgroup of order $t$ of the cyclic group $\mathbb{Z}_v$. An integer Heffter array $H_t(m,n;s,k)$ over $\mathbb{Z}_v$ relative to $J$ is an $m\times n$ partially filled array with elements in $\mathbb{Z}_v$ such that: (a) each row contains $s$ filled cells and each column contains $k$ filled cells; (b) for every $x\in \mathbb{Z}_v \setminus J$, either $x$ or $-x$ appears in the array; (c) the elements in every row and column, viewed as integers in $\pm\left\{ 1, \ldots, \left\lfloor \frac{v}{2}\right\rfloor \right\}$, sum to $0$ in $\mathbb{Z}$.
In this paper we study the existence of an integer $H_t(m,n;s,k)$ when $s$ and $k$ are both even, proving the following results. Suppose that $4\leq s\leq n$ and $4\leq k \leq m$ are such that $ms=nk$. Let $t$ be a divisor of $2ms$. (a) If $s,k \equiv 0 \pmod 4$, there exists an integer $H_t(m,n;s,k)$. (b) If $s\equiv 2\pmod 4$ and $k\equiv 0 \pmod 4$, there exists an integer $H_t(m,n;s,k)$ if and only if $m$ is even. (c) If $s\equiv 0\pmod 4$ and $k\equiv 2 \pmod 4$, then there exists an integer $H_t(m,n;s,k)$ if and only if $n$ is even. (d) Suppose that $m$ and $n$ are both even. If $s,k\equiv 2 \pmod 4$, then there exists an integer $H_t(m,n;s,k)$.