Related papers: Free-lattice functors weakly preserve epi-pullback…
By a 1941 result of Ph. M. Whitman, the free lattice FL(3) on three generators includes a sublattice $S$ that is isomorphic to the lattice FL($\omega$)=FL($\aleph_0$) generated freely by denumerably many elements. The first author has…
We study the sharp constant for the embedding of $W^{1,p}_0(\Omega)$ into $L^q(\Omega)$, in the case $2<p<q$. We prove that for smooth connected sets, when $q>p$ and $q$ is sufficiently close to $p$, extremal functions attaining the sharp…
In this paper a new equivalence relation $\approx$ to classify the fuzzy subgroups of finite groups is introduced and studied. This generalizes the equivalence relation $\sim$ defined on the lattice of fuzzy subgroups of a finite group that…
For a prime $p$ and a matrix $A \in \mathbb{Z}^{n \times n}$, write $A$ as $A = p (A \,\mathrm{quo}\, p) + (A \,\mathrm{rem}\, p)$ where the remainder and quotient operations are applied element-wise. Write the $p$-adic expansion of $A$ as…
In this paper, we study the unimodular equivalence of sublattices in an $n$-dimensional lattice. A recursive procedure is given to compute the cardinalities of the unimodular equivalent classes with the indices which are powers of a prime…
Lattice theoretical generalizations of some classical linear algebra results are formulated. A vector space is replaced by its subspace lattice and a linear map is replaced by the induced lattice map. This map is a complete join…
We prove and utilize an improvement to the short time estimates of Burq, G\'erard, & Tzvetkov on $\mathbb{T}$ via connecting this estimate to the number of lattice points in thin annuli. As a consequence, we enhance the well-posedness level…
We consider the problem of constructing the free bifibration generated by a functor of categories $p : D \to C$. This problem was previously considered by Lamarche, and is closely related to the problem, considered by Dawson, Par\'e, and…
We introduce a generalization of relative entropy derived from the Wigner-Yanase-Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for the map…
One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…
Previous lattice QCD calculations of axial vector and pseudoscalar form factors show significant deviation from the partially conserved axial current (PCAC) relation between them. Since the original correlation functions satisfy PCAC, the…
A ternary inclusion-exclusion polynomial is a polynomial of the form \[ Q_{{p,q,r}}=\frac{(z^{pqr}-1)(z^p-1)(z^q-1)(z^r-1)} {(z^{pq}-1)(z^{qr}-1)(z^{rp}-1)(z-1)}, \] where $p$, $q$, and $r$ are integers $\ge3$ and relatively prime in pairs.…
We study the problem of enumerating Tarski fixed points on finite lattices. We derive query complexity lower bounds for finding three or more Tarski fixed points of isotone maps and the subclasses of increasing and decreasing isotone maps.…
Real-valued logics have seen a renewed interest in verification for probabilistic and quantitative systems, in particular machine learning models, where they can be used to directly integrate specifications in the training objective. To do…
We study Poincar\'e problem for a linear uniformly parabolic operator $\P$ in a cylinder $Q=\Omega\times (0,T).$ The boundary operator $\B$ is defined by an oblique derivative with respect to a tangential vector field $\l$ defined on the…
We give a combinatorial interpretation of vector continued fractions obtained by applying the Jacobi-Perron algorithm to a vector of $p\geq 1$ resolvent functions of a banded Hessenberg operator of order $p+1$. The interpretation consists…
We consider the Cooper-problem on a two-dimensional, square lattice with a uniform, perpendicular magnetic field. Only rational flux fractions are considered. An extended (real-space) Hubbard model including nearest and next nearest…
Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf…
We introduce a flexible class of well-quasi-orderings (WQOs) on words that generalizes the ordering of (not necessarily contiguous) subwords. Each such WQO induces a class of piecewise testable languages (PTLs) as Boolean combinations of…
We study elliptic functions in quaternionic analysis, and prove some analogues of classical theorems from the complex case. The main result is a relation between the periods of closed differential 1-forms and 3-forms on H/L where L is a…