Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Higher Congruences in Character Tables
Published
• View Publication
• BIB
Motivated by recent work of Peluse and Soundararajan on divisibility properties of the entries of the character tables of symmetric groups, we investigate the question: For a finite group G, when are two columns of the character table of G congruent to one another modulo a power of a prime?
Improved Upper Bound for the Size of a Trifferent Code
Published
• View Publication
• BIB
A subset $\mathcal{C}\subseteq\{0,1,2\}^n$ is said to be a $\textit{trifferent}$ code (of block length $n$) if for every three distinct codewords $x,y, z \in \mathcal{C}$, there is a coordinate $i\in \{1,2,\ldots,n\}$ where they all differ, that is, $\{x(i),y(i),z(i)\}$ is same as $\{0,1,2\}$. Let $T(n)$ denote the size of the largest trifferent code of block length $n$. Understanding the asymptotic behavior of $T(n)$ is closely related to determining the zero-error capacity of the $(3/2)$-channel defined by Elias'88, and is a long-standing open problem in the area. Elias had shown that $T(n)\leq 2\times (3/2)^n$ and prior to our work the best upper bound was $T(n)\leq 0.6937 \times (3/2)^n$ due to Kurz'23. We improve this bound to $T(n)\leq c \times n^{-2/5}\times (3/2)^n$ where $c$ is an absolute constant.
The second largest eigenvalue of some nonnormal Cayley graphs on symmetric groups
Published in Journal of Combinatorial Theory, Series A, 2026, 218:106097
• View Publication
• BIB
A Cayley graph on the symmetric group $S_n$ is said to have the Aldous property if its strictly second largest eigenvalue (that is, the largest eigenvalue strictly smaller than the degree) is attained by the standard representation of $S_n$. For $1\leq r < k < n$, let $C(n,k;r)$ be the set of $k$-cycles of $S_n$ moving every point in $\{1, \ldots, r\}$. Recently, Siemons and Zalesski [J. Algebraic Combin. 55 (2022) 989--1005] posed a conjecture which is equivalent to saying that for any $n \ge 5$ and $1\leq r<k<n$ the nonnormal Cayley graph $\mathrm{Cay}(S_n, C(n,k;r))$ on $S_n$ with connection set $C(n,k;r)$ has the Aldous property. Solving this conjecture, we prove that all these graphs have the Aldous property except when (i) $(n, k, r) = (6, 5, 1)$ or (ii) $n$ is odd, $k = n-1$, and $1 \le r < \frac{n}{2}$. Along the way we determine all irreducible representations of $S_n$ that can achieve the strictly second largest eigenvalue of $\mathrm{Cay}(S_n, C(n,n-1;r))$ as well as the smallest eigenvalue of this graph.
The maximum number of maximum dissociation sets in potted graphs
Published
• View Publication
• BIB
A potted graph is a unicyclic graph such that its cycle contains a unique vertex with degree larger than 2. Given a graph $G$, a subset of $V(G)$ is a dissociation set of $G$ if it induces a subgraph with maximum degree at most one. A maximum dissociation set is a dissociation set with maximum cardinality. In this paper, we determine the maximum number of maximum dissociation sets in a potted graph of order $n$ which contains a fixed cycle. Extremal potted graphs attaining this maximum number are also characterized.
A note on vertex Turán problems in the Kneser cube
Published
• View Publication
• BIB
The Kneser cube $Kn_n$ has vertex set $2^{[n]}$ and two vertices $F,F'$ are joined by an edge if and only if $F\cap F'=\emptyset$. For a fixed graph $G$, we are interested in the most number $vex(n,G)$ of vertices of $Kn_n$ that span a $G$-free subgraph in $Kn_n$. We show that the asymptotics of $vex(n,G)$ is $(1+o(1))2^{n-1}$ for bipartite $G$ and $(1-o(1))2^n$ for graphs with chromatic number at least 3. We also obtain results on the order of magnitude of $2^{n-1}-vex(n,G)$ and $2^n-vex(n,G)$ in these two cases. In the case of bipartite $G$, we relate this problem to instances of the forbidden subposet problem.
Vacillating parking functions
Published
• View Publication
• BIB
For any integers $1\leq k\leq n$, we introduce a new family of parking functions called $k$-vacillating parking functions of length $n$. The parking rule for $k$-vacillating parking functions allows a car with preference $p$ to park in the first available spot in encounters among the parking spots numbered $p$, $p-k$, and $p+k$ (in that order and if those spots exists). In this way, $k$-vacillating parking functions are a modification of Naples parking functions, which allow for backwards movement of a car, and of $\ell$-interval parking functions, which allow a car to park in its preference or up to $\ell$ spots in front of its preference. Among our results, we establish a combinatorial interpretation for the numerator of the $n$th convergent of the continued fraction of $\sqrt{2}$, as the number of non-decreasing $1$-vacillating parking functions of length~$n$. Our main result gives a product formula for the enumeration of $k$-vacillating parking functions of length $n$ based on the number of $1$-vacillating parking functions of smaller length. We conclude with some directions for further research.
First order complexity of finite random structures
Published
• View Publication
• BIB
For a sequence of random structures with $n$-element domains over a relational signature, we define its first order (FO) complexity as a certain subset in the Banach space $\ell^{\infty}/c_0$. The well-known FO zero-one law and FO convergence law correspond to FO complexities equal to $\{0,1\}$ and a subset of $\mathbb{R}$, respectively. We present a hierarchy of FO complexity classes, introduce a stochastic FO reduction that allows to transfer complexity results between different random structures, and deduce using this tool several new logical limit laws for binomial random structures. Finally, we introduce a conditional distribution on graphs, subject to a FO sentence $\varphi$, that generalises certain well-known random graph models, show instances of this distribution for every complexity class, and prove that the set of all $\varphi$ validating 0--1 law is not recursively enumerable.
Multi-Dimensional Cohomological Phenomena in the Multiparametric Models of Random Simplicial Complexes
In the past two decades, extensive research has been conducted on the (co)homology of various models of random simplicial complexes. So far, it has always been examined merely as a list of groups. This paper expands upon this by describing both the ring structure and the Steenrod-algebra structure of the cohomology of the multiparametric models. For the lower model, we prove that the ring structure is always a.a.s trivial, while, for certain parameters, the Steenrod-algebra a.a.s acts non-trivially. This reveals that complex multi-dimensional topological structures appear as subcomplexes of this model. In contrast, we improve upon a result of Farber and Nowik, and assert that the cohomology of the upper multiparametric model is a.a.s concentrated in a single dimension.
Factor of iid colorings of trees
We show that, for every $ε>0$, the 4-regular tree has an fiid 4-coloring where a given vertex is assigned the 4th color with probability at most $ε$. We also construct 5-colorings of $T_6$ improving known bounds on the measurable and approximate chromatic number of $F_3$.
$R(K_6-e, K_4) = 30$
Published in Graphs and Combinatorics 41 (2025)
• View Publication
• BIB
We settle the Ramsey problem $R(K_6 - e, K_4)$, also known as $R(J_6, K_4)$ and $R(K_6^-, K_4)$. Previously, the best bounds were $30 \leq R(K_6 - e, K4) \leq 32$. We prove that $R(K_6 - e, K_4) = 30$. Our technique is based on the recent approach of Angeltveit and McKay and on older algorithms of McKay and Radziszowski.
On $(1,2)$-step competition graphs of multipartite tournaments II
A multipartite tournament is an orientation of a complete $k$-partite graph for some positive integer $k\geq 3$. We say that a multipartite tournament $D$ is tight if every partite set forms a clique in the $(1,2)$-step competition graph, denoted by $C_{1,2}(D)$, of $D$. In the previous paper titled "On $(1,2)$-step competition graphs of multipartite tournaments" \cite{choi202412step} we completely characterize $C_{1,2}(D)$ for a tight multipartite tournament $D$. As an extension, in this paper, we study $(1,2)$-step competition graphs of multipartite tournaments that are not tight, which will be called loose. For a loose multipartite tournament $D$, various meaningful results are obtained in terms of $C_{1,2}(D)$ being interval and $C_{1,2}(D)$ being connected.
Graph Configurations and Independent Bondage Numbers of Planar Graphs
The independent domination number of a finite graph G is the minimum cardinality of an independent dominating set of vertices. The independent bondage number of G is the minimum cardinality of a set of edges whose deletion results in a graph with a larger independent domination number than that of G. In this research, we enhance the existing upper bound on the independent bondage number of a planar graph with a minimum degree of at least three by identifying specific configurations within such planar graphs.
Neighborly boxes and bipartite coverings; constructions and conjectures
Published
• View Publication
• BIB
Two axis-aligned boxes in $\mathbb{R}^d$ are \emph{$k$-neighborly} if their intersection has dimension at least $d-k$ and at most $d-1$. The maximum number of pairwise $k$-neighborly boxes in $\mathbb{R}^d$ is denoted by $n(k,d)$. It is known that $n(k,d)=Θ(d^k)$, for fixed $1\leqslant k\leqslant d$, but exact formulas are known only in three cases: $k=1$, $k=d-1$, and $k=d$. In particular, the formula $n(1,d)=d+1$ is equivalent to the famous theorem of Graham and Pollak on bipartite partitions of cliques.
In this paper we are dealing with the case $k=2$. We give a new construction of $k$-neighborly \emph{codes} giving better lower bounds on $n(2,d)$. The construction is recursive in nature and uses a kind of ``algebra'' on \emph{lists} of ternary strings, which encode neighborly boxes in a familiar way. Moreover, we conjecture that our construction is optimal and gives an explicit formula for $n(2,d)$. This supposition is supported by some numerical experiments and some partial results on related open problems which are recalled.
Largest bipartite sub-matchings of a random ordered matching or a problem with socks
Published
• View Publication
• BIB
Let $M$ be an ordered matching of size $n$, that is, a partition of the set $[2n]$ into 2-element subsets. The sock number of $M$ is the maximum size of a sub-matching of $M$ in which all left-ends of the edges precede all the right-ends (such matchings are also called bipartite). The name of this parameter comes from an amusing "real-life" problem posed by Bosek, concerning an on-line pairing of randomly picked socks from a drying machine. Answering one of Bosek's questions we prove that the sock number of a random matching of size $n$ is asymptotically equal to $n/2$. Moreover, we prove that the expected average number of socks waiting for their match during the whole process is equal to $\frac{2n+1}{6}$. Analogous results are obtained if socks come not in pairs, but in sets of size $r\geq 2$, which corresponds to a similar problem for random ordered $r$-matchings. We also attempt to enumerate matchings with a given sock number.
Palindrome Partitions and the Calkin-Wilf Tree
Published
• View Publication
• BIB
There is a well-known bijection between finite binary sequences and integer partitions. Sequences of length r correspond to partitions of perimeter r+1. Motivated by work on rational numbers in the Calkin-Wilf tree, we classify partitions whose corresponding binary sequence is a palindrome. We give a generating function that counts these partitions, and describe how to efficiently generate all of them. Atypically for partitions generating functions, we find an unusual significance to prime degrees. Specifically, we prove there are nontrivial palindrome partitions of n except when n=3 or n+1 is prime. We find an interesting new "branching diagram" for partitions, similar to Young's lattice, with an action of the Klein four group corresponding to natural operations on the binary sequences.
Long induced paths in expanders
Published in Combinator. Probab. Comp. 34 (2025) 276-282
• View Publication
• BIB
We prove that any bounded degree regular graph with sufficiently strong spectral expansion contains an induced path of linear length. This is the first such result for expanders, strengthening an analogous result in the random setting by Draganić, Glock and Krivelevich. More generally, we find long induced paths in sparse graphs that satisfy a mild upper-uniformity edge-distribution condition.
Low Acceptance Agreement Tests via Bounded-Degree Symplectic HDXs
Published
• View Publication
• BIB
We solve the derandomized direct product testing question in the low acceptance regime, by constructing new high dimensional expanders that have no small connected covers. We show that our complexes have swap cocycle expansion, which allows us to deduce the agreement theorem by relying on previous work.
Derandomized direct product testing, also known as agreement testing, is the following problem. Let X be a family of k-element subsets of [n] and let $\{f_s:s\toΣ\}_{s\in X}$ be an ensemble of local functions, each defined over a subset $s\subset [n]$. Suppose that we run the following so-called agreement test: choose a random pair of sets $s_1,s_2\in X$ that intersect on $\sqrt k$ elements, and accept if $f_{s_1},f_{s_2}$ agree on the elements in $s_1\cap s_2$. We denote the success probability of this test by $Agr(\{f_s\})$. Given that $Agr(\{f_s\})=ε>0$, is there a global function $G:[n]\toΣ$ such that $f_s = G|_s$ for a non-negligible fraction of $s\in X$ ?
We construct a family X of k-subsets of $[n]$ such that $|X| = O(n)$ and such that it satisfies the low acceptance agreement theorem. Namely,
$Agr (\{f_s\}) > ε\; \; \longrightarrow$ there is a function $G:[n]\toΣ$ such that $\Pr_s[f_s\overset{0.99}{\approx} G|_s]\geq poly(ε)$.
A key idea is to replace the well-studied LSV complexes by symplectic high dimensional expanders (HDXs). The family X is just the k-faces of the new symplectic HDXs. The later serve our needs better since their fundamental group satisfies the congruence subgroup property, which implies that they lack small covers. We also give a polynomial-time algorithm to construct this family of symplectic HDXs.
Almost strictly sign regular rectangular matrices
Published in Journal of Computational and Applied Mathematics 404 (2022) 113121
• View Publication
• BIB
Almost strictly sign regular matrices are sign regular matrices with a special zero pattern and whose nontrivial minors are nonzero. In this paper we provide several properties of almost strictly sign regular rectangular matrices and analyze their QR factorization.
Trees and co-trees in planar 3-connected graphs An easier proof via Schnyder woods
Let $G$ be a 3-connected planar graph. Define the co-tree of a spanning tree $T$ of $G$ as the graph induced by the dual edges of $E(G)-E(T)$. The well-known cut-cycle duality implies that the co-tree is itself a tree. Let a $k$-tree be a spanning tree with maximum degree $k$. In 1970, Grünbaum conjectured that every 3-connected planar graph contains a 3-tree whose co-tree is also a 3-tree. In 2014, Biedl showed that every such graph contains a 5-tree whose co-tree is a 5-tree. In this paper, we present an easier proof of Biedl's result
Combined matrices of almost strictly sign regular matrices
Published
• View Publication
• BIB
The combined matrix is a very useful concept for many applications. Almost strictly sign regular (ASSR) matrices form an important structured class of matrices with two possible zero patterns, which are either type-I staircase or type-II staircase. We prove that, under an irreducibility condition, the pattern of zero and nonzero entries of an ASSR matrix is preserved by the corresponding combined matrix. Without the irreducibility condition, it is proved that type-I and type-II staircases are still preserved. Illustrative numerical examples are included.