Showing 20 papers (Total: 84253 papers, 48533 authors in database)
The normalized depth function of squarefree powers
Published
• View Publication
• BIB
The depth of squarefree powers of a squarefree monomial ideal is introduced. Let $I$ be a squarefree monomial ideal of the polynomial ring $S=K[x_1,\ldots,x_n]$. The $k$-th squarefree power $I^{[k]}$ of $I$ is the ideal of $S$ generated by those squarefree monomials $u_1\cdots u_k$ with each $u_i\in G(I)$, where $G(I)$ is the unique minimal system of monomial generators of $I$. Let $d_k$ denote the minimum degree of monomials belonging to $G(I^{[k]})$. One has $\operatorname{depth}(S/I^{[k]}) \geq d_k -1$. Setting $g_I(k) = \operatorname{depth}(S/I^{[k]}) - (d_k - 1)$, one calls $g_I(k)$ the normalized depth function of $I$. The computational experience strongly invites us to propose the conjecture that the normalized depth function is nonincreasing. In the present paper, especially the normalized depth function of the edge ideal of a finite simple graph is deeply studied.
Error bounds for the asymptotic expansion of the partition function
Asymptotic study on the partition function $p(n)$ began with the work of Hardy and Ramanujan. Later Rademacher obtained a convergent series for $p(n)$ and an error bound was given by Lehmer. Despite having this, a full asymptotic expansion for $p(n)$ with an explicit error bound is not known. Recently O'Sullivan studied the asymptotic expansion of $p^{k}(n)$-partitions into $k$th powers, initiated by Wright, and consequently obtained an asymptotic expansion for $p(n)$ along with a concise description of the coefficients involved in the expansion but without any estimation of the error term. Here we consider a detailed and comprehensive analysis on an estimation of the error term obtained by truncating the asymptotic expansion for $p(n)$ at any positive integer $n$. This gives rise to an infinite family of inequalities for $p(n)$ which finally answers to a question proposed by Chen. Our error term estimation predominantly relies on applications of algorithmic methods from symbolic summation.
Transitivity in finite general linear groups
Published
• View Publication
• BIB
It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural characterisations of transitive subsets of $\operatorname{GL}(n,q)$ using the character theory of $\operatorname{GL}(n,q)$ and interprete such subsets as designs in the conjugacy class association scheme of $\operatorname{GL}(n,q)$. In particular we generalise a theorem of Perin on subgroups of $\operatorname{GL}(n,q)$ acting transitively on $t$-dimensional subspaces. We survey transitive subgroups of $\operatorname{GL}(n,q)$, showing that there is no subgroup of $\operatorname{GL}(n,q)$ with $1<t<n$ acting transitively on $t$-dimensional subspaces unless it contains $\operatorname{SL}(n,q)$ or is one of two exceptional groups. On the other hand, for all fixed $t$, we show that there exist nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on linearly independent $t$-tuples of $\mathbb{F}_q^n$, which also shows the existence of nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on more general flag-like structures. We establish connections with orthogonal polynomials, namely the Al-Salam-Carlitz polynomials, and generalise a result by Rudvalis and Shinoda on the distribution of the number of fixed points of the elements in $\operatorname{GL}(n,q)$. Many of our results can be interpreted as $q$-analogs of corresponding results for the symmetric group.
Matroidal Cayley-Bacharach and independence/dependence of geometric properties of matroids
We consider the relationship between a matroidal analogue of the degree $a$ Cayley-Bacharach property (finite sets of points failing to impose independent conditions on degree $a$ hypersurfaces) and geometric properties of matroids. If the matroid polytopes in question are nestohedra, we show that the minimal degree matroidal Cayley-Bacharach property denoted $MCB(a)$ is determined by the structure of the building sets used to construct them. This analysis also applies for other degrees $a$. Also, it does not seem to affect the combinatorial equivalence class of the matroid polytope.
However, there are close connections to minimal nontrivial degrees $a$ and the geometry of the matroids in question for paving matroids (which are conjecturally generic among matroids of a given rank) and matroids constructed out of supersolvable hyperplane arrangements. The case of paving matroids is still related to with properties of building sets since it is closely connected to (Hilbert series of) Chow rings of matroids, which are combinatorial models of the cohomology of wonderful compactifications. Finally, our analysis of supersolvable line and hyperplane arrangements give a family of matroids which are natrually related to independence conditions imposed by points one plane curves or can be analyzed recursively.
Causal Fourier Analysis on Directed Acyclic Graphs and Posets
Published in IEEE Transactions on Signal Processing, Vol. 71, pp. 3805-3820, 2023
• View Publication
• BIB
We present a novel form of Fourier analysis, and associated signal processing concepts, for signals (or data) indexed by edge-weighted directed acyclic graphs (DAGs). This means that our Fourier basis yields an eigendecomposition of a suitable notion of shift and convolution operators that we define. DAGs are the common model to capture causal relationships between data values and in this case our proposed Fourier analysis relates data with its causes under a linearity assumption that we define. The definition of the Fourier transform requires the transitive closure of the weighted DAG for which several forms are possible depending on the interpretation of the edge weights. Examples include level of influence, distance, or pollution distribution. Our framework is different from prior GSP: it is specific to DAGs and leverages, and extends, the classical theory of Moebius inversion from combinatorics. For a prototypical application we consider DAGs modeling dynamic networks in which edges change over time. Specifically, we model the spread of an infection on such a DAG obtained from real-world contact tracing data and learn the infection signal from samples assuming sparsity in the Fourier domain.
Orientably-Regular $π$-Maps and Regular $π$-Maps
Given a map with underlying graph $\mathcal{G}$, if the set of prime divisors of $|V(\mathcal{G}|$ is denoted by $π$, then we call the map a {\it $π$-map}.
An orientably-regular (resp. A regular ) $π$-map is called {\it solvable} if the group $G^+$ of all orientation-preserving automorphisms (resp. the group $G$ of automorphisms) is solvable; and called {\it normal} if $G^+$ (resp. $G$) contains a normal $π$-Hall subgroup.
In this paper, it will be proved that orientably-regular $π$-maps are solvable and normal if $2\notin π$ and regular $π$-maps are solvable if $2\notin π$ and $G$ has no sections isomorphic to ${\rm PSL}(2,q)$ for some prime power $q$. In particular, it's shown that a regular $π$-map with $2\notin π$ is normal if and only if $G/O_{2^{'}}(G)$ is isomorphic to a Sylow $2$-group of $G$.
Moreover, nonnormal $π$-maps will be characterized and some properties and constructions of normal $π$-maps will be given in respective sections.
Fast approximation of search trees on trees with centroid trees
Search trees on trees (STTs) generalize the fundamental binary search tree (BST) data structure: in STTs the underlying search space is an arbitrary tree, whereas in BSTs it is a path. An optimal BST of size $n$ can be computed for a given distribution of queries in $O(n^2)$ time [Knuth 1971] and centroid BSTs provide a nearly-optimal alternative, computable in $O(n)$ time [Mehlhorn 1977].
By contrast, optimal STTs are not known to be computable in polynomial time, and the fastest constant-approximation algorithm runs in $O(n^3)$ time [Berendsohn, Kozma 2022]. Centroid trees can be defined for STTs analogously to BSTs, and they have been used in a wide range of algorithmic applications. In the unweighted case (i.e., for a uniform distribution of queries), a centroid tree can be computed in $O(n)$ time [Brodal et al. 2001; Della Giustina et al. 2019]. These algorithms, however, do not readily extend to the weighted case. Moreover, no approximation guarantees were previously known for centroid trees in either the unweighted or weighted cases.
In this paper we revisit centroid trees in a general, weighted setting, and we settle both the algorithmic complexity of constructing them, and the quality of their approximation. For constructing a weighted centroid tree, we give an output-sensitive $O(n\log h)\subseteq O(n\log n)$ time algorithm, where $h$ is the height of the resulting centroid tree. If the weights are of polynomial complexity, the running time is $O(n\log\log n)$. We show these bounds to be optimal, in a general decision tree model of computation. For approximation, we prove that the cost of a centroid tree is at most twice the optimum, and this guarantee is best possible, both in the weighted and unweighted cases. We also give tight, fine-grained bounds on the approximation-ratio for bounded-degree trees and on the approximation-ratio of more general $α$-centroid trees.
Identities of the multi-variate independence polynomials from heaps theory
Published in Proc. Indian Acad. Sci. Math. Sci. 134 (2024), no. 1, Paper No. 16, 11 pp
• View Publication
• BIB
We study and derive identities for the multi-variate independence polynomials from the perspective of heaps theory. Using the inversion formula and the combinatorics of partially commutative algebras we show how the multi-variate version of Godsil type identity as well as the fundamental identity can be obtained from weight preserving bijections. Finally, we obtain a new multi-variate identity involving connected bipartite subgraphs similar to the Christoffel-Darboux type identities obtained by Bencs.
Faces of Cosmological Polytopes
Published in Ann. Inst. H. Poincaré D, Comb. Phys. Interact. 2024
• View Publication
• BIB
A cosmological polytope is a lattice polytope introduced by Arkani-Hamed, Benincasa, and Postnikov in their study of the wavefunction of the universe in a class of cosmological models. More concretely, they construct a cosmological polytope for any Feynman diagram, i.e. an undirected graph. In this paper, we initiate a combinatorial study of these polytopes. We give a complete description of their faces, identify minimal faces that are not simplices and compute the number of faces in specific instances. In particular, we give a recursive description of the $f$-vector of cosmological polytopes of trees.
On the Last New Vertex Visited by a Random Walk in a Directed Graph
Published in Discrete Math. Lett. 11 (2023) 96-98
• View Publication
• BIB
Consider a simple graph in which a random walk begins at a given vertex. It moves at each step with equal probability to any neighbor of its current vertex, and ends when it has visited every vertex. We call such a random walk a random cover tour. It is well known that cycles and complete graphs have the property that a random cover tour starting at any vertex is equally likely to end at any other vertex. Ronald Graham asked whether there are any other graphs with this property. In 1993, Lászlo Lovász and Peter Winkler showed that cycles and complete graphs are the only undirected graphs with this property. We strengthen this result by showing that cycles and complete graphs (with all edges considered bidirected) are the only directed graphs with this property.
The Turán density of tight cycles in three-uniform hypergraphs
The Turán density of an $r$-uniform hypergraph $\mathcal{H}$, denoted $π(\mathcal{H})$, is the limit of the maximum density of an $n$-vertex $r$-uniform hypergraph not containing a copy of $\mathcal{H}$, as $n \to \infty$.
Denote by $\mathcal{C}_{\ell}$ the $3$-uniform tight cycle on $\ell$ vertices. Mubayi and Rödl gave an ``iterated blow-up'' construction showing that the Turán density of $\mathcal{C}_5$ is at least $2\sqrt{3} - 3 \approx 0.464$, and this bound is conjectured to be tight. Their construction also does not contain $\mathcal{C}_{\ell}$ for larger $\ell$ not divisible by $3$, which suggests that it might be the extremal construction for these hypergraphs as well. Here, we determine the Turán density of $\mathcal{C}_{\ell}$ for all large $\ell$ not divisible by $3$, showing that indeed $π(\mathcal{C}_{\ell}) = 2\sqrt{3} - 3$. To our knowledge, this is the first example of a Turán density being determined where the extremal construction is an iterated blow-up construction.
A key component in our proof, which may be of independent interest, is a $3$-uniform analogue of the statement ``a graph is bipartite if and only if it does not contain an odd cycle''.
Invariant differential derivations for reflection groups in positive characteristic
Published
• View Publication
• BIB
Much of the fascinating numerology surrounding finite reflection groups stems from Solomon's celebrated 1963 theorem describing invariant differential forms. Invariant differential derivations also exhibit interesting numerology over the complex numbers. We explore the analogous theory over arbitrary fields, in particular, when the characteristic of the underlying field divides the order of the acting reflection group and the conclusion of Solomon's Theorem may fail. Using results of Broer and Chuai, we give a Saito criterion (Jacobian criterion) for finding a basis of differential derivations invariant under a finite group that distinguishes certain cases over fields of characteristic 2. We show that the reflecting hyperplanes lie in a single orbit and demonstrate a duality of exponents and coexponents when the transvection root spaces of a reflection group are maximal. A set of basic derivations are used to construct a basis of invariant differential derivations with a twisted wedging in this case. We obtain explicit bases for the special linear groups SL(n,q) and general linear groups GL(n,q), and all groups in between.
Edge-colorings avoiding patterns in a triangle
Published
• View Publication
• BIB
For positive integers $n$ and $r$, we consider $n$-vertex graphs with the maximum number of $r$-edge-colorings with no copy of a triangle where exactly two colors appear. We prove that, if $2 \leq r \leq 26$ and $n$ is sufficiently large, the maximum is attained by the bipartite Turán graph $T_2(n)$ on $n$ vertices. This is best possible, as $T_2(n)$ is not extremal for $r \geq 27$ colors and $n \geq 3$.
The combinatorics of $N_\infty$ operads for $C_{qp^n}$ and $D_{p^n}$
Published
• View Publication
• BIB
We provide a general recursive method for constructing transfer systems on finite lattices. Using this we calculate the number of homotopically distinct $N_\infty$ operads for dihedral groups $D_{p^n}$, $p > 2$ prime, and cyclic groups $C_{qp^n}$, $p \neq q$ prime. We then further display some of the beautiful combinatorics obtained by restricting to certain homotopically meaningful $N_\infty$ operads for these groups.
Refined list version of Hadwiger's conjecture
Published
• View Publication
• BIB
Assume $λ=\{k_1,k_2, \ldots, k_q\}$ is a partition of $k_λ = \sum_{i=1}^q k_i$. A $λ$-list assignment of $G$ is a $k_λ$-list assignment $L$ of $G$ such that the colour set $\bigcup_{v \in V(G)}L(v)$ can be partitioned into $|λ|= q$ sets $C_1,C_2,\ldots,C_q$ such that for each $i$ and each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is \emph{$λ$-choosable} if $G$ is $L$-colourable for any $λ$-list assignment $L$ of $G$. The concept of $λ$-choosability is a refinement of choosability that puts $k$-choosability and $k$-colourability in the same framework. If $|λ|$ is close to $k_λ$, then $λ$-choosability is close to $k_λ$-colourability; if $|λ|$ is close to $1$, then $λ$-choosability is close to $k_λ$-choosability. This paper studies Hadwiger's Conjecture in the context of $λ$-choosability. Hadwiger's Conjecture is equivalent to saying that every $K_t$-minor-free graph is $\{1 \star (t-1)\}$-choosable for any positive integer $t$. We prove that for $t \ge 5$, for any partition $λ$ of $t-1$ other than $\{1 \star (t-1)\}$, there is a $K_t$-minor-free graph $G$ that is not $λ$-choosable. We then construct several types of $K_t$-minor-free graphs that are not $λ$-choosable, where $k_λ- (t-1)$ gets larger as $k_λ-|λ|$ gets larger. In partcular, for any $q$ and any $ε> 0$, there exists $t_0$ such that for any $t \ge t_0$, for any partition $λ$ of $\lfloor (2-ε)t \rfloor$ with $|λ| =q$, there is a $K_t$-minor-free graph that is not $λ$-choosable. The $q=1$ case of this result was recently proved by Steiner, and our proof uses a similar argument. We also generalize this result to $(a,b)$-list colouring.
Almost Ramanujan Expanders from Arbitrary Expanders via Operator Amplification
Published
• View Publication
• BIB
We give an efficient algorithm that transforms any bounded degree expander graph into another that achieves almost optimal (namely, near-quadratic, $d \leq 1/λ^{2+o(1)}$) trade-off between (any desired) spectral expansion $λ$ and degree $d$. Furthermore, the algorithm is local: every vertex can compute its new neighbors as a subset of its original neighborhood of radius $O(\log(1/λ))$. The optimal quadratic trade-off is known as the Ramanujan bound, so our construction gives almost Ramanujan expanders from arbitrary expanders.
The locality of the transformation preserves structural properties of the original graph, and thus has many consequences. Applied to Cayley graphs, our transformation shows that any expanding finite group has almost Ramanujan expanding generators. Similarly, one can obtain almost optimal explicit constructions of quantum expanders, dimension expanders, monotone expanders, etc., from existing (suboptimal) constructions of such objects. Another consequence is a "derandomized" random walk on the original (suboptimal) expander with almost optimal convergence rate. Our transformation also applies when the degree is not bounded or the expansion is not constant.
We obtain our results by a generalization of Ta-Shma's technique in his breakthrough paper [STOC 2017], used to obtain explicit almost optimal binary codes. Specifically, our spectral amplification extends Ta-Shma's analysis of bias amplification from scalars to matrices of arbitrary dimension in a very natural way. Curiously, while Ta-Shma's explicit bias amplification derandomizes a well-known probabilistic argument (underlying the Gilbert--Varshamov bound), there seems to be no known probabilistic (or other existential) way of achieving our explicit ("high-dimensional") spectral amplification.
Inequalities for the Broken $k$-Diamond Partition Function
Published
• View Publication
• BIB
In 2007, Andrews and Paule introduced the broken $k$-diamond partition function $Δ_k(n)$, which has received a lot of researches on the arithmetic propertises. In this paper, we prove that $D^3\log Δ_1(n-1)>0$ for $n\geq 5$ and $D^3 \log Δ_2(n-1)>0$ for $n\geq 7$, where $D$ is the difference operator with respect to $n$. We also conjecture that for any $k\geq 1$ and $r\geq 1$, there exists a positive integer $n_k(r)$ such that for $n\geq n_{k}(r)$, $(-1)^r D^r \log Δ_k(n)>0$. This is analogous to the positivity of finite differences of the logarithm of the partition function, which has been proved by Chen, Wang and Xie. Furthermore, we obtain that both $\{Δ_1(n)\}_{n\geq 0}$ and $\{Δ_2(n)\}_{n\geq 0}$ satisfy the higher order Turán inequalities for $n \geq 6$.
On adjacency and (signless) Laplacian spectra of centralizer and co-centralizer graphs of some finite non-abelian groups
Published
• View Publication
• BIB
Let $G$ be a finite non abelian group. The centralizer graph of $G$ is a simple undirected graph $Γ_{cent}(G)$, whose vertices are the proper centralizers of $G$ and two vertices are adjacent if and only if their cardinalities are identical {\rm\cite{omer}}. The complement of the centralizer graph is called the co-centralizer graph. In this paper, we investigate the adjacency and (signless) Laplacian spectra of centralizer and co-centralizer graphs of some classes of finite non-abelian groups and obtain some conditions on a group so that the centralizer and co-centralizer graphs are adjacency, (signless) Laplacian integral.
Universal end-compactifications of locally finite graphs
Published
• View Publication
• BIB
We construct a locally finite connected graph whose Freudenthal compactification is universal for the class of completely regular continua, a class also known in the literature under the name thin or graph-like continua.
D-Sequence Edge Binomials, and Regularity of Powers of Binomial Edge Ideals of Trees
Published
• View Publication
• BIB
We provide the necessary and sufficient conditions for the edge-binomials of the tree forming a $d$-sequence in terms of the degree sequence notion of a graph. We study the regularity of powers of the binomial edge ideals of trees generated by $d$-sequence edge binomials.