相关论文: The poset of proper divisibility

Let X be a 2-dimensional normed space, and let BX be the unit ball in X. We discuss the question of how large the set of extremal points of BX must be if X contains a well-distributed set whose distance set Delta satisfies the estimate…

In this paper we examine well-posedness for a class of fourth-order nonlinear parabolic equation $\partial_t u + (-\Delta)^2 u = \nabla \cdot F(\nabla u)$, where $F$ satisfies a cubic growth conditions. We establish existence and uniqueness…

Let ${\cal I}_n$ be the symmetric inverse semigroup on $X_n = \{1, 2, \ldots , n\}$ and let ${\cal DDP}_n$ and ${\cal ODDP}_n$ be its subsemigroups of order-decreasing partial isometries and of order-preserving and order-decreasing partial…

We study the semilinear Poisson equation \begin{equation} \label{pro} \Delta u = f(x, u) \hskip .2 in \text{in} \hskip .2 in B_1. \end{equation} Our main results provide conditions on $f$ which ensure that weak solutions of this equation…

For a bounded and graded poset $P$, we show that if $P$ is EL-shellable, then so is its $t$-fold Segre power $P^{(t)}=P\circ \cdots \circ P$ ($t$ factors), as defined by Bj\"orner and Welker [J. Pure Appl. Algebra, 198(1-3), 43--55 (2005)].…

Given a subset $S$ of the non-identity elements of the dihedral group of order $2m$, is it possible to order the elements of $S$ so that the partial products are distinct? This is equivalent to the sequenceability of the group when $|S| =…

Write $\mathrm{ord}_p(\cdot)$ for the multiplicative order in $\mathbb{F}_p^{\times}$. Recently, Matthew Just and the second author investigated the problem of classifying pairs $\alpha, \beta \in \mathbb{Q}^{\times}\setminus\{\pm 1\}$ for…

An ordered triple $(s,p,n)$ is called admissible if there exist two different multisets $X=\{x_1,x_2,\dotsc,x_n\}$ and $Y=\{y_1,y_2,\dotsc,y_n\}$ such that $X$ and $Y$ share the same sum $s$, the same product $p$, and the same size $n$. We…

We define a poset of partitions associated to an operad. We prove that the operad is Koszul if and only if the poset is Cohen-Macaulay. In one hand, this characterisation allows us to compute the homology of the poset. This homology is…

A collection of disjoint subsets ${\cal A}=\{A_1,A_2,\dotsc,A_m\}$ of a finite abelian group is said to have the \emph{bimodal} property if, for any non-zero group element $\delta$, either $\delta$ never occurs as a difference between an…

This paper gives a new way of characterizing L-space $3$-manifolds by using orderability of quandles. Hence, this answers a question of Adam Clay et al. [Question 1.1 of Canad. Math. Bull. 59 (2016), no. 3, 472-482]. We also investigate…

A certain squarefree monomial ideal $H_P$ arising from a finite partially ordered set $P$ will be studied from viewpoints of both commutative algebra and combinatorics. First, it is proved that the defining ideal of the Rees algebra of…

A poset is called a symmetric chain decomposition if the poset can be expressed as a disjoint union of symmetric chains. For positive integers $m$ and $n$, let $N(m,n)$ denote the set of all compositions $\alpha=(\alpha_1,\cdots,\alpha_m)$,…

Given a symmetric monoidal category $C$ with product $\sqcup$, where the neutral element for the product is an initial object, we consider the poset of $\sqcup$-complemented subobjects of a given object $X$. When this poset has finite…

Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. It is shown that if $A$ is an $\mathbb{N}$-graded algebra of $({\cal B},d(~))$-type, then $A$…

In 1988 P. Erd\"os asked if the prime divisors of $x^n -1$ for all $n=1,2, >...$ determine the given integer $x$; the problem was affirmatively answered by Corrales-Rodorig\'a\~nez and R. Schoof in 1997 together with its elliptic version.…

While every matrix admits a singular value decomposition, in which the terms are pairwise orthogonal in a strong sense, higher-order tensors typically do not admit such an orthogonal decomposition. Those that do have attracted attention…

Let $P$ be a partially ordered set. We prove that if $n$ is sufficiently large, then there exists a packing $\mathcal{P}$ of copies of $P$ in the Boolean lattice $(2^{[n]},\subset)$ that covers almost every element of $2^{[n]}$:…

By using a result from the numerical algebraic geometry package Bertini we show that (up to high numerical accuracy) a specific set of degree 6 and degree 9 polynomials cut out the secant variety $\sigma_{4}(\mathbb{P}^{2}\times \mathbb{P}…

We introduce the N\'eron component series of an abelian variety $A$ over a complete discretely valued field. This is a power series in $\Z[[T]]$, which measures the behaviour of the number of components of the N\'eron model of $A$ under…