相关论文: Gomory Integer Programs

We introduce a family of ideals $I_{n,\lambda,s}$ in $\mathbb{Q}[x_1,\dots,x_n]$ for $\lambda$ a partition of $k\leq n$ and an integer $s \geq \ell(\lambda)$. This family contains both the Tanisaki ideals $I_\lambda$ and the ideals…

A border basis scheme is an affine scheme that can be viewed as an open subscheme of the Hilbert scheme of \mu points of affine n-space. We study syzygies of the generators of a border basis scheme's defining ideal. These generators arise…

In this paper, we study groups of automorphisms of algebraic systems over a set of $p$-adic integers with different sets of arithmetic and coordinate-wise logical operations and congruence relations modulo $p^k,$ $k\ge 1.$ The main result…

In this paper, we firstly construct an $L_\infty[1]$-algebra via the method of higher derived brackets, whose Maurer-Cartan elements correspond to relative $\Omega$-family Rota-Baxter algebras structures of weight $\lambda$. For a relative…

The toric Hilbert scheme parametrizes all algebras isomorphic to a given semigroup algebra as a multigraded vectorspace. All components of the scheme are toric varieties, and among them, there is a fairly well understood coherent component.…

We reconsider some classical natural semantics of integers (namely iterators of functions, cardinals of sets, index of equivalence relations), in the perspective of Kolmogorov complexity. To each such semantics one can attach a simple…

Chvatal-Gomory cutting planes (CG-cuts for short) are a fundamental tool in Integer Programming. Given any single CG-cut, one can derive an entire family of CG-cuts, by `iterating' its multiplier vector modulo one. This leads naturally to…

We explain that the set of new integrable systems generalizing the Calogero family and implied by the study of WLZZ models, which was described in arXiv:2303.05273, is only the tip of the iceberg. We provide its wide generalization and…

Homological stability has shown itself to be a powerful tool for the computation of homology of families of groups such as general linear groups, mapping class groups or automorphisms of free groups. We survey here tools and techniques for…

In this paper we explore orthogonal systems in $\mathrm{L}_2(\mathbb{R})$ which give rise to a skew-Hermitian, tridiagonal differentiation matrix. Surprisingly, allowing the differentiation matrix to be complex leads to a particular family…

A unitary family is a family of unitary operators $U(x)$ acting on a finite dimensional hermitian vector space, depending analytically on a real parameter $x$. It is monotone if $\frac1i U'(x)U(x)^{-1}$ is a positive operator for each $x$.…

If $V$ is a commutative algebraic group over a field $k$, $O$ is a commutative ring that acts on $V$, and $I$ is a finitely generated free $O$-module with a right action of the absolute Galois group of $k$, then there is a commutative…

We study three different (co)homology theories for a family of pullbacks of algebras that we call oriented. We obtain a Mayer Vietoris long exact sequence of Hochschild and cyclic homology and cohomology groups for these algebras. We give…

Integer programming is concerned with solving linear systems of equations over the non-negative integers. The basic question is to find a solution which minimizes a given linear objective function for a fixed right hand side. Here we also…

In this paper, we develop new discrete relaxations for nonlinear expressions in factorable programming. We utilize specialized convexification results as well as composite relaxations to develop mixed-integer programming (MIP) relaxations.…

Real physical systems with reflective and rotational symmetries such as viruses, fullerenes and quasicrystals have recently been modeled successfully in terms of three-dimensional (affine) Coxeter groups. Motivated by this progress, we…

Geoffrion's theorem is a fundamental result from mathematical programming assessing the quality of Lagrangian relaxation, a standard technique to get bounds for integer programs. An often implicit condition is that the set of feasible…

This paper classifies the derivations of group algebras in terms of the generators and defining relations of the group. If $RG$ is a group ring, where $R$ is commutative and $S$ is a set of generators of $G$ then necessary and sufficient…

The change-making problem was recently extended to sets of positive integers not containing the element $1$, and from there to numerical semigroups. A greedy numerical semigroup is defined as a numerical semigroup where the greedy…

Strongly stable monomial ideals are important in algebraic geometry, commutative algebra, and combinatorics. Prompted, for example, by combinatorial approaches for studying Hilbert schemes and the existence of maximal total Betti numbers…