Showing 20 papers (Total: 81756 papers, 47371 authors in database)
About universality of large deviation principles for conjugacy invariant permutations
We prove the universality of the large deviations for conjugacy invariant permutations with few cycles. As an application, we establish the universality of large deviation at speeds $n$ and $\sqrt{n}$ for the length of monotone subsequences in conjugacy invariant permutations, with a sharp control over the total number of cycles. This universality class includes the well-known Ewens measures.
On 2-bisections and monochromatic edges in claw-free cubic multigraphs
A $k$-bisection of a multigraph $G$ is a partition of its vertex set into two parts of the same cardinality such that every component of each part has at most $k$ vertices. Cui and Liu shown that every claw-free cubic multigraph contains a $2$-bisection, while Eom and Ozeki constructed specific $2$-bisections with bounded number of monochromatic edges. Their bound is the best possible for claw-free cubic simple graphs. In this note, we extend the latter result to the larger family of claw-free cubic multigraphs
Every Elementary Graph is Chromatic Choosable
Elementary graphs are graphs whose edges can be colored using two colors in such a way that the edges in any induced $P_3$ get distinct colors. They constitute a subclass of the class of claw-free perfect graphs. In this paper, we show that for any elementary graph, its list chromatic number and chromatic number are equal.
A large family of strongly regular graphs with small Weisfeiler-Leman dimension
Published
• View Publication
• BIB
In 2002, D. Fon-Der-Flaass constructed a prolific family of strongly regular graphs. In this paper, we prove that for infinitely many natural numbers $n$, this family contains $n^{Ω(n^{2/3})}$ strongly regular $n$-vertex graphs $X$ with the same parameters, which satisfy the following condition: an isomorphism between $X$ and any other graph can be verified by the $4$-dimensional Weisfeiler-Leman algorithm.
Lih Wang and Dittert Conjectures on Permanents
Let $Ω_n$ denote the set of all doubly stochastic matrices of order $n$. Lih and Wang conjectured that for $n\geq3$, per$(tJ_n+(1-t)A)\leq t $per$J_n+(1-t)$per$A$, for all $A\inΩ_n$ and all $t \in [0.5,1]$, where $J_n$ is the $n \times n$ matrix with each entry equal to $\frac{1}{n}$. This conjecture was proved partially for $n \leq 5$. \\ \indent Let $K_n$ denote the set of non-negative $n\times n$ matrices whose elements have sum $n$. Let $φ$ be a real valued function defined on $K_n$ by $φ(X)=\prod_{i=1}^{n}r_i+\prod_{j=1}^{n}c_j$ - per$X$ for $X\in K_n$ with row sum vector $(r_1,r_2,...r_n)$ and column sum vector $(c_1,c_2,...c_n)$. A matrix $A\in K_n$ is called a $φ$-maximizing matrix if $φ(A)\geq φ(X)$ for all $X\in K_n$. Dittert conjectured that $J_n$ is the unique $φ$-maximizing matrix on $K_n$. Sinkhorn proved the conjecture for $n=2$ and Hwang proved it for $n=3$. \\ \indent In this paper, we prove the Lih and Wang conjecture for $n=6$ and Dittert conjecture for $n=4$.
An overpartition analogue of Bressoud conjecture for even moduli
Published
• View Publication
• BIB
In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$. In this paper, we introduce a new partition function $\overline{B}_0$ which can be viewed as an overpartition analogue of the partition function $B_0$. An overpartition is a partition such that the last occurrence of a part can be overlined. We build a bijection to get a relationship between $\overline{B}_0$ and $B_1$, based on which an overpartition analogue of Bressoud's conjecture for $j=0$ is obtained.
Tree universality in positional games
Published in Combinator. Probab. Comp. 34 (2025) 338-358
• View Publication
• BIB
In this paper we consider positional games where the winning sets are tree universal graphs. Specifically, we show that in the unbiased Maker-Breaker game on the complete graph $K_n$, Maker has a strategy to occupy a graph which contains copies of all spanning trees with maximum degree at most $cn/\log(n)$, for a suitable constant $c$ and $n$ being large enough. We also prove an analogous result for Waiter-Client games. Both of our results show that the building player can play at least as good as suggested by the random graph intuition. Moreover, they improve on a special case of earlier results by Johannsen, Krivelevich, and Samotij as well as Han and Yang for Maker-Breaker games.
On the Divisibility of Degrees of Representations of Lie Algebras
Published
• View Publication
• BIB
Let $\mathfrak g$ be a reductive Lie algebra, and $m$ a positive integer. There is a natural density of irreducible representations of $\mathfrak g$, whose degrees are not divisible by $m$. For $\mathfrak g=\mathfrak{gl}_n$, this density decays exponentially to $0$ as $n \to \infty$. Similar results hold for simple Lie algebras and Lie groups, and there are versions for self-dual and orthogonal representations.
Dense, irregular, yet always graphic $3$-uniform hypergraph degree sequences
Published
• View Publication
• BIB
A $3$-uniform hypergraph is a generalization of simple graphs where each hyperedge is a subset of vertices of size $3$. The degree of a vertex in a hypergraph is the number of hyperedges incident with it. The degree sequence of a hypergraph is the sequence of the degrees of its vertices. The degree sequence problem for $3$-uniform hypergraphs is to decide if a $3$-uniform hypergraph exists with a prescribed degree sequence. Such a hypergraph is called a realization. Recently, Deza \emph{et al.} proved that the degree sequence problem for $3$-uniform hypergraphs is NP-complete. Some special cases are easy; however, polynomial algorithms have been known so far only for some very restricted degree sequences. The main result of our research is the following. If all degrees are between $\frac{2n^2}{63}+O(n)$ and $\frac{5n^2}{63}-O(n)$ in a degree sequence $D$, further, the number of vertices is at least $45$, and the degree sum can be divided by $3$, then $D$ has a $3$-uniform hypergraph realization. Our proof is constructive and in fact, it constructs a hypergraph realization in polynomial time for any degree sequence satisfying the properties mentioned above. To our knowledge, this is the first polynomial running time algorithm to construct a $3$-uniform hypergraph realization of a highly irregular and dense degree sequence.
Symmetric functions in noncommuting variables in superspace
Published
• View Publication
• BIB
In 2004, Rosas and Sagan developed the theory of symmetric functions in noncommuting variables, achieving results analogous to classical symmetric functions. On the other hand, in 2004, Desrosiers, Lapointe and Mathieu introduced the theory of symmetric functions in superspace, which involve both commuting and anticommuting variables, extending the classic theory. Here, we introduce symmetric functions in noncommuting variables in superspace. We define the classical symmetric functions in noncommuting variables to superspace: monomials, power sums, elementaries and complete homogeneous, which generalize both the ones studied by Rosas and Sagan and the ones studied by Desrosiers, Lapointe and Mathieu. We also define Schur--type functions in noncommuting variables in superspace.
Extremal graphs without long paths and a given graph
Published
• View Publication
• BIB
For a family of graphs $\mathcal{F}$, the Turán number $ex(n,\mathcal{F})$ is the maximum number of edges in an $n$-vertex graph containing no member of $\mathcal{F}$ as a subgraph. The maximum number of edges in an $n$-vertex connected graph containing no member of $\mathcal{F}$ as a subgraph is denoted by $ex_{conn}(n,\mathcal{F})$. Let $P_k$ be the path on $k$ vertices and $H$ be a graph with chromatic number more than $2$. Katona and Xiao [Extremal graphs without long paths and large cliques, European J. Combin., 2023 103807] posed the following conjecture: Suppose that the chromatic number of $H$ is more than $2$. Then $ex\big(n,\{H,P_k\}\big)=n\max\big\{\big\lfloor \frac{k}{2}\big\rfloor-1,\frac{ex(k-1,H)}{k-1}\big\}+O_k(1)$. In this paper, we determine the exact value of $ex_{conn}\big(n,\{P_k,H\}\big)$ for sufficiently large $n$. Moreover, we obtain asymptotical result for $ex\big(n,\{P_k,H\}\big)$, which solves the conjecture proposed by Katona and Xiao.
Categories of impartial rulegraphs and gamegraphs
The traditional mathematical model for an impartial combinatorial game is defined recursively as a set of the options of the game, where the options are games themselves. We propose a model called gamegraph, together with its generalization rulegraph, based on the natural description of a game as a digraph where the vertices are positions and the arrows represent possible moves. Such digraphs form a category where the morphisms are option preserving maps. We study several versions of this category. Our development includes congruence relations, quotients, and isomorphism theorems and is analogous to the corresponding notions in universal algebra. The quotient by the maximum congruence relation produces an object that is essentially equivalent to the traditional model. After the development of the general theory, we count the number of non-isomorphic gamegraphs and rulegraphs by formal birthday and the number of positions.
Edge-covering plane-filling curves on grid colorings: a pedestrian approach
We describe families of plane-filling curves on any edge-to-edge tiling of the plane with regular polygons and finitely many classes of edges. It is shown how to partition the minimal number of edge classes from the group G of symmetries of the tiling into refined colorings of the tiling, corresponding to finite subgroups of G. All of these colorings correspond to families of plane-filling curves which we call curve-sets. Our exposition is driven by illustrated examples.
Moments of the Poisson distribution of order $k$
The factorial moments of the standard Poisson distribution are well known and are simple, but the raw moments are considered to be more complicated (Touchard polynomials). The present note presents a recurrence relation and an explicit combinatorial sum for the raw moments of the Poisson distribution of order $k$. Unlike the standard Poisson distribution (the case $k=1$), for $k>1$ the structure of the raw and factorial moments have many similarities and the raw moments are not more complicated (formally, at least) than the factorial moments. We remark briefly on the central moments (i.e.~moments centered on the mean) of the Poisson distribution of order $k$.
Divisible minimal codes
Published
• View Publication
• BIB
Minimal codes are linear codes where all non-zero codewords are minimal, i.e., whose support is not properly contained in the support of another codeword. The minimum possible length of such a $k$-dimensional linear code over $\mathbb{F}_q$ is denoted by $m(k,q)$. Here we determine $m(7,2)$, $m(8,2)$, and $m(9,2)$, as well as full classifications of all codes attaining $m(k,2)$ for $k\le 7$ and those attaining $m(9,2)$. We give improved upper bounds for $m(k,2)$ for all $10\le k\le 17$. It turns out that in many cases the attaining extremal codes have the property that the weights of all codewords are divisible by some constant $Δ>1$. So, here we study the minimum lengths of minimal codes where we additionally assume that the weights of the codewords are divisible by $Δ$. As a byproduct we also give a few binary linear codes improving the best known lower bound for the minimum distance.
Equivariant Tutte Polynomial
Published in Discrete Comput. Geom. (2025)
• View Publication
• BIB
We use the equivariant cohomology ring of the permutohedral variety to study matroids and their invariants. Investigating the pushforward of matroid Chern classes defined by A. Berget, C. Eur, H. Spink and D. Tseng to the product space $\mathbb{P}^n \times \mathbb{P}^n$, we establish an equivariant generalization of the Tutte polynomial of a matroid. This was suggested in a survey paper by M.Michałek. We discuss how this polynomial encodes properties of the matroid by looking at special evaluations. We further introduce an equivariant generalization of the reduced characteristic polynomial of a matroid.
List majority edge-colorings of graphs
A majority edge-coloring of a graph without pendant edges is a coloring of its edges such that, for every vertex $v$ and every color $α$, there are at most as many edges incident to $v$ colored with $α$ as with all other colors. We extend some known results for finite graphs to infinite graphs, mostly in the list setting. In particular, we prove that every infinite graph without pendant edges has a majority edge-coloring from lists of size $4$. Another interesting result states that every infinite graph without vertices of finite odd degrees admits a majority edge-coloring from lists of size $2$. We formulate two conjectures. As a consequence of our results, we prove that line graphs of any cardinality admit majority vertex-colorings from lists of size 2, thus confirming the Unfriendly Partition Conjecture for line graphs.
The Hat Guessing Number of Cactus Graphs and Cycles
Published
• View Publication
• BIB
We study the hat guessing game on graphs. In this game, a player is placed on each vertex $v$ of a graph $G$ and assigned a colored hat from $h(v)$ possible colors. Each player makes a deterministic guess on their hat color based on the colors assigned to the players on neighboring vertices, and the players win if at least one player correctly guesses his assigned color. If there exists a strategy that ensures at least one player guesses correctly for every possible assignment of colors, the game defined by $\langle G,h\rangle$ is called winning. The hat guessing number of $G$ is the largest integer $q$ so that if $h(v)=q$ for all $v\in G$ then $\langle G,h\rangle$ is winning.
In this note, we determine whether $\langle G,h\rangle $ is winning for any $h$ whenever $G$ is a cycle, resolving a conjecture of Kokhas and Latyshev in the affirmative and extending it. We then use this result to determine the hat guessing number of every cactus graph, graphs in which every pair of cycles share at most one vertex.
A positional statistic for 1324-avoiding permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (November 4, 2024) dmtcs:12629
• View Publication
• BIB
We consider the class $S_n(1324)$ of permutations of size $n$ that avoid the pattern 1324 and examine the subset $S_n^{a\prec n}(1324)$ of elements for which $a\prec n\prec [a-1]$, $a\ge 1$. This notation means that, when written in one line notation, such a permutation must have $a$ to the left of $n$, and the elements of $\{1,\dots,a-1\}$ must all be to the right of $n$. For $n\ge 2$, we establish a connection between the subset of permutations in $S_n^{1\prec n}(1324)$ having the 1 adjacent to the $n$ (called primitives), and the set of 1324-avoiding dominoes with $n-2$ points. For $a\in\{1,2\}$, we introduce constructive algorithms and give formulas for the enumeration of $S_n^{a\prec n}(1324)$ by the position of $a$ relative to the position of $n$. For $a\ge 3$, we formulate some conjectures for the corresponding generating functions.
A unified continuous greedy algorithm for $k$-submodular maximization under a down-monotone constraint
A $k$-submodular function is a generalization of the submodular set function. Many practical applications can be modeled as maximizing a $k$-submodular function, such as multi-cooperative games, sensor placement with $k$ type sensors, influence maximization with $k$ topics, and feature selection with $k$ partitions. In this paper, we provide a unified continuous greedy algorithm for $k$-submodular maximization problem under a down-monotone constraint. Our technique involves relaxing the discrete variables in a continuous space by using the multilinear extension of $k$-submodular function to find a fractional solution, and then rounding it to obtain the feasible solution. Our proposed algorithm runs in polynomial time and can be applied to both the non-monotone and monotone cases. When the objective function is non-monotone, our algorithm achieves an approximation ratio of $(1/e-o(1))$; for a monotone $k$-submodular objective function, it achieves an approximation ratio of $(1-1/e-o(1))$.