Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1909.02123

Finding the dimension of a non-empty orthogonal array polytope

Dursun Bulutoglu
View original source ↗Read source document ↗Export metadata ↓

Abstract

By using representation theory, we reduce the size of the set of possible values for the dimension of the convex hull of all feasible points polytope of an orthogonal array (OA) defining integer linear program (ILP). Our results address the conjecture that if this polytope is non-empty, then it is full dimensional within the affine space where all the feasible points of the ILP's linear programming (LP) relaxation lie, raised by Appa et al., [On multi-index assignment polytopes, Linear Algebra and its Applications 416 (2-3) (2006), 224--241]. In particular, our theoretical results provide a sufficient condition for this polytope to be full dimensional within the LP relaxation affine space when it is non-empty. This sufficient condition implies all the known non-trivial values of the dimension of the $(k,s)$ assignment polytope. However, our results suggest that the conjecture mentioned above may not be true. More generally we provide previously unknown restrictions on the feasible values of the dimension of convex hull of all feasible points polytope of our OA defining ILP. We also determine all possible corresponding sets of equality constraints up to equivalence that can be implied by the integrality constraints of this ILP. Moreover, we find additional restrictions on the dimension of convex hull of feasible points and larger sets of corresponding equality constraints for the $n=2$ and even $s$ cases. These cases posses symmetries that do not necessarily exist in the $3\leq n$ or odd $s$ cases.

Explore related subjects

math.RTmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dursun Bulutoglu. 2023-01-04. Finding the dimension of a non-empty orthogonal array polytope. https://arxiv.org/abs/1909.02123

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT↗
arXiv2026

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT↗
arXiv2026

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT↗