Showing 20 papers (Total: 81680 papers, 47334 authors in database)
On the complexity of Client-Waiter and Waiter-Client games
Positional games were introduced by Hales and Jewett in 1963, and their study became more popular after Erdos and Selfridge's first result on their connection to Ramsey theory and hypergraph coloring in 1973. Several conventions of these games exist, and the most popular one, Maker-Breaker was proved to be PSPACE-complete by Schaefer in 1978. The study of their complexity then stopped for decades, until 2017 when Bonnet, Jamain, and Saffidine proved that Maker-Breaker is W[1]-complete when parameterized by the number of moves. The study was then intensified when Rahman and Watson improved Schaefer's result in 2021 by proving that the PSPACE-hardness holds for 6-uniform hypergraphs. More recently, Galliot, Gravier, and Sivignon proved that computing the winner on rank 3 hypergraphs is in P.
We focus here on the Client-Waiter and the Waiter-Client conventions. Both were proved to be NP-hard by Csernenszky, Martin, and Pluhár in 2011, but neither completeness nor positive results were known for these conventions. In this paper, we complete the study of these conventions by proving that the former is PSPACE-complete, even restricted to 6-uniform hypergraphs, and by providing an FPT-algorithm for the latter, parameterized by the size of its largest edge. In particular, the winner of Waiter-Client can be computed in polynomial time in k-uniform hypergraphs for any fixed integer k. Finally, in search of finding the exact bound between the polynomial result and the hardness result, we focused on the complexity of rank 3 hypergraphs in the Client-Waiter convention. We provide an algorithm that runs in polynomial time with an oracle in NP.
A matrix solution to any polygon equation
Published in Advances in Theoretical and Mathematical Physics, Vol. 29, Issue 7 (2025), pp. 1827-1855
• View Publication
• BIB
In this article, we construct matrices associated to Pachner $\frac{n-1}{2}$-$\frac{n-1}{2}$ moves for odd $n$ and matrices associated to Pachner $(\frac{n}{2}-1)$-$\frac{n}{2}$ moves for even $n$. The entries of these matrices are rational functions of formal variables in a field. We prove that these matrices satisfy the $n$-gon equation for any $n$.
Forcing quasirandomness with 4-point permutations
A combinatorial object is said to be quasirandom if it exhibits certain properties that are typically seen in a truly random object of the same kind. It is known that a permutation is quasirandom if and only if the pattern density of each of the twenty-four 4-point permutations is close to 1/24, which is its expected value in a random permutation. In other words, the set of all twenty-four 4-point permutations is quasirandom-forcing. Moreover, it is known that there exist sets of eight 4-point permutations that are also quasirandom-forcing. Breaking the barrier of linear dependency of perturbation gradients, we show that every quasirandom-forcing set of 4-point permutations must have cardinality at least five.
Efficiency of the convex hull of the columns of certain triple perturbed consistent matrices
Published
• View Publication
• BIB
In decision making a weight vector is often obtained from a reciprocal matrix A that gives pairwise comparisons among n alternatives. The weight vector should be chosen from among efficient vectors for A. Since the reciprocal matrix is usually not consistent, there is no unique way of obtaining such a vector. It is known that all weighted geometric means of the columns of A are efficient for A. In particular, any column and the standard geometric mean of the columns are efficient, the latter being an often used weight vector. Here we focus on the study of the efficiency of the vectors in the (algebraic) convex hull of the columns of A. This set contains the (right) Perron eigenvector of A, a classical proposal for the weight vector, and the Perron eigenvector of AA^{T} (the right singular vector of A), recently proposed as an alternative. We consider reciprocal matrices A obtained from a consistent matrix C by modifying at most three pairs of reciprocal entries contained in a 4-by-4 principal submatrix of C. For such matrices, we give necessary and sufficient conditions for all vectors in the convex hull of the columns to be efficient. In particular, this generalizes the known sufficient conditions for the efficiency of the Perron vector. Numerical examples comparing the performance of efficient convex combinations of the columns and weighted geometric means of the columns are provided.
Twisted right-angled Artin groups
We present a complete rewriting system for twisted right-angled Artin groups. Utilizing the normal form coming from the rewriting system, we provide applications that illustrate differences and similarities with right-angled Artin groups, both at the geometric and algebraic levels.
Additive energies of subsets of discrete cubes
Published
• View Publication
• BIB
For a positive integer $n \geq 2$, define $t_n$ to be the smallest number such that the additive energy $E(A)$ of any subset $A \subset \{0,1,\cdots,n-1\}^d$ and any $d$ is at most $|A|^{t_n}$. Trivially we have $t_n \leq 3$ and $$ t_n \geq 3 - \log_n\frac{3n^3}{2n^3+n} $$ by considering $A = \{0,1,\cdots,n-1\}^d$. In this note, we investigate the behavior of $t_n$ for large $n$ and obtain the following non-trivial bounds: $$ 3 - (1+o_{n\rightarrow\infty}(1)) \log_n \frac{3\sqrt{3}}{4} \leq t_n \leq 3 - \log_n(1+c), $$ where $c>0$ is an absolute constant.
$α$-chromatic symmetric functions
Published
• View Publication
• BIB
In this paper, we introduce the \emph{$α$-chromatic symmetric functions} $χ^{(α)}_π[X;q]$, extending Shareshian and Wachs' chromatic symmetric functions with an additional real parameter $α$. We present positive combinatorial formulas with explicit interpretations. Notably, we show an explicit monomial expansion in terms of the $α$-binomial basis and an expansion into certain chromatic symmetric functions in terms of the $α$-falling factorial basis. Among various connections with other subjects, we highlight a significant link to $q$-rook theory, including a new solution to the $q$-hit problem posed by Garsia and Remmel in their 1986 paper introducing $q$-rook polynomials.
Constructing $k$-ary Orientable Sequences with Asymptotically Optimal Length
An orientable sequence of order $n$ over an alphabet $\{0,1,\ldots, k{-}1\}$ is a cyclic sequence such that each length-$n$ substring appears at most once \emph{in either direction}. When $k= 2$, efficient algorithms are known to construct binary orientable sequences, with asymptotically optimal length, by applying the classic cycle-joining technique. The key to the construction is the definition of a parent rule to construct a cycle-joining tree of asymmetric bracelets. Unfortunately, the parent rule does not generalize to larger alphabets. Furthermore, unlike the binary case, a cycle-joining tree does not immediately lead to a simple successor-rule when $k \geq 3$ unless the tree has certain properties. In this paper, we derive a parent rule to derive a cycle-joining tree of $k$-ary asymmetric bracelets. This leads to a successor rule that constructs asymptotically optimal $k$-ary orientable sequences in $O(n)$ time per symbol using $O(n)$ space. In the special case when $n=2$, we provide a simple construction of $k$-ary orientable sequences of maximal length.
On the numerical Terao's conjecture and Ziegler pairs for line arrangements
In this paper we present a smallest possible counterexample to the Numerical Terao's Conjecture in the class of line arrangements in the complex projective plane. Our example consists of a pair of two arrangements with $13$ lines. Moreover, we use the newly discovered singular matroid realization spaces to construct new examples of pairs of line arrangements having the same underlying matroid but different free resolutions of the Milnor algebras. Such rare arrangements are called Ziegler pairs in the literature.
The Signed Roman Domination Number of Ladder graphs, circular Ladder graphs and their complements
Published
• View Publication
• BIB
Let $G=(V,E)$ be a finite connected simple graph with vertex set $V$ and edge set $E$. A signed Roman dominating function (SRDF) on a graph $G$ is a function $f: V \rightarrow \{-1, 1, 2\}$ that satisfies two conditions: (i) $\sum_{y\in N[x]} f(y)\geq1$ for each $x\in V$, where the set $N[x]$ is the closed neighborhood of $x$ consisting of $x$ and vertices of $V$ that are adjacent to $x$, and (ii) each vertex $x\in V$ where $f(x) = -1$ is adjacent to at least one vertex $y\in V$ where $f(y)=2$. The weight of a SRDF is the sum of its function values over all vertices. The signed Roman domination number of $G$, denoted by $γ_{SR}(G)$, is the minimum weight of a SRDF on $G$. In this paper, we investigate the signed Roman domination number of the Ladder graph $LG_n$, the circular Ladder graph $CL_n$ and their complements.
The Prisoners and the Swap: Less than Half is Enough
Published
• View Publication
• BIB
We improve the solution of the classical prisoners and drawers riddle, where all prisoners can find their number using the pointer-following strategy, provided that the prisoners can send a spy to inspect all drawers and swap one pair of numbers. In the traditional approach, each prisoner may need to open up to half of the drawers. We show that this strategy is sub-optimal. Remarkably, a single swap allows all $n$ prisoners to find their number by opening only $\frac{n \ln \ln n}{\ln n} (1 + o(1))$ drawers in the worst case. We show that no strategy can do better than that by a factor larger than two. Efficiently constructing such a strategy is harder, but we provide an explicit efficient strategy that requires opening only $O(\frac{n \log \log n}{\log n})$ drawers by each prisoner in the worst case.
Asymptotics for Palette Sparsification from Variable Lists
It is shown that the following holds for each $\varepsilon >0$. For $G$ an $n$-vertex graph of maximum degree $D$, lists $S_v$ of size $D+1$ (for $v\in V(G)$), and $L_v$ chosen uniformly from the ($(1+\varepsilon)\ln n$)-subsets of $S_v$ (independent of other choices), \[ \mbox{$G$ admits a proper coloring $σ$ with $σ_v\in L_v$ $\forall v$} \] with probability tending to 1 as $D\to \infty$.
When each $S_v $ is $\{1\dots D+1\}$, this is an asymptotically optimal version of the ``palette sparsification'' theorem of Assadi, Chen and Khanna that was proved in an earlier paper by the present authors.
Nonlinear Kernel Partition Regularity: Necessary and Sufficient Conditions
A matrix \( A \) is called \emph{kernel partition regular} if, for every finite coloring of the natural numbers \( \mathbb{N} \), there exists a monochromatic solution to the equation \( A\vec{X} = 0 \). In 1933, Rado characterized such matrices by showing that a matrix is kernel partition regular if and only if it satisfies the so-called \emph{column condition}. In this article, we investigate polynomial extensions of Rado's theorem by studying systems of nonlinear equations of the form $A \vec{X} + P(z) = \vec{0},$ where $A$ is a matrix with integer entries and $P$ is a finite set of polynomials in one variable with no constant term. We present several nonlinear systems of equations that are kernel partition regular, showing that the classical column condition still guarantees kernel partition regularity, even when the system is extended by adding a nonlinear polynomial term. We then establish a structural necessary condition for the partition regularity of nonlinear Rado-type systems, extending the classical column condition to a nonlinear setting. This condition generalizes Rado's classical column condition by exploring the dependencies between the linear and higher-degree polynomial components of the system.
On the spectrum of closed neighborhood corona product of graph and its application
In this paper, we investigate the spectral properties of the closed neighborhood corona product of graphs, which was introduced by Harishchandra S. Ramane et al.~\cite{ramane2021polynomials} (cf. Polynomials Associated with Closed Neighborhood Corona and Neighborhood Complement Corona of Graphs). Based on their results, such as characteristic polynomials of the adjacency, Laplacian, and signless Laplacian matrices, we further investigate the spectral characteristics of this product graph. Specifically, we investigate conditions under which cospectrality occurs for this operation. Further, we determine the Kirchhoff index and count spanning trees and identify sequences of non-cospectral equienergetic product graphs. Finally, we develop criteria for when the product graph is integral and thereby contribute to a deeper understanding of the algebraic and combinatorial structure of the product graph.
Constructions of self-orthogonal and LCD subspace codes
Recently, the notions of self-orthogonal subspace codes and LCD subspace codes were introduced, and LCD subspace codes obtained from mutually unbiased weighing matrices were studied. In this paper, we provide a method of constructing self-orthogonal and LCD subspace codes from a set of matrices under certain conditions. In particular, we give constructions of self-orthogonal and LCD subspace codes from mutually quasi-unbiased weighing matrices, linked systems of symmetric designs, and linked systems of symmetric group divisible designs, Deza graphs and their equitable partitions.
Multi-Colouring of Kneser Graphs: Notes on Stahl's Conjecture
A (finite, undirected) graph is $(n,k)$-colourable if we can assign each vertex a $k$-subset of $\{1,2,\ldots,n\}$ so that adjacent vertices receive disjoint subsets. We consider the following problem: if a graph is $(n,k)$-colourable, then for what pairs $(n',k')$ is it also $(n',k')$-colourable? This question can be translated into a question regarding multi-colourings of Kneser graphs, for which Stahl formulated a conjecture in 1976. We present new results, strengthen existing results, and in particular present much simpler proofs of several known cases of the conjecture.
Hankel determinants of backward shifts of the coefficients of a partial theta function
We study some polynomials which are related to Hankel determinants of backward shifts of the coefficients of a partial theta function. In this version an appendix is added which gives a simple formula for the coefficients of the reciprocal of the partial theta function.
Small families of partially shattering permutations
We say that a family of permutations $t$-shatters a set if it induces at least $t$ distinct permutations on that set. What is the minimum number $f_k(n,t)$ of permutations of $\{1, \dots, n\}$ that $t$-shatter all subsets of size $k$? For $t \le 2$, $f_k(n,t) = Θ(1)$. Spencer showed that $f_k(n,t) = Θ(\log \log n)$ for $3 \le t \le k$ and $f_k(n,k!) = Θ(\log n)$. In 1996, Füredi asked whether partial shattering with permutations must always fall into one of these three regimes. Johnson and Wickes recently settled the case $k = 3$ affirmatively and proved that $f_k(n,t) = Θ(\log n)$ for $t > 2 (k-1)!$.
We give a surprising negative answer to the question of Füredi by showing that a fourth regime exists for $k \ge 4$. We establish that $f_k(n,t) = Θ(\sqrt{\log n})$ for certain values of $t$ and prove that this is the only other regime when $k = 4$. We also show that $f_k(n,t) = Θ(\log n)$ for $t > 2^{k-1}$. This greatly narrows the range of $t$ for which the asymptotic behaviour of $f_k(n,t)$ is unknown.
Log-concavity for independent sets of valuated matroids
Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials, developed by Brändén and Huh, to prove a generalization of the Mason-Welsh conjecture to the context of valuated matroids. In fact, we provide a log-concavity result in the more general setting of valuated discrete polymatroids, or equivalently, M-convex functions. Our approach is via the construction of a generic extension of a valuated matroid or M-convex function, so that the bases of the extension are related to the independent sets of the original matroid. We also provide a similar log-concavity result for valuated bimatroids, which, we believe, might be of independent interest.
Perfect Matching Complexes of Polygonal Line Tilings
Published
• View Publication
• BIB
The perfect matching complex of a simple graph $G$ is a simplicial complex having facets (maximal faces) as the perfect matchings of $G$. This article discusses the perfect matching complex of polygonal line tilings and the $\left(2 \times n\right)$-grid graph in particular. We use tools from discrete Morse theory to show that the perfect matching complex of any polygonal line tiling is either contractible or homotopy equivalent to a wedge of spheres. While proving our results, we also characterize all the matchings of $\left(2 \times n\right)$-grid graph that cannot be extended to form a perfect matching.