Showing 20 papers (Total: 84253 papers, 48533 authors in database)
The horizon of 2-dichromatic oriented graphs
The dichromatic number of a directed graph is at most 2, if we can 2-color the vertices such that each monochromatic part is acyclic. An oriented graph arises from a graph by orienting its edges in one of the two possible directions. We study oriented graphs, which have dichromatic number more than 2. Such a graph $D$ is $3$-dicritical if the removal of any arc of $D$ reduces the dichromatic number to 2. We construct infinitely many $3$-dicritical oriented graphs. Neumann-Lara found the four $7$-vertex $3$-dichromatic tournaments. We determine the $8$-vertex $3$-dichromatic tournaments, which do not contain any of these, there are $64$ of them. We also find all $3$-dicritical oriented graphs on $8$ vertices, there are $159$ of them. We determine the smallest number of arcs that a $3$-dicritical oriented graph can have. There is a unique oriented graph with $7$ vertices and $20$ arcs.
On nearly free arrangements of lines with nodes and triple points
Published
• View Publication
• BIB
We provide a classification result on nearly free arrangements of lines in the complex projective plane with nodes and triple points.
Homological properties of 0-Hecke modules for dual immaculate quasisymmetric functions
Published
• View Publication
• BIB
Let $n$ be a nonnegative integer. For each composition $α$ of $n$, Berg $\textit{et al.}$ introduced a cyclic indecomposable $H_n(0)$-module $\mathcal{V}_α$ with a dual immaculate quasisymmetric function as the image of the quasisymmetric characteristic. In this paper, we study $\mathcal{V}_α$'s from the homological viewpoint. To be precise, we construct a minimal projective presentation of $\mathcal{V}_α$ and a minimal injective presentation of $\mathcal{V}_α$ as well. Using them, we compute ${\rm Ext}^1_{H_n(0)}(\mathcal{V}_α, {\bf F}_β)$ and ${\rm Ext}^1_{H_n(0)}( {\bf F}_β, \mathcal{V}_α)$, where ${\bf F}_β$ is the simple $H_n(0)$-module attached to a composition $β$ of $n$. We also compute ${\rm Ext}_{H_n(0)}^i(\mathcal{V}_α,\mathcal{V}_β)$ when $i=0,1$ and $β\le_l α$, where $\le_l$ represents the lexicographic order on compositions.
On Two Families of Generalizations of Pascal's Triangle
Published in Journal of Integer Sequences 25(7) Article 22.7.1 (2022)
• Search Publication
We consider two families of Pascal-like triangles that have all ones on the left side and ones separated by $m-1$ zeros on the right side. The $m=1$ cases are Pascal's triangle and the two families also coincide when $m=2$. Members of the first family obey Pascal's recurrence everywhere inside the triangle. We show that the $m$-th triangle can also be obtained by reversing the elements up to and including the main diagonal in each row of the $(1/(1-x^m),x/(1-x))$ Riordan array. Properties of this family of triangles can be obtained quickly as a result. The $(n,k)$-th entry in the $m$-th member of the second family of triangles is the number of tilings of an $(n+k)\times1$ board that use $k$ $(1,m-1)$-fences and $n-k$ unit squares. A $(1,g)$-fence is composed of two unit square sub-tiles separated by a gap of width $g$. We show that the entries in the antidiagonals of these triangles are coefficients of products of powers of two consecutive Fibonacci polynomials and give a bijective proof that these coefficients give the number of $k$-subsets of $\{1,2,\ldots,n-m\}$ such that no two elements of a subset differ by $m$. Other properties of the second family of triangles are also obtained via a combinatorial approach. Finally, we give necessary and sufficient conditions for any Pascal-like triangle (or its row-reversed version) derived from tiling $(n\times1)$-boards to be a Riordan array.
An infinitary Zero sum theorem
Erdős-Ginzburg-Ziv theorem says that if there are 2n-1 number is given, then there are n numbers such that their sum is divided by n. We will connect this theorem with the Ramsey theoretic large sets and will prove an infinitary version of this theorem. In our proof we will use the methods of ultrafilters. But one may proceed using methods of Topological dynamics.
Facets of Symmetric Edge Polytopes for Graphs with Few Edges
Symmetric edge polytopes, also called adjacency polytopes, are lattice polytopes determined by simple undirected graphs. We introduce the integer array \(\mathrm{maxf}(n,m)\) giving the maximum number of facets of a symmetric edge polytope for a connected graph having \(n\) vertices and \(m\) edges, and the corresponding sequence \(\mathrm{minf}(n,m)\) of minimal values. We establish formulas for the number of facets obtained in several classes of sparse graphs and provide partial progress toward conjectures that identify facet-maximizing graphs in these classes. These formulas are combinatorial in nature and lead to independently interesting observations and conjectures regarding integer sequences defined by sums of products of binomial coefficients.
Perverse sheaves, nilpotent Hessenberg varieties, and the modular law
Published in Pure and Applied Mathematics Quarterly, Vol. 21, Issue 1 (2025), pp. 495-540
• View Publication
• BIB
We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This leads to several implications for the dual picture, where we consider maps that generalize the Grothendieck-Springer resolution of the whole Lie algebra. In particular we are able to prove a conjecture of Brosnan.
As we vary the maps, the cohomology of the corresponding nilpotent Hessenberg varieties often satisfy a relation we call the geometric modular law, which also has origins in the work on De Concini, Lusztig, and Procesi. We connect this relation in type $A$ with a combinatorial modular law defined by Guay-Paquet that is satisfied by certain symmetric functions and deduce some consequences of that connection.
On Generators and Relations of the Rational Cohomology of Hilbert Schemes
Published in J. Algebr. Comb. 57 (2023), 829-857
• View Publication
• BIB
We consider for $d\geq 1$ the graded commutative $\mathbb{Q}$-algebra $\mathcal{A}(d):=H^*(\operatorname{Hilb}^d(\mathbb{C}^2);\mathbb{Q})$, which is also connected to the study of generalised Hurwitz spaces by work of the first author. These Hurwitz spaces are in turn related to the moduli spaces of Riemann surfaces with boundary. We determine two distinct, minimal sets of $\lfloor d/2\rfloor$ multiplicative generators of $\mathcal{A}(d)$. Additionally, we prove when the lowest degree generating relations occur. For small values of $d$ we also determine a minimal set of generating relations, which leads to several conjectures about the necessary generating relations for $\mathcal{A}(d)$.
A Note on the Relation between Recognisable Series and Regular Sequences, and their Minimal Linear Representations
Published in J. Symbolic Comput. 123 (2024), Paper No. 102295, 9 pp
• View Publication
• BIB
In this note, we precisely elaborate the connection between recognisable series (in the sense of Berstel and Reutenauer) and $q$-regular sequences (in the sense of Allouche and Shallit) via their linear representations. In particular, we show that the minimisation algorithm for recognisable series can also be used to minimise linear representations of $q$-regular sequences.
Non-adaptive and two-stage coding over the Z-channel
Published
• View Publication
• BIB
In this paper, we developed new coding strategies for the Z-channel. In particular, we look at the case with two-stage encoding. In this case, the encoder uses noiseless feedback once and adjusts the further encoding strategy based on the previous partial output of the channel. Nevertheless, the developed codes improve the known results with full feedback for small length and 1 error. A tool for the two-stage strategy is the development of a new optimality condition for non-adaptive codes.
On the automorphism groups of Lunardon-Polverino scattered linear sets
Published
• View Publication
• BIB
Lunardon and Polverino introduced in 2001 a new family of maximum scattered linear sets in $\mathrm{PG}(1,q^n)$ to construct linear minimal Rédei blocking sets. This family has been extended first by Lavrauw, Marino, Trombetti and Polverino in 2015 and then by Sheekey in 2016 in two different contexts (semifields and rank metric codes). These linear sets are called Lunardon-Polverino linear sets and this paper aims to determine their automorphism groups, to solve the equivalence issue among Lunardon-Polverino linear sets and to establish the number of inequivalent linear sets of this family. We then elaborate on this number, providing explicit bounds and determining its asymptotics.
Minimally non-Golod face rings and Massey products
Published in Uspekhi Mat. Nauk 77 (2022), no. 4, 203-204
• View Publication
• BIB
We give a correct statement and a complete proof of the criterion obtained by Grbić, Panov, Theriault and Wu for the face ring $\Bbbk[K]$ of a simplicial complex $K$ to be Golod over a field $\Bbbk$. (The original argument depended on the main result of a paper by Berglund and Jöllenbeck, which was shown to be false by Katthän.) We also construct an example of a minimally non-Golod complex $K$ such that the cohomology of the corresponding moment-angle complex $\mathcal Z_K$ has trivial cup product and a non-trivial triple Massey product.
A reciprocity on finite abelian groups involving zero-sum sequences II
Let $G$ be a finite abelian group. For any positive integers $d$ and $m$, let $\varphi_G(d)$ be the number of elements in $G$ of order $d$ and $\mathsf M(G,m)$ be the set of all zero-sum sequences of length $m$. In this paper, for any finite abelian group $H$, we prove that $$|\mathsf M(G,|H|)|=|\mathsf M(H,|G|)|$$ if and only if $\varphi_G(d)=\varphi_H(d)$ for any $d|(|G|,|H|)$. We also consider an extension of this result to non-abelian groups in terms of invariant theory.
Counting lattice triangulations: Fredholm equations in combinatorics
Published in Sbornik: Mathematics, 213 (2022), 1530-1558
• View Publication
• BIB
Let $f(m,n)$ be the number of primitive lattice triangulations of $m\times n$ rectangle. We compute the limits $\lim_n f(m,n)^{1/n}$ for $m=2$ and $3$. For $m=2$ we obtain the exact value of the limit which is equal to $(611+\sqrt{73})/36$. For $m=3$, we express the limit in terms of certain Fredholm's integral equation on generating functions. This provides a polynomial time algorithm for computation of the limit with any given precision (polynomial with respect the the number of computed digits).
Another view of Bipartite Ramsey numbers
For bipartite graphs $G$ and $H$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(G, H)$ of $G$ and $H$ is the smallest integer $n$, such that every red-blue coloring of $K_{m,n}$ results in a red $G$ or a blue $H$. Zhenming Bi, Gary Chartrand and Ping Zhang in \cite{bi2018another} evaluate this numbers for all positive integers $m$ when $G= K_{2,2}$ and $H \in \{K_{2,3}, K_{3,3}\}$, especially in a long and hard argument they showed that $BR_5(K_{2,2}, K_{3,3}) = BR_6(K_{2,2}, K_{3,3}) = 12$ and $BR_7(K_{2,2}, K_{3,3}) = BR_8(K_{2,2}, K_{3,3}) = 9$. In this article, by a short and easy argument we determine the exact value of $BR_m(K_{2,2}, K_{3,3})$ for each $m\geq 1$.
Extremal results on stepwise transmission irregular graphs
Published
• View Publication
• BIB
The transmission ${\rm Tr}_G(v)$ of a vertex $v$ of a connected graph $G$ is the sum of distances between $v$ and all other vertices in $G$. $G$ is a stepwise transmission irregular (STI) graph if $|{\rm Tr}_G(u) - {\rm Tr}_G(v)| =1$ holds for each edge $uv \in E(G)$. In this paper, extremal results on STI graphs with respect to the size and different metric properties are proved. Two extremal families appear in all the cases, balanced complete bipartite graphs of odd order and the so called odd hatted cycles.
The Gini Index in Algebraic Combinatorics and Representation Theory
The Gini index is a number that attempts to measure how equitably a resource is distributed throughout a population, and is commonly used in economics as a measurement of inequality of wealth or income. The Gini index is often defined as the area between the "Lorenz curve" of a distribution and the line of equality, normalized to be between zero and one. In this fashion, we will define a Gini index on the set of integer partitions and prove some combinatorial results related to it; culminating in the proof of an identity for the expected value of the Gini index. We will then discuss symmetric polynomials, and show that the Gini index can be understood as the degrees of certain Kostka-foulkes polynomials. This identification yields a generalization whereby we may define a Gini index on the irreducible representations of a complex reflection group, or connected reductive linear algebraic group.
General 2-path Problem
In this paper, some preliminaries about signal flow graph, linear time-invariant system on F(z) and computational complexity are first introduced in detail. In order to synthesize the necessary and sufficient condition on F(z) for a general 2-path problem, the sufficient condition on F(z) or R and necessary conditions on F(z) for a general 2-path problem are secondly analyzed respectively. Moreover, an equivalent sufficient and necessary condition on R whether there exists a general 2-path is deduced in detail. Finally, the computational complexity of the algorithm for this equivalent sufficient and necessary condition is introduced so that it means that the general 2-path problem is a P problem.
On Graphs of Sets of Reduced Words
Published
• View Publication
• BIB
Any permutation in the finite symmetric group can be written as a product of simple transpositions $s_i = (i~i+1)$. For a fixed permutation $σ\in \mathfrak{S}_n$ the products of minimal length are called reduced decompositions or reduced words, and the collection of all such reduced words is denoted $\mathcal{R}(σ)$. Any reduced word of $σ$ can be transformed into any other by a sequence of commutation moves or long braid moves. One area of interest in these sets are the congruence classes defined by using only braid or only commutation relations. The set $\mathcal{R}(σ)$ can be drawn as a graph, $G(σ)$, where the vertices are the reduced words, and the edges denote the presence of a commutation or braid move between the words. This paper presents new work on subgraph structures in $G(σ)$, as well as new formulas to count the number of braid edges and commutation edges in $G(σ)$. We also include work on bounds for the number of braid and commutation classes in $\mathcal{R}(σ)$.
Robinson-Schensted Algorithms Obtained from Tableau Recursions
The numbers $f_λ$ of standard tableaux of shape $λ\vdash n$ satisfy 2 fundamental recursions: $f_λ= \sum f_{λ^-}$ and $(n + 1)f_λ=\sum f_{λ^+}$, where $λ^-$ and $λ^+$ run over all shapes obtained from $λ$ by adding or removing a square respectively. The first of these recursions is trivial; the second can be proven algebraically from the first. These recursions together imply algebraically the dimension formula $n! =\sum f_λ^2$ for the irreducible representations of $S_n$. We show that a combinatorial analysis of this classical algebraic argument produces an infinite family of algorithms, among which are the classical Robinson-Schensted row and column insertion algorithms. Each of our algorithms yields a bijective proof of the dimension formula.