TITLE: Rotational Symmetry of the Electromagnetic Field
QUESTION [1 upvotes]: It's often said that the standard Electromagnetic Field, with no charges or currents, has rotational symmetry, which is what, via Noether's Theorem, implies the existence of EM field angular momentum and it's conservation.
How can that be proved? That is, how can it mathematically be shown that the Lagrangian of a standard EM has rotational invariance?

REPLY [0 votes]: The Lagrangian density is proportional to $F_{ab}F^{ab} = g_{ab}g_{cd}F^{ac}F^{bd}$.
where $g$ is the minkowski metric.
Under a rotation, you'd send $F^{ab} \rightarrow \Theta^{a}{}_{m}\Theta^{b}{}_{n}F^{mn}$, where $\Theta$ is the standard 4D rotation matrix
but, from the way this is contracted above, it should be clear that this is mathematically equivalent to sending $g_{ab} \rightarrow \Theta^{m}{}_{a}\Theta^{n}{}_{b}g_{mn}$, and it is well known that the minkowski metric is invariant under rotations, so the Action is therefore invariant under rotations, too.


TITLE: Representation of Functional in the Dual of the Space of Signed Measures on a Measurable Space
QUESTION [1 upvotes]: I suspect the following is true, but I don't know a reference. Let $X$ be a measurable space (with $\sigma$-algebra $\mathcal{F}(X)$), and let $MX$ denote the space of finite signed measures on $X$. Then
\begin{equation*}
\phi(\nu)=\int_X\phi(\delta_x)\,d\nu(x),
\end{equation*}
for all $\phi\in(MX)'$ and $\nu\in MX$, where $\delta_x\in MX$ is the Dirac measure concentrated at $x\in X$.

REPLY [0 votes]: No. Let $X=[0,1]$ with the Borel sets. If $\mu$ is atomless, let $\lambda(\mu)=0$. If $\mu=\sum_{i=1}^\infty\alpha_i\delta_{x_i}$ is discrete, let $\lambda(\mu)=\sum_{i=1}^\infty\alpha_i$. Extend $\lambda$ by linearity to all finite signed measures.
For $\mu$ the uniform distribution, we have
$$\lambda(\mu)=0\neq 1=\int 1 \mathrm d\mu=\int \lambda(\delta_x)~\mathrm d\mu(x).$$


TITLE: Find the maximum value $\frac{11a+4b}{4a^2-ab+2b^2}+\frac{11b+4c}{4b^2-bc+2c^2}+\frac{11c+4a}{4c^2-ca+2a^2}$
QUESTION [1 upvotes]: For the positive real numbers $a,b,c$ satisfy $ab+bc+ca=3abc$.  Find the maximum value $$P=\frac{11a+4b}{4a^2-ab+2b^2}+\frac{11b+4c}{4b^2-bc+2c^2}+\frac{11c+4a}{4c^2-ca+2a^2}$$
i tried all methods such as: AM-GM; C-S,... but unsuccess. Help me give a hint

REPLY [1 votes]: If $a=b=c=1$ we get the value $9$.
We'll prove that it's a maximal value.
Indeed, we need to prove that
$$\sum_{cyc}\frac{11a+4b}{4a^2-ab+2b^2}\leq\frac{3(ab+ac+bc)}{abc}$$ or
$$\sum_{cyc}\left(\frac{3}{a}-\frac{11a+4b}{4a^2-ab+2b^2}\right)\geq0$$ or
$$\sum_{cyc}\frac{(a-b)(a-6b)}{a(4a^2-ab+2b^2)}\geq0$$ or
$$\sum_{cyc}\left(\frac{(a-b)(a-6b)}{a(4a^2-ab+2b^2)}+\frac{1}{b}-\frac{1}{a}\right)\geq0$$ or
$$\sum_{cyc}\frac{(a-b)^2(a+b)}{ab(4a^2-ab+2b^2)}\geq0.$$
Done!


TITLE: Flat essential ring extensions
QUESTION [4 upvotes]: We call a ring extension (where $R$ and $S$ are commutative) $R \subset S$ essential if for every ideal $I$ of $S$ we have
that $I \cap S \neq 0 \implies I \cap R \neq 0$.
Suppose now that $R \subset S$ is an extension that is flat. Can we find a ring homomorphism $S \to T$ such that the composite $R \to S \to T$ is an essential extension that is also flat?

REPLY [2 votes]: Edit: I have added some additional remarks to the answer below.
As already mentioned, when $R$ is a domain and $S$ is a flat overring, we can find $S \to T$ such that $T$ is an overring of $R$ which is both flat and essential over $R$. Indeed, if $S$ itself is not essential over $R$, by Zorn's Lemma it has an ideal $I$ that is $\subseteq$-maximal with respect to $I \cap R$ $=$ $0$. Because $R$ is an integral domain, $I$ is a prime ideal of $S$. Then $T$ $=$ $Q(S/I)$, the quotient field of $S/I$, is clearly essential over $R$. It is easy to verify that $T$ is flat over $R$ by means of the following criterion, which appeared as exercise 22 to Ch.I, §2 of Bourbaki's Commutative Algebra and is often useful when it comes to flatness. For, let $\mathfrak{a}$ $\le$ $R$ $\ni$ $a$ and $t$ $\in$ $T$ such that $at$ $\in$ $\mathfrak{a}T$. If $a$ $\in$ $I$ then $a$ $=$ $0$, so that $(\mathfrak{a}:a)$ $=$ $R$. And if $a$ $\notin$ $I$ then $a$ is a unit in $T$, and hence $t$ $\in$ $\mathfrak{a}T$ $\subseteq$ $(\mathfrak{a}:a)T$.
Lemma: a module $M$ over a commutative ring $A$ is flat iff for every $a\in A$ and every ideal $\mathfrak{a}$ of $A$ one has $(\mathfrak{a}M:a)$ $=$ $(\mathfrak{a}:a)M$. Here, $(\mathfrak{a}M:a)$ $=$ $\{x\in M$ $\mid$ $ax\in \mathfrak{a}M\}$ and $(\mathfrak{a}:a)$ $=$ $\{b\in A$ $\mid$ $ab\in \mathfrak{a}\}$. So this comes down to: if $ax\in \mathfrak{a}M$ then $x$ $=$ $by$ for some $y\in M$ and $b\in A$ with $ab$ $\in$ $\mathfrak{a}$.
Proof: if $M$ is flat, then $0 \to A/(\mathfrak{a}:a)
\xrightarrow{a\cdot} A/\mathfrak{a}$ remains exact after tensoring with $M$. That is, $0 \to M/(\mathfrak{a}:a)M \xrightarrow{a\cdot} M/\mathfrak{a}M$ is exact. For the converse, it suffices to show that for every ideal $\mathfrak{a}$ of $A$, the natural map $\mathfrak{a} \otimes_A M \to \mathfrak{a}M$ is injective. Let $\vartheta$ $=$ $\sum_{i=1}^n a_i\otimes x_i$ with $\sum_{i=1}^n a_ix_i$ $=$ 0 (where $a_i$ $\in$ $\mathfrak{a}$ and $x_i$ $\in$ $M$). We will rewrite $\vartheta$ as the sum of $n-1$ tensors. By induction, $\vartheta$ will then be equal to the empty sum of tensors, that is: to zero. Putting $\mathfrak{b}$ $=$ $\sum_{i=1}^{n-1} a_iA$, we have $x_n$ $\in$ $(\mathfrak{b}M:a_n)$ $=$ $(\mathfrak{b}:a_n)M$, so that $x_n$ $=$ $by$ for suitable $y$ $\in$ $M$ and $b$ $\in$ $A$ for which we can write $a_nb$ $=$ $\sum_{i=1}^{n-1} a_ic_i$ with the $c_i$ $\in$ $A$. Then $a_n \otimes x_n$ $=$ $a_n \otimes by$ $=$ $a_nb \otimes y$ $=$ $(\sum_{i=1}^{n-1} a_ic_i) \otimes y$ $=$ $\sum_{i=1}^{n-1} a_i \otimes c_iy$, and hence $\vartheta$ $=$ $\sum_{i=1}^{n-1} a_i \otimes (x_i+c_iy)$, $\square$.
(Note that one can even limit oneself to considering only finitely generated ideals $\mathfrak{a}$.)
Here is a counterexample in the case of non-domains. Let $R=\mathbb{F}_2[x]/(x^2)$. Using the Lemma, one sees that an $R$-module $M$ is flat over $R$ iff $\ker(x\cdot:M\to M)$ $=$ $xM$. So the overring $S$ $=$ $(R[y]/(y^2-x))_{(x,y)}$ is flat over $R$. If $I$ denotes the non-zero ideal $xyS$ of $S$, one has $I\cap R$ $=$ $0$, and the ideal $I$ is maximal with respect to this property. (The residue classes of $S$ modulo $I$ have representatives 1, $x$, $y$ and $x+y$. Adding $x$ $+$ $y$ to the ideal yields $xy$ $+$ $y^2$ $=$ $xy$ $+$ $x$, so that 0 $\ne$ $x$ will be in the ideal. The same goes when $1$, $x$ or $y$ is added to $I$, of course.)
Assume $S\to T$ is an $S$-algebra such that $R\rightarrowtail T$ and $T$ is flat and essential over $R$. Then $IT$ is an ideal of $T$. If $IT$ $=$ $0$, we have $xy=0$ in $T$, so $y=xt$ for some $t\in T$, because $T$ is $R$-flat. But then $x=y^2=x^2t^2=0$ in $T$, contradicting $R\rightarrowtail T$. And if $IT$ $\ne$ $0$ then, by essentiality, $0$ $\ne$ $IT\cap R$ $=$ $IT\cap S\cap R$. Since $I\cap R$ $=$ $0$, this means that $IT\cap S\supsetneq I$. So one of the elements $1,x,y$ and $x+y$ of $S$ must be in $IT$. But one easily checks that if $s$ is any of these four, having $s=xyt$ for a $t\in T$ implies $x=0$ in $T$. (E.g., if $x+y=xyt$, then $0$ $=$ $x^2t$ $=$ $xy^2t$ $=$ $xy+y^2$ $=$ $xy+x$, so $x$ $=$ $xy$, and therefore $x$ $=$ $xy^2$ $=$ $x^2$ $=$ $0$.)
Notice that $R$ is local and noetherian, and even artinian.
Edit2: In the case that $R$ is a domain, the proof did not even use the fact that $S$ is flat over $R$. The statement is therefore likely to be capable of some generalization, though not to a great extent. For when $S$ is not essential over $R$, you will need to pass to a quotient of $S$ first, and this does not sit well with preserving flatness. The statement obviously also holds when $R$ is VNR (Von Neumann regular, i.e. every $R$-module is flat). A common generalization of domains and VNR rings is formed by the class of pp rings (principal ideals of $R$ are projective as $R$-modules). If $R$ is pp and $a$ $\in$ $R$, then $\mathrm{ann}_R(a)$ $=$ $eR$ for an idempotent $e$ of $R$ (this characterizes pp rings). One can write $R$ $=$ $R_e \times R_{1-e}$, and $a$ becomes zero in $R_e$ and regular (not a zero divisor) in $R_{1-e}$. Every $R$-module $M$ $=$ $M_e \times M_{1-e}$. In particular, this holds for ideals of $R$ and of $R$-algebras. The category of $R$-modules is simply the product of the category of $R_e$-modules and that of the $R_{1-e}$-modules, and properties merely have to be verified on both "sides" independently. Again take $I$ $\leq$ $S$ maximal with $I \cap R$ $=$ $0$, and let $T$ $=$ $Q(S/I)$, the total ring of quotients of $S/I$. To see that $T$ is flat over $R$, let $\mathfrak{a}$ $\leq$ $R$, $a$ $\in$ $R$, and $t$ $\in$ $T$ such that $at$ $\in$ $\mathfrak{a}T$. We may assume that $a$ is either zero or regular in $R$. If $a$ $=$ $0$, then $(\mathfrak{a}:a)$ $=$ $R$, so that $t$ $\in$ $(\mathfrak{a}:a)T$. And if $a$ is regular in $R$, it remains regular in $S/I$. For assume that $as$ $\in$ $I$ for an $s$ $\in$ $S$ with $s$ $\notin$ $I$. Then $(sS+I) \cap R$ $\ne$ $0$, so we have $0$ $\ne$ $b$ $=$ $ss_1+i$ $\in$ $R$ for an $s_1$ $\in$ $S$ and an $i$ $\in$ $I$. But then $0$ $\ne$ $ab$ $=$ $ass_1+ai$ $\in$ $I \cap R$, contradiction. Therefore, $a$ is a unit in $T$, and hence $t$ $\in$ $\mathfrak{a}T$ $\subseteq$ $(\mathfrak{a}:a)T$. Again, flatness of $S$ never enters into it, which makes one wonder whether that assumption is ever helpful at all for the problem at hand.


TITLE: Determine the limit by the condition given
QUESTION [2 upvotes]: If a real sequence $(x_n)$ satisfies
  $\displaystyle \lim_{n \to \infty} x_{2n} + x_{2n+1} = 315$
  and
  $\displaystyle \lim_{n \to \infty} x_{2n} + x_{2n-1} = 2016$
  then
  $\displaystyle \lim_{n \to \infty} \dfrac{x_{2n}}{x_{2n+1}} = \cdots$

I really don't know how to approach this question, which come from real analysis olympiad in my country. My friend tried to input $x_{2n}$ as $300$ as its limit, and $x_{2n+1}$ as $15$ so it satisfies the first one, and hence the limit of what the question ask is $20$. But I really don't accept this idea. Could you help me?

REPLY [1 votes]: Hint: Apply Stolz-Cesaro theorem to sequences $a_n=x_{2n}$ (as numerator)and $b_n=x_{2n+1}$ (as denominator). Make sure you first check that $b_n$ is strictly monotonic and unbounded (for large enough $n$).


text:
\begin{document}

\maketitle

\section{Introduction}
Suppose we have a sequence $A_0, A_1, \ldots$ of finite sets and, for each $a \in A_i,$ we have a polynomial $p(a,x)$ with the property that $p(a,k) \in \mathbb{N}$ for all $k \in \mathbb{N}$. Recall that the $W$-transform of a polynomial $p(a,x)$ is given by
\[W(a, x) = (1-x)^{d+1} \sum_{k \geq 0} p(a, k) x^k \]
where $d$ is the degree of $p(a_i, k)$. The $W$-transform is a polynomial of degree $d$ with integer coefficients. Write $W(a, x) = \sum_{k=0}^d h_k x^k$, and refer to $(h_0, \ldots, h_d)$ as the $h$-vector of $p(a, x)$. When is the $h$-vector nonnegative? When this happens, we say that $p(a, k)$ is $h$-positive. There is a similar concept for quasisymmetric functions called $F$-positivity, where $F$ refers to the basis of fundamental quasisymmetric functions.

A classical example of the above problem is where $A_n$ is the set of graphs with vertex set $[n] = \{1, \ldots, n \}$, and $p(G, k)$ is the chromatic polynomial. In this case, the $h$-vector is always nonnegative, as was shown by Brenti \cite{brenti}.

We will give sufficient conditions for nonnegativity of the $h$-vector for the weak and strong chromatic polynomials of an acyclic mixed graph, and for the order polynomial of a double poset. Our conditions also imply $F$-positivity for corresponding quasisymmetric functions.

Our first observation is that all of these polynomial invariants arise from the theory of Hopf monoids. If we have collections of labeled objects, with rules for how to combine the combinatorial objects and decompose them, and the rules are `well-behaved', then we have a linearized Hopf monoid. We review the definition in Section \ref{sec:combhopfmon}. If we have some distinguished Hopf submonoid $\spe{S}$ satisfying certain conditions, then there is a polynomial invariant $\chi^{\spe{S}}_{\spe{H}}(\spe{h}, k)$ which counts decompositions of an $\spe{H}$-structure into $\spe{S}$-structures. For example, graphs form a linearized Hopf monoid $\spe{G}$, and if $\spe{S}$ is the submonoid of edgeless graphs, then $\chi^{\spe{S}}_{\spe{G}}(\spe{g},k)$ counts decompositions into edgeless graphs, and thus is the chromatic polynomial. We refer the polynomial $\chi^{\spe{S}}_{\spe{H}}(\spe{h}, k)$ as the characteristic polynomial of $\spe{h}$ with respect to $\spe{S}$.

We recently \cite{white-2} gave conditions for when characteristic polynomials are Hilbert polynomials. Given a linearized Hopf monoid $\spe{H}$, a \emph{geometric Hopf submonoid} $\spe{S}$, and an $\spe{H}$-structure $\spe{h}$, we constructed a relative simplicial complex $(\Sigma(\spe{h}), \Gamma_{\spe{S}}(\spe{h}))$ such that $\chi^{\spe{S}}_{\spe{H}}(\spe{h},k+1)$ is the Hilbert polynomial of the double cone of $(\Sigma(\spe{h}), \Gamma_{\spe{S}}(\spe{h}))$. The complex $\Gamma_{\spe{S}}(\spe{h})$ is a generalization of the coloring complex of a graph \cite{steingrimsson}.

Thus, if our sets $A_i$ form a linearized Hopf monoid and our polynomial invariant is a characteristic polynomial, then we are studying Hilbert polynomials of relative simplicial complexes. If a relative simplicial complex is relatively Cohen-Macaulay, then the Hilbert polynomial is $h$-positive. In our case, the corresponding quasisymmetric functions are also $F$-positive.
We arrive at the problem we study in this paper:
find nice combinatorial conditions on $\spe{H}$, $\spe{S}$ and $\spe{h}$ to ensure that $(\Sigma(\spe{h}), \Gamma_{\spe{S}}(\spe{h}))$ is relatively Cohen-Macaulay, to obtain a new tool for showing $h$-positivity. Our main assumption is that $\spe{H}$ is Cohen-Macaulay, which means that $\Sigma(\spe{h})$ is Cohen-Macaulay for every $\spe{h}$. This tends to be true for most examples we know of.

\begin{theorem}
Let $\spe{H}$ be a linearized Hopf monoid and let $\spe{S}$ be a geometric Hopf submonoid. Let $N$ be a finite set, and let $\spe{h} \in \spe{H}_N$. Then $\spe{h}$ is relatively Cohen-Macaulay with respect to $\spe{S}$ if and only if the following condition is satisfied:
\begin{itemize}
    \item For all $S \subset T \subseteq N$, if $|T \setminus S| \geq 2$, then $\Gamma_{\spe{S}}(\spe{h}|_T /S)$ is a connected pure simplicial complex of dimension $\dim \Sigma(\spe{h}|_T/S) - 1$.
\end{itemize}
\label{thm:main}
\end{theorem}
Instead of trying to determine which polynomials are $h$-positive, as was done with the chromatic polynomial \cite{brenti}, or trying to determine which subcomplexes $\Gamma_{\spe{S}}(\spe{h})$ are shellable from first principles as was done for the coloring complex in \cite{hultman}, we merely have to determine when $\Gamma_{\spe{S}}(\spe{h})$ is pure, connected, and has the right dimension.

We apply our techniques to three new examples: the weak and strong chromatic polynomials of acyclic mixed graphs, and the order polynomial of a double poset. In all three examples, we obtain necessary and sufficient \emph{combinatorial} conditions for determining whether or not the relative simplicial complexes are Cohen-Macaulay. Our approach also implies known results for coloring complexes of hypergraphs \cite{hypergraph}, and can be used to prove $h$-positivity results there.

The paper is organized as follows. In Section \ref{sec:combhopfmon}, we review linearized Hopf monoids, along with the special example of acyclic mixed graphs. We also define the characteristic polynomials and quasisymmetric functions, along with the strong chromatic polynomial. In Section \ref{sec:simplicial}, we define our simplicial complexes, and the definition of Cohen-Macaulay Hopf monoid. In that section we also focus on the example of acyclic mixed graphs, and show that strong chromatic polynomial of an acyclic mixed graph is $h$-positive. Then we apply our theorem to the weak chromatic polynomial and to double posets. In Section \ref{sec:proof}, we sketch a proof of our theorem.

\section{linearized Hopf monoids}
\label{sec:combhopfmon}

In this section, we study Hopf monoids in the category of linear species. The motivation is that many examples of combinatorial Hopf algebras come from linearized Hopf monoids in set species. Moreover, the coproduct of a basis element is a multiplicity-free sum of tensors of basis elements.
A \emph{set species} is a functor $\spe{F}: Set \to Set$ from the category of finite sets with bijections, to the category of finite sets with bijections.
A \emph{linear species} is a functor $\spe{F}: Set \to Vec$ from the category of finite sets with bijections to the category of finite dimensional vector spaces over a field $\mathbb{K}$ and linear transformations.
Given a set species $\spe{F}$, there is an associated linear species $\mathbb{K}\spe{F}$ called the \emph{linearization}: we define $(\mathbb{K}\spe{F})_N$ to be the vector space with basis $\spe{F}_N$. We refer to $\spe{f}$ as an $\spe{F}$-structure if there exists a finite set $N$ such that $\spe{f} \in \spe{F}_N$.

A \emph{Hopf monoid} is a Hopf monoid object in the category of linear species \cite{aguiar-mahajan-1}. We give some of the structural definition and axioms related to associativity and compatability. There are also unit, counit morphisms and antipode axioms. We refer to \cite{aguiar-mahajan-2,aguiar-ardila} for more details.
For every pair of disjoint finite sets $M, N$, we have linear transformations $\mu_{M,N}: \spe{H}_M \otimes \spe{H}_N \to \spe{H}_{M \sqcup N}$ and $\Delta_{M,N}: \spe{H}_{M \sqcup N} \to \spe{H}_M \otimes \spe{H}_N$. We refer to $\mu$ as \emph{multiplication} and $\Delta$ as \emph{comultiplication}.
We require several axioms, including:
\begin{enumerate}
    \item $\mu_{L, M \sqcup N} \circ 1_L \otimes \mu_{M, N} = \mu_{L \sqcup M, N} \circ \mu_{L,M} \otimes 1_N$
    \item $1_L \otimes \Delta_{M, N} \circ \Delta_{L, M \sqcup N} = \Delta_{L,M} \otimes 1_N \circ \Delta_{L \sqcup M, N}$.
    \item $\Delta_{A \sqcup C, B \sqcup D} \circ \mu_{A \sqcup B, C \sqcup D} = \mu_{A,C} \otimes \mu_{B,D} \circ 1_A \otimes \tau_{B,C} \otimes 1_D \circ \Delta_{A,B} \otimes \Delta_{C,D}$.
\end{enumerate}
Note that these are equalities of functions, and $1$ is the identity map.
We let $\Delta_{L, M, N} = 1_L \otimes \Delta_{M,N} \circ \Delta_{L,M \sqcup N}$, and $\spe{x} \cdot \spe{y} = \mu_{M,N}(\spe{x} \otimes \spe{y}) $.

Let $\spe{H}$ be a species, and suppose that the linearization $\mathbb{K}\spe{H}$ is a Hopf monoid.
We say that $\spe{H}$ is a (weakly) \emph{linearized} Hopf monoid if $\mathbb{K}\spe{H}$ is a Hopf monoid, and:
\begin{enumerate}
    \item for every pair of disjoint finite sets $N, M$, and every $\spe{x} \in \spe{H}_M, \spe{y} \in \spe{H}_N$, we have $\spe{x} \cdot \spe{y} \in \spe{H}_{M \sqcup N}$.
    \item for every pair of disjoint finite sets $M, N$ and every $\spe{x} \in \spe{H}_{M \sqcup N}$, if $\Delta_{M,N}(\spe{x}) \neq 0$ then there exists $\spe{x}|_M \in \spe{H}_M$ and $\spe{x}/M \in \spe{H}_N$ with $\Delta_{M,N}(\spe{x}) = \spe{x}|_M \otimes \spe{x}/M$.

\end{enumerate}
In other words, the monoid structure is also linearized, and the coproduct $\Delta_{M,N}$ sends basis elements to simple tensors of basis elements or $0$. The notion of linearized Hopf monoids have been introduced before \cite{aguiar-mahajan-2}. Our definition is weaker as we allow $\Delta_{M,N}(\spe{h}) = 0$. We refer to $\spe{h}|_T/S$ as a \emph{minor} of $\spe{h}$ for any $S \subseteq T \subseteq N$.
Most Hopf monoids that have been studied are Hadamard products of linearized Hopf monoids and their duals. Examples of linearized Hopf monoids include the Hopf monoid of graphs, posets, matroids, hypergraphs, set partitions, linear orders, and generalized permutohedra. In fact, almost every Hopf monoid studied in \cite{aguiar-ardila} is a linearized Hopf monoid. We will often describe the multiplication and comuliplication operations on $\spe{H}$, and leave it to the reader to see that the induced maps on $\mathbb{K}\spe{H}$ turn $\spe{H}$ into a linearized Hopf monoid.

Our primary example of a linearized Hopf monoid will be the linearized Hopf monoid of acyclic mixed graphs.
An \emph{acyclic mixed graph} on $N$ has both directed edges and undirected edges, without any directed cycles. We require that our acyclic mixed graphs are simple: there is at most one edge between any two vertices.

Now we describe a Hopf monoid structure on the species of acyclic mixed graphs.
Let $\spe{M}_N$ be the set of acyclic mixed graphs on $N$. Given $\spe{g} \in \spe{M}_M$ and $\spe{h} \in \spe{M}_N$, where $M$ and $N$ are disjoint sets, we let $\spe{g} \cdot \spe{h}$ be the disjoint union. This defines our multiplication operation.
Now we define the comultiplication operation. Let $\spe{g} \in \spe{M}_{M \sqcup N}$. If there exists a directed edge of the form $(m,n)$ where $m \in M$ and $n \in N$, then $\Delta_{M,N}(\spe{g}) = 0$. Otherwise, we let $\Delta_{M,N}(\spe{g}) = \spe{g}|_M \otimes \spe{g}|_N$, where $\spe{g}|_M$ is the induced subgraph on $M$. For example, given the acyclic mixed graph $\spe{g}$, on the left in Figure \ref{fig:graph}, we see that $\Delta_{\{a,b,d \}, \{c\}}(G) = \spe{g}_1 \otimes \spe{g}_2$, where $\spe{g}_1$ is the acyclic mixed graph in the middle of Figure \ref{fig:graph}, and $\spe{g}_2$ is the vertex $c$ by itself. On the other hand, $\Delta_{\{d\}, \{a,b,c\}}(\spe{g}) = 0$.
With our multiplication and comultiplication operations, $\spe{M}$ is a linearized Hopf monoid.
\begin{figure}
\begin{center}
\begin{tikzpicture}
\node[thick, draw=black,  fill = white, circle] (a) at (-2,-1) {a};
\node[thick, draw=black,  fill = white, circle] (b) at (0,-1) {b};
\node[thick, draw=black,  fill = white, circle] (c) at (0,1) {c};
\node[thick,  draw=black, fill = white, circle] (d) at (-2,1) {d};

\draw[-, line cap = round] (a) -- (c);
\draw[-, line cap = round] (b) -- (d);
\draw[->, thick, line cap = round] (c) -- (b);
\draw[->, thick, line cap = round] (d) -- (a);

\node[thick, draw=black,  fill = white, circle] (a2) at (2,-1) {a};
\node[thick, draw=black,  fill = white, circle] (b2) at (4,-1) {b};
\node[thick, draw=black,  fill = white, circle] (c2) at (5,0) {c};
\node[thick,  draw=black, fill = white, circle] (d2) at (2,1) {d};

\draw[-, line cap = round] (b2) -- (d2);

\draw[->, thick, line cap = round] (d2) -- (a2);
\end{tikzpicture}
\end{center}
\caption{an acyclic mixed graph, and some of its induced subgraphs.}
\label{fig:graph}
\end{figure}

A \emph{geometric Hopf submonoid} $\spe{S}$ of $\spe{H}$ is a species such  that:
\begin{enumerate}
    \item $\spe{S}_N \subseteq \spe{H}_N$ for all $N$
    \item For $\spe{x} \in \spe{H}_M$ and $\spe{y} \in \spe{H}_N$, we have $\spe{x}\cdot \spe{y} \in \spe{S}_{M \sqcup N}$ if and only if $\spe{x}  \in \spe{S}_{M}$ and $\spe{y} \in \spe{S}_{N}$.
    \item For $\spe{x} \in \spe{S}_{M \sqcup N}$, if $\Delta_{M,N}(\spe{x}) \neq 0$, then $\spe{x}|_M \in \spe{S}_M$ and $\spe{x}/M \in \spe{S}_N$.
    \end{enumerate}
The motivation for the term \emph{geometric} will be revealed in the next section.
For the Hopf monoid of acyclic mixed graphs, we can let $\spe{S}_N = \{D_N \}$ where $D_N$ is the edgeless graph. Then $\spe{S}$ is a geometric Hopf submonoid.

For this paper, we focus on quasisymmetric function and polynomial invariants associated to a \emph{geometric Hopf submonoid}. The fact that our constructions form quasisymmetric functions relies on the existence of certain characters, the Fock functors of Aguiar and Mahajan \cite{aguiar-mahajan-1}, and the theory of combinatorial Hopf algebras \cite{aguiar-bergeron-sottile}. However, we will limit ourselves to the definitions of the invariants for this extended abstract.

Let $N$ be a finite set, and let $\spe{h} \in \spe{H}_N$. Let $f: N \to \mathbb{N}$. We say that $f$ is $\spe{S}$-proper if $\spe{h}|_{f^{-1}([i])} / f^{-1}([i-1])$ exists and is an $\spe{S}$-structure for all $i$.
For example, consider an acyclic mixed graph $\spe{g}$, and let $\spe{S}$ be the geometric Hopf submonoid of edgeless graphs.
In order for a function $f$ to be $\spe{S}$-proper we see that, for every $i$, $f^{-1}([i])$ must not contain a vertex $u$ that is part of a directed edge $(u,v)$ with $f(v) > i$. If $f(v) = j > i$, then $\spe{g}|_{f^{-1}([j])} / f^{-1}([j-1])$ does not exist. Moreover, the induced subgraph on $f^{-1}(i)$ has no edges. This implies that, for every directed edge $(u,v)$, we must have $f(u) < f(v)$. Also, for every undirected edge $uv$, we must have $f(u) \neq f(v)$. Hence $f$ is a \emph{strong coloring} of $\spe{g}$ as defined in \cite{beck-et-al}.

Let $ \{x_i: i \in \mathbb{N} \}$ be a set of commuting indeterminates.
\begin{definition}
Let $\spe{H}$ be a linearized Hopf monoid and $\spe{S}$ be a Hopf submonoid. Fix a finite set $N$, and $\spe{h} \in \spe{H}_N$.
Then  the \emph{characteristic quasisymmetric function} with respect to $\spe{S}$ is given by \[\Psi_{\spe{H}}^{\spe{S}}(\spe{h}) = \sum_{f}  \prod_{n \in N} x_{f(n)} \]
where the sum is over $\spe{S}$-proper functions.
For $k \in \mathbb{N}$, we define $\chi_{\spe{H}}^{\spe{S}}(\spe{h}, k)$ to be the number of $\spe{S}$-proper functions with codomain $[k]$. This is the \emph{characteristic polynomial} (in the variable $k$) with respect to $\spe{S}$.
\end{definition}

For example, $\chi^{\spe{S}}_{\spe{M}}(\spe{g},k)$ counts the number of strong colorings, and is called the \emph{strong chromatic polynomial}, and $\Psi^{\spe{S}}_{\spe{M}}(\spe{g})$ is the strong chromatic quasisymmetric function. When $\spe{g}$ has no directed edges, we recover the usual chromatic polynomial, and Stanley's chromatic symmetric function \cite{stanley-coloring-1}. We will use $\bar{\chi}(\spe{g},k)$ to denote the strong chromatic polynomial. The strong chromatic polynomial of the graph $\spe{g}$ on the left in Figure \ref{fig:graph} has $h$-vector $(0,1,2,3)$.

For the reader who is more familiar with combinatorial Hopf algebras, we can give more explanation about the connection between $\Psi_{\spe{H}}^{\spe{S}}$ and the theory of combinatorial Hopf algebras. Namely, given the linearized Hopf monoid $\spe{H}$, we know that the symmetric group $S_n$ acts on $\spe{H}_{[n]}$. We let $H_n$ be the vector space whose basis elements are the orbits of this action. let $H = \bigoplus_{n \geq 0} H_n$. Then it is known that $H$ is a graded, connected Hopf algebra. Given an $\spe{H}$-structure $\spe{h}$, we define $\varphi(\spe{h}) = 1$ if $\spe{h}$ is an $\spe{S}$-structure, and $0$ otherwise. Then $\varphi: H \to \mathbb{K}$ is a character. It follows that there is a unique Hopf algebra homomorphism $\Psi_{\varphi}:H \to QSym$. Then we have $\Psi_{\spe{H}}^{\spe{S}}(\spe{h}) = \Psi_{\varphi}(\spe{h})$. In our case, it turns out this more algebraic definition can be rephrased purely as a generating function counting certain types of functions \cite{white-2}.

\section{Cohen-Macaulay Hopf Monoids}
\label{sec:simplicial}
We define Cohen-Macaulay complexes and Cohen-Macaualay Hopf monoids. The former is a well-known concept, while the latter is new. We assume the reader is familiar with terminology regarding simplicial complexes such as the \emph{link} of a face $\sigma$, which we denote $\lk_{\Sigma}(\sigma)$, reduced homology $\widetilde{H}_i(\Sigma)$, and relative homology.
A simplicial complex $\Sigma$ is \emph{Cohen-Macaulay} if $\dim \widetilde{H}_i(\lk_{\Sigma}(\sigma)) = 0$ for $i < \dim \lk_{\Sigma}(\sigma)$ for every $\sigma \in \Sigma$.

Let $\spe{H}$ be a linearized Hopf monoid. Let $N$ be a finite set, and consider $\spe{h} \in \spe{H}_N$. We define the simplicial complex $\Sigma(\spe{h})$. The vertex set $V(\spe{h})$ consists of all nonempty $S \subset N$ for which $\Delta_{S, N \setminus S}(\spe{h}) \neq 0$. We partially order $V(\spe{h})$ by inclusion, and let $\Sigma(\spe{h})$ be the order complex, which consists of chains $ \emptyset \subset S_1 \subseteq S_2 \subseteq \cdots \subseteq S_k \subset N$ such that $\Delta_{S_i, N \setminus S_i}(h) \neq 0$ for all $i$.

As an example, let $\spe{M}$ be the Hopf monoid of acyclic mixed graphs. Let $\spe{g}$ be the acyclic mixed graph on the left in Figure \ref{fig:graph}. Then $\Sigma(\spe{g})$ is depicted in Figure \ref{fig:graphcomplex}.

\begin{figure}
\begin{center}
\begin{tikzpicture}[z={(-.5,-.28)}]

\draw[fill=black, opacity=.2, rounded corners] (-3,0) -- (-1.5,-2) -- (1.5,-2) -- (3,0) -- (1.5, 2) -- (-1.5,2) -- cycle;

\node[thick,  draw=black, fill = white, circle] (bc) at (-3,0) {bc};
\node[thick,  draw=black, fill = white, circle] (b) at (-1.5,-2) {b};
\node[thick,  draw=black, fill = white, circle] (abd) at (1.5,-2) {abd};
\node[thick,  draw=black, fill = white, circle] (ad) at (3,0) {ad};
\node[thick,  draw=black, fill = white, circle] (a) at (1.5,2) {a};
\node[thick,  draw=black, fill = white, circle] (abc) at (-1.5,2) {abc};
\node[thick,  draw=black, fill = white, circle] (ab) at (0,0) {ab};
\draw[-, line width = 1mm, line cap = round] (bc) -- (abc) -- (a) -- (ad) -- (abd) -- (b) -- (bc);
\draw[-, line width = 1mm, line cap = round] (b) -- (abc) -- (ab) -- (abd) -- (a) -- (ab) -- (b);

\end{tikzpicture}
\end{center}
\caption{An example of a simplicial complex coming from an $\spe{M}$-structure.}
\label{fig:graphcomplex}
\end{figure}
The relevance of $\Sigma(\spe{h})$ is that the algebraic structure of $\Sigma(\spe{h})$ encodes combinatorial information about $\spe{h}$. Namely, $\chi^{\spe{H}}_{\spe{H}}(\spe{h},k+1)$ is the Hilbert polynomial of the double cone over $\Sigma(\spe{h})$ \cite{white-2}.

\begin{comment}
Let $\dcone(\Sigma)$ denote the double cone of $\Sigma$. Then we have the following result \cite{white-2}.
\begin{proposition}
Let $\spe{H}$ be a linearized Hopf monoid, and let $\spe{h}$ be a $\spe{H}$-structure. Then
\[\chi^{\spe{H}}_{\spe{H}}(\spe{h},k+1) = H(\dcone(\Sigma(\spe{h})), k). \]
\end{proposition}
In particular, we see that at least one natural characteristic polynomial invariant associated to $\spe{H}$ is the Hilbert polynomial of a canonical simplicial complex.
\end{comment}

We say that $\spe{H}$ is \emph{Cohen-Macaulay} if $\Sigma(\spe{h})$ is Cohen-Macaulay for every $\spe{H}$-structure $\spe{h}$.
\begin{theorem}
Let $\spe{H}$ be a linearized Hopf monoid. Then $\spe{H}$ is Cohen-Macaulay if and only if for every finite set $N$, every $h \in \spe{H}_N$, and every $i < |N|$, we have $\dim \widetilde{H}_i(\Sigma(\spe{h})) = 0$.
\end{theorem}

Note that the advantage of the theorem is that we do not have to consider homology groups of links. For many examples of linearized Hopf monoids appearing in the literature, all the complexes $\Sigma(\spe{h})$ are contractible, and our theorem immediately implies that $\spe{H}$ is thus Cohen-Macaulay.

\begin{proposition}
The species $\spe{M}$ of acyclic mixed graphs is a Cohen-Macaulay Hopf monoid.
\end{proposition}
\begin{proof}
 For an acyclic mixed graph $\spe{g}$, we define a partial order $\spe{p}(\spe{g})$ such that $\Sigma(\spe{g}) = \Sigma(\spe{p}(\spe{g}))$. Given nodes $m,n \in N$, we say $m \leq n$ in $\spe{p}$ if there exists a directed path (using only directed edges) from $n$ to $m$ in $\spe{g}$. This defines a partial order $\spe{p}(\spe{g})$, with $\Sigma(\spe{p}(\spe{g})) = \Sigma(\spe{g})$. It is known that $\Sigma(\spe{p}(\spe{g}))$ is a triangulation of the poset polyhedron \cite{aguiar-ardila}. Hence $\Sigma(\spe{p}(\spe{g}))$ is contractible for any partial order, and we see that $\Sigma(\spe{g})$ has trivial homology below top dimension for every acyclic mixed graph $\spe{g}$. In particular, $\spe{M}$ is Cohen-Macaulay.
\end{proof}

Now we discuss relative simplicial complexes.
A relative simplicial complex on a set $V$ consists of a pair $(\Sigma, \Gamma)$ of simplicial complexes such that every face of $\Gamma$ is a face of $\Delta$. A relative complex $(\Gamma, \Sigma)$ is \emph{relatively Cohen-Macaulay} if $\dim \widetilde{H}_i(\lk_{\Sigma}(\sigma), \lk_{\Gamma}(\sigma)) = 0$ for $i < \dim \lk_{\Sigma}(\sigma)$ for every $\sigma \in \Sigma$.

Now let $\spe{S}$ be a geometric Hopf submonoid. Given a $\spe{H}$-structure $\spe{h}$, we let $\Gamma_{\spe{S}}(\spe{h})$ be the subcomplex of $\Sigma(\spe{h})$ consisting of chains $\emptyset \subset S_1 \subseteq \cdots \subseteq S_k \subset N$ such that $h|_{S_i} / S_{i-1}$ is not a $\spe{S}$-structure for some $i \in [k+1]$, where we define $S_{k+1} = N$. This generalizes the coloring complex of a graph as introduced by Steingr\'imsson \cite{steingrimsson}. If we let $\spe{g}$ be the acyclic mixed graph on the left in Figure \ref{fig:graph}, and we let $\spe{S}$ be the geometric Hopf submonoid of edgeless graphs, then $\Gamma_{\spe{S}}(\spe{g})$ is depicted in Figure \ref{fig:graphsubcomplex}.

\begin{figure}
\begin{center}
\begin{tikzpicture}[z={(-.5,-.28)}]

\node[thick,  draw=black, fill = white, circle] (bc) at (-3,0) {bc};
\node[thick,  draw=black, fill = white, circle] (b) at (-1.5,-2) {b};
\node[thick,  draw=black, fill = white, circle] (abd) at (1.5,-2) {abd};
\node[thick,  draw=black, fill = white, circle] (ad) at (3,0) {ad};
\node[thick,  draw=black, fill = white, circle] (a) at (1.5,2) {a};
\node[thick,  draw=black, fill = white, circle] (abc) at (-1.5,2) {abc};

\draw[-, line width = 1mm, line cap = round] (bc) -- (abc) -- (a) -- (ad) -- (abd) -- (b) -- (bc);

\draw[-, line width = 1mm, line cap = round] (b) -- (abc);
\draw[-, line width = 1mm, line cap = round] (a) -- (abd);

\end{tikzpicture}
\end{center}
\caption{An example of a subcomplex.}
\label{fig:graphsubcomplex}
\end{figure}

Our main reason for studying relative simplicial complexes is that the characteristic polynomial for $\spe{S}$ is essentially a Hilbert polynomial \cite{white-2}. This is also the reason why refer to $\spe{S}$ as a \emph{geometric} Hopf submonoid. That is, given an $\spe{H}$-structure $\spe{h}$, $\chi^{\spe{S}}_{\spe{H}}(\spe{h},k+1)$ is the Hilbert polynomial associated to the \emph{double cone} over the relative simplicial complex $(\Sigma(\spe{h}), \Gamma_{\spe{S}}(\spe{h}))$.
\begin{comment}
\begin{theorem}
Let $\spe{H}$ be a linearized Hopf monoid, and let $\spe{S}$ be a geometric Hopf submonoid. Let $\spe{h}$ be an $\spe{H}$-structure. Then
\[\chi^{\spe{S}}_{\spe{H}}(\spe{h},k+1) = H(\dcone(\Sigma(\spe{h})), \dcone(\Gamma_{\spe{S}}(\spe{h})), k). \]
\end{theorem}
\end{comment}

We say that $\spe{h}$ is \emph{relatively Cohen-Macaulay} (with respect to $\spe{S}$) if $(\Sigma(\spe{h}), \Gamma_{\spe{S}}(\spe{h}))$ is relatively Cohen-Macaulay. This implies that $\chi_{\spe{H}}^{\spe{S}}(\spe{h},k+1)$ is $h$-positive and $\Psi_{\spe{H}}^{\spe{S}}(\spe{h})$ is $F$-positive.

Now we apply Theorem \ref{thm:main} to the Hopf monoid of acyclic mixed graphs.
Let $\spe{S}$ be the Hopf submonoid of edgless graphs. Let $N$ be a finite set, and let $\spe{g}$ be an acyclic mixed graph. Then $\Gamma_{\spe{S}}(\spe{g})$ is always a connected pure simplicial complex of dimension $|N| - 1$. Since minors of acyclic mixed graphs are also acyclic mixed graphs, the condition of Theorem \ref{thm:main} holds.
\begin{theorem}
Let $\spe{S}$ be the geometric Hopf submonoid of edgeless graphs. Let $\spe{g}$ be an acyclic mixed graph. Then $\spe{g}$ is relatively Cohen-Macaulay with respect to $\spe{S}$. Moreover, $\bar{\chi}(\spe{g},k+1)$ is $h$-positive, and the strong chromatic symmetric function $\Psi_{\spe{M}}^{\spe{S}}(\spe{g})$ is $F$-positive.

\end{theorem}

\section{Another application to acyclic mixed graphs}

Another polynomial invariant associated to acyclic mixed graphs is the weak chromatic polynomial. The \emph{weak chromatic polynomial} $\chi(\spe{g}, k)$ counts the number of functions $f: V \to [k]$ subject to:
\begin{enumerate}
    \item if $(u,v)$ is a directed edge, then $f(u) \geq f(v)$,
    \item if $uv$ is an undirected edge, then $f(u) \neq f(v)$.
\end{enumerate}

The weak chromatic polynomial also comes from a geometric Hopf submonoid. Given a finite set $N$, let $\vec{\spe{D}}_N$ be the set of directed graphs. Then $\vec{\spe{D}}$ forms a geometric Hopf submonoid. However, it is not the case that every acyclic mixed graph is relatively Cohen-Macaulay with respect to $\vec{\spe{D}}$. The simplest example is given by the graph on the left in Figure \ref{fig:graph}. The reader can check that the $h$-vector for $\chi(\spe{g},k)$ is given by $(0,3,4,-1)$, which has negative entries.

Given an acyclic mixed graph $\spe{g}$, and two undirected edges $e$ and $f$, let $C$ be the smallest convex subset of $\spe{p}(\spe{g})$ containing the endpoints of $e$ and $f$, and let $I$ be the smallest ideal containing the endpoints of $e$. We call $e$ and $f$ \emph{crossing} if the $C \cap I$ contains one vertex of $f$ and not the other. We show in the extended version that if $\spe{g}$ has a pair of crossing edges, then $\spe{g}$ has a minor where $\Gamma_{\vec{\spe{D}}}(\spe{g}|_T/S)$ which is disconnected.

If $\spe{g}$ has no pair of crossing edges then $\spe{g}$ is \emph{noncrossing}. When $\spe{g}$ is noncrossing, $\Gamma_{\vec{\spe{D}}}(\spe{g})$ is connected, pure and of the correct dimension. It is clear that being noncrossing is closed under minors, so the same fact is true of the $\Gamma$-complex for every minor. Hence, Theorem \ref{thm:main} applies.

\begin{theorem}
Let $\spe{S}$ be the geometric Hopf submonoid of directed graphs. Let $\spe{g}$ be an acyclic mixed graph. Then $\spe{g}$ is relatively Cohen-Macaulay with respect to $\spe{S}$ if and only if $\spe{g}$ is noncrossing. Moreover, $\chi(\spe{g},k+1)$ is $h$-positive, and the corresponding weak chromatic symmetric quasifunction is $F$-positive.

\end{theorem}

\section{Double Posets}
As our second application, we consider the Hopf monoid of double posets. This is related to the Hopf algebra of double posets introduced by Malvenuto and Reutenauer \cite{dblposet}. A \emph{double poset} $\spe{p}$ is on $N$ is a triple $(N, <_1, <_2)$, where $<_1$ and $<_2$ are both strict partial orders. Grinberg \cite{grinberg} also has studied them, and showed that many examples of quasisymmetric functions in the literature are $\spe{p}$-partition enumerators for some double poset $\spe{p}$.

A $\spe{p}$-partition is a function $f: \spe{p} \to \mathbb{N}$ subject to:
\begin{enumerate}
    \item if $x <_1 y$, then $f(x) \leq f(y)$.
    \item if $x <_1 y$ and $y <_2 x$, then $f(x) < f(y)$.
\end{enumerate}
The $\spe{p}$-partition enumerator is given by \[K(\spe{p}) = \sum_{f} \prod_{v \in N} x_{f(v)}\] and the corresponding order polynomial is $\Omega(\spe{p}, k)$ which counts the number of $\spe{p}$-partitions $f$ with $f(x) \leq k$ for all $x$.

We show how the $\spe{p}$-partition enumerator does arise from the theory of linearized Hopf monoids.
Let $\spe{D}_N$ be the set of double posets on $N$. Given $\spe{p} \in \spe{D}_M$ and $\spe{q} \in \spe{D}_N$, where $M$ and $N$ are disjoint sets, we define a double poset $\spe{p} \cdot \spe{q} = (M \sqcup N, <_1, <_2)$. For $x, y \in M \sqcup N$, we say $x <_1 y$ if one of the following holds:
\begin{enumerate}
    \item $x, y \in M$ and $x <_1 y$ in $\spe{p}$.
    \item $x,y \in N$ and $x <_2 y$ in $\spe{q}$.
\end{enumerate}
For $x, y \in M \sqcup N$, we say $x <_2 y$ if one of the following holds:
\begin{enumerate}
    \item $x, y \in M$ and $x <_1 y$ in $\spe{p}$.
    \item $x,y \in N$ and $x <_2 y$ in $\spe{q}$.
        \item $x \in M$ and $y \in N$.

\end{enumerate}
Hence we have a multiplication operation for $\spe{D}$. Now we define the comultiplication.
Let $\spe{p} \in \spe{D}_{M \sqcup N}$. We define $\spe{p}|_M$ as follows: for $x, y \in M$, we say $x <_i y$ in $\spe{p}|_M$ if and only if $x <_i y$ in $\spe{p}$. We define $\Delta_{M,N}(\spe{p}) = \spe{p}|_M \otimes \spe{p}|_N$ if $M$ is an order ideal of $<_1$.

\begin{proposition}
The species $\spe{D}$ of double posets is a Cohen-Macaulay Hopf monoid.
\end{proposition}
It is not hard to see that $\spe{D}$ is a linearized Hopf monoid. For a double poset $\spe{p}$, we see that $\Sigma(\spe{p}) = \Sigma(<_1)$. In particular, $\spe{D}$ is Cohen-Macaulay.

 We let $\spe{S}_N$ consist of double posets $\spe{p}$ on $N$ for which there does not exist a pair $(x,y)$ with $x <_1 y$ and $y <_2 x$. We call such pairs \emph{inversions}. If $y$ covers $x$ with respect to $<_1$, then we call it a \emph{descent}. Then $\spe{S}$ forms a geometric Hopf submonoid. Then $\Psi_{\spe{H}}^{\spe{S}}(\spe{p}) = K(\spe{p})$.

\begin{figure}
\begin{center}
\begin{tikzpicture}
\node[thick, draw=black,  fill = white, circle] (a) at (-1,1.5) {a};
\node[thick, draw=black,  fill = white, circle] (b) at (-1,0) {b};
\node[thick, draw=black,  fill = white, circle] (c) at (-1,-1.5) {c};

\draw[->, thick, line cap = round] (a) -- (b);
\draw[->, thick, line cap = round] (b) -- (c);

\node[thick, draw=black,  fill = white, circle] (a2) at (2,-1) {a};

\node[thick, draw=black,  fill = white, circle] (c2) at (3,0) {b};
\node[thick,  draw=black, fill = white, circle] (d2) at (2,1) {c};

\draw[->, thick, line cap = round] (d2) -- (a2);
\end{tikzpicture}
\end{center}
\caption{A double poset. The left diagram is $<_1$, while the right is $<_2.$}
\label{fig:dblposet}
\end{figure}

Of course, it is not the case that $K(\spe{p})$ is always $F$-positive, and hence $\spe{p}$ is not always Cohen-Macaulay with respect to $\spe{S}$. For example, $K(\spe{p}) = F_{2,1} + F_{1,2} - F_{1,1,1}$ for the double poset in Figure \ref{fig:dblposet}.
A double poset satisfies the \emph{inversion-to-descent condition} if whenever $(x,y)$ is and inversion, then there exists a descent $(w,z)$ with $x \leq_1 w$ and $z \leq_1 y$. It turns out that the inversion-to-descent condition is more general than the notion of tertispecial introduced by Grinberg.

We show in the full version that if $\spe{p}$ does not satisfy the inversion-to-descent condition, then it has a minor whose subcomplex $\Gamma(\spe{p}|_T/S)$ has dimension smaller than expected. It turns out that this is the only obstruction.

\begin{theorem}
Let $\spe{S}$ be the geometric Hopf submonoid of double posets $\spe{p}$ such that do not have inversions.
Let $\spe{p}$ be a double poset. Then $\spe{p}$ is relatively Cohen-Macaulay with respect to $\spe{S}$ if and only if $\spe{p}$ satisfies the inversion-to-descent condition. Moreover, $K(\spe{p})$ is $F$-positive and $\Omega(\spe{p}, k+1)$ is $h$-positive.

\end{theorem}

\section{Elements of the proof}
\label{sec:proof}
The hard part of the proof of Theorem \ref{thm:main} is the converse direction. Suppose that $\spe{H}$ is a Cohen-Macaulay Hopf monoid, and let $\spe{S}$ be a geometric Hopf submonoid. Let $\spe{h}$ satisfy the conditions of the converse direction. In the full version, we prove the converse in stages. First, we show that it suffices to prove that $\dim \widetilde{H}_i(\Gamma_{\spe{S}}(\spe{h}|_T/S)) = 0$ for $i < \dim \Sigma(\spe{h}|_T/S) - 1$. The full result follows by using Mayer-Vietoris exact sequences to reduce the study of links to joins of complexes arising from minors.

We also claim the following result:
if $\Gamma_{\spe{S}}(\spe{h})$ is connected, pure, and has dimension $|N| - 1$, then $\dim \widetilde{H}_i(\Gamma_{\spe{S}}(\spe{h})) = 0$ for $i < |N|-1$. This would imply the previous claim. We prove this stronger claim by focusing on the types of relative simplicial complexes that could possibly arise from our construction.

Let $M$ be a collection of subsets of $[n]$, including $\emptyset$ and $[n]$, ordered by inclusion. We let $\Int(M)$ be the set of intervals, ordered by inclusion. Let $\mathcal{F}$ be an order filter in $\Int(M)$. Then define $\Sigma(M)$ to be the order complex of $M \setminus \{\emptyset, [n] \}$, and $\Gamma(\mathcal{F}, M)$ to consist of those chains $S_1 \subseteq S_2 \cdots \subseteq S_k$ such that $[S_i, S_{i+1}] \in \mathcal{F}$ for some $i \in [k+1]$, where we let $S_{k+1} = [n]$.

\begin{lemma}
Suppose $\Sigma(M)$ is Cohen-Macaulay. Suppose the minimal elements of $\mathcal{F}$ have length $2$. If $\Gamma(\mathcal{F}, M)$ is connected, then $\dim \widetilde{H}_i(\Gamma(\mathcal{F}, M)) = 0$ for $i < \dim(\Sigma(M)) -1$.
\end{lemma}

\begin{proof}[Proof Sketch]

The proof proceeds by induction on the number of intervals of length $2$ that are not in $\mathcal{F}$. In the base case, $\Gamma(\mathcal{F}, M)$ is the $(n-1)$-skeleton of $\Sigma(M)$, and hence is Cohen-Macaulay.

Since $\mathcal{F}$ is non-empty, we have an interval of length two in $\mathcal{F}$, and an interval of length two that is not in $\mathcal{F}.$ The main idea is to find another pair $(\mathcal{F}', M')$ such that the intersection and union of $\Gamma(\mathcal{F}, M)$ and $\Gamma(\mathcal{F}', M')$ are also complexes of the form $\Gamma(\mathcal{F}'',M'')$ for some $\mathcal{F}''$ and $M''$. Then we use induction and a Mayer-Vietoris exact sequence for the pair $\Gamma(\mathcal{F}, M)$ and $\Gamma(\mathcal{F}', M')$ in order to compute the reduced homology of $\Gamma(\mathcal{F}, M)$. There are some technicalities involved to construct these things carefully, and to make sure everything is connected. \end{proof}

\begin{comment}
In the full version we prove that we can find $S \subseteq T \subseteq [n]$ such that $|T \setminus S| = 2$, and $[\emptyset, S] \in \mathcal{F}$ or $[T, [n]] \in \mathcal{F}$. Let $T \setminus S = \{x,y \}$ Let $\mathcal{F}'$ consist of all intervals which contain $S$ or $T$. By the choice of $S, T$, we see that $\Gamma(\mathcal{F}, M) \cap \Gamma(\mathcal{F}',M) \neq \emptyset$. Hence, we can construct the Mayer-Vietoris exact sequence for relative homology with respect to $\Gamma(\mathcal{F}, M)$ and $\Gamma(\mathcal{F}', M)$.

Then we show that $\Gamma(\mathcal{F}, M) \cap \Gamma(\mathcal{F}' M)$ is isomorphic to a simplicial complex of the form $\Gamma(\mathcal{F}^{\ast}, L)$ for some collection $L$ of subsets of $[n-1]$. We also show that $\Gamma(\mathcal{F}, M) \cup \Gamma(\mathcal{F}', M) = \Gamma(\mathcal{F}'', M)$ for some order filter $\mathcal{F}''$, and that $\Gamma(\mathcal{F}', M) = \Gamma(\mathcal{F}', M')$ where $M'$ is chosed so that $\Sigma(M')$ is Cohen-Macaulay and has fewer $2$-intervals than $M$. More importantly, the induction hypothesis applies to $\Gamma(\mathcal{F}'', M)$. Since $\Gamma(\mathcal{F}', M)$ is connected, it follows from the Mayer-Vietoris sequence that $\Gamma(\mathcal{F}^{\ast}, L)$ is also connected. Hence we can also apply induction to both $\Gamma(\mathcal{F}', M')$ and $\Gamma(\mathcal{F}^{\ast}, L)$. Then we can use the Mayer-Vietoris sequence to show that the homology groups of $\Gamma(\mathcal{F}, M)$ are trivial in dimensions below $n-1$. \end{comment}

For an arbitrary Cohen-Macaulay Hopf monoid $\spe{H}$, and a Hopf submonoid $\spe{S}$, let $\spe{h}$ be an $\spe{H}$-structure on $[n]$. Then we let $M = \{S \subseteq [n]: \Delta_{S, [n] \setminus S}(\spe{h}) \neq 0 \}$. Then $\Sigma(M) = \Sigma(\spe{h})$. We let $\mathcal{F} = \{ [S,T]: \spe{h}|_T / S \not\in \spe{S}_{T \setminus S} \}$. Then $\Gamma(\mathcal{F}, M) = \Gamma_{\spe{S}}(\spe{h})$. If the latter is pure of codimension $1$, then the minimal elements of $\mathcal{F}$ consist only of intervals of length $2$, and the lemma applies. Hence we find that homology is concentrated in top dimension for $\Gamma_{\spe{S}}(\spe{h})$. So we see that if $\Gamma_{\spe{S}}(\spe{h})$ is connected, pure, and has codimension $1$, then its homology is concentrated in top dimension.

\section{Future Work}
Obviously, there are many open questions:
\begin{enumerate}
    \item If $\Sigma(\spe{h})$ is shellable for all $\spe{h}$, and the conditions of Theorem \ref{thm:main} are met, then is $\Gamma_{\spe{S}}(\spe{h})$ shellable? Is the pair relatively shellable?
    \item Under what conditions does $\Gamma_{\spe{S}}(\spe{h})$ have a convex ear decomposition \cite{chari}?
    \item In all of our examples, $\Sigma(\spe{h})$ is contractible, but we actually know that $\Sigma(\spe{h})$ is shellable. Is it the case that $\Sigma(\spe{h})$ being contractible for all $\spe{h}$ implies that they are shellable?
\end{enumerate}

\input{hopfmon.bbl}
\end{document}

config: arxiv


TITLE: Find $a,b$ for which the function is continuous at $x=\frac{\pi}{2}$
QUESTION [0 upvotes]: Determine the values of $a,b$ for which the function is continuous at $x=\frac{\pi}{2}$
  $$
f(x) =
\begin{cases}
\frac{1-\sin^3x}{3\cos^2x} & \text{if} \ x<\frac{\pi}{2} \\ \\
a & \text{if} \ x=\frac{\pi}{2}  \\ \\
\frac{b(1-\sin x)}{(\pi-2x)^2} &\text{if} \ x>\frac{\pi}{2} \
\end{cases}.
$$

Can you help me with this problem?
$$\lim_{h\to 0}\frac{1-\sin^3(\frac{\pi}{2}-h)}{3\cos^2(\frac{\pi}{2}-h)}$$and$$\lim_{h\to 0}\frac{b(1-\sin h)}{(\pi-2h)^2}$$

REPLY [1 votes]: For the first one, I would use $\sin (\frac \pi 2 - h)=\cos(h)$ and the other to get the expansion around zero, then use the Taylor series for $\sin, \cos$
For the second you need the limit at $h \to \frac \pi 2$, not $0$.  I would again move let $h = \frac \pi 2 + g$, swap the trig function in the numerator, and use the Taylor series.


TITLE: A metric on Sobolev maps?
QUESTION [4 upvotes]: Let $M$ and $N$ be Riemannian Manifolds, say, of same dimension $d$, and let $W^{1,p}(M,N)$ be the space of Sobolev maps with $p>d$ (for simplicity). What would be a "natural" metric for this space, which would generalize the standard metric when $N$ is a linear space?

REPLY [2 votes]: Besides using Nash, you can use normal coordinates on $N$ as follows:
Start with a locally finite cover of $N$ by normal balls $B(a_i, r_i), i\in I,$ with respect to the Riemannian metric on $N$. For each ball you have the logarithmic map
$$
\log_{a_i}: B(a_i, r_i)\to B({\mathbf 0}, r_i)\subset T_{a_i}N.
$$
These maps are not isometric, but are isometric at the centers $a_i$ and you get better accuracy as your net $\{a_i\}_{i\in I}$ becomes denser in $N$.
Extend these maps smoothly to the rest of $N$ using suitable bump-functions, to maps $\phi_i: N\to {\mathbb R}^n$, $n=dim(N)$. Thus, you obtain a collection of composition maps
$$
\Phi_i: W^{1,p}(M,N)\to W^{1,p}(M, {\mathbb R}^n), i\in I.
$$
If $N$ is compact and, thus, $I$ is finite, you can take, say,
$$
d(f, g)= \sum_{i\in I} ||\Phi_i(f)- \Phi_i(g))||_{1,p}.
$$
If $N$ is noncompact and $I$ is infinite, you have many inequivalent choices, pick one depending on the problem you are solving.
Again, depending on the problem, instead of normal coordinates, you can use harmonic coordinates.
Of course, these constructions are noncanonical, but neither is the one using isometric embeddings.
Lastly, using Nash (in conjunction with the tubular neighborhood theorem which is a standard way to eliminate the difficulties mentioned by Thomas) is quite standard, see e.g. P. Hajlasz, Sobolev mappings between manifolds and metric spaces. In: Sobolev Spaces in Mathematics I. Sobolev type Inequalities pp. 185-222. International Mathematical Series. Springer 2009. However, personally, I find it unsatisfactory, since it relies upon a very implicit and "big" hammer (Nash isometric embedding theorem) and violates the spirit of working with manifolds "locally".


TITLE: Decaying probabilities
QUESTION [0 upvotes]: A coin $C$ is tossed $n$ times. The coin $C$ is known to have the following properties :

Let $p_i$ denote the probability of showing heads in the $i$-th toss, and $q_i$ denote the probability of showing tails in the $i$ -th toss, so that $p_i + q_i = 1$ for all $i$,
If the $i$ -th toss gives a heads, then $p_{i+1} = k \cdot p_i,$ (where $k \in (0,1]$ is a fixed real number), and $q_{i+1} = 1- p_i,$
If the $i$ -th toss gives a tails, then $q_{i+1} = \ell \cdot q_i,$ (where $\ell \in (0,1]$ is a fixed real number), and $p_{i+1} = 1- q_{i+1}.$

What is the probability that the sequence of outcomes doesn't have two consecutive heads in it ?
The case when $k= \ell = 1$ simply leads us to the Fibonacci recursion, and is therefore easy to handle.

Motivation behind considering the problem :
There are several situations where one can have either a failure or a
success and the probabilities of success of failures change. For
instance consider a seasonal ailment which makes its incidence in
humans at most once each year. Now, given a person has already
suffered from the ailment in a certain year, his / her immunity may
change so that the probability that the person faces the ailment in
the next year changes.

REPLY [0 votes]: Building on a hint that was provided by prof. Arnab Chakraborty from Indian Statistical Institute, Kolkata, India (where I study) I am writing this answer.
Let us consider a more general problem :
suppose we have a coin $C$ which shows heads with probability $x$ and tails with probability $1-x$, and suppose $y \in [0,1].$ Let our interest be to generate a random variable $X$ which takes the value $1$ with probability $y$ and the value $0$ with probability $1-y$ using the given coin.
We first construct an unbiased coin tossing random variable (that is a binomial$(1,0.5)$ random variable).
For this we do the following : toss the coin $C$ twice. If the sequence of outcomes is $H,T$ then declare $Y=1$. Otherwise if the sequence of outcomes is $T,H$ then we declare $Y=0.$ For any other sequence of the two outcomes, we just reject those two tosses, and toss $C$ twice once more.
So, this would give us a random variable $Y \sim \text{binomial}(1,0.5).$
Next we consider the binary expression for the probability $y,$ and accordingly use the random variable $Y$ constructed above, to get a random variable $X \sim \text{binomial}(1,y).$


TITLE: Boundary of hyperbolic spaces and isometries
QUESTION [2 upvotes]: Do you know a good reference about boundary of hyperbolic spaces (following Gromov) and the classification of the isometries acting on hyperbolic space (hyperbolic, parabolic and elliptic isometries)? I am specially interested by the hyperbolic isometries, with the notions of axis and translation length.

REPLY [0 votes]: A very accessible and well-written reference that covers this is Bonahon's book Low dimensional topology: from Euclidean surfaces to hyperbolic knots.  There is also the added advantage of the author's magnificent moustache which can be seen on the back cover.


TITLE: $\int_{3}^5 (1+|\xi|^2)^{s} d\xi \leq \int_{-1}^1 (1+|\xi|^2)^s d\xi$ for $s<0$?
QUESTION [1 upvotes]: Let $s<0$ and $D$ be a bounded subset of $\mathbb R^d$ and assume that  $B_{D}\subset \mathbb R^d$ is the ball centered at the origin  with $|D|=|B_{D}|$ (here $|S|$ denotes the Lebesgue measure of the set $S\subset \mathbb R^d$)
For example: Let $D=[3,5]\subset \mathbb R$ and $B_D=[-1,1]$
Then $|D|=|B_{D}|=2.$
Question: How to show that $\int_{3}^5 (1+|\xi|^2)^{s} d\xi \leq \int_{-1}^1 (1+|\xi|^2)^s d\xi$ for $s<0$?
Note. If we the draw the graph of the integrand then it is clear from the picture.  The integrand function is symmetric and decreasing.  But I do not know how to justify rigorously.
Put  $A_{\lambda}=\{x \in \mathbb R^d: (1+|x|^2)^{s/2} >\lambda \} \ (\lambda >0)$

Can we say that
  $|A_{\lambda} \cap D| \leq  |A_{\lambda} \cap B_{D}|$ for $\lambda >0$ ?
Can we say  that $\int_{D} (1+ |\xi|^2)^s d\xi \leq \int_{B_{D}} (1+|\xi|^2)^{s} d\xi$?

REPLY [1 votes]: The integral over $D$ can be split up into the part contained in $B = B_D$ and the part not contained in $B$, and the may be done of the integral over $B$. That is, if $f(\xi) = (1 + |\xi|^2)^s$ then
$$ \int_D f(\xi)d\xi = \int_{D \cap B} f(\xi)d\xi + \int_{D \cap B^c} f(\xi)d\xi $$
and
$$ \int_B f(\xi)d\xi = \int_{B \cap D} f(\xi)d\xi + \int_{B \cap D^c} f(\xi)d\xi. $$
To compare $\int_{D \cap B^c}$ to $\int_{B \cap D^c}$ we note on $D \cap B^c$ that $f(\xi) \leq 1/(1 + r^2)^s = c_r$ where $r = r(|D|)$ is the radius such that $|B_r(0)| = |D|$, and on $B \cap D^c$ that $f(\xi) \geq c_r$. It follows $$\int_{B \cap D^c} f(\xi)d\xi \geq |B \cap D^c| c_r = |D \cap B^c| c_r \geq \int_{D \cap B^c} f(\xi)d\xi.$$