Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The Aharoni--Korman conjecture for posets whose incomparability graph is locally finite
Aharoni and Korman (Order 9 (1992) 245--253) have conjectured that every ordered set without infinite antichains possesses a chain and a partition into antichains so that each part intersects the chain. The conjecture is verified for posets whose incomparability graph is locally finite. It follows that the conjecture is true for $(3 + 1)$-free posets with no infinite antichains.
Complexity of total dominator coloring in graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph with no isolated vertices. A vertex $v$ totally dominate a vertex $w$ ($w \ne v$), if $v$ is adjacent to $w$. A set $D \subseteq V$ called a total dominating set of $G$ if every vertex $v\in V$ is totally dominated by some vertex in $D$. The minimum cardinality of a total dominating set is the total domination number of $G$ and is denoted by $γ_t(G)$. A total dominator coloring of graph $G$ is a proper coloring of vertices of $G$, so that each vertex totally dominates some color class. The total dominator chromatic number $χ_{td}(G)$ of $G$ is the least number of colors required for a total dominator coloring of $G$. The Total Dominator Coloring problem is to find a total dominator coloring of $G$ using the minimum number of colors. It is known that the decision version of this problem is NP-complete for general graphs. We show that it remains NP-complete even when restricted to bipartite, planar and split graphs. We further study the Total Dominator Coloring problem for various graph classes, including trees, cographs and chain graphs. First, we characterize the trees having $χ_{td}(T)=γ_t(T)+1$, which completes the characterization of trees achieving all possible values of $χ_{td}(T)$. Also, we show that for a cograph $G$, $χ_{td}(G)$ can be computed in linear-time. Moreover, we show that $2 \le χ_{td}(G) \le 4$ for a chain graph $G$ and give characterization of chain graphs for every possible value of $χ_{td}(G)$ in linear-time.
New combinatorial identity for the set of partitions and limit theorems in finite free probability theory
Published in Int. Math. Res. Not. IMRN 2024, Issue 14 (2024), 10524-10558
• View Publication
• BIB
We provide a refined combinatorial identity for the set of partitions of $\{1,\dots, n\}$, which plays an important role in investigating several limit theorems related to finite free convolutions. Firstly, we present the finite free analogue of Sakuma and Yoshida's limit theorem. That is, we provide the limit of $\{D_{1/m}((p_d^{\boxtimes_d m})^{\boxplus_d m})\}_{m\in \mathbb{N}}$ as $m\rightarrow\infty$ in two cases: (i) $m/d\rightarrow t$ for some $t>0$, or (ii) $m/d\rightarrow0$. The second application presents a central limit theorem for finite free multiplicative convolution. We establish a connection between this theorem and the multiplicative free semicircular distributions through combinatorial identities. Our last result gives alternative proofs for Kabluchko's limit theorems concerning the unitary Hermite and the Laguerre polynomials.
Generalized Splitting and element splitting operations on $p$-matroids
In this paper, we define generalized splitting and element splitting operations on $p$-matroids. $p$-matroids are the matroids representable over $GF(p).$ The circuits and the bases of the new matroid are characterized in terms of circuits and bases of the original matroid, respectively. A class of $n$-connected $p$-matroids which gives n-connected $p$- matroids using the generalized splitting operation is also characterized. We also prove that connectivity of $p$-matroid is preserved under element splitting operation. Sufficient conditions to obtain Eulerian $p$-matroid from Eulerian $p$-matroid under splitting and element splitting operations are provided.
Central limit theorem for components in meandric systems through high moments
Published in Combinator. Probab. Comp. 33 (2024) 597-610
• View Publication
• BIB
We investigate here the behaviour of a large typical meandric system, proving a central limit theorem for the number of components of given shape. Our main tool is a theorem of Gao and Wormald, that allows us to deduce a central limit theorem from the asymptotics of large moments of our quantities of interest.
Packing colourings in complete bipartite graphs and the inverse problem for correspondence packing
Published
• View Publication
• BIB
Applications of graph colouring often involve taking restrictions into account, and it is desirable to have multiple (disjoint) solutions. In the optimal case, where there is a partition into disjoint colourings, we speak of a packing. However, even for complete bipartite graphs, the list chromatic number can be arbitrarily large, and its exact determination is generally difficult. For the packing variant, this question becomes even harder.
In this paper, we study the correspondence- and list packing numbers of (asymmetric) complete bipartite graphs. In the most asymmetric cases, Latin squares come into play. Our results show that every $z \in \mathbb Z^+ \setminus {3}$ can be equal to the correspondence packing number of a graph. Additionally, we disprove a recent conjecture that relates the list packing number and the list flexibility number.
On the geometry of the Hermitian Veronese curve and its quasi-Hermitian surfaces
Published
• View Publication
• BIB
The complete classification of the orbits on subspaces under the action of the projective stabiliser of (classical) algebraic varieties is a challenging task, and few classifications are complete. We focus on a particular action of $\PGL(2,q^2)$ (and $\PSL(2,q^2)$) arising from the Hermitian Veronese curve in $\PG(3, q^2)$, a maximal rational curve embedded on a smooth Hermitian surface with some fascinating properties. The study of its orbits leads to a new construction of quasi-Hermitian surfaces: sets of points with the same combinatorial and geometric properties as a non-degenerate Hermitian surface.
Linear Space Data Structures for Finite Groups with Constant Query-time
Published
• View Publication
• BIB
A finite group of order $n$ can be represented by its Cayley table. In the word-RAM model the Cayley table of a group of order $n$ can be stored using $O(n^2)$ words and can be used to answer a multiplication query in constant time. It is interesting to ask if we can design a data structure to store a group of order $n$ that uses $o(n^2)$ space but can still answer a multiplication query in constant time.
We design a constant query-time data structure that can store any finite group using $O(n)$ words where $n$ is the order of the group.
Farzan and Munro (ISSAC 2006) gave an information theoretic lower bound of $Ω(n)$ on the number of words to store a group of order $n$. Since our data structure achieves this lower bound and answers queries in constant time, it is optimal in both space usage and query-time.
A crucial step in the process is essentially to design linear space and constant query-time data structures for nonabelian simple groups. The data structures for nonableian simple groups are designed using a lemma that we prove using the Classification Theorem for Finite Simple Groups (CFSG).
On the maximum number of connected induced subgraphs of a graph
Published
• View Publication
• BIB
We characterise the structure of those graphs of a given order which maximise the number of connected induced subgraphs for seven different graph classes, each with other prescribed parameters like minimum degree, independence number, vertex cover number, vertex connectivity, edge connectivity, chromatic number, number of bridges, thereby contributing to filling a gap in the literature.
Domination inequalities and dominating graphs
Published in Math. Proc. Camb. Phil. Soc. 177 (2024) 167-184
• View Publication
• BIB
We say that a graph $H$ dominates another graph $H'$ if the number of homomorphisms from $H'$ to any graph $G$ is dominated, in an appropriate sense, by the number of homomorphisms from $H$ to $G$. We study the family of dominating graphs, those graphs with the property that they dominate all of their subgraphs. It has long been known that even-length paths are dominating in this sense and a result of Hatami implies that all weakly norming graphs are dominating. In a previous paper, we showed that every finite reflection group gives rise to a family of weakly norming, and hence dominating, graphs. Here we revisit this connection to show that there is a much broader class of dominating graphs.
Dembowski's Theorem on Finite Inversive Planes of Even Order
A remarkable theorem due to Peter Dembowski states that if $I$ is an inversive plane of even order $q$ then $q$ must be a power of two and $I$ must be the incidence system of points versus plane ovals in an ovoid in the projective $3$-space over the field of order $q$. In this paper we present a short and self-contained proof of this result. Our proof depends on the classification due to Benson of the symmetric and regular finite generalized quadrangles. Included here is a deduction of Benson's Theorem from the Dembowski-Wagner combinatorial characterization of finite projective geometries.
On the socle of Artinian algebras associated to graphs
Published
• View Publication
• BIB
Given a simple graph, consider the polynomial ring with coefficients in a field and variables identified with the edges of the graph. Given a non-empty even cardinality Eulerian subgraph and a choice of half of its edges, consider the homogeneous binomial obtained by taking the product of these edges minus the product of the remaining edges of the subgraph. We define a homogeneous ideal by taking as generators all binomials obtained in this way, varying the Eulerian subgraph and the choice of half of its edges, together with the squares of the variables of the ring. This ideal is related to the Eulerian ideal, introduced by Neves, Vaz Pinto and Villarreal. We call the corresponding quotient the Eulerian Artinian algebra associated to the graph. The goal of the present work is to study the socle of these algebras through the lens of graph theory. Our main results include a combinatorial characterization of a monomial basis of the socle, a characterization of Gorenstein Eulerian Artinian algebras in the case of bipartite graphs and the computation of the h-vector and socle degrees in the cases of a complete graph and a complete bipartite graph.
A short proof of Kahn-Kalai conjecture
Published
• View Publication
• BIB
In a recent paper, Park and Pham famously proved Kahn-Kalai conjecture. In this note, we simplify their proof, using an induction to replace the original analysis. This reduces the proof to one page, and from the argument it is also easy to read that one can set the constant $K$ in the conjecture to $\approx 3.998$, which could be the best value under the current method. Our argument also applies to the $ε$-version of Park-Pham result, studied by Bell.
Triangular Diagonal Harmonics Conjectures
Published
• View Publication
• BIB
The purpose of this paper is mostly to present conjectures that extend, to the ``triangular partition'' context (partitions ``under any line'' in the terminology of Blaziak-Haiman-Morse-Pun-Seelinger), properties of Frobenius of multivariate diagonal harmonics modules
A unified treatment of families of partition functions
Published
• View Publication
• BIB
We present a unified framework of combinatorial descriptions, and the analogous asymptotic growth of the coefficients of two general families of functions related to integer partitions. In particular, we resolve several conjectures and verify several claims that are posted on the On-Line Encyclopedia of Integer Sequences. We perform the asymptotic analysis by systematically applying the Mellin transform, residue analysis, and the saddle point method. The combinatorial descriptions of these families of generalized partition functions involve colorings of Young tableaux, along with their ``divisor diagrams'', denoted with sets of colors whose sizes are controlled by divisor functions.
Kazhdan-Lusztig polynomials of braid matroids
Published in Comm. Amer. Math. Soc. 4 (2024), 64-79
• View Publication
• BIB
We provide a combinatorial interpretation of the Kazhdan--Lusztig polynomial of the matroid arising from the braid arrangement of type $\mathrm{A}_{n-1}$, which gives an interpretation of the intersection cohomology Betti numbers of the reciprocal plane of the braid arrangement. Moreover, we prove an equivariant version of this result. The key combinatorial object is a class of matroids arising from series-parallel networks. As a consequence, we prove a conjecture of Elias, Proudfoot, and Wakefield on the top coefficient of Kazhdan--Lusztig polynomials of braid matroids, and we provide explicit generating functions for their Kazhdan--Lusztig and $Z$-polynomials.
On the Independence Polynomial and Threshold of an Antiregular $k$-Hypergraph
Published
• View Publication
• BIB
Given an integer $k\geq 3$ and an initial $k-1$ isolated vertices, an {\em antiregular $k$-hypergraph} is constructed by alternatively adding an isolated vertex (connected to no other vertices) or a dominating vertex (connected to every other $k-1$ vertices). Let $a_i$ be the number of independent sets of cardinality $i$ in a hypergraph $H$, then the {\em independence polynomial} of $H$ is defined as $I(H;x)=\sum_{i=0}^m a_i x^i$, where $m$ is the size of a maximum independent set. The main purpose of the present paper is to generalise some results of independence polynomials of antiregular graphs to the case of antiregular $k$-hypergraphs. In particular, we derive (semi-)closed formulas for the independence polynomials of antiregular $k$-hypergraphs and prove their log-concavity. Furthermore, we show that antiregular $k$-hypergraphs are {\em $T2$-threshold}, which means there exist a labeling $c$ of the vertex set and a threshold $τ$ such that for any vertex subset $S$ of cardinality $k$, $\sum_{i\in S}c(i)>τ$ if and only if $S$ is a hyperedge.
On Constructions and Enumeration of Vectorial Hyper-bent Functions in the $\cP\cS_{ap}^{\#}$ Class
The purpose of this paper is to give explicit constructions of vectorial hyper-bent functions in the $\cP\cS_{ap}^{\#}$ class. It seems that the explicit constructions were so far known only for very special cases. To this end, we present a sufficient and necessary condition of this family of vectorial functions to be hyper-bent. The conditions are expressed in terms of group ring. Using this characterization, explicit constructions of vectorial hyper-bent functions of the $\cP\cS_{ap}^{\#}$ class via balanced functions are proposed. Furthermore, exact number of vectorial hyper-bent functions in the $\cP\cS_{ap}^{\#}$ class is found.
The results improve some previous work. Moreover, we solve a problem of counting vectorial hyper-bent functions left by Muratović-Ribić, Pasalic and Ribić in [{\em IEEE Trans. Inform. Theory}, 60 (2014), pp. 4408-4413].
A polynomial time algorithm for calculating Fourier-Dedekind sums
Published
• View Publication
• BIB
We solve an open problem proposed in the book ``Computing the continuous discretely" written by Matthias Beck and Sinai Robins. That is, we proposed a polynomial time algorithm for calculating Fourier-Dedekind sums. The algorithm is simple modular Barvinok's simplicial cone decomposition. It can be easily adapted into De Leora et. al.'s LattE package, which gives a nice implimentation of Barvinok's polynomial time algorithm.
Enumerating Steiner Triple Systems
Published
• View Publication
• BIB
Steiner triple systems (STSs) have been classified up to order 19. Earlier estimations of the number of isomorphism classes of STSs of order 21, the smallest open case, are discouraging as for classification, so it is natural to focus on the easier problem of merely counting the isomorphism classes. Computational approaches for counting STSs are here considered and lead to an algorithm that is used to obtain the number of isomorphism classes for order 21: 14,796,207,517,873,771.