Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On extremal spectral radius of blow-up uniform hypergraphs
Published
• View Publication
• BIB
Let $G$ be an $r$-uniform hypergraph of order $t$ and $ρ(G)$ is the spectral radius of $\mathcal{A}(G)$, where $\mathcal{A}(G)$ is the adjacency tensor of $G$. A blow-up of $G$ respected to a positive integer vector $(n_{1}, n_{2},\ldots,n_{t})$, denoted by $G \circ (n_{1}, n_{2},\ldots,n_{t})$, is an $r$-uniform hypergraph obtained from $G$ by replacing each vertex $j$ of $G$ with a class of vertices $V_{j}$ of size $n_{j}\ge 1$ and if $\{j_{1},j_{2},\ldots,j_{r}\}\in E(G)$, then $\{v_{i_1},v_{i_2},\ldots,v_{i_r}\}\in E(H)$ for every $v_{i_{1}}\in V_{j_{1}}, v_{i_{2}}\in V_{j_{2}},\ldots, v_{i_{r}}\in V_{j_{r}}$. Let $\mathcal{B}_{n}(G)$ be the set of all the blow-ups of $G$ such that each $n_i\ge 1$ and $\sum_{i=1}^n n_i=n$. Let $K_{t}^{r}$ be the complete $r$-uniform hypergraph of order $t$, and let $SH(m,q,r)$ be the $r$-uniform sunflower hypergraph with $m$ petals and a kernel of size $r-q$ on $t$ vertices. For any $H\in \mathcal{B}_{n}(K_{t}^{r})$, we prove that $$ρ(K_{t}^{r}\circ(n-t+1,1,1,\ldots,1))\leqρ(H)\leq ρ(T_{t}^{r}(n)),$$ with the left equality holds if and only if $H\cong K_{t}^{r}\circ(n-t+1,1,1,\ldots,1)$, and the right equality holds if and only if $H\cong T_{t}^{r}(n)$, where $T_{t}^{r}(n)$ is the complete $t$-partite $r$-uniform hypergraph of order $n$, with parts of size $\lfloor n / k\rfloor$ or $\lceil n / k \rceil$. For any $H\in \mathcal{B}_{n}(H(m,q,r))$, we determine the exact value of the spectral radius of $H$ and characterize the hypergraphs with maximum spectral radius and minimum spectral radius in $\mathcal{B}_{n}(H(m,q,r))$, respectively.
Computing vector partition functions
A vector partition function is the number of ways to write a vector as a non-negative integer-coefficient sum of the elements of a finite set of vectors $Δ$. We present a new algorithm for computing closed-form formulas for vector partition functions as quasi-polynomials over a finite set of pointed polyhedral cones, implemented in the ``calculator'' computer algebra system. We include an exposition of previously known theory of vector partition functions. While our results are not new, our exposition is elementary and self-contained.
Categorifications of Non-Integer Quivers: Type $I_2(2n)$
Published
• View Publication
• BIB
We use weighted unfoldings of quivers to provide a categorification of mutations of quivers of types $I_2(2n)$, thus extending the construction of categorifications of mutations of quivers to all finite types.
Sizes of flat maximal antichains of subsets
Published
• View Publication
• BIB
This is the second of two papers investigating for which positive integers $m$ there exists a maximal antichain of size $m$ in the Boolean lattice $B_n$ (the power set of $[n]:=\{1,2,\dots,n\}$, ordered by inclusion). In the first part, the sizes of maximal antichains have been characterized. Here we provide an alternative construction with the benefit of showing that almost all sizes of maximal antichains can be obtained using antichains containing only $l$-sets and $(l+1)$-sets for some $l$.
Non-empty intersection of longest paths in $H$-free graphs
Published
• View Publication
• BIB
We make progress toward a characterization of the graphs $H$ such that every connected $H$-free graph has a longest path transversal of size $1$. In particular, we show that the graphs $H$ on at most $4$ vertices satisfying this property are exactly the linear forests. We also show that if the order of a connected graph $G$ is large relative to its connectivity $κ(G)$, and its independence number $α(G)$ satisfies $α(G) \le κ(G) + 2$, then each vertex of maximum degree forms a longest path transversal of size $1$.
Limit shape for regularisation of large partitions under the Plancherel measure
A celebrated result of Kerov-Vershik and Logan-Shepp gives an asymptotic shape for large partitions under the Plancherel measure. We prove that when we consider $e$-regularisations of such partitions we still have a convex limit shape, which is given by a shaking of the Kerov-Vershik-Logan-Shepp curve. We deduce an explicit form for the first asymptotics of the length of the first rows and the first columns for the $e$-regularisation.
Characterizing the Degree-Kirchhoff, Gutman, and Schultz Indices in Pentagonal Cylinders and Möbius Chains
Published
• View Publication
• BIB
The degree-Kirchhoff index of a connected graph is defined as the sum of the reciprocals of the non-zero eigenvalues of the normalized Laplacian matrix, each multiplied by the graph's total degree. Several studies have recently obtained explicit formulations for the degree-Kirchhoff index of various kinds of class graphs. This paper presents closed-form formulas for the degree-Kirchhoff index of pentagonal cylinders and Möbius chains. Additionally, we calculate the Gutman index and Schultz index for these graphs.
The Kelley--Meka bounds for sets free of three-term arithmetic progressions
Published in Ess. Number Th. 2 (2023) 15-44
• View Publication
• BIB
We give a self-contained exposition of the recent remarkable result of Kelley and Meka: if $A\subseteq \{1,\ldots,N\}$ has no non-trivial three-term arithmetic progressions then $\lvert A\rvert \leq \exp(-c(\log N)^{1/12})N$ for some constant $c>0$.
Although our proof is identical to that of Kelley and Meka in all of the main ideas, we also incorporate some minor simplifications relating to Bohr sets. This eases some of the technical difficulties tackled by Kelley and Meka and widens the scope of their method. As a consequence, we improve the lower bounds for finding long arithmetic progressions in $A+A+A$, where $A\subseteq \{1,\ldots,N\}$.
PolarStar: Expanding the Scalability Horizon of Diameter-3 Networks
Published in In Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures 2024 (SPAA '24). ACM, New York, NY, USA, pages 345 - 357
• View Publication
• BIB
We present PolarStar, a novel family of diameter-3 network topologies derived from the star product of low-diameter factor graphs. PolarStar gives the largest known diameter-3 network topologies for almost all radixes, thus providing the best known scalable diameter-$3$ network. Compared to current state-of-the-art diameter-$3$ networks, PolarStar achieves $1.3\times$ geometric mean increase in scale over Bundlefly, $1.9\times$ over Dragonfly, and $6.7\times$ over {3-D} HyperX. PolarStar has many other desirable properties, including a modular layout, large bisection, high resilience to link failures and a large number of feasible configurations for every radix. We give a detailed evaluation with simulations of synthetic and real-world traffic patterns and show that PolarStar exhibits comparable or better performance than current diameter-3 networks.
S-Motzkin paths with catastrophes and air pockets
Published
• View Publication
• BIB
So called $S$-Motzkin paths are combined the concepts `catastrophes' and `air pockets. The enumeration is done by properly set up bivariate generating functions which can be extended using the kernel method.
Multislant matrices and Jacobi--Trudi determinants over finite fields
Published in Finite Fields and Their Applications 91, October 2023, 102262
• View Publication
• BIB
The problem of counting the $\mathbb{F}_q$-valued points of a variety has been well-studied from algebro-geometric, topological, and combinatorial perspectives. We explore a combinatorially flavored version of this problem studied by Anzis et al. (2018), which is similar to work of Kontsevich, Elkies, and Haglund.
Anzis et al. considered the question: what is the probability that the determinant of a Jacobi-Trudi matrix vanishes if the variables are chosen uniformly at random from a finite field? They gave a formula for various partitions such as hooks, staircases, and rectangles. We give a formula for partitions whose parts form an arithmetic progression, verifying and generalizing one of their conjectures. More generally, we compute the probability of the determinant vanishing for a class of matrices (``multislant matrices'') made of Toeplitz blocks with certain properties.
We furthermore show that the determinant of a skew Jacobi-Trudi matrix is equidistributed across the finite field if the skew partition is a ribbon.
Topological proofs of categorical coherence
Published in Cahiers de topologie et géométrie différentielle catégoriques, Volume LXV, 2024, Issue 4, 357-389
• Search Publication
We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac Lane's coherence theorem for symmetric monoidal categories, as suggested by Kapranov in 1993. Our analysis is based on a notion of combinatorial homotopy, which we further study in the special case of polyhedral complexes, leading to a second geometrical proof of coherence which is very close to Mac Lane's original argument. We use Morse theory to show that this second method is (strictly) less general than the first. We provide a detailed analysis of how both methods allow us to deduce these two categorical coherence results and discuss possible generalizations to higher categories.
Coordinate rings of regular nilpotent Hessenberg varieties in the open opposite Schubert cell
Published in Forum of Mathematics, Sigma 13 (2025) e44
• View Publication
• BIB
Dale Peterson has discovered a surprising result that the quantum cohomology ring of the flag variety $\mbox{GL}_n(\mathbb{C})/B$ is isomorphic to the coordinate ring of the intersection of the Peterson variety $\mbox{Pet}_n$ and the opposite Schubert cell associated with the identity element $Ω_e^\circ$ in $\mbox{GL}_n(\mathbb{C})/B$. This is an unpublished result, so papers of Kostant and Rietsch are referred for this result. An explicit presentation of the quantum cohomology ring of $\mbox{GL}_n(\mathbb{C})/B$ is given by Ciocan-Fontanine and Givental-Kim. In this paper we introduce further quantizations of their presentation so that they reflect the coordinate rings of the intersections of regular nilpotent Hessenberg varieties $\mbox{Hess}(N,h)$ and $Ω_e^\circ$ in $\mbox{GL}_n(\mathbb{C})/B$. In other words, we generalize the Peterson's statement to regular nilpotent Hessenberg varieties via the presentation given by Ciocan-Fontanine and Givental-Kim. As an application of our theorem, we show that the singular locus of the intersection of some regular nilpotent Hessenberg variety $\mbox{Hess}(N,h_m)$ and $Ω_e^\circ$ is the intersection of certain Schubert variety and $Ω_e^\circ$ where $h_m=(m,n,\ldots,n)$ for $1<m<n$. We also see that $\mbox{Hess}(N,h_2) \cap Ω_e^\circ$ is related with the cyclic quotient singularity.
Generalizations of Sylvester's refinement of Euler's odd-strict theorem
Regarding Euler's odd-strict theorem, which is the most basic partition identity, A refinement was done by Sylvester, and it was generalized by Bessenrodt to the r-regular and r-class regular cases. In this paper, we focus on the periodicity of the exponent seen on the r-regular side in Bessenrodt's generalization, and further generalize from that point of view. At the end of this paper, we also introduce a partition identity when extended without regard to the periodicity of the exponent.
Moving vectors I: Representation type of blocks of Ariki-Koike algebras
Published
• View Publication
• BIB
We introduce a new invariant for blocks of Ariki-Koike algebras, called block moving vector, which is a vector of non-negative integers summing up to the weight of the block. In this paper, we use moving vectors to classify representation-finite blocks of Ariki-Koike algebras. As applications, we obtain examples of blocks with the same weight associated with the same multicharge that are not derived equivalent and examples of derived equivalent blocks being in different orbits under the adjoint action of the affine Weyl group. We also determine the representation type for blocks of cyclotomic $q$-Schur algebras.
Brooks-type theorems for relaxations of square colorings
Published
• View Publication
• BIB
The following relaxation of proper coloring the square of a graph was recently introduced: for a positive integer $h$, the proper $h$-conflict-free chromatic number of a graph $G$, denoted $χ_{pcf}^h(G)$, is the minimum $k$ such that $G$ has a proper $k$-coloring where every vertex $v$ has $\min\{deg_G(v),h\}$ colors appearing exactly once on its neighborhood. Caro, Petruševski, and Škrekovski put forth a Brooks-type conjecture: if $G$ is a graph with $Δ(G)\ge 3$, then $χ_{pcf}^1(G)\leq Δ(G)+1$. The best known result regarding the conjecture is $χ_{pcf}^1(G)\leq 2Δ(G)+1$, which is implied by a result of Pach and Tardos. We improve upon the aforementioned result for all $h$, and also enlarge the class of graphs for which the conjecture is known to be true.
Our main result is the following: for a graph $G$, if $Δ(G) \ge h+2$, then $χ_{pcf}^h(G)\le (h+1)Δ(G)-1$; this is tight up to the additive term as we explicitly construct infinitely many graphs $G$ with $χ_{pcf}^h(G)=(h+1)(Δ(G)-1)$. We also show that the conjecture is true for chordal graphs, and obtain partial results for quasi-line graphs and claw-free graphs. Our main result also improves upon a Brooks-type result for $h$-dynamic coloring.
On stability of rainbow matchings
Published
• View Publication
• BIB
We show that for any integer $k\ge 1$ there exists an integer $t_0(k)$ such that for integers $t, k_1, \ldots, k_{t+1}, n$ with $t>t_0(k)$, $\max\{k_1, \ldots, k_{t+1}\}\le k$, and $n > 2k(t+1)$, the following holds: If $F_i \subseteq {[n]\choose k_i}$ and $|F_i|> {n\choose k_i}-{n-t\choose k_i} - {n-t-k \choose k_i-1} + 1$ for all $i \in [t+1]$, then either $\{F_1,\ldots, F_{t+1}\}$ admits a rainbow matching of size $t+1$ or there exists $W\in {[n]\choose t}$ such that $W$ is a vertex cover of $F_i$ for all $i\in [t+1]$. This may be viewed as a rainbow non-uniform extension of the classical Hilton-Milner theorem. We also show that the same holds for every $t$ and $n > 2k^3t$, generalizing a recent stability result of Frankl and Kupavskii on matchings to rainbow matchings.
General Position Problem of Butterfly Networks
A general position set S is a set S of vertices in G(V,E) such that no three vertices of S lie on a shortest path in G. Such a set of maximum size in G is called a gpset of G and its cardinality is called the gp-number of G denoted by gp(G). The authors who introduced the general position problem stated that the general position problem for butterfly networks was open. A well-known technique to solve the general position problem for a given network is to use its isometric path cover number as an upper bound. The general position problem for butterfly networks remained open because this technique is not applicable for butterfly networks. In this paper, we adopt a new technique which uses the isometric cycle cover number as its upper bound. This technique is interesting and useful because it opens new avenues to solve the general position problem for networks which do not have solutions yet.
Arc-disjoint out-branchings and in-branchings in semicomplete digraphs
Published
• View Publication
• BIB
An out-branching $B^+_u$ (in-branching $B^-_u$) in a digraph $D$ is a connected spanning subdigraph of $D$ in which every vertex except the vertex $u$, called the root, has in-degree (out-degree) one. It is well-known that there exists a polynomial algorithm for deciding whether a given digraph has $k$ arc-disjoint out-branchings with prescribed roots ($k$ is part of the input). In sharp contrast to this, it is already NP-complete to decide if a digraph has one out-branching which is arc-disjoint from some in-branching. A digraph is {\bf semicomplete} if it has no pair of non adjacent vertices. A {\bf tournament} is a semicomplete digraph without directed cycles of length 2. In this paper we give a complete classification of semicomplete digraphs which have an out-branching $B^+_u$ which is arc-disjoint from some in-branching $B^-_v$ where $u,v$ are prescribed vertices of $D$. Our characterization, which is surprisingly simple, generalizes a complicated characterization for tournaments from 1991 by the first author and our proof implies the existence of a polynomial algorithm for checking whether a given semicomplete digraph has such a pair of branchings for prescribed vertices $u,v$ and construct a solution if one exists. This confirms a conjecture of Bang-Jensen for the case of semicomplete digraphs.
A topological version of Hedetniemi's conjecture for equivariant spaces
Published in Combinatorica 44, 441-452 (2024)
• View Publication
• BIB
A topological version of the famous Hedetniemi conjecture says: The mapping index of the Cartesian product of two $\mathbb Z/2$-spaces is equal to the minimum of their $\mathbb Z/2$-indexes. The main purpose of this article is to study the topological version of the Hedetniemi conjecture for $G$-spaces. Indeed, we show that the topological Hedetniemi conjecture cannot be valid for general pairs of $G$-spaces. More precisely, we show that this conjecture can possibly survive if the group $G$ is either a cyclic $p$-group or a generalized quaternion group whose size is a power of 2.