Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Superpolynomial period lengths of the winning positions in the subtraction game
Given a finite set of positive integers, $A$, and starting with a heap of $n$ chips, Alice and Bob alternate turns and on each turn a player chooses $x\in A$ with $x$ smaller or equal than the current number of chips and subtract $x$ chips from the heap. The game terminates when the current number of chips becomes smaller than $\min\{A\}$ and no moves are possible. The player who makes the last move is the winner. We can define $w^A(n)$ to be $1$ if Alice has a winning strategy with a starting heap of $n$ chips and $0$ if Bob has a winning strategy. By the Pigeonhole Principle, $w^A(n)$ becomes periodic, and it is easy to see that the period length is at most an exponential function of $\max\{A\}$. The typical period length is a linear function of $\max\{A\}$, and it is a long time open question if exponential period length is possible. We consider a slight modification of this game by introducing an initial seed $S$ that tells for the few initial numbers of chips whether the current or the opposite player is the winner. In this paper we show that the initial seed cannot change the period length of $w^A(n)$ if the size of $A$ is $1$ or $2$, but it can change the period length with $|A| \geq 3$. Further, we exhibit a class of sets $A$ of size $3$ and corresponding initial seeds such that the period length becomes a superpolynomial function of $\max\{A\}$.
Josephus Nim
Published
• View Publication
• BIB
Here, we present a variant of Nim with two piles. In the first pile, we have stones with a weight of 1, and in the second pile, we have stones with a weight of -2. Two Players take turns to take stones from one of the piles, and the total weight of stones to be removed should be equal to or less than half of the total weight of the stones in the pile. The player who removed the last stone or stones is the winner of the game. The authors discovered that when (n,m) is a previous player's winning position, 2m+1 is the last remaining number of the Josephus problem, where there are n -numbers, and every second number is to be removed. There are similar relations between the position of which the Grundy number is s and the (n-s)-th removed number.
$(n,k)$-Besicovitch sets do not exist in $\mathbb{Z}_p^n$ and $\hat{\mathbb{Z}}^n$ for $k\ge 2$
Besicovitch showed that a compact set in $\mathbb{R}^n$ which contains a unit line segment in every direction can have measure $0$. These constructions also work over other metric spaces like the $p$-adics and profinite integers. It is conjectured that it is impossible to construct sets with measure $0$ which contain a unit $2$-disk in every direction in $\mathbb{R}^n$. We prove that over the $p$-adics and profinite integers any set which contains a 2-flat in every direction must have positive measure. The main ingredients are maximal Kakeya estimates for $(\mathbb{Z}/N\mathbb{Z})^n$ proven in [Dha22] and adapting Fourier analytic arguments of Oberlin [Obe05]. In general, we prove $L^{n-1}$ to $L^{n-1}$ estimates for the maximal operator corresponding to $2$-flats.
The Diagonals of a Ferrers Diagram
We propose and develop a theory of Ferrers diagrams and their $q$-rook polynomials solely based on their diagonals. We show that the cardinalities of the diagonals of a Ferrers diagram are equivalent information to their rook numbers, $q$-rook polynomials, and the rank distribution of matrices supported on the diagram. Our approach is based on the concept of \textit{canonical form} of a Ferrers diagrams, and on two simple diagram operations as the main proof tools. In the second part of the paper we develop the same theory for symmetric Ferrers diagrams, considering symmetric and alternating matrices supported on them. As an application of our results, we establish some combinatorial identities linking symmetric and alternating matrices, which do not appear to have an obvious bijective proof, and which generalize some curious results in enumerative combinatorics.
Intersection multiplicity one for the Belkale-Kumar product in G/B
Consider the complete flag variety $X$ of a complex semisimple algebraic group $G$. We show that the structure coefficients of the Belkale-Kumar product $\odot_0$, on the cohomology $\mathrm{H}^{*}(X,\mathbf{Z})$, are all either $0$ or $1$. We also derive some consequences. The proof that is mainly geometric also uses new combinatorial results on root systems. Moreover, it is uniform and avoids case by case considerations.
On the combinatorics of r-chain minimal and maximal excludants
Published
• View Publication
• BIB
The minimal excludant (mex) of a partition was introduced by Grabner and Knopfmacher under the name `least gap' and was revived by a couple of papers due to Andrews and Newman. It has been widely studied in recent years together with the complementary partition statistic maximal excludant (maex), first introduced by Chern. Among such recent works, the first and second authors along with Maji introduced and studied the $r$-chain minimal excludants (r-chain mex) which led to a new generalization of Euler's classical partition theorem and the sum-of-mex identity of Andrews and Newman. In this paper, we first give combinatorial proofs for these two results on r-chain mex. Then we introduce the r-chain maximal excludants (r-chain maex) and establish the associated identity for the sum of r-chain maex over all partitions, both analytically and combinatorially.
Vertex stabilizers of locally $s$-arc transitive graphs of pushing up type
Published
• View Publication
• BIB
Suppose that $Δ$ a thick, locally finite and locally $s$-arc transitive $G$-graph with $s \ge 4$. For a vertex $z$ in $Δ$, let $G_z$ be the stabilizer of $z$ and $G_z^{[1]}$ be the kernel of the action of $G_z$ on the neighbours of $z$. We say $Δ$ is of pushing up type provided there exists a prime $p$ and a $1$-arc $(x,y)$ such that $C_{G_z}(O_p(G_z^{[1]})) \le O_p(G_z^{[1]})$ for $z \in \{x,y\}$ and $O_p(G_x^{[1]}) \le O_p(G_y^{[1]})$. We show that if $Δ$ is of pushing up type, then $O_p(G_x^{[1]})$ is elementary abelian and $G_x/G_x^{[1]}\cong X$ with ${\rm PSL}_2(p^a)\le X \le {\rm PΓL}_2(p^a)$.
Dominance complexes, neighborhood complexes and combinatorial Alexander duals
Published
• View Publication
• BIB
We show that the dominance complex $\mathcal{D}(G)$ of a graph $G$ coincides with the combinatorial Alexander dual of the neighborhood complex $\mathcal{N}(\overline{G})$ of the complement of $G$. Using this, we obtain a relation between the chromatic number $χ(G)$ of $G$ and the homology group of $\mathcal{D}(G)$. We also obtain several known results related to dominance complexes from well-known facts of neighborhood complexes. After that, we suggest a new method for computing the homology groups of the dominance complexes, using independence complexes of simple graphs. We show that several known computations of homology groups of dominance complexes can be reduced to known computations of independence complexes. Finally, we determine the homology group of $\mathcal{D}(P_n \times P_3)$ by determining the homotopy types of the independence complex of $P_n \times P_3 \times P_2$.
A locally $5$-arc transitive graph related to ${\rm PSU}_3(8)$
Published
• View Publication
• BIB
We construct a locally 5-arc transitive $G$-graph $Δ$, where $G \in \{ {\rm PSU}_3(8) \rtimes C_2, {\rm PSU}_3(8) \rtimes C_6\}$. The corresponding vertex stabilizer amalgams are of local characteristic $3$ but are not weak $(B,N)$-pairs. They are the first examples of this kind where there exists a vertex $z$ such that the extension of $G_z/O_p(G_z^{[1]})$ over $O_p(G_z^{[1]})$ is non-split.
The relationship between the negative inertia index of graph $G$ and its girth $g$ and diameter $d$
Let $G$ be a simple connected graph. We use $n(G)$, $p(G)$, and $η(G)$ to denote the number of negative eigenvalues, positive eigenvalues, and zero eigenvalues of the adjacency matrix $A(G)$ of $G$, respectively. In this paper, we prove that $2n(G)\geq d(G) + 1$ when $d(G)$ is odd, and $n(G) \geq \lceil \frac{g}{2}\rceil - 1$ for a graph containing cycles, where $d(G)$ and $g$ are the diameter and girth of the graph $G$, respectively. Furthermore, we characterize the extremal graphs for the cases of $2n(G) = d(G) + 1$, $n(G) = \lceil \frac{g}{2}\rceil$, and $n(G) = \lceil \frac{g}{2}\rceil - 1$.
On the Equality of Symbolic and Ordinary Powers of Binomial Edge Ideals
Published in Bulletin of the Brazilian Mathematical Society, New Series volume 54 (2023)
• View Publication
• BIB
In this paper, we investigate whether the symbolic and ordinary powers of a binomial edge ideal $J_{G}$ are equal. We show that the equality $J_{G}^{t}=J_{G}^{(t)}$ holds for every $t \geq 1$ when $|Ass(J_{G})|=2$. Moreover, if $G$ is a caterpillar tree, then one has the same equality. Finally, we characterize the generalized caterpillar graphs which the equality of symbolic and ordinary powers of $J_{G}$ occurs.
Edge coloring of products of signed graphs
Published
• View Publication
• BIB
In 2020, Behr defined the problem of edge coloring of signed graphs and showed that every signed graph $(G, σ)$ can be colored using exactly $Δ(G)$ or $Δ(G) + 1$ colors, where $Δ(G)$ is the maximum degree in graph $G$.
In this paper, we focus on products of signed graphs. We recall the definitions of the Cartesian, tensor, strong, and corona products of signed graphs and prove results for them. In particular, we show that $(1)$ the Cartesian product of $Δ$-edge-colorable signed graphs is $Δ$-edge-colorable, $(2)$ the tensor product of a $Δ$-edge-colorable signed graph and a signed tree requires only $Δ$ colors and $(3)$ the corona product of almost any two signed graphs is $Δ$-edge-colorable. We also prove some results related to the coloring of products of signed paths and cycles.
A model of random sequential adsorption on a ladder graph
Published
• View Publication
• BIB
In random sequential adsorption (RSA), objects are deposited on a substrate randomly, irreversibly, and sequentially. Attempts of deposition that lead to an overlap with previously deposited objects are discarded. The process continues until the system reaches a jammed state when no further additions are possible. We analyze a class of RSA models on a two-row square ladder graph in which landing on an empty site in a graph is allowed when at least $b$ neighboring sites in the graph are unoccupied ($b \in \mathbb{N}$). In this paper we complement this typical way of studying RSA models by analyzing also the structure of the set of all jammed states in a static way, disregarding the dynamics that led to a particular jammed state. In both considered settings (dynamic and static) we provide explicit expressions for key statistics that describe the average proportion of the substrate covered by deposited objects, and then we comment on significant differences between the two settings. We illustrate all of our findings through a toy model for ensembles of trapped Rydberg atoms with blockade range $b$.
A remark on certain restricted plane partitions and crystal melting model
Published
• View Publication
• BIB
In this paper, we provide formulas calculating the partition functions of two types of plane partitions using the crystal melting model method introduced by Okounkov, Reshetikhin and Vafa. As applications, we obtain a product formula for the partition function of the plane partitions with a limit shape boundary. A corollary of this formula is the demonstration of the equivalence between this partition function and the open-closed string amplitude of the double$-\mathbb{P}^1$ model. We also derive a product formula for the partition function of symmetric plane partitions with a limit shape boundary.
Partial divisibility of random sets and powers of completely monotone functions
In this article, we study exponents which preserve complete monotonicity of functions on lattices. We prove that for any completely monotone function $f$ on a finite lattice, $f^α$ is completely monotone for all $α\geq c$, where $c$ is explicitly described. For finite distributive lattices we show that the bound $c$ is sharp. Important examples of completely monotone functions are void functionals of random closed sets. We prove that if $V_{\mathcal{X}}$ is the void functional of a random subset $\mathcal{X}$ of $[n]$, then $V_{\mathcal{X}}^α$ is void functional of some random closed set for $α\geq n-1$. The results are analogous to the result of FitzGerald and Horn on Hadamard powers of positive semi-definite matrices. Also, we study the question of approximating an $m$-divisible random set by infinitely divisible random sets, and its generalization to lattices.
Conway's Game of Life is Omniperiodic
In the theory of cellular automata, an oscillator is a pattern that repeats itself after a fixed number of generations; that number is called its period. A cellular automaton is called omniperiodic if there exist oscillators of all periods. At the turn of the millennium, only twelve oscillator periods remained to be found in Conway's Game of Life. The search has finally ended, with the discovery of oscillators having the final two periods, 19 and 41, proving that Life is omniperiodic. Besides filling in the missing periods, we give a detailed history of the omniperiodicity problem and the strategies used to solve it, summarising the work of a large number of people in the decades since the creation of Life.
Differential operators, grammars and Young tableaux
In algebraic combinatorics and formal calculation, context-free grammar is defined by a formal derivative based on a set of substitution rules. In this paper, we investigate this issue from three related viewpoints. Firstly, we introduce a differential operator method. As one of the applications, we deduce a new grammar for the Narayana polynomials. Secondly, we investigate the normal ordered grammars associated with the Eulerian polynomials. Thirdly, motivated by the theory of differential posets, we introduce a box sorting algorithm which leads to a bijection between the terms in the expansion of $(cD)^nc$ and a kind of ordered weak set partitions, where $c$ is a smooth function in the indeterminate $x$ and $D$ is the derivative with respect to $x$. Using a map from ordered weak set partitions to standard Young tableaux, we find an expansion of $(cD)^nc$ in terms of standard Young tableaux. Combining this with the theory of context-free grammars, we provide a unified interpretations for the Ramanujan polynomials, André polynomials, left peak polynomials, interior peak polynomials, Eulerian polynomials of types $A$ and $B$, $1/2$-Eulerian polynomials, second-order Eulerian polynomials, and Narayana polynomials of types $A$ and $B$ in terms of standard Young tableaux. Along the same lines, we present an expansion of the powers of $c^kD$ in terms of standard Young tableaux, where $k$ is a positive integer. In particular, we provide four interpretations for the second-order Eulerian polynomials. All of the above apply to the theory of formal differential operator rings.
Vanishing codegree Turán density implies vanishing uniform Turán density
For a $k$-uniform hypergraph (or simply $k$-graph) $F$, the codegree Turán density $π_{\mathrm{co}}(F)$ is the infimum over all $α$ such that any $n$-vertex $k$-graph $H$ with every $(k-1)$-subset of $V(H)$ contained in at least $αn$ edges has a copy of $F$. The uniform Turán density $π_{\therefore}(F)$ is the supremum over all $d$ such that there are infinitely many $F$-free $k$-graphs $H$ satisfying that any linear-size subhypergraph of $H$ has edge density at least $d$. Falgas-Ravry, Pikhurko, Vaughan and Volec [J. London Math. Soc., 2023] asked whether for every $3$-graph $F$, $π_{\therefore}(F)\leqπ_{\mathrm{co}}(F)$. We provide a positive answer to this question provided that $π_{\mathrm{co}}(F)=0$. Our proof relies on a random geometric construction and a new formulation of the characterization of $3$-graphs with vanishing uniform Turán density due to Reiher, R{ö}dl and Schacht [J. London Math. Soc., 2018]. Along the way, we answer a question of Falgas-Ravry, Pikhurko, Vaughan and Volec about subhypergraphs with linear minimum codegree in uniformly dense hypergraphs in the negative.
Hook lengths in self-conjugate partitions
Published
• View Publication
• BIB
In 2010, G.-N. Han obtained the generating function for the number of size $t$ hooks among integer partitions. Here we obtain these generating functions for self-conjugate partitions, which are particularly elegant for even $t$. If $n_t(λ)$ is the number of size $t$ hooks in a partition $λ,$ then for even $t$ we have $$\sum_{λ\in \mathcal{SC}} x^{n_t(λ)} q^{\vertλ\vert} = (-q;q^2)_{\infty} \cdot ((1-x^2)q^{2t};q^{2t})_{\infty}^{\frac{t}2}. $$ As a consequence, if $a_t^*(n)$ is the number of such hooks among the self-conjugate partitions of $n,$ then for even $t$ we obtain the simple formula $$ a_t^*(n)=t\sum_{j\geq 1} q^*(n-2tj), $$ where $q^*(m)$ is the number of partitions of $m$ into distinct odd parts. As a corollary, we find that $t\mid a_t^*(n),$ which confirms a conjecture of Ballantine, Burson, Craig, Folsom, and Wen.
Proof of the plethystic Murnaghan-Nakayama rule using Loehr's labelled abacus
Published
• View Publication
• BIB
The plethystic Murnaghan-Nakayama rule describes how to decompose the product of a Schur function and a plethysm of the form $p_r\circ h_m$ as a sum of Schur functions. We provide a short, entirely combinatorial proof of this rule using the labelled abaci introduced in Nicholas A. Loehr. Abacus proofs of Schur function identities. In: SIAM J. Discrete Math. 24.4 (2010), pp. 1356-1370.