Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Ann wins the nonrepetitive game over four letters and the erase-repetition game over six letters
Published
• View Publication
• BIB
We consider two games between two players Ann and Ben who build a word together by adding alternatively a letter at the end of the shared word. In the nonrepetitive game, Ben wins the game if he can create a square of length at least $4$, and Ann wins if she can build an arbitrarily long word before that. In the erase-repetition game, whenever a square occurs the second part of the square is erased and the goal of Ann is still to build an arbitrarily large word (Ben simply wants to limit the size of the word in this game).
Grytczuk, Kozik, and Micek showed that Ann has a winning strategy for the nonrepetitive game if the alphabet is of size at least $6$ and for the erase-repetition game is the alphabet is of size at least $8$. In this article, we lower these bounds to respectively $4$ and $6$. The bound obtain by Grytczuk et al. relied on the so-called entropy compression and the previous bound by Pegden relied on some particular version of the Lovász Local Lemma. We recently introduced a counting argument that can be applied to the same set of problems as entropy compression or the Lovász Local Lemma and we use our method here.
For these two games, we know that Ben has a winning strategy when the alphabet is of size at most 3, so our result for the nonrepetitive game is optimal, but we are not able to close the gap for the erase-repetition game.
A tight lower bound for the online bounded space hypercube bin packing problem
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Discrete Algorithms (September 14, 2021) dmtcs:8325
• View Publication
• BIB
In the $d$-dimensional hypercube bin packing problem, a given list of $d$-dimensional hypercubes must be packed into the smallest number of hypercube bins. Epstein and van Stee [SIAM J. Comput. 35 (2005)] showed that the asymptotic performance ratio $ρ$ of the online bounded space variant is $Ω(\log d)$ and $O(d/\log d)$, and conjectured that it is $Θ(\log d)$. We show that $ρ$ is in fact $Θ(d/\log d)$, using probabilistic arguments.
Counting independent sets in amenable groups
Given a locally finite graph $Γ$, an amenable subgroup $G$ of graph automorphisms acting freely and almost transitively on its vertices, and a $G$-invariant activity function $λ$, consider the free energy $f_G(Γ,λ)$ of the hardcore model defined on the set of independent sets in $Γ$ weighted by $λ$.
Under the assumption that $G$ is finitely generated and its word problem can be solved in exponential time, we define suitable ensembles of hardcore models and prove the following: if $\|λ\|_\infty < λ_c(Δ)$, there exists a randomized $ε$-additive approximation scheme for $f_G(Γ,λ)$ that runs in time $\mathrm{poly}((1+ε^{-1})\lvert Γ/G \rvert)$, where $λ_c(Δ)$ denotes the critical activity on the $Δ$-regular tree. In addition, if $G$ has a finite index linearly ordered subgroup such that its algebraic past can be decided in exponential time, we show that the algorithm can be chosen to be deterministic. On the other hand, we observe that if $\|λ\|_\infty > λ_c(Δ)$, there is no efficient approximation scheme, unless $\mathrm{NP} = \mathrm{RP}$. This recovers the computational phase transition for the partition function of the hardcore model on finite graphs and provides an extension to the infinite setting.
As an application in symbolic dynamics, we use these results to develop efficient approximation algorithms for the topological entropy of subshifts of finite type with enough safe symbols, we obtain a representation formula of pressure in terms of random trees of self-avoiding walks, and we provide new conditions for the uniqueness of the measure of maximal entropy based on the connective constant of a particular associated graph.
Catching an infinitely fast robber on a grid
Published
• View Publication
• BIB
We consider a variant of Cops and Robbers in which the robber may traverse as many edges as he likes in each turn, with the constraint that he cannot pass through any vertex occupied by a cop. We study this model on several classes of grid-like graphs. In particular, we determine the cop numbers for two-dimensional Cartesian grids and tori up to an additive constant, and we give asymptotic bounds for the cop numbers of higher-dimensional grids and hypercubes.
Inequality of a class of near-ribbon skew Schur Q-functions
Published
• View Publication
• BIB
While equality of skew Schur functions is well understood, the problem of determining when two skew Schur $Q$ functions are equal is still largely open. It has been studied in the case of ribbon shapes in 2008 by Barekat and van Willigenburg, and this paper approaches the problem for near-ribbon shapes, formed by adding one box to a ribbon skew shape. We particularly consider frayed ribbons, that is, the near-ribbons whose shifted skew shape is not an ordinary skew shape. We conjecture, with evidence, that all Schur $Q$ functions of frayed ribbon shape are distinct up to antipodal reflection. We prove this conjecture for several infinite families of frayed ribbons, using a new approach via the "lattice walks" version of the shifted Littlewood-Richardson rule discovered in 2018 by Gillespie, Levinson, and Purbhoo.
On Cyclic Matroids and their Applications
A matroid is a combinatorial structure that captures and generalizes the algebraic concept of linear independence under a broader and more abstract framework. Matroids are closely related with many other topics in discrete mathematics, such as graphs, matrices, codes and projective geometries. In this work, we define cyclic matroids as matroids over a ground set of size $n$ whose automorphism group contains an $n$-cycle. We study the properties of such matroids, with special focus on the minimum size of their basis sets. For this, we broadly employ two different approaches: the multiple basis exchange property, and an orbit-stabilizer method, developed by analyzing the action of the cyclic group of order $n$ on the set of bases. We further present some applications of our theory to algebra and geometry, presenting connections to cyclic projective planes, cyclic codes and $k$-normal elements.
Series reversion with Jacobi and Thron continued fractions
Using ordinary and exponential generating functions, we explore the reversion of power series defined by $2$nd order recurrences. We express the reversions in terms of Jacobi and Thron continued fractions. We find relations with Eulerian expressions using a transformation of continued fractions.
On $n$-partite digraphical representations of finite groups
Published
• View Publication
• BIB
A group $G$ admits an \textbf{\em $n$-partite digraphical representation} if there exists a regular $n$-partite digraph $Γ$ such that the automorphism group $\mathrm{Aut}(Γ)$ of $Γ$ satisfies the following properties: $\mathrm{Aut}(Γ)$ is isomorphic to $G$, $\mathrm{Aut}(Γ)$ acts semiregularly on the vertices of $Γ$ and the orbits of $\mathrm{Aut}(Γ)$ on the vertex set of $Γ$ form a partition into $n$ parts giving a structure of $n$-partite digraph to $Γ$.
In this paper, for every positive integer $n$, we classify the finite groups admitting an $n$-partite digraphical representation.
No extremal square-free words over large alphabets
Published in Combin. Theory 2, 1 (2022) #17
• View Publication
• BIB
A word is square-free if it does not contain any square (a word of the form $XX$), and is extremal square-free if it cannot be extended to a new square-free word by inserting a single letter at any position. Grytczuk, Kordulewski, and Niewiadomski proved that there exist infinitely many ternary extremal square-free words. We establish that there are no extremal square-free words over any alphabet of size at least 17.
Multidimensional Lambert-Euler inversion and vector-multiplicative coalescent processes
Published
• View Publication
• BIB
In this paper we show the existence of the minimal solution to the multidimensional Lambert-Euler inversion, a multidimensional generalization of $[-e^{-1} ,0)$ branch of Lambert W function $W_0(x)$. Specifically, for a given nonnegative irreducible symmetric matrix $V \in \mathbb{R}^{k \times k}$, we show that for ${\bf u}\in(0,\infty)^k$, if equation $$y_j \exp\{-{\bf e}_j^T V {\bf y} \} = u_j ~~~~~~\forall j=1,...,k,$$ has at least one solution, it must have a minimal solution ${\bf y}^*$, where the minimum is achieved in all coordinates $y_j$ simultaneously. Moreover, such ${\bf y}^*$ is the unique solution satisfying $ρ\left(V D[y^*_j] \right) \leq 1$, where $D[y^*_j]={\sf diag}(y_j^*)$ is the diagonal matrix with entries $y^*_j$ and $ρ$ denotes the spectral radius.
Our main application is in the vector-multiplicative coalescent process. It is a coalescent process with $k$ types of particles and vector-valued weights that begins with $α_1n+...+α_k n$ particles partitioned into types of respective sizes, and in which two clusters of weights ${\bf x}$ and ${\bf y}$ would merge with rate $({\bf x}^{\sf T} V {\bf y})/n$. We use combinatorics to solve the corresponding modified Smoluchowski equations, obtained as a hydrodynamic limit of vector-multiplicative coalescent as $n \to \infty$, and use multidimensional Lambert-Euler inversion to establish gelation and find a closed form expression for the gelation time.
We also find the asymptotic length of the minimal spanning tree for a broad range of graphs equipped with random edge lengths.
Some new symmetric structures in Ramsey theory
In this article, we will investigate several new configurations in Ramsey Theory, using the $\ostar_{l,k}$-operation on the set of integers, recently introduced in \cite{key-4}. This operation is useful to study symmetric structures in the set of integers, such as monochromatic configurations of the form $\left\{ x,y,x+y+xy\right\} $ as one of its simplest case. In \cite{key-4}, the author has studied more general symmetric structures. It has been shown that the Hindman's Theorem, van der Waerden's Theorem, Deuber's Theorem have their own symmetric versions. In this article we will explore several new structures, including polynomial versions of these symmetric structures and some of its variants. As a result, we get several new symmetric polynomial configurations as well as new linear symmetric patterns. In the final section, we will also introduce two new operations on the set of non-negative integers $\mathbb{N}$, to obtain further new configurations.
Anti-Ramsey numbers for trees in complete multi-partite graphs
Published
• View Publication
• BIB
Let $G$ be a complete multi-partite graph of order $n$. In this paper, we consider the anti-Ramsey number $ar(G,\mathcal{T}_{q})$ with respect to $G$ and the set $\mathcal{T}_{q}$ of trees with $q$ edges, where $2\le q\le n-1$. For the case $q=n-1$, the result has been obtained by Lu, Meier and Wang. We will extend it to $q<n-1$. We first show that $ar(G,\mathcal{T}_{q})=\ell_{q}(G)+1$, where $\ell_{q}(G)$ is the maximum size of a disconnected spanning subgraph $H$ of $G$ with the property that any two components of $H$ together have at most $q$ vertices. Using this equality, we obtain the exact values of $ar(G,\mathcal{T}_{q})$ for $n-3\le q\le n-1$. We also compute $ar(G,\mathcal{T}_{q})$ by a simple algorithm when $(4n-2)/5\le q\le n-1$.
The enumeration of finite rings
Published
• View Publication
• BIB
Let $p$ be a fixed prime. We show that the number of isomorphism classes of finite rings of order $p^n$ is $p^α$, where $α=\frac{4}{27}n^3+O(n^{5/2})$. This result was stated (with a weaker error term) by Kruse and Price in 1969; a problem with their proof was pointed out by Knopfmacher in 1973. We also show that the number of isomorphism classes of finite commutative rings of order $p^n$ is $p^β$, where $β=\frac{2}{27}n^3+O(n^{5/2})$. This result was stated (again with a weaker error term) by Poonen in 2008, with a proof that relies on the problematic step in Kruse and Price's argument.
Site Percolation on Pseudo-Random Graphs
Published
• View Publication
• BIB
We consider vertex percolation on pseudo-random $d-$regular graphs. The previous study by the second author established the existence of phase transition from small components to a linear (in $\frac{n}{d}$) sized component, at $p=\frac{1}{d}$. In the supercritical regime, our main result recovers the sharp asymptotic of the size of the largest component, and shows that all other components are typically much smaller. Furthermore, we consider other typical properties of the largest component such as the number of edges, existence of a long cycle and expansion. In the subcritical regime, we strengthen the upper bound on the likely component size.
Injectively $k$-colored rooted forests
Published
• View Publication
• BIB
We enumerate injectively $k$-colored rooted forests with a given number of vertices of each color and a given sequence of root colors. We obtain from this result some new multi-parameter distributions of Fuss-Catalan numbers. As an additional application we enumerate triangulations of regular convex polygons according to their proper 3-coloring type.
Koszulity of dual braid monoid algebras via cluster complexes
Published in Annales Mathématiques Blaise Pascal 30(2) (2023), 141--188
• View Publication
• BIB
The dual braid monoid was introduced by Bessis in his work on complex reflection arrangements. The goal of this work is to show that Koszul duality provides a nice interplay between the dual braid monoid and the cluster complex introduced by Fomin and Zelevinsky. Firstly, we prove koszulity of the dual braid monoid algebra, by building explicitly the minimal free resolution of the ground field. This is done explicitly using some chains complexes defined in terms of the positive part of the cluster complex. Secondly, we derive various properties of the quadratic dual algebra. We show that it is naturally graded by the noncrossing partition lattice. We get an explicit basis, naturally indexed by positive faces of the cluster complex. Moreover, we find the structure constants via a geometric rule in terms of the cluster fan. Eventually, we realize this dual algebra as a quotient of a Nichols algebra. This latter fact makes a connection with results of Zhang, who used the same algebra to compute the homology of Milnor fibers of reflection arrangements.
On fractional version of oriented coloring
Published
• View Publication
• BIB
We introduce the fractional version of oriented coloring and initiate its study. We prove some basic results and study the parameter for directed cycles and sparse planar graphs. In particular, we show that for every $ε> 0$, there exists an integer $g_ε \geq 12$ such that any oriented planar graph having girth at least $g_ε$ has fractional oriented chromatic number at most $4+ε$. Whereas, it is known that there exists an oriented planar graph having girth at least $g_ε$ with oriented chromatic number equal to $5$. We also study the fractional oriented chromatic number of directed cycles and provide its exact value. Interestingly, the result depends on the prime divisors of the length of the directed cycle.
The number of $n$-queens configurations
Published
• View Publication
• BIB
The $n$-queens problem is to determine $\mathcal{Q}(n)$, the number of ways to place $n$ mutually non-threatening queens on an $n \times n$ board. We show that there exists a constant $α= 1.942 \pm 3 \times 10^{-3}$ such that $\mathcal{Q}(n) = ((1 \pm o(1))ne^{-α})^n$. The constant $α$ is characterized as the solution to a convex optimization problem in $\mathcal{P}([-1/2,1/2]^2)$, the space of Borel probability measures on the square.
The chief innovation is the introduction of limit objects for $n$-queens configurations, which we call queenons. These form a convex set in $\mathcal{P}([-1/2,1/2]^2)$. We define an entropy function that counts the number of $n$-queens configurations that approximate a given queenon. The upper bound uses the entropy method of Radhakrishnan and Linial--Luria. For the lower bound we describe a randomized algorithm that constructs a configuration near a prespecified queenon and whose entropy matches that found in the upper bound. The enumeration of $n$-queens configurations is then obtained by maximizing the (concave) entropy function in the space of queenons.
Along the way we prove a large deviations principle for $n$-queens configurations that can be used to study their typical structure.
On constructions and properties of self-dual generalized bent functions
Published
• View Publication
• BIB
Bent functions of the form $\mathbb{F}_2^n\rightarrow\mathbb{Z}_q$, where $q\geqslant2$ is a positive integer, are known as generalized bent (gbent) functions. Gbent functions for which it is possible to define a dual gbent function are called regular. A regular gbent function is said to be self-dual if it coincides with its dual. In this paper we explore self-dual gbent functions for even $q$. We consider several primary and secondary constructions of such functions. It is proved that the numbers of self-dual and anti-self dual gbent functions coincide. We give necessary and sufficient conditions for the self-duality of Maiorana--McFarland gbent functions and find Hamming and Lee distances spectrums between them. We find all self-dual gbent functions symmetric with respect to two variables and prove that self-dual gbent function can not be affine. The properties of sign functions of self-dual gbent functions are considered. Symmetries that preserve self-duality are also discussed.
Partitions of the complete hypergraph $K_6^3$ and a determinant like function
Published
• View Publication
• BIB
In this paper we introduce a determinant-like map $det^{S^3}$ and study some of its properties. For this we define a graded vector space $Λ^{S^3}_V$ that has similar properties with the exterior algebra $Λ_V$ and the exterior GSC-operad $Λ^{S^2}_V$ from \cite{sta2}. When $dim(V_2)=2$ we show that $dim_k(Λ^{S^3}_{V_2}[6])=1$ which gives the existence and uniqueness of $det^{S^3}$. We also give an explicit formula for $det^{S^3}$ as a sum over certain $2$-partitions of the complete hypergraph $K_6^3$.