Related papers: Shape-Wilf-equivalences for vincular patterns

This paper considers the problem of building saturated models for first-order graded logics. We define types as pairs of sets of formulas in one free variable which express properties that an element is expected, respectively, to satisfy…

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

We extend Orlov's result on representability of equivalences to schemes projective over a field. We also investigate the quasi-projective case.

There is a natural bijection between standard immaculate tableaux of composition shape $\alpha \vDash n$ and length $\ell(\alpha) = k$ and the $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ set-partitions of $\{ 1, 2,…

Motivated by the analogies between the projective and the almost quaternionic geometries, we study the generalized planar curves and mappings. We follow, recover, and extend the classical approach as developed by Mikes and Sinyukov. Then we…

In the first part of this paper, we obtain mirror formulas for twisted genus 0 two-point Gromov-Witten (GW) invariants of projective spaces and for the genus 0 two-point GW-invariants of Fano and Calabi-Yau complete intersections. This…

The theorems of Kozlov and Sullivan characterize Gibbs measures as measures with positive continuous specifications. More precisely, Kozlov showed that every positive continuous specification on symbolic configurations of the lattice is…

The author has recently introduced abstract algebraic frameworks of analogical proportions and similarity within the general setting of universal algebra. The purpose of this paper is to build a bridge from similarity to analogical…

We define some generalizations of the classical descent and inversion statistics on signed permutations that arise from the work of Sack and Ulfarsson [20] and called after width-k descents and width-k inversionsof type A in Davis's work…

We relate duality mappings to the "Babbage equation" F(F(z)) = z, with F a map linking weak- to strong-coupling theories. Under fairly general conditions F may only be a specific conformal transformation of the fractional linear type. This…

We show that a reflective/coreflective pair of full subcategories satisfies a "maximal-normal"-type equivalence if and only if it is an associated pair in the sense of Kelly and Lawvere.

The symmetric interaction combinators are an equally expressive variant of Lafont's interaction combinators. They are a graph-rewriting model of deterministic computation. We define two notions of observational equivalence for them,…

In this paper, studying the inverse problem, we establish a curvature compatibility condition on a spherically symmetric Finsler metric. As an application, we characterize the spherically symmetric metrics of scalar curvature. We construct…

The basic problem of shape complementarity analysis appears fundamental to applications as diverse as mechanical design, assembly automation, robot motion planning, micro- and nano-fabrication, protein-ligand binding, and rational drug…

We study symmetry-breaking line defects in the Wilson-Fisher theory with $O(2N+1)$ global symmetry near four dimensions and symmetry-preserving surface defects in a cubic model with $O(2N)$ global symmetry near six dimensions. We introduce…

In [Haglund, Remmel, Wilson 2018] the authors state two versions of the so called Delta conjecture, the rise version and the valley version. Of the former, they also give a more general statement in which zero labels are also allowed. In…

This paper provides several illustrations of the numerous remarkable properties of the lambda-extensions of the two-point correlation functions of the Ising model, sheding some light on the non-linear ODEs of the Painlev\'e type. We first…

We show that quasi-projective relation algebras and directed cylindric algebras are equivalent categorialy. We work out a Godels second incompleteness theorem for finite varibale fragments of first order logic. We show that distinct set…

This paper concerns frames and equiangular lines over finite fields. We find a necessary and sufficient condition for systems of equiangular lines over finite fields to be equiangular tight frames (ETFs). As is the case over subfields of…

In this paper we study pattern-replacement equivalence relations on the set $S_n$ of permutations of length $n$. Each equivalence relation is determined by a set of patterns, and equivalent permutations are connected by pattern-replacements…