Related papers: Combinatorics of hexagonal fully packed loop confi…
We study a model of densely packed self-avoiding loops on the annulus, related to the Temperley Lieb algebra with an extra idempotent boundary generator. Four different weights are given to the loops, depending on their homotopy class and…
The bulk-boundary correspondence is a hallmark feature of topological phases of matter. Nonetheless, our understanding of the correspondence remains incomplete for phases with intrinsic topological order, and is nearly entirely lacking for…
Hybrid logic is one of the extensions of modal logic. The many-dimensional product of hybrid logic is called hybrid product logic (HPL). We construct a sound and complete tableau calculus for two-dimensional HPL. Also, we made a tableau…
Equilibrium states of a closed semiflexible polymer binding to a cylinder are described. This may be either by confinement or by constriction. Closed completely bound states are labeled by two integers: the number of oscillations, $n$, and…
We study the topology of the boundary manifold of a regular neighborhood of a complex projective hypersurface. We show that, under certain Hodge theoretic conditions, the cohomology ring of the complement of the hypersurface functorially…
Let $H$ be a real Hilbert space. In this short note, using some of the properties of bounded linear operators with closed range defined on $H$, certain bounds for a specific convex subset of the solution set of infinite linear…
Totally symmetric self-complementary plane partitions (TSSCPPs) are boxed plane partitions with the maximum possible symmetry. We use the well-known representation of TSSCPPs as a dimer model on a honeycomb graph enclosed in one-twelfth of…
In a recent article, one of the authors used $c=0$ logarithmic conformal field theory to predict crossing-probability formulas for percolation clusters inside a hexagon with free boundary conditions. In this article, we verify these…
We derive a necessary and sufficient condition on a hyperplane arrangement in $\mathbb{P}^n$ for the associated logarithmic cotangent bundle to be ample modulo boundary. We extend this result to the orbifold setting and give some…
We compute lattice correlation functions for the model of critical dense polymers on a semi-infinite cylinder of perimeter $n$. In the lattice loop model, contractible loops have a vanishing fugacity whereas non-contractible loops have a…
Interest in finite-size systems has risen in the last decades, due to the focus on nanotechnological applications and because they are convenient for numerical treatment that can subsequently be extrapolated to infinite lattices.…
HyperQPTL and HyperQPTL$^+$ are expressive specification languages for hyperproperties, properties that relate multiple executions of a system. Tight complexity bounds are known for HyperQPTL finite-state satisfiability and model-checking.…
We show that the Hamiltonian action satisfies the Palais-Smale condition over a "mixed regularity" space of loops in cotangent bundles, namely the space of loops with regularity $H^s$, $s\in (\frac 12, 1)$, in the base and $H^{1-s}$ in the…
In the article the Fourier series analytical solutions of uniformly loaded rectangular thin plates with symmetrical boundary conditions are considered. For all the cases the numerical values are tabulated.
We study the two-dimensional hierarchical rectangle packing problem, motivated by applications in analog integrated circuit layout, facility layout, and logistics. Unlike classical strip or bin packing, the dimensions of the container are…
In this paper will be introduced large, probably complete family of complex base systems, which are 'proper' - for each point of the space there is a representation which is unique for all but some zero measure set. The condition defining…
In this paper, we investigate properties of harmonic entire mappings. Firstly, we give the characterizations of the order and the type for a harmonic entire mapping $f=h+\overline{g}$, respectively, and also consider the relationship…
It is shown that an ensemble of particles with tripolar (colour) charges will necessarily cohere in a hierarchy of structures, from simple clusters and strings to complex aggregates and cyclic molecule-like structures. The basic…
Boundary conditions strongly affect the results of numerical computations for finite size inhomogeneous or incommensurate structures. We present a method which allows to deal with this problem, both for ground state and for critical…
The polytope containment problem is deciding whether a polytope is a contained within another polytope. This problem is rooted in computational convexity, and arises in applications such as verification and control of dynamical systems. The…