相关论文: SpaceGroupIrep: A package for irreducible represen…

The goal of this paper is to introduce a new method in computer-aided geometry of solid modeling. We put forth a novel algebraic technique to evaluate any variadic expression between polyhedral d-solids (d = 2, 3) with regularized operators…

We present Integer Linear Programming (ILP) Modulo Theories (IMT). An IMT instance is an Integer Linear Programming instance, where some symbols have interpretations in background theories. In previous work, the IMT approach has been…

In this paper, we study the Lie point symmetry group of a system describing an ideal plastic plane flow in two dimensions in order to find analytical solutions of the system. The infinitesimal generators that span the Lie algebra for this…

We give compact extended formulations for the packing and partitioning orbitopes (with respect to the full symmetric group) described and analyzed in (Kaibel and Pfetsch, 2008). These polytopes are the convex hulls of all 0/1-matrices with…

For a given linear program (LP) a permutation of its variables that sends feasible points to feasible points and preserves the objective function value of each of its feasible points is a symmetry of the LP. The set of all symmetries of an…

We present a Mathematica program package MagneticTB, which can generate the tight-binding model for arbitrary magnetic space group. The only input parameters in MagneticTB are the (magnetic) space group number and the orbital information in…

In this work, we show that extending the standard description of space-time symmetries from groups of isometries to the more flexible framework of kinematical groupoids allows for the extension of Wigner's program to curved space-times. We…

Let G be a finite group. By Riemann's Existence Theorem, braid orbits of generating systems of G with product 1 correspond to irreducible families of covers of the Riemann sphere with monodromy group G. Thus many problems on algebraic…

This paper considers coorbit spaces parametrized by mixed, weighted Lebesgue spaces with respect to the quasi-regular representation of the semi-direct product of Euclidean space and a suitable matrix dilation group. The class of dilation…

The Neyman-Scott point process is a widely used point process model which is easily interpretable and easily extendable to include various types of inhomogeneity. The inference for such complex models is then complicated and fast methods,…

In this note, we show that the decomposition group $Dec(I)$ of a zero-dimensional radical ideal $I$ in ${\bf K}[x_1,\ldots,x_n]$ can be represented as the direct sum of several symmetric groups of polynomials based upon using Gr\"{o}bner…

There are exactly three finite subgroups of SU(2) that act irreducibly in the spin 1 representation, namely the binary tetrahedral, binary octahedral and binary icosahedral groups. In previous papers I have shown how the binary tetrahedral…

We present a novel approach based on Bayesian field-level inference capable of resolving individual galaxies within the Local Group (LG), enabling detailed studies of its structure and formation via posterior simulations. We extend the…

We develop an optimization framework for identifying ideal Mixed Binary Linear Programs (MBLP) which is linear when using known input data and nonconvex quadratic over parametric input data. These techniques are applied to various…

We classify the finite-dimensional irreducible linear representations of the Baumslag-Solitar groups BS(p,q) = < a, b | a b^p = b^q a > for relatively prime p and q. The general strategy of the argument is to consider the matrix group given…

The Similarity Renormalization Group (SRG) is investigated as a powerful yet practical method to modify nuclear potentials so as to reduce computational requirements for calculations of observables. The key feature of SRG transformations…

The idea that symmetries simplify or reduce the complexity of a system has been remarkably fruitful in physics, and especially in quantum mechanics. On a mathematical level, symmetry groups single out a certain structure in the Hilbert…

We provide an algorithmic framework for the computation of explicit representing matrices for all irreducible representations of a generalized symmetric group $\Grin_n$, i.e., a wreath product of cyclic group of order $r$ with the symmetric…

On behalf of the development team, I review the capabilities of the BAGEL program package in this article. BAGEL is a newly-developed full-fledged program package for electronic-structure computation in quantum chemistry, which is released…

We present a program that allows for the computation of tensor products of irreducible representations of Lie algebras A-G based on the explicit construction of weight states. This straightforward approach (which is slower and more…