Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Universal series for dihedral group coinvariant rings
In 1994, Alfano determined a monomial basis, bigraded Hilbert series, and bigraded Frobenius series for the ring of diagonal dihedral group coinvariants $R^{(2,0)}_{\mathfrak{I}_{2}(n)}$. Using diagonal supersymmetry, we determine a universal multigraded character series, universal multigraded Hilbert series, and monomial basis for the generalization to any $k$ sets of bosonic variables and $j$ sets of fermionic variables $R^{(k,j)}_{\mathfrak{I}_{2}(n)}$.
Incidence of lines, points, and planes in $PG(3,q)$ with respect to the twisted cubic
We consider the orbits of the group $G=PGL_2(q)$ on the points, lines and planes of the projective space $PG(3,q)$ over a finite field $\mathbb F_q$ of characteristic different from $2$ and $3$. The points of $PG(3,q)$ can be identified with projective space of binary cubic forms, and the set $\mathcal L$ of lines of $PG(3,q)$ can be thought of as pencils of cubic forms. The action of $G$ on $PG(1,q)$ naturally induces an action of $G$ on binary cubic forms $f(X,Y)$. The points of $PG(3, q)$ decompose into five $G$ orbits. The $G$ orbits on $\mathcal L$ were recently obtained by the authors. Let $\mathcal I$ be the subset of $\mathcal L \times PG(3,q)$ consisting of pairs $(L,P)$ where $L$ is a line incident with the point $P$. The decomposition of $\mathcal L \times PG(3,q)$ into $G \times G$ orbits yields a partition of $\mathcal I$. The problem that we solve in this work is to determine the sizes of the corresponding parts of $\mathcal I$.
Entropy approximations of algebraic matroids over finite fields
We investigate the asymptotic behavior of entropy polymatroids associated with algebraic matroids over finite fields. Given an algebraic matroid ${\sf M}:=(\mathcal{E},r)$ and the irreducible variety $V$ associated with ${\sf M}$, we consider the polymatroid $h_{\mathbb{F}}$ induced by the entropies of the projections of $V(\mathbb{F})$, where $\mathbb{F}$ is a finite extension of $\mathbb{G}$. Revisiting a construction of Matú$\check{\mathrm{s}}$, we show that the polymatroid $h_{\mathbb{F}}$ converges to the rank function $r$ of ${\sf M}$ as $q:=|\mathbb{F}|$ tends to infinity.
Our main contribution is to make this convergence quantitative: we derive explicit uniform error bounds for the deviation $|h_\mathbb{F}-r|$, expressed in terms of the degree of $V$, the ground set size $|\mathcal{E}|$, the rank $r(\mathcal{E})$, and $q$. The proofs combine tools of algebraic geometry (effective Lang-Weil estimates and intrinsic degree bounds for annihilating polynomials of circuits) with information-theoretic arguments (submodularity of entropy and conditional entropy estimates).
These results provide the first effective and uniform approximation bounds for algebraic matroids by entropy polymatroids, clarifying the quantitative link between algebraic independence (captured by matroid rank) and information-theoretic independence (captured by entropy).
Diameter bounds for finite simple Lie algebras
We prove strong and explicit diameter bounds for finite simple Lie algebras, which parallel Babai's conjecture for finite simple groups. Specifically, we show that any nonabelian finite simple Lie algebra $\mathfrak{g}$ over $\mathbf{F}_p$ has diameter $O((\log |\mathfrak{g}|)^D)$ for $D \approx 3.11$ with respect to any generating set. For absolutely simple classical Lie algebras over $\mathbf{F}_p$, we establish the sharper bound $O(\log |\mathfrak{g}|)$ when the Lie type is fixed and the generators are chosen uniformly at random.
Global coalition sets in graphs
Let $G=(V,E)$ be a graph. A subset $S \subseteq V$ is called a global dominating set of $G$, if it serves as a dominating set in both $G$ and its complement $\overline{G}$. We define two disjoint subsets $V_1,V_2 \subseteq V$ to form a global coalition if neither $V_1$ nor $V_2$ individually constitutes a global dominating set, yet their union $V_1 \cup V_2$ does. A global coalition partition (abbreviated as $gc$-partition) of $G$ is a vertex partition $π$ of $V(G)$ such that for every subset $V_i \in π$, there exists another subset $V_j \in π$ with which $V_i$ forms a global coalition. In this paper, we initiate the study of global coalition in graphs. Specifically, we prove that every graph admits a gc-partition. Additionally, we establish an upper bound on the number of global coalitions in which each member of a gc-partition can participate. We also explore the relationships between global coalition and coalition, as well as between global coalition and perfect coalition in graphs. Finally, we explore properties of $gc$-partitions in unicyclic graphs.
The nucleus of the Grassmann graph $J_q(N,D)$
Let $\mathbb{F}_q$ denote a finite field with $q$ elements. Let $N$ and $D$ denote integers with $N>D \ge 1$. Let $\mathcal{V}$ denote an $N$-dimensional vector space over $\mathbb{F}_q$. The Grassmann graph $J_q(N,D)$ is the graph with vertex set $X$ that consists of the $D$-dimensional subspaces of $\mathcal{V}$. Two vertices are adjacent whenever their intersection has dimension $D-1$. Fix a vertex $x$ in $X$. The Terwilliger algebra $T=T(x)$ of $J_q(N,D)$ with respect to $x$ is the subalgebra of $\mathrm{Mat}_X(\mathbb{C})$ generated by the adjacency matrix $A$ and the dual adjacency matrix $A^* = A^*(x)$. It is known that an irreducible $T$-module $W$ has certain parameters called the endpoint $r$, the dual endpoint $t$, and the diameter $d$. The displacement of $W$ is defined to be the integer $r+t-D+d$. Let $\mathcal{N}=\mathcal{N}(x)$ denote the span of all irreducible $T$-modules with displacement 0. We call $\mathcal{N}$ the nucleus of $J_q(N,D)$ with respect to $x$. In this paper, we study the structure of $\mathcal{N}$. Specifically, we present a formula for the dimension of $\mathcal{N}$, construct two explicit bases for $\mathcal{N}$, and describe the action of $A$ and $A^*$ on these bases. To obtain these results, we use the projective geometry $P_q(N)$, consisting of all subspaces of $\mathcal{V}$, as a key tool.
On the existence of directed strongly regular graphs with parameters (22, 9, 6, 3, 4)
Published in Prikladnaya Diskretnaya Matematika, 2024, no. 66, 86-96
• View Publication
• BIB
The paper shows the existence of a family of directed strongly regular graphs with parameters (22, 9, 6, 3, 4). The adjacency matrices of the found digraphs are composed of $3\times 3$ circulant blocks. The automorphism group of all the digraphs found is the group $\mathbb{Z}_3$. The structure of the resulting digraphs is described using concepts of skeleton and rigging.
Linear recoloring diameter of degenerate chordal graphs and bounded treewidth graphs
Let $G$ be a graph on $n$ vertices and $t$ an integer. The reconfiguration graph of $G$, denoted by $R_t(G)$, consists of all $t$-colorings of $G$ and two $t$-colorings are adjacent if they differ on exactly one vertex. The $t$-recoloring diameter of $G$ is the diameter of $R_t(G)$. For a $d$-degenerate graph $G$, $R_t(G)$ is connected when $t \ge d+2$~(Dyer et al., 2006). Furthermore, the $t$-recoloring diameter is $O(n^2)$ when $t \ge 3(d+1)/2$~(Bousquet et al., 2022), and it is $O(n)$ when $t \ge 2d+2$~(Bousquet and Perarnau, 2016). For a $d$-degenerate and chordal graph $G$, the $t$-recoloring diameter of $G$ is $O(n^2)$ when $t \ge d+2$~(Bonamy et al. 2014). If $G$ is a graph of treewidth at most $k$, then $G$ is also $k$-degenerate, and the previous results hold. Moreover, when $t \ge k+2$, the $t$-recoloring diameter is $O(n^2)$~(Bonamy and Bousquet, 2013). When $k=2$, the $t$-recoloring diameter of $G$ is linear when $t \ge 5$~(Bartier, Bousquet and Heinrich, 2021) and the result is tight. In this paper, we prove that if $G$ is $d$-degenerate and chordal, then the $t$-recoloring diameter of $G$ is $O(n)$ when $t \ge 2d+1$. Moreover, if the treewidth of $G$ is at most $k$, then the $t$-recoloring diameter is $O(n)$ when $t \ge 2k+1$. This result is a generalization of the previous results on graphs of treewidth at most two.
Tree-independence number VI. Thetas and pyramids
Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Let $W_{t\times t}$ be the $t$-by-$t$ hexagonal grid and let $\mathcal{L}_t$ be the family of all graphs $G$ such that $G$ is the line graph of some subdivision of $W_{t \times t}$. We denote by $ω(G)$ the size of the largest clique in $G$. We prove that for every integer $t$ there exist integers $c_1(t)$, $c_2(t)$ and $d(t)$ such that every (pyramid, theta, $\mathcal{L}_t$)-free graph $G$ satisfies: i) $G$ has a tree decomposition where every bag has size at most $ω(G)^{c_1(t)} \log (|V(G)|)$. ii) If $G$ has at least two vertices, then $G$ has a tree decomposition where every bag has independence number at most $\log^{c_2(t)} (|V(G)|)$. iii) For any weight function, $G$ has a balanced separator that is contained in the union of the neighborhoods of at most $d(t)$ vertices. These results qualitatively generalize the main theorems of Abrishami et al. (2022) and Chudnovsky et al. (2024). Additionally, we show that there exist integers $c_3(t), c_4(t)$ such that for every (theta, pyramid)-free graph $G$ and for every non-adjacent pair of vertices $a,b \in V(G)$, i) $a$ can be separated from $b$ by removing at most $w(G)^{c_3(t)}\log(|V(G)|)$ vertices. ii) $a$ can be separated from $b$ by removing a set of vertices with independence number at most $\log^{c_4(t)}(|V(G)|)$.
Counting induced subgraphs with given intersection sizes
Let $F$ be a graph of order $r$. In this paper, we study the maximum number of induced copies of $F$ with restricted intersections, which highlights the motivation from extremal set theory. Let $L=\{\ell_1,\dots,\ell_s\}\subseteq[0,r-1]$ be an integer set with $s\not\in\{1,r\}$. Let $Ψ_r(n,F,L)$ be the maximum number of induced copies of $F$ in an $n$-vertex graph, where the induced copies of $F$ are $L$-intersecting as a family of $r$-subsets, i.e., for any two induced copies of $F$, the size of their intersection is in $L$. Helliar and Liu initiated a study of the function $Ψ_r(n,K_r,L)$. Very recently, Zhao and Zhang improved their result and showed that $Ψ_r(n,K_r,L)=Θ_{r,L}(n^{s})$ if and only if $\ell_1,\dots,\ell_s,r$ form an arithmetic progression. In this paper, we show that $Ψ_r(n,F,L)=o_{r,L}(n^{s})$ when $\ell_1,\dots,\ell_s,r$ do not form an arithmetic progression. We study the asymptotical result of $Ψ_r(n,C_r,L)$, and determined the asymptotically optimal result when $\ell_1,\dots,\ell_s,r$ form an arithmetic progression and take certain values. We also study the generalized Turán problem, determining the maximum number of $H$, where the copies of $H$ are $L$-intersecting as a family of $r$-subsets. The entropy method is used to prove our results.
Colorful circuits and colorful topes in oriented matroids
We provide a short proof of a conic version of the colorful Carathéodory theorem for oriented matroids. Holmsen's extension of the colorful Carathéodory theorem to oriented matroids (Advances in Mathematics, 2016) already encompasses several generalizations of the original result, but not its conic version. Our approach relies on a common generalization of Sperner's lemma and Meshulam's lemma-two closely related results from combinatorial topology that have found a number of applications in discrete geometry and combinatorics. This generalization may be of independent interest.
Using a similar approach, we also establish the following colorful theorem for topes, whose special geometric case had not been considered before: Given $n$ topes from a uniform oriented matroid with $n$ elements, if they agree on some element, then there is a way to select a distinct element from each tope, together with its sign, so as to form another tope of the oriented matroid. Motivated by this theorem, we further explore other conditions leading to the same conclusion.
Computing fault-tolerant metric dimension of graphs using their primary subgraphs
The metric dimension of a graph is the cardinality of a minimum resolving set, which is the set of vertices such that the distance representations of every vertex with respect to that set are unique. A fault-tolerant metric basis is a resolving set with a minimum cardinality that continues to resolve the graph even after the removal of any one of its vertices. The fault-tolerant metric dimension is the cardinality of such a fault-tolerant metric basis. In this article, we investigate the fault-tolerant metric dimension of graphs formed through the point-attaching process of primary subgraphs. This process involves connecting smaller subgraphs to specific vertices of a base graph, resulting in a more complex structure. By analyzing the distance properties and connectivity patterns, we establish explicit formulae for the fault-tolerant resolving sets of these composite graphs. Furthermore, we extend our results to specific graph products, such as rooted products. For these products, we determine the fault-tolerant metric dimension in terms of the fault-tolerant metric dimension of the primary subgraphs. Our findings demonstrate how the fault-tolerant dimension is influenced by the structural characteristics of the primary subgraphs and the attaching vertices. These results have potential applications in network design, error correction, and distributed systems, where robustness against vertex failures is crucial.
4-uniform Maker-Breaker and Maker-Maker games are PSPACE-complete
We study two positional games where two players take turns picking a previously unpicked vertex of a hypergraph $H$. We say a player fills an edge of $H$ if that player has picked all the vertices of that edge. In the Maker-Maker game, whoever first fills an edge wins, or we get a draw if no edge is filled. In the Maker-Breaker game, the first player aims at filling an edge while the second player aims at preventing the first player from filling an edge. We show that, for both games, deciding whether the first player has a winning strategy is a PSPACE-complete problem even when restricted to 4-uniform hypergraphs. For the Maker-Maker game, this improves on a previous result for hypergraphs of rank 4. For the Maker-Breaker game, this improves on a previous result for 5-uniform hypergraphs, and closes the complexity gap as the problem for hypergraphs of rank 3 is known to be solvable in polynomial time.
To cover a permutohedron
The permutohedron $P_n$ of order $n$ is a polytope embedded in $\mathbb{R}^n$ whose vertex coordinates are permutations of the first $n$ natural numbers. It is obvious that $P_n$ lies on the hyperplane $H_n$ consisting of points whose coordinates sum up to $n(n+1)/2$. We prove that if the vertices of $P_n$ are contained in the union of $m$ affine hyperplanes different from $H_n$, then $m\geq n$ when $n \geq 3$ is odd, and $m \geq n-1$ when $n \geq 4$ is even. This confirms a recent conjecture of Hegedüs and Károlyi. Our proof gives an algebraic criterion for a non-standard permutohedron generated by $n$ distinct real numbers to require at least $n$ non-trivial hyperplanes to cover its vertices.
Generalized $f$-Eulerian polynomials: zeros and hypergeometric representations with applications
In this paper, we explore (slightly generalized) $f$-Eulerian polynomials introduced by Stanley and frequently appearing in combinatorics. Notable special cases include the classical Eulerian polynomials, the generating polynomials of order polynomials for certain labeled posets, and the $d$-Narayana polynomials. We establish simple sufficient conditions for the reality (and sign) of their zeros and present implications for total positivity of sequences generated by values of polynomials at integers. We further relate these polynomials to generalized Euler's transformations for the generalized hypergeometric functions with integral parameter differences. Exploiting this and other hypergeometric connections, we provide purely hypergeometric proofs for various known and some new properties of $d$-Narayana polynomials. Another family encompassed by our definition of the generalized $f$-Eulerian polynomials is that of Jacobi-Piñeiro type II multiple orthogonal polynomials. Their zero location can thus be analyzed, for both canonical and non-canonical parameter values, without invoking orthogonality. Finally, we present several connection formulas relating $d$-Narayana polynomials to particular Jacobi-Piñeiro polynomials.
A sphere of spherical objects
Given a Bridgeland stability condition on a 2-Calabi--Yau category, we define a simplicial complex that encodes the Harder--Narasimhan filtrations of spherical objects. For 2-Calabi--Yau categories of type A, we relate this complex to the complex of pointed pseudo-triangulations on configurations of points on the plane. Using this connection, we prove that the complex undergoes piecewise-linear wall-crossings as we vary the stability condition, and is piecewise-linearly homeomorphic to a sphere.
Additionally, we prove that for a generic stability condition on a 2-Calabi--Yau category, a spherical object is determined by the ordered list of its Harder--Narasimhan factors.
Single conflict coloring, adaptable choosability and separation choosability
We study relations between three interrelated notions of graph (list) coloring: single conflict coloring, adapted list coloring and choosability with separation (with $1$ overlapping color between lists of adjacent vertices), and their respective invariants single conflict chromatic number $χ_{\nleftrightarrow}$, adaptable choosability $ch_{ad}$ and separation choosability $ch_{sep}$. We investigate graphs with small values of these invariants, and construct explicit families of graphs $G$ with $χ_{\nleftrightarrow}(G) = ch_{ad}(G) > ch_{sep}(G)$, as well as where all three invariants are equal. Furthermore, we consider planar graphs and investigate for which triples $(a,b,c)$, there is a planar graph $G$ with $(ch_{sep}(G), ch_{ad}(G), χ_{\nleftrightarrow}(G)) = (a,b,c)$. Throughout the paper we pose many questions on these graph coloring parameters, and discuss connections to related coloring invariants such as adapted coloring.
Frozen-corner enumeration of Alternating Sign Matrices
An Alternating Sign Matrix (ASM) is a square matrix with entries in $\{0,1,-1\}$, and such that: $i)$ in each row and columns, nonzero entries alternate in sign; $ii)$ for any given row or column, entries sum up to 1. We define the frozen-square enumeration as the enumeration of $n\times n$ ASMs under the refinement of having, located in a corner, an $s\times s$ square of entries that are all zeroes. We state a conjectural formula for such enumeration, in terms of a Fredholm type determinant of some $s\times s$ matrix whose entries are given explicitely. We provide numerical support in favour of our conjecture. We also illustrate the relevance of the conjectured formula in connection with the limit shape observed in large ASMs, its fluctuations, and the Tracy--Widom distribution.
Semi-simple partition algebras as centralizers of representations for rook monoids
Let $\mathcal{P}_k(δ)$, where $k$ is a positive integer and $δ$ some complex parameter, be the classical partition algebra over the complex numbers. In the case when $δ=n$, it is well-known that the algebra $\mathcal{P}_k(δ)$ is the centralizer of the symmetric group $S_n$ acting on the $k$-fold tensor space of the natural representation of $S_n$, for $n\geq 2k$. The algebra $\mathcal{P}_k(δ)$ is semi-simple for generic values of $δ$. In this paper, we show that semi-simple partition algebras appear as the centralizer algebras for certain representations of the rook monoids given by an iterative restriction-induction of the trivial representation. Along the way, we also give a decomposition of this iterative representation of the rook monoid into various tensor spaces and show that the corresponding dimensions are given by generalized Bell numbers.
Monochromatic 4-AP avoidance in 2-colorings of Z/pZ for primes p >= 5 and a computation of W_c(4,2)
We study 2-colorings of Z/pZ that avoid monochromatic 4-term arithmetic progressions for every step d with p not dividing d. We prove a complete classification for primes: such a coloring exists if and only if p is in {5, 7, 11}. When solutions exist, the minimal period equals p, and we enumerate them up to dihedral symmetries and a global color swap. Nonexistence for all other primes combines DRAT-verified UNSAT certificates for 13 ≤ p ≤ 997 with a cyclic van der Waerden corollary that forces nonexistence for every prime p ≥ 34. Using the same SAT/DRAT pipeline on composite moduli (restricted to non-degenerate windows), we certify the exact cyclic van der Waerden value W_c(4,2) = 34: we find a witness at M = 33 and produce a DRAT-verified UNSAT certificate at M = 34. For all M ≥ 35 the bound W_c(4,2) ≤ W(4,2) = 35 implies unavoidability. All scripts and proof logs are provided for exact reproduction.