518 results for combinatorial

arxiv.org/abs/1702.04491v1

Regularity of symbolic powers and Arboricity of matroids

Let $Δ$ be a simplicial complex of a matroid $M$. In this paper, we explicitly compute the regularity of all the symbolic powers of a Stanley-Reisner ideal $I_Δ$ in terms of combinatorial data of the matroid $M$. In order to do that, we provide a s...

arxiv.org/abs/2306.03238v2

High-Round QAOA for MAX $k$-SAT on Trapped Ion NISQ Devices

The Quantum Alternating Operator Ansatz (QAOA) is a hybrid classical-quantum algorithm that aims to sample the optimal solution(s) of discrete combinatorial optimization problems. We present optimized QAOA circuit constructions for sampling MAX $k$-S...

arxiv.org/abs/2301.08807v4

4-clique Network Minor Embedding for Quantum Annealers

Quantum annealing is a quantum algorithm for computing solutions to combinatorial optimization problems. This study proposes a method for minor embedding optimization problems onto sparse quantum annealing hardware graphs called 4-clique network mino...

arxiv.org/abs/1810.05545v2

Enumerative Gadget Phenomena for $(4,1)$-Adinkras

Adinkras are combinatorial objects developed to study supersymmetry representations. Gates et al. introduced the "gadget" as a function of pairs of adinkras, obtaining some mysterious results for $(n=4, k=1)$ adinkras with computer-aided computation....

arxiv.org/abs/1704.01644v2

Positive Semidefiniteness of Matrices arising from Ramsey Theory

We resolve a conjecture of Cooper-Fenner-Purewal that a certain sequence of combinatorial matrices which can be used to bound small product-Ramsey numbers is positive semidefinite. Because the connection to Ramsey Theory involves solving quadratic in...

arxiv.org/abs/2505.19816v2

A Formal Analysis of Algorithms for Matroids and Greedoids

We present a formal analysis, in Isabelle/HOL, of optimisation algorithms for matroids, which are useful generalisations of combinatorial structures that occur in optimisation, and greedoids, which are a generalisation of matroids. Although some form...

arxiv.org/abs/2305.13111v2

Higher arity stability and the functional order property

The $k$-dimensional functional order property ($\text{FOP}_k$) is a combinatorial property of a $(k+1)$-partitioned formula. This notion arose in work of Terry and Wolf, which identified $\text{NFOP}_2$ as a ternary analogue of stability in the conte...

arxiv.org/abs/1108.3383v2

Gadgets and Anti-Gadgets Leading to a Complexity Dichotomy

We introduce an idea called anti-gadgets in complexity reductions. These combinatorial gadgets have the effect of erasing the presence of some other graph fragment, as if we had managed to include a negative copy of a graph gadget. We use this idea t...

arxiv.org/abs/1810.03246v4

Honeycomb Tessellations and Graded Permutohedral Blades

This paper investigates enumerative aspects of permutohedral blades, which provide a generalization of the notion of the tropical hyperplane arrangement. Blade provide the combinatorial underpinning of generalized biadjoint scalar scattering amplitud...

en.wikipedia.org/wiki/Mutually_orthogonal_Latin_squares

Mutually orthogonal Latin squares - Wikipedia

Combinatorial Designs, 15 (2): 98–119, CiteSeerX 10.1.1.151.3043, doi:10.1002/jcd.20105, S2CID 82321, Zbl 1112.05018 Raghavarao, Damaraju (1988), Constructions

arxiv.org/abs/2510.02587v2

A combinatorial formula for Interpolation Macdonald polynomials

In 1996, Knop and Sahi introduced a remarkable family of inhomogeneous symmetric polynomials, defined via vanishing conditions, whose top homogeneous parts are exactly the Macdonald polynomials. Like the Macdonald polynomials, these interpolation Mac...

arxiv.org/abs/1504.00260v3

Cambrian frameworks for cluster algebras of affine type

We give a combinatorial model for the exchange graph and g-vector fan associated to any acyclic exchange matrix B of affine type. More specifically, we construct a reflection framework for B in the sense of [N. Reading and D. E. Speyer, "Combinatoria...

en.wikipedia.org/wiki/Nim

Nim - Wikipedia

Nim is a mathematical combinatorial game in which two players take turns removing (or "nimming") objects from distinct heaps or piles. On each turn, a