Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Subspaces, subsets, and Motzkin paths
Published
• View Publication
• BIB
We define a map from subspaces to Motzkin paths and show that the inverse image of every path is a disjoint union of symmetric Boolean subsets yielding an explicit symmetric Boolean decomposition of the subspace lattice.
Hidden structures behind ambient symmetries of the Maurer-Cartan equation
Published
• View Publication
• BIB
For every differential graded Lie algebra $\mathfrak{g}$ one can define two different group actions on the Maurer-Cartan elements: the ubiquitous gauge action and the action of $\mathrm{Lie}_\infty$-isotopies of $\mathfrak{g}$, which we call the ambient action. In this note, we explain how the assertion of gauge triviality of a homologically trivial ambient action relates to the calculus of dendriform, Zinbiel, and Rota-Baxter algebras, and to Eulerian idempotents. In particular, we exhibit new relationships between these algebraic structures and the operad of rational functions defined by Loday.
Golden ratio in graph theory: A survey
Much has been written about the golden ratio $φ=\frac{1+\sqrt{5}}{2}$ and this strange number appears mysteriously in many mathematical calculations. In this article, we review the appearance of this number in the graph theory. More precisely, we review the relevance of this number in topics such as the number of spanning trees, topological indices, energy, chromatic roots, domination roots and the number of domatic partitions of graphs.
When is a set of phylogenetic trees displayed by a normal network?
Published
• View Publication
• BIB
A normal network is uniquely determined by the set of phylogenetic trees that it displays. Given a set $\mathcal{P}$ of rooted binary phylogenetic trees, this paper presents a polynomial-time algorithm that reconstructs the unique binary normal network whose set of displayed binary trees is $\mathcal{P}$, if such a network exists. Additionally, we show that any two rooted phylogenetic trees can be displayed by a normal network and show that this result does not extend to more than two trees. This is in contrast to tree-child networks where it has been previously shown that any collection of rooted phylogenetic trees can be displayed by a tree-child network. Lastly, we introduce a type of cherry-picking sequence that characterises when a collection $\mathcal{P}$ of rooted phylogenetic trees can be displayed by a normal network and, further, characterise the minimum number of reticulations needed over all normal networks that display $\mathcal{P}$. We then exploit these sequences to show that, for all $n\ge 3$, there exist two rooted binary phylogenetic trees on $n$ leaves that can be displayed by a tree-child network with a single reticulation, but cannot be displayed by a normal network with less than $n-2$ reticulations.
On the strong domination number of proper enhanced power graphs of finite groups
Published
• View Publication
• BIB
The enhanced power graph of a group G is a graph with vertex set G, where two distinct vertices x and y are adjacent if and only if there exists an element w in G such that both x and y are powers of w. To obtain the proper enhanced power graph, we consider the induced subgraph on the set G\D, where D represents the set of dominating vertices in the enhanced power graph. In this paper, we aim to determine the strong domination number of the proper enhanced power graphs of finite nilpotent groups.
Semi-Degree Condition for Arbitrary $H$-Linked Oriented Graphs
Published
• View Publication
• BIB
Let $ H $ be a multi-digraph on $ h $ vertices with $ q $ arcs. An \textbf{$H$-subdivision} in a digraph $D$ is a subdigraph obtained by replacing every arc $uv$ of $H$ with a path from $u$ to $v$ in $D$ such that these paths are pairwise internally vertex-disjoint. A digraph $ D $ is \textbf{arbitrary $ H $-linked} if, for every injection $ f: V(H) \to V(D) $, there exists an $ H $-subdivision in $ D $ such that each vertex $ v \in V(H) $ is mapped to $ f(v) \in V(D) $, and the length of every subdivision path can be arbitrarily specified as {an integer \(l \geq 4\)}. An oriented graph is a digraph without 2-cycles. Keevash, Kühn, and Osthus proved that every sufficiently large oriented graph $ D $ of order $ n $ with $δ^0(D) \geq \frac{3n-4}{8}$ contains a Hamilton cycle (i.e., a $\overset{\leftrightarrow}{K_2}$-subdivision). Subsequently, Kelly, Kühn, and Osthus showed that such oriented graphs {are also arbitrary $ H $-linked, where $H$ is a loop}. Motivated by these results, we establish a minimum semi-degree condition for arbitrary $ H $-linked oriented graphs: there exists $ n_0 = n_0(h,q) $ such that every oriented graph $ D $ of order $ n \geq n_0 $ with $δ^0(D) \geq \frac{3n + 3h + 3q - 5}{8}$ is arbitrary $ H $-linked; specifically, if $H$ is a loop, this holds under the weaker condition $δ^0(D) \geq \frac{3n - 4}{8}$. The result provides an oriented graph analogue of Wang's conjecture on cycle-factors in graphs [J. Korean Math. Soc. 51 (2014) 919--940] and determines the tight semi-degree bounds for both strongly Hamiltonian-connected and arbitrary $q$-linked oriented graphs.
Forester's lattices and small non-Leighton complexes
Published
• View Publication
• BIB
We construct two CW-complexes $K$ and $L$ admitting a common, but not finite common, covering, where $K$ is homeomorphic to a complex with a single 2-cell.
Counting of lattices containing up to $4$ reducible elements and having nullity up to $3$
Published
• View Publication
• BIB
In this paper, we count all non-isomorphic lattices on $n$ elements, containing four reducible elements and having nullity three. This work is in respect of Birkhoff's open problem (which is NP-complete) of counting all finite lattices on $n$ elements.
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.
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.