Related papers: The higher sharp II: on $M_2^\#$
Alspach [{\sl Bull. Inst. Combin. Appl.}~{\bf 52} (2008), 7--20] defined the maximal matching sequencibility of a graph $G$, denoted~$ms(G)$, to be the largest integer $s$ for which there is an ordering of the edges of $G$ such that every…
Let $n$ be a positive integer, and let $\rho_n = (n, n-1, n-2, \ldots, 1)$ be the ``staircase'' partition of size $N = {n+1 \choose 2}$. The Saxl conjecture asserts that every irreducible representation $S^\lambda$ of the symmetric group…
We relate the linear asymptotic representation theory of the symmetric groups to its spin counterpart. In particular, we give explicit formulas which express the normalized irreducible spin characters evaluated on a strict partition $\xi$…
This note shows that for each $n\geq 5$ with only $n\not= 6$, there exists a $2n$-dimensional specially omnioriented quasitoric manifold $M^{2n}$ which represents a nonzero element in $\Omega_*^U$. This provides the counterexamples of…
We develop the symbolic representation method to derive the hierarchies of $(2+1)$-dimensional integrable equations from the scalar Lax operators and to study their properties globally. The method applies to both commutative and…
Let $f \in C^n(\mathbb{R})$ be such that $\Vert f^{(n)} \Vert_\infty < \infty$. Let $f^{[n]} \in C(\mathbb{R}^{n+1})$ be the $n$th order divided difference. A special case of our main result states that for $1 < p < \infty$ we have \[\Vert…
The notion of the higher rank numerical range $\Lambda_{k}(L(\lambda))$ for matrix polynomials $L(\lambda)=A_{m}\lambda^{m}+...+A_{1}\lambda+A_{0}$ is introduced here and some fundamental geometrical properties are investigated. Further,…
The call-by-value language RML may be viewed as a canonical restriction of Standard ML to ground-type references, augmented by a "bad variable" construct in the sense of Reynolds. We consider the fragment of (finitary) RML terms of order at…
In $26+1$ space-time dimensions, we introduce a gravity theory whose massless spectrum can be acted upon by the Monster group when reduced to $25+1$ dimensions. This theory generalizes M-theory in many respects and we name it Monstrous…
Let $M_{1,2}(F)$ be the algebra of $3 \times 3$ matrices with orthosymplectic superinvolution $*$ over a field $F$ of characteristic zero. We study the $*$-identities of this algebra through the representation theory of the group…
In this paper we consider a nondeterministic computation by deterministic multi-head 2-way automata having a read-only access to an auxiliary memory. The memory contains additional data (a guess) and computation is successful iff it is…
The purpose of this paper is to investigate the global categorical symmetries that arise when gauging finite higher groups in three or more dimensions. The motivation is to provide a common perspective on constructions of non-invertible…
This presentation is the sequel of a paper published in GETCO'00 proceedings where a research program to construct an appropriate algebraic setting for the study of deformations of higher dimensional automata was sketched. This paper…
User acceptance of artificial intelligence agents might depend on their ability to explain their reasoning, which requires adding an interpretability layer that fa- cilitates users to understand their behavior. This paper focuses on adding…
It is well-known that the first order Peano axioms PA have a continuum of non-isomorphic countable models. The question, how close to being isomorphic such countable models can be, seems to be less investigated. A measure of closeness to…
We characterize the connected graphs of given order $n$ and given independence number $\alpha$ that maximize the number of maximum independent sets. For $3\leq \alpha\leq n/2$, there is a unique such graph that arises from the disjoint…
We consider N=2 moose/quiver gauge theories corresponding to N_1 D3-branes at a C^2/Z_{N_2} singularity in the ``large moose'' limit where N_1 and N_2 are scaled to infinity together. In the dual holographic description, this scaling gives…
We perform further tests of the correspondence between spectral theory and topological strings, focusing on mirror curves of genus greater than one with nontrivial mass parameters. In particular, we analyze the geometry relevant to the…
We introduce higher level $q$-oscillator representations for the quantum affine (super)algebras of type $C_n^{(1)},C^{(2)}(n+1)$ and $B^{(1)}(0,n)$. These representations are constructed by applying the fusion procedure to the level one…
The First and Second Representation Theorem for sign-indefinite quadratic forms are extended. We include new cases of unbounded forms associated with operators that do not necessarily have a spectral gap around zero. The kernel of the…