相关论文: Complementary Algorithms For Tableaux
One of the most classical pairs of symplectic and conjugate-symplectic schemes is given by the Midpoint method (the Gauss-Runge-Kutta method of order 2) and the Trapezoidal rule. These can be interpreted as compositions of the Implicit and…
We consider the Krall-Sheffer class of admissible, partial differential operators in the plane. We concentrate on algebraic structures, such as the role of commuting operators and symmetries. For the polynomial eigenfunctions, we give…
The logic of goal-directed knowing-how extends the standard epistemic logic with an operator of knowing-how. The knowing-how operator is interpreted as that there exists a strategy such that the agent knows that the strategy can make sure…
We study a systematic improvement of perturbation theory for gauge fields on the lattice [hep-lat/0606001]; the improvement entails resumming, to all orders in the coupling constant, a dominant subclass of tadpole diagrams. This method,…
In the spectral theory of non-self-adjoint operators there is a well-known operation of product of operator colligations. Many similar operations appear in the theory of infinite-dimensional groups as multiplications of double cosets. We…
We analyze a functor from cyclic operads to chain complexes first considered by Getzler and Kapranov and also Markl. This functor is a generalization of the graph homology considered by Kontsevich, which was defined for the three operads…
We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…
Domain decomposition methods are essential in solving applied problems on parallel computer systems. For boundary value problems for evolutionary equations the implicit schemes are in common use to solve problems at a new time level…
A celebrated 1922 theorem of Kuratowski states that there are at most 14 distinct sets arising from applying the operations of complementation and closure, any number of times, in any order, to a subset of a topological space. In this paper…
An increasing tableau is a semistandard tableau with strictly increasing rows and columns. It is well known that the Catalan numbers enumerate both rectangular standard Young tableaux of two rows and also Dyck paths. We generalize this to a…
We introduce the notion of joint torsion for several commuting operators satisfying a Fredholm condition. This new secondary invariant takes values in the group of invertibles of a field. It is constructed by comparing determinants…
In this paper, we discuss index theory for Toeplitz operators on a discrete quarter-plane of two-variable rational matrix function symbols. By using Gohberg-Krein theory for matrix factorizations, we extend the symbols defined originally on…
When are two algorithms the same? How can we be sure a recently proposed algorithm is novel, and not a minor twist on an existing method? In this paper, we present a framework for reasoning about equivalence between a broad class of…
We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the product $\times$, and the finite…
There are two kinds of splittings of operations, namely, the classical splitting which is interpreted operadically as taking successors and another splitting which we call the second splitting giving the anti-structures of the successors'…
We study the behaviour of functions of pairs of commuting self-adjoint operators under perturbations by relatively bounded operators. We obtain analogs of our earlier results for functions of a single self-adjoint operator under relatively…
An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be…
In this paper, we investigate the relationship between ideal structures and the Bockstein operations in the total K-theory, offering various diagrams to demonstrate their effectiveness in classification. We explore different situations and…
We construct efficient Monte Carlo updating algorithms for two classes of pure SU(N) lattice gauge actions with non-linear dependence on the link variables. Our construction generalises the method of auxiliary variables used by Fabricius…
To convert a fractional solution to an instance of a constraint satisfaction problem into a solution, a rounding scheme is needed, which can be described by a collection of symmetric operations with one of each arity. An intriguing…