Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The symmetric groups $S_n, n\geq 4$, and finite non-abelian simple groups are not embeddable in any Riordan group
We prove that the symmetric group of degree greater than three cannot be embedded into the Riordan group with coefficients in any commutative ring. We also prove the impossibility to embed finite non-abelian simple groups. As a closely related topic, we show why all truncated Riordan groups are solvable, in stark contrast to the unsolvability of the infinite-sized Riordan groups. Finally, we give an explicit embedding of the alternating group $A_4$ into the Lagrange subgroup with coefficients in a certain commutative ring, and prove that $A_4$ cannot be embedded into a substitution group, and hence, a Nottingham group.
Quadratic relations for ninth variations of Schur functions and application to Schur multiple zeta functions
Macdonald's ninth variation of Schur functions is a broad generalization of the classical Schur function and its variants, defined via the Jacobi-Trudi determinant formula. In this paper, we establish various algebraic relations for $S^{(r)}_{λ/μ}(X)$, a class of the ninth variation introduced by Nakagawa, Noumi, Shirakawa, and Yamada, by combining the Jacobi-Trudi formula with determinant formulas such as the Desnanot-Jacobi adjoint matrix theorem and the Plücker relations, which generalize the corresponding relations for Schur functions. As an application, we investigate algebraic relations for "diagonally constant" Schur multiple zeta functions and examine their specific special values when the shape is rectangular.
On universal graphs for trees and treewidth $k$ graphs
Let $s(n)$ be the minimum number of edges in a graph that contains every $n$-vertex tree as a subgraph. Chung and Graham [J. London Math. Soc. 1983] claim to prove that $s(n)\leqslant O(n\log n)$. We point out a mistake in their proof. The previously best known upper bound is $s(n)\leqslant O(n(\log n)(\log\log n)^{2})$ by Chung, Graham and Pippenger [Proc. Hungarian Coll. on Combinatorics 1976], the proof of which is missing many crucial details. We give a fully self-contained proof of the new and improved upper bound $s(n)\leqslant O(n(\log n)(\log\log n))$. The best known lower bound is $s(n)\geqslant Ω(n\log n)$.
We generalise these results for graphs of treewidth $k$. For an integer $k\geqslant 1$, let $s_k(n)$ be the minimum number of edges in a graph that contains every $n$-vertex graph with treewidth $k$ as a subgraph. So $s(n)=s_1(n)$. We show that $Ω(k n\log n) \leqslant s_k(n) \leqslant O(kn(\log n)(\log\log n))$.
Temporal Exploration of Random Spanning Tree Models
Published
• View Publication
• BIB
The Temporal Graph Exploration problem (TEXP) takes as input a temporal graph, i.e., a sequence of graphs $(G_i)_{i\in \mathbb{N}}$ on the same vertex set, and asks for a walk of shortest length visiting all vertices, where the $i$-th step uses an edge from $G_i$. If each such $G_i$ is connected, then an exploration of length $n^2$ exists, and this is known to be the best possible up to a constant. More fine-grained lower and upper bounds have been obtained for restricted temporal graph classes, however, for several fundamental classes, a large gap persists between known bounds, and it remains unclear which properties of a temporal graph make it inherently difficult to explore.
Motivated by this limited understanding and the central role of the Temporal Graph Exploration problem in temporal graph theory, we study the problem in a randomised setting. We introduce the Random Spanning Tree (RST) model, which consists of a set of $n$-vertex trees together with an arbitrary probability distribution $μ$ over this set. A random temporal graph generated by the RST model is a sequence of independent samples drawn from $μ$.
We initiate a systematic study of the Temporal Graph Exploration problem in such random temporal graphs and establish tight general bounds on exploration time. Our first main result proves that any RST model can, with high probability (w.h.p.), be explored in $O(n^{3/2})$ time, and we show that this bound is tight up to a constant factor. This demonstrates a fundamental difference between the adversarial and random settings. Our second main result shows that if all trees of an RST are subgraphs of a fixed graph with $m$ edges then, w.h.p.\ , it can be explored in $O(m)$ time.
The Subgraphs of Order Six of the Family of Strongly Regular Graphs with Parameters $λ=1$ and $μ=2$
Strongly regular graphs are highly symmetrical and can be described fully with just a few parameters yet the existence of many of them is still under the question. Due to this uncertainty, it is of immense interest to study their structure, in particular to obtain all the possible subgraphs of lower order. In this paper we study the family of strongly regular graphs with parameters $λ=1$ and $μ=2$ and establish all their subgraphs of order six.
Spectral conditions for graphs to contain $k$-factors
Published
• View Publication
• BIB
Let $G$ be a graph. The spectral radius $ρ(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. For an integer $k\geq1$, a $k$-factor of $G$ is a $k$-regular spanning subgraph of $G$. Assume that $k$ and $n$ are integers satisfying $k\geq2,kn\equiv0~(\mod2)$ and $n\geq\max\left\{k^{2}+6k+7,20k+10\right\}$. Let $G$ be a graph of order $n$ and with minimum degree at least $k$. In this paper, we give a sharp lower bound of $ρ(G)$ to guarantee that $G$ contains a $k$-factor.
A spectral condition for Hamilton cycles in tough bipartite graphs
Published
• View Publication
• BIB
Let $G$ be a graph. The {\em spectral radius} of $G$ is the largest eigenvalue of its adjacency matrix. For a non-complete bipartite graph $G$ with parts $X$ and $Y$, the {\em bipartite toughness} of $G$ is defined as $t^{B}(G)=\min\left\{\frac{|S|}{c(G-S)}\right\}$, where the minimum is taken over all proper subsets $S\subset X$ (or $S\subset Y$) such that $c(G-S)>1$. In this paper, we give a sharp spectral radius condition for balanced bipartite graphs $G$ with $t^{B}(G)\geq1$ to guarantee that $G$ contains Hamilton cycles. This solves a problem proposed in \cite{CFL}.
Barnette Graphs with Faces up to Size 8 are Hamiltonian
Barnette's conjecture states that every cubic, bipartite, planar and 3-connected graph is Hamiltonian. Goodey verified Barnette's conjecture for all graphs with faces of size up to 6.
We substantially strengthen Goodey's result by proving Hamiltonicity for cubic, bipartite, planar and (2-)connected graphs with faces of size up to 8. Parts of the proof are computational, including a distinction of 339.068.624 cases.
Adjacent vertex distinguishing total coloring of 3-degenerate graphs
A total coloring of a simple undirected graph $G$ is an assignment of colors to its vertices and edges such that the colors given to the vertices form a proper vertex coloring, the colors given to the edges form a proper edge coloring, and the color of every edge is different from that of its two endpoints. That is, $φ:V(G)\cup E(G)\rightarrow\mathbb{N}$ is a total coloring of $G$ if $φ(u)\neqφ(v)$ and $φ(uv)\neqφ(u)$ for all $uv\in E(G)$, and $φ(uv)\neqφ(uw)$ for any $u \in V(G)$ and distinct $v,w \in N(u)$ (here, $N(u)$ denotes the set of neighbours of $u$). A total coloring $φ$ of a graph $G$ is said to be ``Adjacent Vertex Distinguishing'' (or AVD for short) if for all $uv\in E(G)$, we have that $φ(\{u\}\cup\{uw:w\in N(u)\})\neqφ(\{v\}\cup\{vw\colon w\in N(v)\})$. The AVD Total Coloring Conjecture of Zhang, Chen, Li, Yao, Lu, and Wang (Science in China Series A: Mathematics, 48(3):289--299, 2005) states that every graph $G$ has an AVD total coloring using at most $Δ(G)+3$ colors, where $Δ(G)$ denotes the maximum degree of $G$. For some $s\in\mathbb{N}$, a graph $G$ is said to be $s$-degenerate if every subgraph of $G$ has minimum degree at most $s$. Miao, Shi, Hu, and Luo (Discrete Mathematics, 339(10):2446--2449, 2016) showed that the AVD Total Coloring Conjecture is true for 2-degenerate graphs. We verify the conjecture for 3-degenerate graphs.
A plethystic chain rule
We consider a derivation $\mathsf{D}$ on the ring $Λ$ of symmetric functions and investigate its combinatorial, algebraic and geometric properties. More precisely, we show that $\mathsf{D}$ restricts to a quasi-isometry, with respect to the Hall product, on the graded component of $Λ$ of each positive degree and provide a chain-rule formula with respect to the plethysm operation. Furthermore, we relate the geometry of the Schur functions supporting $\mathsf{D}(f)$, where $f\in Λ$ is an homogeneous symmetric function, to that of $f$.
On the diameter and girth of zero-divisor graphs of inverse semigroups
Let $S$ be an inverse semigroup with zero and let $Z(S)^\times$ be its set of non-zero divisors with respect to the natural partial order $\le $ on $S$, that is, $a \in Z(S)^\times $ if there exists $b\in S\setminus\{0\}$ with $ω(a, b) = \{c \in S: c \leq a\ \mbox{and}\ c \leq b\}=\{0\}$. The set $Z(S)^\times$ makes up the vertices of the corresponding {\it zero-divisor graph} $Γ(S)$, with two distinct vertices $a, b$ forming an edge if $ω(a, b)=\{0\}$. We characterize {\it zero-divisor graphs} of inverse semigroups in terms of their diameter and girth. We also classify inverse semigroups without zero by building a connection between the diameter (girth) and the least group congruence $σ$ on an inverse semigroup without zero. Finally, we give a description of the diameter and girth of graph inverse semigoups $I(G)$ in terms of the set of vertices and the set of edges of a graph $G$.
Cyclic subsets of tournaments
Published
• View Publication
• BIB
Let $G$ be a Dirac graph, and let $S$ be a vertex subset of $G$, chosen uniformly at random. How likely is the induced subgraph $G[S]$ to be Hamiltonian? This question, proposed by Erdős and Faudree in 1996, was recently resolved by Draganić, Keevash and Müyesser, in the setting of graphs. In this paper, we study a similar question for tournaments -- if $T$ is a tournament of high minimum degree, how likely is it for a random induced subtournament of $T$ to be Hamiltonian? We prove an optimal bound on this probability, and extend the results to the regime where the subset is not sampled uniformly at random, but according to a $p$-biased measure.
Notes and computations on forbidden differences
Published
• View Publication
• BIB
We explore from several perspectives the following question: given $X\subseteq \mathbb{Z}$ and $N\in \mathbb{N}$, what is the maximum size $D(X,N)$ of $A\subseteq \{1,2,\dots,N\}$ before $A$ is forced to contain two distinct elements that differ by an element of $X$? The set of forbidden differences, $X$, is called \textit{intersective} if $D(X,N)=o(N)$, with the most well-studied examples being $X=S=\{n^2: n\in \mathbb{N}\}$ and $X=\mathcal{P}-1=\{p-1: p\text{ prime}\}$. In addition to some new results, including exact formulas and estimates for $D(X,N)$ in some non-intersective cases like $X=\mathcal{P}$ and $X=S+k$, $k\in \mathbb{N}$, we also provide a comprehensive survey of known bounds and extensive computational data. In particular, we utilize an existing algorithm for finding maximum cliques in graphs to determine $D(S,N)$ for $N\leq 300$ and $D(\mathcal{P}-1,N)$ for $N\leq 500$. None of these exact values appear previously in the literature.
Comparing cluster algebras on braid varieties
Braid varieties parametrize linear configurations of flags with transversality conditions dictated by positive braids. They include and generalize reduced double Bruhat cells, positroid varieties, open Bott-Samelson varieties, and Richardson varieties, among others. Recently, two cluster algebra structures were independently constructed in the coordinate rings of braid varieties: one using weaves and the other using Deodhar geometry. The main result of the article is that these two cluster algebras coincide. More generally, our comparative study matches the different concepts and results from each approach to the other, both on the combinatorial and algebraic geometric aspects.
Slow graph bootstrap percolation III: Chain constructions
Published
• View Publication
• BIB
For graphs $H$, we study the extremal function $M_H(n)$ which is the maximum running time (until stabilisation) of an $H$-bootstrap percolation process on $n$ vertices. Building on previous work in the clique case $H=K_k$, we develop a general framework of chain constructions. We demonstrate the flexibility of this framework by applying several variations of the method to give lower bounds on $M_H(n)$ for a wide variety of different graphs $H$ including dense graphs, random graphs and complete bipartite graphs. In particular, we focus on the question of whether $M_H(n)$ is (almost) quadratic or not and our lower bounds develop connections with additive combinatorics, utilising constructions of sets free of solutions to certain linear equations. Finally, our lower bounds are complemented by upper bounds which connect $M_H(n)$ to other problems in extremal graph theory such as the Ruzsa-Szemerédi (6,3)-Theorem.
On a class of quasi-Hermitian surfaces in even characteristic
In [1], a new quasi-Hermitian variety $\mathcal{H}_\varepsilon^r$ in $\mathrm{PG}(r, q^2)$, with $q = 2^e$ and $e \geq 3$ an odd integer, was constructed. The variety depends on a primitive element $\varepsilon$ of the underlying field $\mathrm{GF}(q^2)$.11
In the present paper, we first provide a classification of such varieties up to projective equivalence in finite projective spaces of arbitrary dimension. Then, we focus on the case $r = 3$ and study the structure of the lines contained in $\mathcal{H}_\varepsilon^3$; as a consequence, we determine the full automorphism group of $\mathcal{H}_\varepsilon^3$ . Finally, as a byproduct, we prove the equivalence of certain minimal codes introduced in [3].
Elementary Proofs of Recent Congruences for Overpartitions Wherein Non-Overlined Parts are Not Divisible by 6
We define $\overline{R_l^*}(n)$ as the number of overpartitions of $n$ in which non-overlined parts are not divisible by $l$. In a recent work, Nath, Saikia, and the second author established several families of congruences for $\overline{R_l^*}(n)$, with particular focus on the cases $l=6$ and $l=8$. In the concluding remarks of their paper, they conjectured that $\overline{R_6^*}(n)$ satisfies an infinite family of congruences modulo $128$. In this paper, we confirm their conjectures using elementary methods. Additionally, we provide elementary proofs of two congruences for $\overline{R_6^*}(n)$ previously proven via the machinery of modular forms by Alanazi, Munagi, and Saikia.
Decoupling via Affine Spectral-Independence: Beck-Fiala and Komlós Bounds Beyond Banaszczyk
Published
• View Publication
• BIB
The Beck-Fiala Conjecture [Discrete Appl. Math, 1981] asserts that any set system of $n$ elements with degree $k$ has combinatorial discrepancy $O(\sqrt{k})$. A substantial generalization is the Komlós Conjecture, which states that any $m \times n$ matrix with unit length columns has discrepancy $O(1)$.
In this work, we resolve the Beck-Fiala Conjecture for $k \geq \log^2 n$. We also give an $\widetilde{O}(\sqrt{k} + \sqrt{\log n})$ bound for $k \leq \log^2 n$, where $\widetilde{O}(\cdot)$ hides $\mathsf{poly}(\log \log n)$ factors. These bounds improve upon the $O(\sqrt{k \log n})$ bound due to Banaszczyk [Random Struct. Algor., 1998].
For the Komlos problem, we give an $\widetilde{O}(\log^{1/4} n)$ bound, improving upon the previous $O(\sqrt{\log n})$ bound [Random Struct. Algor., 1998]. All of our results also admit efficient polynomial-time algorithms.
To obtain these results, we exploit a new technique of ``decoupling via affine spectral-independence'' in designing rounding algorithms. In particular, our algorithms obtain the desired colorings via a discrete Brownian motion, guided by a semidefinite program (SDP). Besides standard constraints used in prior works, we add some extra affine spectral-independence constraints, which effectively decouple the evolution of discrepancies across different rows, and allow us to better control how many rows accumulate large discrepancies at any point during the process. This new technique is quite general and may be of independent interest.
Extending Congruences for the number of smallest parts in overpartitions with smallest part even
In a recent paper, Jin, Liu, and Xia \cite{JLX} presented some modulo 4 congruences for $\overline{spt2}(n)$, the number of smallest parts in the overpartitions of $n$ where the smallest part is even and is not overlined. In this paper, we extend the list of such congruences in two directions. First, we prove some new individual congruences for $\overline{spt2}(n)$. Then, we provide a number of infinite families of Ramanujan-like congruences satisfied by $\overline{spt2}(n)$.
On the cardinalities of quantum Latin squares
A quantum Latin square of order $v$, QLS($v$), is a $v\times v$ array in which each of entries is a unit column vector from the Hilbert space $\mathbb{C}^{v}$, such that every row and column forms an orthonormal basis of $\mathbb{C}^{v}$. The cardinality of a QLS($v$) is the number of its vectors distinct up to a global phase, which is the crucial indicator for distinguishing between classical QLSs and non-classical QLSs. In this paper, we investigate the possible cardinalities of a QLS($v$). As a result, we completely resolve the existence of a QLS($v$) with maximal cardinality for any $v\geq 4$. Moreover, based on Wilson's construction and Direct Product construction, we establish some possible cardinality range of a QLS($v$) for any $v\geq 4$.