Showing 20 papers (Total: 83842 papers, 48355 authors in database)
A New and Faster Representation for Counting Integer Points in Parametric Polyhedra
Published
• View Publication
• BIB
In this paper, we consider the counting function $E_P(y) = |P_{y} \cap Z^{n_x}|$ for a parametric polyhedron $P_{y} = \{x \in R^{n_x} \colon A x \leq b + B y\}$, where $y \in R^{n_y}$. We give a new representation of $E_P(y)$, called a \emph{piece-wise step-polynomial with periodic coefficients}, which is a generalization of piece-wise step-polynomials and integer/rational Ehrhart's quasi-polynomials. It gives the fastest way to calculate $E_P(y)$ in certain scenarios. The most important cases are the following:
1) We show that, for the parametric polyhedron $P_y$ defined by a standard-form system $A x = y,\, x \geq 0$ with a fixed number of equalities, the function $E_P(y)$ can be represented by a polynomial-time computable function. In turn, such a representation of $E_P(y)$ can be constructed by an $poly\bigl(n, \|A\|_{\infty}\bigr)$-time algorithm;
2) Assuming again that the number of equalities is fixed, we show that integer/rational Ehrhart's quasi-polynomials of a polytope can be computed by FPT-algorithms, parameterized by sub-determinants of $A$ or its elements;
3) Our representation of $E_P$ is more efficient than other known approaches, if $A$ has bounded elements, especially if it is sparse in addition.
Additionally, we provide a discussion about possible applications in the area of compiler optimization. In some "natural" assumptions on a program code, our approach has the fastest complexity bounds.
Classification of higher grade $\ell$ graphs for $\mathrm{U}(N)^2\times \mathrm{O}(D)$ multi-matrix models
Published
• View Publication
• BIB
The authors studied in [Ann. Inst. Henri Poincaré D 9, 367-433, (2022)], a complex multi-matrix model with $\mathrm{U}(N)^2 \times \mathrm{O}(D)$ symmetry, and whose double scaling limit where simultaneously the large-$N$ and large-$D$ limits were taken while keeping the ratio $N/\sqrt{D}=M$ finite and fixed. In this double scaling limit, the complete recursive characterization of the Feynman graphs of arbitrary genus for the leading order grade $\ell=0$ was achieved. In this current study, we classify the higher order graphs in $\ell$. More specifically, $\ell=1$ and $\ell=2$ with arbitrary genus, in addition to a specific class of two-particle-irreducible (2PI) graphs for higher $\ell \geqslant 3$ but with genus zero. Furthermore, we demonstrate that each 2PI graph with a single $\mathrm{O}(D)$-loop with an arbitrary $\ell$ corresponds to a reduced alternating knot diagram with $\ell$ crossings as listed in the Rolfsen knot table, or a resulting alternating knot diagram obtained after performing the Tait flyping moves. We generalize to 2PR by considering the connected sum and the Reidemeister move I.
The Turán and Laguerre inequalities for quasi-polynomial-like functions
Published
• View Publication
• BIB
This paper deals with both the higher order Turán inequalities and the Laguerre inequalities for quasi-polynomial-like functions -- that are expressions of the form $f(n)=c_l(n)n^l+\cdots+c_d(n)n^d+o(n^d)$, where $d,l\in\mathbb{N}$ and $d\leqslant l$. A natural example of such a function is the $A$-partition function $p_{A}(n)$, which enumerates the number of partitions of $n$ with parts in the fixed finite multiset $A=\{a_1,a_2,\ldots,a_k\}$ of positive integers. For an arbitrary positive integer $d$, we present efficient criteria for both the order $d$ Turán inequality and the $d$th Laguarre inequality for quasi-polynomial-like functions. In particular, we apply these results to deduce non-trivial analogues for $p_A(n)$.
Transfer systems for rank two elementary Abelian groups: characteristic functions and matchstick games
Published in Tunisian J. Math. 7 (2025) 167-191
• View Publication
• BIB
We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately producing a ``matchstick game'' that puts saturated transfer systems in bijection with certain structured subsets of covering relations. After an interlude developing a recursion for transfer systems on certain combinations of bounded posets, we apply these results to determine the full lattice of transfer systems for rank two elementary Abelian groups.
Higher Level Completeness for Permutation Polynomials
Published
• View Publication
• BIB
Generalising the concept of a complete permutation polynomial over a finite field, we define completness to level $k$ for $k\ge1$ in fields of odd characteristic. We construct two families of polynomials that satisfy the condition of high level completeness for all finite fields, and two more families complete to the maximum level a possible for large collection of finite fields.
Under the binary operation of composition of functions one family of polynomials is an abelian group isomorphic to the additive group, while the other is isomorphic to the multiplicative group.
Motzkin paths of bounded height with two forbidden contiguous subwords of length two
Motzkin excursions and meanders are revisited. This is considered in the context of forbidden patterns. Previous work by Asinowski, Banderier, Gittenberger, and Roitner is continued. Motzkin paths of bounded height are considered, leading to matrix equations and also to continued fractions. The enumeration is done by properly setting up bivariate generating functions which can be expanded using the kernel method.
Hamiltonian Cycles for Finite Weyl Groupoids
Published
• View Publication
• BIB
Let $Γ({\mathcal{W}})$ be the Cayley graph of a finite Weyl groupoid ${\mathcal{W}}$. In this paper, we show an existence of a Hamitonian cycle of $Γ({\mathcal{W}})$ for any ${\mathcal{W}}$. We exatctly draw a Hamiltonian cycle of $Γ({\mathcal{W}})$ for any (resp. some) irreducible ${\mathcal{W}}$ of rank three (resp. four). Moreover for the irreducible ${\mathcal{W}}$ of rank three, we give a second largest eigenvalue of the adjacency matrix of $Γ({\mathcal{W}})$, and know if $Γ({\mathcal{W}})$ is a bipartite Ramanujan graph or not.
Proving a conjecture on the upper bound of semistrong chromatic indices of graphs
Let $G=(V(G), E(G))$ be a graph with maximum degree $Δ$. For a subset $M$ of $E(G)$, we denote by $G[V(M)]$ the subgraph of $G$ induced by the endvertices of edges in $M$. We call $M$ a semistrong matching if each edge of $M$ is incident with a vertex that is of degree 1 in $G[V(M)]$. Given a positive integer $k$, a semistrong $k$-edge-coloring of $G$ is an edge coloring using at most $k$ colors in which each color class is a semistrong matching of $G$. The semistrong chromatic index of $G$, denoted by $χ'_{ss}(G)$, is the minimum integer $k$ such that $G$ has a semistrong $k$-edge-coloring. Recently, Lužar, Mockovčiaková and Soták conjectured that $χ'_{ss}(G)\le Δ^{2}-1$ for any connected graph $G$ except the complete bipartite graph $K_{Δ,Δ}$. In this paper, we settle this conjecture by proving that each such graph $G$ other than a cycle on $7$ vertices has a semistrong edge coloring using at most $Δ^{2}-1$ colors.
Moment Generating Stirling Numbers of the first kind and Applications
In this paper we introduce and investigate moment generating Stirling numbers of the first kind, "`MSN1"'. They are inverses of MSN2's, which make the representation of the moments for a lot of statistical distributions in closed formulas possible. Both MSN1's and MSN2's are related to the r-Stirling numbers, and extend their properties to any real third parameter. If the third parameter is a nonnegative integer, r-Stirling numbers can be converted to MSN's and vice versa.
Counting self-dual monotone Boolean functions
Let $D_n$ denote the set of monotone Boolean functions with $n$ variables. Elements of $D_n$ can be represented as strings of bits of length $2^n$. Two elements of $D_0$ are represented as 0 and 1 and any element $g\in D_n$, with $n>0$, is represented as a concatenation $g_0\cdot g_1$, where $g_0, g_1\in D_{n-1}$ and $g_0\le g_1$. For each $x\in D_n$, we have dual $x^*\in D_n $ which is obtained by reversing and negating all bits. An element $x\in D_n$ is self-dual if $x=x^*$. Let $λ_n$ denote the cardinality of the set of all self-dual monotone Boolean functions of $n$ variables. The value $λ_n$ is also known as the $n$-th Hosten-Morris number. In this paper, we derive several algorithms for counting self-dual monotone Boolean functions and confirm the known result that $λ_9$ equals 423,295,099,074,735,261,880.
Zarankiewicz numbers near the triple system threshold
Published in J. Combin. Des. (2024), 32, 556-576
• View Publication
• BIB
For positive integers $m$ and $n$, the Zarankiewicz number $Z_{2,2}(m,n)$ can be defined as the maximum total degree of a linear hypergraph with $m$ vertices and $n$ edges. Guy determined $Z_{2,2}(m,n)$ for all $n \geq \binom{m}{2}/3+O(m)$. Here, we extend this by determining $Z_{2,2}(m,n)$ for all $n \geq \binom{m}{2}/3$ and, when $m$ is large, for all $n \geq \binom{m}{2}/6+O(m)$.
Combinatorics of the Permutahedra, Associahedra, and Friends
I present an overview of the research I have conducted for the past ten years in algebraic, bijective, enumerative, and geometric combinatorics. The two main objects I have studied are the permutahedron and the associahedron as well as the two partial orders they are related to: the weak order on permutations and the Tamari lattice. This document contains a general introduction (Chapters 1 and 2) on those objects which requires very little previous knowledge and should be accessible to non-specialist such as master students. Chapters 3 to 8 present the research I have conducted and its general context. You will find:
* a presentation of the current knowledge on Tamari interval and a precise description of the family of Tamari interval-posets which I have introduced along with the rise-contact involution to prove the symmetry of the rises and the contacts in Tamari intervals;
* my most recent results concerning q, t-enumeration of Catalan objects and Tamari intervals in relation with triangular partitions;
* the descriptions of the integer poset lattice and integer poset Hopf algebra and their relations to well known structures in algebraic combinatorics;
* the construction of the permutree lattice, the permutree Hopf algebra and permutreehedron;
* the construction of the s-weak order and s-permutahedron along with the s-Tamari lattice and s-associahedron.
Chapter 9 is dedicated to the experimental method in combinatorics research especially related to the SageMath software. Chapter 10 describes the outreach efforts I have participated in and some of my approach towards mathematical knowledge and inclusion.
Closed-form formulas, determinantal expressions, recursive relations, power series, and special values of several functions used in Clark--Ismail's two conjectures
Published in Applied and Computational Mathematics, vol. 22 (2023), No. 4, 443--465
• View Publication
• BIB
In the paper, by virtue of the famous formula of Faà di Bruno, with the aid of several identities of partial Bell polynomials, by means of a formula for derivatives of the ratio of two differentiable functions, and with availability of other techniques, the authors establish closed-form formulas in terms of the Bernoulli numbers and the second kind Stirling numbers, present determinantal expressions, derive recursive relations, obtain power series, and compute special values of the function $\frac{v^j}{1-\operatorname{e}^{-v}}$, its derivatives, and related ones used in Clark--Ismail's two conjectures. By these results, the authors also discover a formula for the determinant of a Hessenberg matrix and derive logarithmic convexity of a sequence related to the function and its derivatives.
Boundary statistics for the six-vertex model with DWBC
Published
• View Publication
• BIB
We study the behavior of configurations in the symmetric six-vertex model with $a,b,c$ weights in the $n\times n$ square with Domain Wall Boundary Conditions as $n\to\infty$. We prove that when $Δ=\frac{a^2+b^2-c^2}{2ab}<1$, configurations near the boundary have fluctuations of order $n^{1/2}$ and are asymptotically described by the GUE-corners process of the random matrix theory. On the other hand, when $Δ>1$, the fluctuations are of finite order and configurations are asymptotically described by the stochastic six-vertex model in a quadrant. In the special case $c=0$ (which implies $Δ>1$), the limit is expressed as the $q$-exchangeable random permutation of infinitely many letters, distributed according to the infinite Mallows measure.
The nullity of the net Laplacian matrix of a signed graph
Published
• View Publication
• BIB
Let $Γ= (G, σ)$ be a signed graph, where $G = (V(G),E(G))$ is an (unsigned) graph, called the underlying graph. The net Laplacian matrix of $Γ$ is defined as $L^{\pm}(Γ) = D^{\pm}(Γ) - A(Γ)$, where $D^{\pm}(Γ)$ and $A(Γ)$ are the diagonal matrix of net-degrees and the adjacency matrix of $Γ$, respectively.
The nullity of $L^{\pm}(Γ)$, written as $ η(L^{\pm} (Γ))$, is the multiplicity of 0 as an eigenvalue of $L^{\pm}(Γ)$. In this paper, we focus our attention on the nullity of the net Laplacian matrix of a connected signed graph $Γ$ and prove that $1 \leq η(L^{\pm} (Γ)) \leq min\{ β(Γ) + 1, |V(Γ)| - 1 \}$, where $β(Γ) = |E(Γ)| - |V(Γ)| + 1$ is the cyclomatic number of $Γ$. The connected signed graphs with nullity $|V(Γ)| - 1$ are completely determined. Moreover, we characterize the signed cactus graphs with nullity $1$ or $β(Γ) + 1$
Systems of Discrete Differential Equations, Constructive Algebraicity of the Solutions
Published
• View Publication
• BIB
In this article, we study systems of $n \geq 1$, not necessarily linear, discrete differential equations (DDEs) of order $k \geq 1$ with one catalytic variable. We provide a constructive and elementary proof of algebraicity of the solutions of such equations. This part of the present article can be seen as a generalization of the pioneering work by Bousquet-Mélou and Jehanne (2006) who settled down the case $n=1$. Moreover, we obtain effective bounds for the algebraicity degrees of the solutions and provide an algorithm for computing annihilating polynomials of the algebraic series. Finally, we carry out a first analysis in the direction of effectivity for solving systems of DDEs in view of practical applications.
On Spectrum of Neighbourhood Corona Product of Signed Graphs
Published in Patel, M.K., Ashraf, M., Mahdou, N., Kim, H. (eds) Algebra and Its Applications. ICAA 2023. Springer Proceedings in Mathematics & Statistics, vol 474. Springer, Singapore
• View Publication
• BIB
Given two signed graphs $Γ_1$ with nodes $\{u_1,u_2,\cdots,u_n\}$ and $Γ_2$, the neighbourhood corona, $Γ_1*Γ_2$ is the signed graph obtained by taking one copy of $Γ_1$ and $n_1$ copies of $Γ_2$, and joining every neighbour of the $i^{th}$ node with each nodes of the $i^{th}$ copy of $Γ_2$ by a new signed edge. In this paper we will determine the condition for $Γ_1*Γ_2$ to be balanced. We also determine the adjacency spectrum of $Γ_1*Γ_2$ for arbitrary $Γ_1$ and $Γ_2$, and Laplacian and signless Laplacian spectrum of $Γ_1*Γ_2$ for regular $Γ_1$ and arbitrary $Γ_2$, in terms of the corresponding spectrum of $Γ_1$ and $Γ_2$.
Generalized GM-MDS: Polynomial Codes are Higher Order MDS
Published
• View Publication
• BIB
The GM-MDS theorem, conjectured by Dau-Song-Dong-Yuen and proved by Lovett and Yildiz-Hassibi, shows that the generator matrices of Reed-Solomon codes can attain every possible configuration of zeros for an MDS code. The recently emerging theory of higher order MDS codes has connected the GM-MDS theorem to other important properties of Reed-Solomon codes, including showing that Reed-Solomon codes can achieve list decoding capacity, even over fields of size linear in the message length.
A few works have extended the GM-MDS theorem to other families of codes, including Gabidulin and skew polynomial codes. In this paper, we generalize all these previous results by showing that the GM-MDS theorem applies to any polynomial code, i.e., a code where the columns of the generator matrix are obtained by evaluating linearly independent polynomials at different points. We also show that the GM-MDS theorem applies to dual codes of such polynomial codes, which is non-trivial since the dual of a polynomial code may not be a polynomial code. More generally, we show that GM-MDS theorem also holds for algebraic codes (and their duals) where columns of the generator matrix are chosen to be points on some irreducible variety which is not contained in a hyperplane through the origin. Our generalization has applications to constructing capacity-achieving list-decodable codes as shown in a follow-up work by Brakensiek-Dhar-Gopi-Zhang, where it is proved that randomly punctured algebraic-geometric (AG) codes achieve list-decoding capacity over constant-sized fields.
Vertex-critical graphs far from edge-criticality
Published
• View Publication
• BIB
Let $r$ be any positive integer. We prove that for every sufficiently large $k$ there exists a $k$-chromatic vertex-critical graph $G$ such that $χ(G-R)=k$ for every set $R \subseteq E(G)$ with $|R|\le r$. This partially solves a problem posed by Erdős in 1985, who asked whether the above statement holds for $k \ge 4$.
Plücker inequalities for weakly separated coordinates in totally nonnegative Grassmannian
We show that the partial sums of the long Plücker relations for pairs of weakly separated Plücker coordinates oscillate around $0$ on the totally nonnegative part of the Grassmannian. Our result generalizes the classical oscillating inequalities by Gantmacher--Krein (1941) and recent results on totally nonnegative matrix inequalities by Fallat--Vishwakarma (2023). In fact we obtain a characterization of weak separability, by showing that no other pair of Plücker coordinates satisfies this property.
Weakly separated sets were initially introduced by Leclerc and Zelevinsky and are closely connected with the cluster algebra of the Grassmannian. Moreover, our work connects several fundamental objects such as weak separability, Temperley--Lieb immanants, and Plücker relations, and provides a very general and natural class of additive determinantal inequalities on the totally nonnegative part of the Grassmannian.