Showing 20 papers (Total: 84360 papers, 48587 authors in database)
All the $λ_1$'s on cyclic admissible covers
Published
• View Publication
• BIB
We compute the degree of Hurwitz-Hodge classes $λ_1^e$ on one dimensional moduli spaces of cyclic admissible covers of the projective line. We also compute the degree of the the first Chern class of the Hodge bundle $λ_1$ for all one dimensional moduli spaces. In higher dimension, we express the divisor class $λ_1$ as a linear combination of $ψ$ classes and boundary strata.
Plethysm and the algebra of uniform block permutations
Published in Algebraic Combinatorics, Volume 5 (2022) no. 5, pp. 1165-1203
• View Publication
• BIB
We study the representation theory of the uniform block permutation algebra in the context of the representation theory of factorizable inverse monoids. The uniform block permutation algebra is a subalgebra of the partition algebra and is also known as the party algebra. We compute its characters and provide a Frobenius characteristic map to symmetric functions. This reveals connections of the characters of the uniform block permutation algebra and plethysms of Schur functions.
On the Number of Maximum Inner Distance Latin Squares
The inner distance of a Latin square was defined by myself and six others during an REU in the Summer of 2020 at Moravian College. Since then, I have been curious about its possible connections to other combinatorial mathematics. The inner distance of a matrix is the minimum value of the distance between entries in adjacent cells, where our distance metric is distance modulo $n$. Intuitively, one expects that most Latin squares have inner distance 1, for example there probably exists a pair of adjacent cells with consecutive integers. And very few should have \textit{maximum} inner distance; the maximum inner distance was found by construction for all $n\geq 3$ to be exactly $\left \lfloor\frac{n-1}{2}\right \rfloor$. In this paper we also establish existence for all smaller inner distances. Much of our introductory work is showcased in \cite{inner distance}, with a primary focus on determining the maximum inner distance for Latin squares and Sudoku Latin squares. In this paper, we focus on enumerating maximum inner distance squares, and calculated the exact number for any $n$.
Nonfinitely based ai-semirings with finitely based semigroup reducts
Published
• View Publication
• BIB
We present some general results implying nonfinite axiomatisability of many additively idempotent semirings with finitely based semigroup reducts. The smallest is a $3$-element commutative example, which we show also has \texttt{NP}-hard membership for its variety. As well as being the only nonfinite axiomatisable ai-semiring on $3$-elements, we are able to show that its nonfinite basis property infects many related semirings, including the natural ai-semiring structure on the semigroup $B_2^1$. We also extend previous group-theory based examples significantly, by showing that any finite additively idempotent semiring with a nonabelian nilpotent subgroup is not finitely axiomatisable for its identities.
Powersum Bases in Quasisymmetric Functions and Quasisymmetric Functions in Non-commuting Variables
We introduce new bases for the Hopf algebra of quasisymmetric functions that refine the symmetric powersum basis. These bases are expanded in terms of quasisymmetric monomial functions by using fillings of matrices. We define the analog of these bases in quasisymmetric functions of non-commuting variables. Our new bases have a (shifted) shuffle product and a deconcatenate coproduct. Finally, we describe a change of basis rule from the quasisymmetric powersum basis to the quasisymmetric fundamental basis.
The total coloring of $K_5$-minor-free graphs
Published in European Journal of Combinatorics (2022)
• View Publication
• BIB
A total $k$-coloring of a graph $G$ is a coloring of $V(G)\cup E(G)$ using $k$ colors such that no two adjacent or incident elements receive the same color. The total chromatic number $χ"(G)$ of $G$ is the smallest integer $k$ such that $G$ has a total $k$-coloring. In the paper, it is proved that for any $K_5$-minor-free graph $G$, $χ''(G)\leq Δ(G)+2$ if $Δ(G)\geq 7$. Moreover, $χ"(G)=Δ(G)+1$ if $Δ(G)\geq 10$.
Towards a conjecture on a special class of matrices over commutative rings of characteristic 2
In this paper, we prove the conjecture posed by Keller and Rosemarin at Eurocrypt 2021 on the nullity of a matrix polynomial of a block matrix with Hadamard type blocks over commutative rings of characteristic 2. Therefore, it confirms the conjectural optimal bound on the dimension of invariant subspace of the Starkad cipher using the HADES design strategy. Moreover, we reveal the algebraic structure formed by Hadamard matrices over commutative rings from the perspectives of group algebra and polynomial algebra. An interesting relation between block-Hadamard matrices and Hadamard-block matrices is obtained as well.
On critical graphs for the chromatic edge-stability number
Published
• View Publication
• BIB
The {\em chromatic edge-stability number} $es_χ(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph with the chromatic number smaller than that of $G$. A graph $G$ is called {\em $(3,2)$-critical} if $χ(G)=3$, $es_χ(G)=2$ and for any edge $e\in E(G)$, $es_χ(G-e)<es_χ(G)$. In this paper, we characterize $(3,2)$-critical graphs which contain at least five odd cycles. This answers a question proposed by
Brešar, Klavžar and Movarraei in [Critical graphs for the chromatic edge-stability number, {\it Discrete Math.} {\bf 343}(2020) 111845].
Parabolic Tamari Lattices in Linear Type B
Published in The Electronic Journal of Combinatorics 31, 1 (2024). P1.65
• View Publication
• BIB
We study parabolic aligned elements associated with the type-$B$ Coxeter group and the so-called linear Coxeter element. These elements were introduced algebraically in (Mühle and Williams, 2019) for parabolic quotients of finite Coxeter groups and were characterized by a certain forcing condition on inversions. We focus on the type-$B$ case and give a combinatorial model for these elements in terms of pattern avoidance. Moreover, we describe an equivalence relation on parabolic quotients of the type-$B$ Coxeter group whose equivalence classes are indexed by the aligned elements. We prove that this equivalence relation extends to a congruence relation for the weak order. The resulting quotient lattice is the type-$B$ analogue of the parabolic Tamari lattice introduced for type $A$ in (Mühle and Williams, 2019). These lattices have not appeared in the literature before.
SIS/R model on Bi-Uniform Hypergraph
This report is based on the work in (1). We first review definitions and notation developped there and provide derivations for the exact mathematical description of an SIS epidemic on a hypergraph. We then generalise the work in (1) to a new class of models that encompass SIS and SIR models. The exact differential equations are derived for the expected values of the population of each state. Focusing on Bi-uniform hypergraphs, we make suitable approximations obtain numerical solutions to those equations. These are compared with stochastic simulations of the model for various systems.
Upper bounds on chromatic number of $\mathbb{E}^n$ in low dimensions
Published in Electron. J. Combin., 31(2) (2024), #P2.35
• View Publication
• BIB
Let $χ(\mathbb{E}^n)$ denote the chromatic number of the Euclidean space $\mathbb{E}^n$, i.e., the smallest number of colors that can be used to color $\mathbb{E}^n$ so that no two points unit distance apart are of the same color. We present explicit constructions of colorings of $\mathbb{E}^n$ based on sublattice coloring schemes that establish the following new bounds: $χ(\mathbb{E}^5)\le 140$, $χ(\mathbb{E}^n)\le 7^{n/2}$ for $n\in\{6,8,24\}$, $χ(\mathbb{E}^7)\le 1372$, $χ(\mathbb{E}^{9})\leq 17253$, and $χ(\mathbb{E}^n)\le 3^n$ for all $n\le 38$ and $n=48,49$.
Mallows permutation models with $L^1$ and $L^2$ distances I: hit and run algorithms and mixing times
Mallows permutation model, introduced by Mallows in statistical ranking theory, is a class of non-uniform probability measures on the symmetric group $S_n$. The model depends on a distance metric $d(σ,τ)$ on $S_n$, which can be chosen from a host of metrics on permutations. In this paper, we focus on Mallows permutation models with $L^1$ and $L^2$ distances, respectively known in the statistics literature as Spearman's footrule and Spearman's rank correlation.
Unlike most of the random permutation models that have been analyzed in the literature, Mallows permutation models with $L^1$ and $L^2$ distances do not have an explicit expression for their normalizing constants. This poses challenges to the task of sampling from these Mallows models. In this paper, we consider hit and run algorithms for sampling from both models. Hit and run algorithms are a unifying class of Markov chain Monte Carlo (MCMC) algorithms including the celebrated Swendsen-Wang and data augmentation algorithms. For both models, we show order $\log{n}$ mixing time upper bounds for the hit and run algorithms. This demonstrates much faster mixing of the hit and run algorithms compared to local MCMC algorithms such as the Metropolis algorithm. The proof of the results on mixing times is based on the path coupling technique, for which a novel coupling for permutations with one-sided restrictions is involved.
Extensions of the hit and run algorithms to weighted versions of the above models, a two-parameter permutation model that involves the $L^1$ distance and Cayley distance, and lattice permutation models in dimensions greater than or equal to $2$ are also discussed. The order $\log{n}$ mixing time upper bound pertains to the two-parameter permutation model.
Geometry of logarithmic derivations of hyperplane arrangements
Published
• View Publication
• BIB
We study the Hadamard product of the linear forms defining a hyperplane arrangement with those of its dual, which we view as generating an ideal in a certain polynomial ring. We use this ideal, which we call the ideal of pairs, to study logarithmic derivations and critical set varieties of arrangements in a way which is symmetric with respect to matroid duality. Our main result exhibits the variety of the ideal of pairs as a subspace arrangement whose components correspond to cyclic flats of the arrangement. As a corollary, we are able to give geometric explanations of some freeness and projective dimension results due to Ziegler and Kung--Schenck.
Modularity and partially observed graphs
Suppose that there is an unknown underlying graph $G$ on a large vertex set, and we can test only a proportion of the possible edges to check whether they are present in $G$. If $G$ has high modularity, is the observed graph $G'$ likely to have high modularity? We see that this is indeed the case under a mild condition, in a natural model where we test edges at random. We find that $q^*(G') \geq q^*(G)-\varepsilon$ with probability at least $1-\varepsilon$, as long as the expected number edges in $G'$ is large enough. Similarly, $q^*(G') \leq q^*(G)+\varepsilon$ with probability at least $1-\varepsilon$, under the stronger condition that the expected average degree in $G'$ is large enough. Further, under this stronger condition, finding a good partition for $G'$ helps us to find a good partition for $G$.
We also consider the vertex sampling model for partially observing the underlying graph: we find that for dense underlying graphs we may estimate the modularity by sampling constantly many vertices and observing the corresponding induced subgraph, but this does not hold for underlying graphs with a subquadratic number of edges. Finally we deduce some related results, for example showing that under-sampling tends to lead to overestimation of modularity.
The maximum number of stars in a graph without linear forest
Published
• View Publication
• BIB
For two graphs $J$ and $H$, the generalized Turán number, denoted by $ex(n,J,H)$, is the maximum number of copies of $J$ in an $H$-free graph of order $n$. A linear forest $F$ is the disjoint union of paths. In this paper, we determine the number $ex(n,S_r,F)$ when $n$ is large enough and characterize the extremal graphs attaining $ex(n,S_r,F)$, which generalizes the results on $ex(n, S_r, P_k)$, $ex(n,K_2,(k+1) P_2)$ and $ex(n,K^*_{1,r},(k+1) P_2)$. Finally, we pose the problem whether the extremal graph for $ex(n,J,F)$ is isomorphic to that for $ex(n,S_r,F)$, where $J$ is any graph such that the number of $J$'s in any graph $G$ does not decrease by shifting operation on $G$.
Torus fixed point sets of Hessenberg Schubert varieties in regular semisimple Hessenberg varieties
It is well-known that the $T$-fixed points of a Schubert variety in the flag variety $GL_n(\mathbb{C})/B$ can be characterized purely combinatorially in terms of Bruhat order on the symmetric group $\mathfrak{S}_n$. In a recent preprint, Cho, Hong, and Lee give a combinatorial description of the $T$-fixed points of Hessenberg analogues of Schubert varieties (which we call Hessenberg Schubert varieties) in a regular semisimple Hessenberg variety. This note gives an interpretation of their result in terms of Bruhat order by making use of a partition of the symmetric group defined using so-called subsets of Weyl type. The Appendix, written by Michael Zeng, proves a lemma concerning subsets of Weyl type which is required in our arguments.
On a conjecture of Nikiforov involving a spectral radius condition for a graph to contain all trees
Published in Discrete Mathematics, 345 (2022), 113112
• View Publication
• BIB
We partly confirm a Brualdi-Solheid-Turán type conjecture due to Nikiforov, which is a spectral radius analogue of the well-known Erdős-Sós Conjecture that any tree of order $t$ is contained in a graph of average degree greater than $t-2$. We confirm Nikiforov's Conjecture for all brooms and for a larger class of spiders. For our proofs we also obtain a new Turán type result which might turn out to be of independent interest.
A note on the induced Ramsey theorem for spaces
Published
• View Publication
• BIB
The aim of this note is to give a simplified proof of the induced version of the Ramsey theorem for vector spaces first proved by H. J. Prömel.
Rainbow connectivity of randomly perturbed graphs
Published
• View Publication
• BIB
In this note we examine the following random graph model: for an arbitrary graph $H$, with quadratic many edges, construct a graph $G$ by randomly adding $m$ edges to $H$ and randomly coloring the edges of $G$ with $r$ colors. We show that for $m$ a large enough constant and $r \geq 5$, every pair of vertices in $G$ are joined by a rainbow path, i.e., $G$ is {\it rainbow connected}, with high probability. This confirms a conjecture of Anastos and Frieze [{\it J. Graph Theory} {\bf 92} (2019)] who proved the statement for $r \geq 7$ and resolved the case when $r \leq 4$ and $m$ is a function of $n$.
Monotonicity of Steklov eigenvalues on graphs and applications
Published
• View Publication
• BIB
In this paper, we obtain monotonicity of Steklov eigenvalues on graphs which as a special case on trees extends the results of He-Hua [Calc. Var. Partial Differential Equations 61 (2022), no. 3, Paper No. 101, arXiv: 2103.07696] to higher Steklov eigenvalues and gives affirmative answers to two problems proposed in He-Hua [arXiv: 2103.07696]. As applications of the monotonicity of Steklov eigenvalues, we obtain some estimates for Steklov eigenvalues on trees generalizing the isodiametric estimate for the first positive Steklov eigenvalues on trees in He-Hua [arXiv:2011.11014].