Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Hilbert-Poincaré series and Gorenstein property for some non-simple polyominoes
Published in Bulletin of the Iranian Mathematical Society, \textbf{49}, 22 (2023)
• View Publication
• BIB
Let $\mathcal{P}$ be a closed path having no zig-zag walks, a kind of non-simple thin polyomino. In this paper we give a combinatorial interpretation of the $h$-polynomial of $K[\mathcal{P}]$, showing that it is the rook polynomial of $\mathcal{P}$. It is known by Rinaldo and Romeo (2021), that if $\mathcal{P}$ is a simple thin polyomino then the $h$-polynomial is equal to the rook polynomial of $\mathcal{P}$ and it is conjectured that this property characterizes all thin polyominoes. Our main demonstrative strategy is to compute the reduced Hilbert-Poincaré series of the coordinate ring attached to a closed path $\mathcal{P}$ having no zig-zag walks, as a combination of the Hilbert-Poincaré series of convenient simple thin polyominoes. As a consequence we prove that the Krull dimension is equal to $\vert V(\mathcal{P})\vert -\mathrm{rank}\, \mathcal{P}$ and the regularity of $K[\mathcal{P}]$ is the rook number of $\mathcal{P}$. Finally we characterize the Gorenstein prime closed paths, proving that $K[\mathcal{P}]$ is Gorenstein if and only if $\mathcal{P}$ consists of maximal blocks of length three.
Intersection theorems for finite general linear groups
Published
• View Publication
• BIB
A subset $Y$ of the general linear group $\operatorname{GL}(n,q)$ is called $t$-intersecting if $\operatorname{rk}(x-y)\le n-t$ for all $x,y\in Y$, or equivalently $x$ and $y$ agree pointwise on a $t$-dimensional subspace of $\mathbb{F}_q^n$ for all $x,y\in Y$. We show that, if $n$ is sufficiently large compared to $t$, the size of every such $t$-intersecting set is at most that of the stabiliser of a basis of a $t$-dimensional subspace of $\mathbb{F}_q^n$. In case of equality, the characteristic vector of $Y$ is a linear combination of the characteristic vectors of the cosets of these stabilisers. We also give similar results for subsets of $\operatorname{GL}(n,q)$ that intersect not necessarily pointwise in $t$-dimensional subspaces of $\mathbb{F}_q^n$ and for cross-intersecting subsets of $\operatorname{GL}(n,q)$. These results may be viewed as variants of the classical Erdős-Ko-Rado Theorem in extremal set theory and are $q$-analogs of corresponding results known for the symmetric group. Our methods are based on eigenvalue techniques to estimate the size of the largest independent sets in graphs and crucially involve the representation theory of $\operatorname{GL}(n,q)$.
Maximal Chordal Subgraphs
Published
• View Publication
• BIB
A chordal graph is a graph with no induced cycles of length at least $4$. Let $f(n,m)$ be the maximal integer such that every graph with $n$ vertices and $m$ edges has a chordal subgraph with at least $f(n,m)$ edges. In 1985 Erdős and Laskar posed the problem of estimating $f(n,m)$. In the late '80s, Erdős, Gyárfás, Ordman and Zalcstein determined the value of $f(n,n^2/4+1)$ and made a conjecture on the value of $f(n,n^2/3+1)$. In this paper we prove this conjecture and answer the question of Erdős and Laskar, determining $f(n,m)$ asymptotically for all $m$ and exactly for $m \leq n^2/3+1$.
Ramanujan's approximation to the exponential function and generalizations
Ramanujan's approximation to the exponential function is reexamined with the help of Perron's saddle-point method. This allows for a wide generalization that includes the results of Buckholtz, and where all the asymptotic expansion coefficients may be given in closed form. Ramanujan's approximation to the exponential integral is treated similarly.
The overfull conjecture on graphs of odd order and large minimum degree
Published
• View Publication
• BIB
Let $G$ be a simple graph with maximum degree $Δ(G)$. A subgraph $H$ of $G$ is overfull if $|E(H)|>Δ(G)\lfloor \frac{1}{2}|V(H)| \rfloor$. Chetwynd and Hilton in 1986 conjectured that a graph $G$ with $Δ(G)>\frac{1}{3}|V(G)|$ has chromatic index $Δ(G)$ if and only if $G$ contains no overfull subgraph. Let $0<\varepsilon <1$ and $G$ be a large graph on $n$ vertices with minimum degree at least $\frac{1}{2}(1+\varepsilon)n$. It was shown that the conjecture holds for $G$ if $n$ is even. In this paper, the same result is proved if $n$ is odd. As far as we know, this is the first result on the conjecture for graphs of odd order and with a minimum degree constraint.
On total weight exiting finite, strongly connected sets in shift-invariant weighted directed graphs on $\mathbb{Z}$
For a shift-invariant weighted directed graph with vertex set $\mathbb{Z}$, we examine the minimal weight $κ_0$ exiting a finite, strongly connected set of vertices. Although $κ_0$ is defined as an infimum, it has been shown that the infimum is always attained by an actual set of vertices. We show that for each underlying directed graph (prior to assignment of the weights), there is a formula for $κ_0$ as a minimum of finitely many integer combinations of the edge weights. We find this formula for several different directed graphs. Motivation for this problem comes from random walks in Dirichlet environments (equivalently, directed edge reinforced random walks), where the size of $κ_0$ has been shown to determine the strength of finite traps where the walk can get stuck for a long time.
Radial projection theorems in finite spaces
Published
• View Publication
• BIB
Motivated by recent results on radial projections and applications to the celebrated Falconer distance problem, we study radial projections in the setting of finite fields. More precisely, we extend results due to Mattila and Orponen (2016), Orponen (2018), and Liu (2020) to finite spaces. In some cases, our results are stronger than the corresponding results in the continuous setting. In particular, we solve the finite field analog of a conjecture due to Liu and Orponen on the exceptional set of radial projections of a set of dimension between $d-2$ and $d-1$.
Optimal chromatic bound for ($P_2+P_3$, $\bar{P_2+ P_3}$)-free graphs
Published
• View Publication
• BIB
For a graph $G$, let $χ(G)$ ($ω(G)$) denote its chromatic (clique) number. A $P_2+P_3$ is the graph obtained by taking the disjoint union of a two-vertex path $P_2$ and a three-vertex path $P_3$. A $\bar{P_2+P_3}$ is the complement graph of a $P_2+P_3$. In this paper, we study the class of ($P_2+P_3$, $\bar{P_2+P_3}$)-free graphs and show that every such graph $G$ with $ω(G)\geq 3$ satisfies $χ(G)\leq \max \{ω(G)+3, \lfloor\frac{3}{2} ω(G) \rfloor-1 \}$. Moreover, the bound is tight. Indeed, for any $k\in {\mathbb N}$ and $k\geq 3$, there is a ($P_2+P_3$, $\bar{P_2+P_3}$)-free graph $G$ such that $ω(G)=k$ and $χ(G)=\max\{k+3, \lfloor\frac{3}{2} k \rfloor-1 \}$.
A Note on Generalized Narayana Numbers
We give a simple proof that the the number of Dyck paths of semilength $n$ with $i$ returns to ground level and $j$ peaks is the generalized Narayana number $\frac{i}{n} \binom{n}{j} \binom{n - i - 1}{j - i}$.
Moduli spaces of $\mathbb{Z}/k\mathbb{Z}$-constellations over $\mathbb{A}^2$
Published
• View Publication
• BIB
Let $ρ:\mathbb{Z}/k \mathbb{Z}\rightarrow \text{SL}(2,\mathbb{C})$ be a representation of a finite abelian group and let $Θ^{\text{gen}}\subset \text{Hom}_\mathbb{Z}(R(\mathbb{Z}/k\mathbb{Z}),\mathbb{Q})$ be the space of generic stability conditions on the set of $G$-constellations. We provide a combinatorial description of all the chambers $C\subsetΘ^{\text{gen}}$ and prove that there are $k!$ of them. Moreover, we introduce the notion of simple chamber and we show that, in order to know all toric $G$-constellations, it is enough to build all simple chambers. We also prove that there are $k\cdot 2^{k-2} $ simple chambers. Finally, we provide an explicit formula for the tautological bundles $\mathscr{R}_C$ over the moduli spaces $\mathscr{M} _C$ for all chambers $C\subset Θ^{\text{gen}}$ which only depends upon the chamber stair which is a combinatorial object attached to the chamber $C$.
On density of $Z_3$-flow-critical graphs
For an abelian group $Γ$, a graph $G$ is said to be $Γ$-flow-critical if $G$ does not admit a nowhere-zero $Γ$-flow, but for each edge $e\in E(G)$, the contraction $G/e$ has a nowhere-zero $Γ$-flow. A bound on the density of $Z_3$-flow-critical graphs drawn on a fixed surface is obtained, generalizing the planar case of the bound on the density of 4-critical graphs by Kostochka and Yancey.
Probability of generation by random permutations of given cycle type
Suppose $π$ and $π'$ are two random elements of $S_n$ with constrained cycle types such that $π$ has $x n^{1/2}$ fixed points and $yn/2$ two-cycles, and likewise $π'$ has $x' n^{1/2}$ fixed points and $y'n/2$ two-cycles. We show that the events that $G = \langle π, π' \rangle$ is transitive and $G \geq A_n$ both have probability approximately \[(1 - yy')^{1/2} \exp\left(- \frac{xx' + \frac12 x^2 y' + \frac12 {x'}^2 y}{1 - yy'}\right),\] provided $(x, x')$ is not close to $(0, \infty)$ or $(\infty, 0)$. This formula is derived from some preliminary results in a recent paper (arXiv:1904.12180) of the authors. As an application, we show that two uniformly random elements of uniformly random conjugacy classes of $S_n$ generate the group with probability about 51%.
On the $f$-vectors of $r$-multichain subdivisions
Published
• View Publication
• BIB
For a poset $P$ and an integer $r\geq 1$, let $P_r$ be a collection of all $r$-multichains in $P$. Corresponding to each strictly increasing map $ı:[r]\rightarrow [2r]$, there is an order $\preceq_ı$ on $P_r$. Let $\D(G_ı(P_r))$ be the clique complex of the graph $G_ı$ associated to $P_r$ and $ı$. In a recent paper \cite{NW}, it is shown that $\D(G_ı(P_r))$ is a subdivision of $P$ for a class of strictly increasing maps. In this paper, we show that all these subdivisions have the same $f$-vector. We give an explicit description of the transformation matrices from the $f$- and $h$-vectors of $Δ$ to the $f$- and $h$-vectors of these subdivisions when $P$ is a poset of faces of $\D$. We study two important subdivisions Cheeger-Müller-Schrader's subdivision and the $r$-colored barycentric subdivision which fall in our class of $r$-multichain subdivisions.
On a Relation between Schreier-type Sets and a Modification of Turán Graphs
Recently, a relation between Schreier-type sets and Turán graphs was discovered. In this note, we give a combinatorial proof and obtain a generalization of the relation. Specifically, for $p, q\ge 1$, let $$\mathcal{A}_q := \{F\subset\mathbb{N}: |F| = 1 \mbox{ or }F\mbox{ is an arithmetic progression with difference } q\}$$ and $$Sr(n, p, q)\ :=\ \#\{F\subset \{1, \ldots, n\}\,:\, p\min F\ge |F|\mbox{ and }F\in \mathcal{A}_q\}.$$ We show that $$Sr(n, p, q) \ =\ T(n+1, pq+1, q),$$ where $T(\cdot, \cdot, \cdot)$ is the number of edges of an $n$-vertex graph that is a modification of Turán graphs. We also prove that $Sr(n,p,q)$ is the partial sum of certain sequences.
Selfadhesivity in Gaussian conditional independence structures
Published
• View Publication
• BIB
Selfadhesivity is a property of entropic polymatroids which guarantees that the polymatroid can be glued to an identical copy of itself along arbitrary restrictions such that the two pieces are independent given the common restriction. We show that positive definite matrices satisfy this condition as well and examine consequences for Gaussian conditional independence structures. New axioms of Gaussian CI are obtained by applying selfadhesivity to the previously known axioms of structural semigraphoids and orientable gaussoids.
Tropical curves in abelian surfaces III: pearl diagrams and multiple cover formulas
This paper is the third installment in a series of papers devoted to the computation of enumerative invariants of abelian surfaces through the tropical approach. We develop a pearl diagram algorithm similar to the floor diagram algorithm used in toric surfaces that concretely solves the tropical problem.
These diagrams can be used to prove specific cases of Oberdieck's multiple cover formula that reduce the computation of invariants for non-primitive classes to the primitive case, getting rid of all diagram considerations and providing short explicit formulas. The latter can be used to prove the quasi-modularity of generating series of classical invariants, and the polynomiality of coefficients of fixed codegree in the refined invariants.
The maximum spectral radius of irregular bipartite graphs
Published
• View Publication
• BIB
A bipartite graph is subcubic if it is an irregular bipartite graph with maximum degree three. In this paper, we prove that the asymptotic value of maximum spectral radius over subcubic bipartite graphs of order $n$ is $3-\varTheta(\frac{π^{2}}{n^{2}})$. Our key approach is taking full advantage of the eigenvalues of certain tridiagonal matrices, due to Willms [SIAM J. Matrix Anal. Appl. 30 (2008) 639--656]. Moreover, for large maximum degree, i.e., the maximum degree is at least $\lfloor n/2 \rfloor$, we characterize irregular bipartite graphs with maximum spectral radius. For general maximum degree, we present an upper bound on the spectral radius of irregular bipartite graphs in terms of the order and maximum degree.
Bruhat intervals and parabolic cosets in arbitrary Coxeter groups
Published
• View Publication
• BIB
In [Journal of Pure and Applied Algebra {224} (2020), no 12, 106449], V. Mazorchuk and R. Mrđen (with some help by A. Hultman) prove that, given a Weyl group, the intersection of a Bruhat interval with a parabolic coset has a unique maximal element and a unique minimal element. We show that such intersections are actually Bruhat intervals also in the case of an arbitrary Coxeter group.
Skew-Morphisms of Elementary Abelian p-Groups
Published
• View Publication
• BIB
A skew-morphism of a finite group $G$ is a permutation $σ$ on $G$ fixing the identity element, and for which there exists an integer function $π$ on $G$ such that $σ(xy)=σ(x)σ^{π(x)}(y)$ for all $x,y\in G$. It has been known that given a skew-morphism $σ$ of $G$, the product of $\langle σ\rangle$ with the left regular representation of $G$ forms a permutation group on $G$, called the skew-product group of $σ$. In this paper, the skew-product groups of skew-morphisms of finite elementary abelian $p$-groups are investigated. Some properties, characterizations and constructions about that are obtained.
A Comparison of Integer Partitions Based on Smallest Part
Published
• View Publication
• BIB
For positive integers $n, L$ and $s$, consider the following two sets that both contain partitions of $n$ with the difference between the largest and smallest parts bounded by $L$: the first set contains partitions with smallest part $s$, while the second set contains partitions with smallest part at least $s+1$. Let $G_{L,s}(q)$ be the generating series whose coefficient of $q^n$ is difference between the sizes of the above two sets of partitions. This generating series was introduced by Berkovich and Uncu in 2019. Previous results concentrated on the nonnegativity of $G_{L,s}(q)$ in the cases $s=1$ and $s=2$. In the present paper, we show the eventual positivity of $G_{L,s}(q)$ for general s and also find a precise nonnegativity result for the case $s=3$.