Showing 20 papers (Total: 81623 papers, 47312 authors in database)
On log-concavity of the number of orbits in commuting tuples of permutations
Published
• View Publication
• BIB
Denote by $A(p, n, k)$ the number of commuting $p$-tuples of permutations on $[n]$ that have exactly $k$ distinct orbits. It was conjectured in~\cite{abdesselam2023log} that $A(p, n, k)$ is log-concave with respect to $k$ for every $p\geq 2, n\geq 3$, and the log-concavity was proved in ``$p=\infty$" case. In this paper, we prove that for $k=n-α$, the log-concavity for $A(p, n, k)$ holds for every $p\geq 2$ for sufficiently large $n$.
On the Metric Dimension of $K_a \times K_b \times K_c$
In this work we determine the metric dimension of $ K_a \times K_b \times K_c$ for all $a,b,c\in \mathbb N$ with $ a \le b \le c $ as follows. For $3a<b+c$ and $2b \le c$, this value is $c-1$, for $3a<b+c$ and $2b > c$, it is $\left \lfloor \frac{2}{3}(b+c-1) \right \rfloor$, and for $3a=b+c$, it is $\left \lfloor \frac{a+b+c}{2} \right \rfloor -1 $. The only open case is $3a>b+c$, where two values are possible, namely $\left \lfloor \frac{a+b+c}{2} \right \rfloor -1 $ and $\left \lfloor \frac{a+b+c}{2} \right \rfloor $. This result extends previous results of Cácere et al., who computed the metric dimension of $ K_a \times K_b$, and of Drewes and Jäger, who computed the metric dimension of $ K_a \times K_a \times K_a$.
We prove our result by introducing and analyzing a new variant of Static Black-Peg Mastermind, in which each peg has its own permitted set of colors. For all cases, we present strategies which we prove to be both feasible and optimal. Our main result follows, as the number of questions of these strategies is equal to the metric dimension of $K_a \times K_b \times K_c$.
Bubbles in Linear Chord Diagrams: Bridges and Crystallized Diagrams
In a linear chord diagram a short chord joins adjacent vertices while a bubble is a region devoid of short chords. We define a bridge to be a chord joining a vertex interior to a bubble to one exterior to it. Building on earlier work, we investigate the distribution of bridges in the limit of large bubbles and diagrams, and show that the number of bridges is asymptotically normal, obtaining expressions for the associated mean and variance as a function of bubble size. We introduce the notion of a crystallized diagram, defined by the criteria that all its chords are either short or are bridges. We count the number of crystallized diagrams by the number of short chords they contain, and provide the asymptotic distribution in the limit of large crystallized diagrams. We show that for very large diagrams, the number of short chords is normal, and sharply peaked at $\sqrt{2n/\log
n}$, where $n$ is the total number of chords in the diagram.
Mutual-visibility and general position sets in Sierpiński triangle graphs
For a given graph \(G\), the general position problem asks for the largest set of vertices \(M \subseteq V(G)\) such that no three distinct vertices of \(M\) belong to a common shortest path in \(G\). A relaxation of this concept is based on the condition that two vertices \(x, y \in V(G)\) are \(M\)-visible, meaning there exists a shortest \(x, y\)-path in \(G\) that does not pass through any vertex of \(M \setminus \{x, y\}\).
If every pair of vertices in \(M\) is \(M\)-visible, then \(M\) is called a mutual-visibility set of \(G\). The size of the largest mutual-visibility set of \(G\) is called the mutual-visibility number of \(G\). Some well-known variations of this concept consider the total, outer, and dual mutual-visibility sets of a graph.
We present results on the general position problem and the various mutual-visibility problems in Sierpiński triangle graphs.
Non-Promise Version of Unique Sink Orientations
A unique sink orientation (USO) is an orientation of the edges of a hypercube such that each face has a unique sink. Many optimization problems like linear programs reduce to USOs, in the sense that each vertex corresponds to a possible solution, and the global sink corresponds to the optimal solution. People have been studying intensively the problem of find the sink of a USO using vertex evaluations, i.e., queries which return the orientation of the edges around a vertex. This problem is a so called promise problem, as it assumes that the orientation it receives is a USO.
In this paper, we analyze a non-promise version of the USO problem, in which we try to either find a sink or an efficiently verifiable violation of the USO property. This problem is worth investigating, because some problems which reduce to USO are also promise problems (and so we can also define a non-promise version for them), and it would be interesting to discover where USO lies in the hierarchy of subclasses of $\texttt{TFNP}^\texttt{dt}$, and for this a total search problem is required (which is the case for the non-promise version).
We adapt many known properties and algorithms from the promise version to the non-promise one, including known algorithms for small dimensions and lower and upper bounds, like the Fibonacci Seesaw Algorithm. Furthermore, we present an efficient resolution proof of the problem, which shows it is in the search complexity class $\texttt{PLS}^\texttt{dt}$ (although this fact was already known via reductions). Finally, although initially the only allowed violations consist of $2$ vertices, we generalize them to more vertices, and provide a full categorization of violations with $4$ vertices, showing that they are also efficiently verifiable.
Key expansion of the flagged refined skew stable Grothendieck polynomial
The flagged refined stable Grothendieck polynomials of skew shapes generalize several polynomials like stable Grothendieck polynomials, flagged skew Schur polynomials. In this paper, we provide a combinatorial expansion of the flagged refined skew stable Grothendieck polynomial in terms of key polynomials. We present this expansion by imposing a Demazure crystal structure on the set of flagged semi-standard set-valued tableaux of a given skew shape and a flag. We also provide expansions of the row-refined stable Grothendieck polynomials and refined dual stable Grothendieck polynomials and the Schur P-functions in terms of stable Grothendieck polynomials $G_λ$ and in terms of dual stable Grothendieck polynomials $g_λ$.
From free idempotent monoids to free multiplicatively idempotent rigs
A multiplicatively idempotent rig (which we abbreviate to mirig) is a rig satisfying the equation $r^2 = r$. We show that a free mirig on finitely many generators is finite and compute its size. This work was originally motivated by a collaborative effort on the decentralized social network Mastodon to compute the size of the free mirig on two generators.
The extra basis in noncommuting variables
Published
• View Publication
• BIB
We answer a question of Bergeron, Hohlweg, Rosas, and Zabrocki from 2006 to give a combinatorial description for the coproduct of the x-basis in the Hopf algebra of symmetric functions in noncommuting variables, NCSym, which arises in the theory of Grothendieck bialgebras. We achieve this using the theory of Hopf monoids and the Fock functor. We also determine combinatorial expansions of this basis in terms of the monomial and power sum symmetric functions in NCSym, and by taking the commutative image of the x-basis we discover a new multiplicative basis for the algebra of symmetric functions.
Proof of the Newell-Littlewood saturation conjecture
By inventing the notion of honeycombs, A. Knutson and T. Tao proved the saturation conjecture for Littlewood-Richardson coefficients. The Newell-Littlewood numbers are a generalization of the Littlewood-Richardson coefficients. By introducing honeycombs on a Möbius strip, we prove the saturation conjecture for Newell-Littlewood numbers posed by S. Gao, G. Orelowitz and A. Yong.
Random triangulations of the d-sphere with minimum volume
We study a higher-dimensional analogue of the {Random Travelling Salesman Problem}: let the complete $d$-dimensional simplicial complex $K_n^{d}$ on $n$ vertices be equipped with i.i.d.\ volumes on its facets, uniformly random in $[0,1]$. What is the minimum volume $M_{n,d}$ of a sub-complex homeomorphic to the $d$-dimensional sphere $\mathbb{S}^d$, containing all vertices? We determine the growth rate of $M_{n,2}$, and prove that it is well-concentrated. For $d>2$ we prove such results to the extent that current knowledge about the number of triangulations of $\mathbb{S}^d$ allows.
We remark that this can be thought of as a model of random geometry in the spirit of Angel \& Schramm's UIPT, and provide a generalised framework that interpolates between our model and the uniform random triangulation of $\mathbb{S}^d$.
Uniform Shared Neighborhood Structures in Edge-Regular Graphs
A shared neighborhood structure (SNS) in a graph is a subgraph induced by the intersection of the open neighbor sets of two adjacent vertices. If a SNS is the same for all adjacent vertices in an edge-regular graph, call the SNS a uniform shared neighborhood structure (USNS). USNS-forbidden graphs (graphs which cannot be a USNS of an edge-regular graph) and USNS in graph products of edge-regular graphs are examined.
The Briggs inequality for partitions and overpartitions
Published
• View Publication
• BIB
A sequence of $\{a_n\}_{n\ge 0}$ satisfies the Briggs inequality if \begin{align*} a_n^2(a_n^2-a_{n-1}a_{n+1})>a_{n-1}^2(a_{n+1}^2-a_na_{n+2}) \end{align*} holds for any $n\ge 1$. In this paper we show that both the partition function $\{p(n+N_0)\}_{n\geq 0}$ and the overpartition function $\{\overline{p}(n+\overline{N}_0)\}_{n\ge 0}$ satisfy the Briggs inequality for some $N_0$ and $\overline{N}_{0}$. Based on Chern's formula for $η$-quotients, we further prove that the $k$-regular partition function $\{p_k(n+N_{k})\}_{n\geq 0}$ and the $k$-regular overpartition function $\{\overline{p}_k(n+\overline{N}_k)\}_{n\ge 0}$ also satisfy the Briggs inequality for $2\le k\le 9$ and some $N_k,\overline{N}_{k}$.
Harmonious sequences in groups with a unique involution
Published
• View Publication
• BIB
We study several combinatorial properties of finite groups that are related to the notions of sequenceability, R-sequenceability, and harmonious sequences. In particular, we show that in every abelian group $G$ with a unique involution $\imath_G$ there exists a permutation $g_0,\ldots, g_{m}$ of elements of $G \backslash \{\imath_G\}$ such that the consecutive sums $g_0+g_1, g_1+g_2,\ldots, g_{m}+g_0$ also form a permutation of elements of $G\backslash \{\imath_G\}$. We also show that in every abelian group of order at least 4 there exists a sequence containing each non-identity element of $G$ exactly twice such that the consecutive sums also contain each non-identity element of $G$ twice. We apply several results to the existence of transversals in Latin squares.
Hecke growth diagrams, and maximal increasing and decreasing sequences in fillings of stack polyominoes
We establish a bijection between $01$-fillings of stack polyominoes with at most one $1$ per column and labelings of the corners along the top-right border of stack polyominoes. These labellings indicate the lengths of the longest increasing and decreasing chains of the largest rectangular region below and to the left of the corners. Our results provide an alternative proof of Guo and Poznanović's theorem on the lengths of the longest increasing and decreasing chains have a symmetric joint distribution over $01$-fillings of stack polyomino. Moreover, our results offer new perspective to Chen, Guo and Pang's result on the crossing number and the nesting number have a symmetric joint distribution over linked partitions. In particular, our construction generalizes the growth diagram techniques of Rubey for the $01$-fillings of stack polyominoes with at most one $1$ per column and row.
On Modular Invariants of Truncated Polynomial Rings in low ranks
Published
• View Publication
• BIB
We verify the conjectures due to Lewis, Reiner and Stanton about the Hilbert series of the invariant ring of the truncated polynomial ring for all parabolic subgroups up to rank $3$. This is done by constructing an explicit set of generators for each invariant ring in question. We also propose a conjecture concerning the action of the Steenrod algebra and the Dickson algebra on a certain naturally occurring filtration of the invariant ring under the general linear group.
Maker-Breaker domination game critical graphs
Published in Quaest. Math. 48 (2025) 651-664
• View Publication
• BIB
The Maker-Breaker domination game (MBD game) is a two-player game played on a graph $G$ by Dominator and Staller. They alternately select unplayed vertices of $G$. The goal of Dominator is to form a dominating set with the set of vertices selected by him while that of Staller is to prevent this from happening. In this paper MBD game critical graphs are studied. Their existence is established and critical graphs are characterized for most of the cases in which the first player can win the game in one or two moves.
Quaternary Legendre pairs II
Published in Discrete Mathematics 348(9), Article 114501, 2025
• View Publication
• BIB
Quaternary Legendre pairs are pertinent to the construction of quaternary Hadamard matrices and have many applications, for example in coding theory and communications. In contrast to binary Legendre pairs, quaternary ones can exist for even length $\ell$ as well. It is conjectured that there is a quaternary Legendre pair for any even $\ell$. The smallest open case until now had been $\ell=28$, and $\ell=38$ was the only length $\ell$ with $28\le \ell\le 60$ resolved before. Here we provide constructions for $\ell=28,30,32$, and $34$. In parallel and independently, Jedwab and Pender found a construction of quaternary Legendre pairs of length $\ell=(q-1)/2$ for any prime power $q\equiv 1\bmod 4$, which in particular covers $\ell=30$, $36$, and $40$, so that now $\ell=42$ is the smallest unresolved case. The main new idea of this paper is a way to separate the search for the subsequences along even and odd indices which substantially reduces the complexity of the search algorithm. In addition, we use Galois theory for cyclotomic fields to derive conditions which improve the PSD test.
A Connection Between Unbordered Partial Words and Sparse Rulers
Published
• View Publication
• BIB
$\textit{Partial words}$ are words that contain, in addition to letters, special symbols $\diamondsuit$ called $\textit{holes}$. Two partial words of $a=a_0 \dots a_n$ and $b=b_0 \dots b_n$ are $\textit{compatible}$ if for all $i$, $a_i = b_i$ or at least one of $a_i, b_i$ is a hole. A partial word is $\textit{unbordered}$ if it does not have a nonempty proper prefix and a suffix that are compatible. Otherwise the partial word is $\textit{bordered}$.
A set $R \subseteq \{0, \dots, n\}$ is called a $\textit{complete sparse ruler of length $n$}$ if for all $k \in \{0, \dots, n\}$ there exists $r, s \in R$ such that $k = r - s$. These are also known as $\textit{restricted difference bases}$.
From the definitions it follows that the more holes a partial word has, the more likely it is to be bordered. By introducing a connection between unbordered partial words and sparse rulers, we improve bounds on the maximum number of holes an unbordered partial word can have over alphabets of sizes $4$ or greater. We also provide a counterexample for a previously reported theorem.
We then study a two-dimensional generalization of these results. We adapt methods from one-dimensional case to solve the correct asymptotic for the number of holes an unbordered two-dimensional binary partial word can have. This generalization might invoke further research questions.
Half-integral Erdős-Pósa property for non-null $S$-$T$ paths
For a group $Γ$, a $Γ$-labelled graph is an undirected graph $G$ where every orientation of an edge is assigned an element of $Γ$ so that opposite orientations of the same edge are assigned inverse elements. A path in $G$ is non-null if the product of the labels along the path is not the neutral element of $Γ$. We prove that for every finite group $Γ$, non-null $S$-$T$ paths in $Γ$-labelled graphs exhibit the half-integral Erdős-Pósa property. More precisely, there is a function $f$, depending on $Γ$, such that for every $Γ$-labelled graph $G$, subsets of vertices $S$ and $T$, and integer $k$, one of the following objects exists: a family $\cal F$ consisting of $k$ non-null $S$-$T$ paths in $G$ such that every vertex of $G$ participates in at most two paths of $\cal F$; or a set $X$ consisting of at most $f(k)$ vertices that meets every non-null $S$-$T$ path in $G$. This in particular proves that in undirected graphs $S$-$T$ paths of odd length have the half-integral Erdős-Pósa property.
Associating hypergraphs defined on loops
Published
• View Publication
• BIB
In this paper, we define a new hypergraph $\mathcal{H(V,E)}$ on a loop $L$, where $\mathcal{V}$ is the set of points of the loop $L$ and $\mathcal{E}$ is the set of hyperedges $e=\{x,y,z\}$ such that $x,y$ and $z$ associate in the order they are written. We call this hypergraph as the associating hypergraph on a loop $L$. We study certain properites of associating hypergraphs on the Moufang loop $M(D_n,2)$, where $D_n$ denotes the dihedral group of order $2n$.