Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On the Complexity of Recognizing Integrality and Total Dual Integrality of the $\{0,1/2\}$-Closure
Published
• View Publication
• BIB
The $\{0,\frac{1}{2}\}$-closure of a rational polyhedron $\{ x \colon Ax \le b \}$ is obtained by adding all Gomory-Chvátal cuts that can be derived from the linear system $Ax \le b$ using multipliers in $\{0,\frac{1}{2}\}$. We show that deciding whether the $\{0,\frac{1}{2}\}$-closure coincides with the integer hull is strongly NP-hard. A direct consequence of our proof is that, testing whether the linear description of the $\{0,\frac{1}{2}\}$-closure derived from $Ax \le b$ is totally dual integral, is strongly NP-hard.
Constructions in combinatorics via neural networks
We demonstrate how by using a reinforcement learning algorithm, the deep cross-entropy method, one can find explicit constructions and counterexamples to several open conjectures in extremal combinatorics and graph theory. Amongst the conjectures we refute are a question of Brualdi and Cao about maximizing permanents of pattern avoiding matrices, and several problems related to the adjacency and distance eigenvalues of graphs.
Reflection length with two parameters in the asymptotic representation theory of type B/C and applications
We introduce a two-parameter function $φ_{q_+,q_-}$ on the infinite hyperoctahedral group, which is a bivariate refinement of the reflection length keeping track of the long and the short reflections separately. We show that this signed reflection function $φ_{q_+,q_-}$ is positive definite if and only if it is an extreme character of the infinite hyperoctahedral group and we classify the corresponding set of parameters $q_+,q_-$. We construct the corresponding representations through a natural action of the hyperoctahedral group $B(n)$ on the tensor product of $n$ copies of a vector space, which gives a two-parameter analog of the classical construction of Schur--Weyl.
We apply our classification to construct a cyclic Fock space of type B generalizing the one-parameter construction in type A found previously by Bożejko and Guta. We also construct a new Gaussian operator acting on the cyclic Fock space of type B and we relate its moments with the Askey--Wimp--Kerov distribution by using the notion of cycles on pair-partitions, which we introduce here. Finally, we explain how to solve the analogous problem for the Coxeter groups of type D by using our main result.
Matroid relaxations and Kazhdan-Lusztig non-degeneracy
Published in Algebraic Combinatorics, Volume 5 (2022) no. 4, pp. 745-769
• View Publication
• BIB
In this paper we study the interplay between the operation of circuit-hyperplane relaxation and the Kazhdan--Lusztig theory of matroids. We obtain a family of polynomials, not depending on the matroids but only on their ranks, that relate the Kazhdan--Lusztig, the inverse Kazhdan--Lusztig and the $Z$-polynomial of each matroid with those of its relaxations. As an application of our main theorem, we prove that all matroids having a free basis are non-degenerate. Additionally, we obtain bounds and explicit formulas for all the coefficients of the Kazhdan--Lusztig, inverse Kazhdan--Lusztig and $Z$-polynomial of all sparse paving matroids.
One more proof of the first linear programming bound for binary codes and two conjectures
Published
• View Publication
• BIB
We give one more proof of the first linear programming bound for binary codes, following the line of work initiated by Friedman and Tillich. The new argument is somewhat similar to previous proofs, but we believe it to be both simpler and more intuitive. Moreover, it provides the following 'geometric' explanation for the bound. A binary code with minimal distance $δn$ is small because the projections of the characteristic functions of its elements on the subspace spanned by the Walsh-Fourier characters of weight up to $\left(\frac 12 - \sqrt{δ(1-δ)}\right) \cdot n$ are essentially independent. Hence the cardinality of the code is bounded by the dimension of the subspace.
We present two conjectures, suggested by the new proof, one for linear and one for general binary codes which, if true, would lead to an improvement of the first linear programming bound. The conjecture for linear codes is related to and is influenced by conjectures of Håstad and of Kalai and Linial. We verify the conjectures for the (simple) cases of random linear codes and general random codes.
(1+1+2)-generated lattices of quasiorders
Published
• View Publication
• BIB
A lattice is $(1+1+2)$-generated if it has a four-element generating set such that exactly two of the four generators are comparable. We prove that the lattice Quo$(n)$ of all quasiorders (also known as preorders) of an $n$-element set is $(1+1+2)$-generated for $n=3$ (trivially), $n=6$ (when Quo(6) consists of $209\,527$ elements), n=11, and for every natural number $n\geq 13$. In 2017, the second author and J. Kulin proved that Quo$(n)$ is $(1+1+2)$-generated if either $n$ is odd and at least $13$ or $n$ is even and at least $56$. Compared to the 2017 result, this paper presents twenty-four new numbers $n$ such that Quo$(n)$ is $(1+1+2)$-generated. Except for Quo(6), an extension of Zádori's method is used.
Quadratic coefficients of Goulden-Rattan character polynomials
Published
• View Publication
• BIB
Goulden-Rattan polynomials give the exact value of the subdominant part of the normalized characters of the symmetric groups in terms of certain quantities ($C_i$) which describe the macroscopic shape of the Young diagram. The Goulden-Rattan positivity conjecture states that the coefficients of these polynomials are positive rational numbers with small denominators. We prove a special case of this conjecture for the coefficient of the quadratic term $C_2^2$ by applying certain bijections involving maps (i.e., graphs drawn on surfaces).
Hadwiger conjecture for 8-coloring graph
Hadwiger Conjecture has been an open problem for over a half century1,6, which says that there is at most a complete graph Kt but no Kt+1 for every t-colorable graph. A few cases of Hadwiger Conjecture, such as 1, 2, 3, 4, 5, 6-colorable graphs have been completely proved to convince all1-5, but the proofs are tremendously difficult for over the 5-colorable graph6,7. Although the development of graph theory inspires scientists to understand graph coloring deeply, it is still an open problem for over 7-colorable graphs6,7. Therefore, we put forward a brand new chromatic graph configuration and show how to describe the graph coloring issues in chromatic space. Based on this idea, we define a chromatic plane and configure the chromatic coordinates in Euler space. Also, we find a method to prove Hadwiger Conjecture for every 8-coloring graph feasible.
Atom-generated planar lattices
In this note, we discuss planar lattices generated by their atoms. We prove that if $L$ is a planar lattice generated by $n$ atoms, then both the left and the right boundaries of $L$ have at most $n+1$ elements.
On the other hand, $L$ can be arbitrarily large. For every $k > 1$, we construct a planar lattice $L$ generated by $4$ atoms such that $L$ has more than $k$ elements.
Toppling on permutations with an extra chip
Published in Electronic Journal of Combinatorics, Vol 28 no. 4, (2021), P4.18
• View Publication
• BIB
The study of toppling on permutations with an extra labeled chip was initiated by the first author with D. Hathcock and P. Tetali (arXiv:2010.11236), where the extra chip was added in the middle. We extend this to all possible locations $p$ as well as values $r$ of the extra chip and give a complete characterization of permutations which topple to the identity. Further, we classify all permutations which are outcomes of the toppling process in this generality, which we call resultant permutations. Resultant permutations turn out to be certain decomposable permutations. The number of configurations toppling to a given resultant permutation is shown to depend purely on the number of left-to-right maxima (or records) of the permutation to the left of $n-p$ and the number of right-to-left minima to the right of $n-p$. The number of permutations toppling to a given resultant permutation (identity or otherwise) is shown to be the binomial transform of a poly-Bernoulli number of type B.
Shifted Bender-Knuth moves and a shifted Berenstein-Kirillov group
The Bender-Knuth involutions on Young tableaux are known to coincide with the tableau switching on two adjacent letters, together with a swapping of those letters. Using the shifted tableau switching due to Choi, Nam and Oh (2019), we introduce a shifted version of the Bender-Knuth operators and define a shifted version of the Berenstein-Kirillov group. The actions of the cactus group, due to the author, and of the shifted Berenstein-Kirillov group on the Gillespie-Levinson-Purbhoo straight-shaped shifted tableau crystal (2017, 2020) coincide. Following the works of Halacheva (2016, 2020), and Chmutov, Glick and Pylyavskyy (2016, 2020), on the relation between the actions of the Berenstein-Kirillov group and the cactus group on the crystal of straight-shaped Young tableaux, we show that the shifted Berenstein-Kirillov group is isomorphic to a quotient of the cactus group. Not all the known relations that hold in the classic Berenstein-Kirillov group need to be satisfied by the shifted Bender-Knuth involutions, but the ones implying the relations of the cactus group are verified. Hence we have an alternative presentation for the cactus group via the shifted Bender-Knuth involutions.
Remarks on random walks on graphs and the Floyd boundary
Published
• View Publication
• BIB
We show that for a uniformly irreducible random walk on a graph, with bounded range, there is a Floyd function for which the random walk converges to its corresponding Floyd boundary. Moreover if we add the assumptions, $p^{(n)}(v,w)\leq C ρ^n$, where $ρ< 1$ is the spectral radius, then for any Floyd function $f$ that satisfies $\sum_{n=1}^{\infty}nf(n)<\infty$, the Dirichlet problem with respect to the Floyd boundary is solvable.
$q{\rm RS}t$: A probabilistic Robinson--Schensted correspondence for Macdonald polynomials (extended abstract)
We present a probabilistic generalization of the Robinson--Schensted correspondence in which a permutation maps to several different pairs of standard Young tableaux with nonzero probability. The probabilities depend on two parameters $q$ and $t$, and the correspondence gives a new proof of the squarefree part of the Cauchy identity for Macdonald polynomials. By specializing $q$ and $t$ in various ways, one recovers both the row and column insertion versions of the Robinson--Schensted correspondence, as well as several $q$- and $t$-deformations of row and column insertion which have been introduced in recent years in connection with integrable probability.
On the size of $(K_t, K_{1,k})$-co-critical graphs
Published
• View Publication
• BIB
Given graphs $G, H_1, H_2$, we write $G \rightarrow ({H}_1, H_2)$ if every $\{$red, blue$\}$-coloring of the edges of $G$ contains a red copy of $H_1$ or a blue copy of $H_2$. A non-complete graph $G$ is $(H_1, H_2)$-co-critical if $G \nrightarrow ({H}_1, H_2)$, but $G+e\rightarrow ({H}_1, H_2)$ for every edge $e$ in $\overline{G}$. Motivated by a conjecture of Hanson and Toft from 1987, we study the minimum number of edges over all $(K_t, K_{1,k})$-co-critical graphs on $n$ vertices. We prove that for all $t\ge3$ and $k\ge 3$, there exists a constant $\ell(t, k)$ such that, for all $n \ge (t-1)k+1$, if $G$ is a $(K_t, K_{1,k})$-co-critical graph on $n$ vertices, then $$ e(G)\ge \left(2t-4+\frac{k-1}{2}\right)n-\ell(t, k).$$ Furthermore, this linear bound is asymptotically best possible when $t\in\{3, 4,5\}$ and all $k\ge3$ and $n\ge (2t-2)k+1$. It seems non-trivial to construct extremal $(K_t, K_{1,k})$-co-critical graphs for $t\ge6$. We also obtain the sharp bound for the size of $(K_3, K_{1,3})$-co-critical graphs on $n\ge13$ vertices by showing that all such graphs have at least $3n-4$ edges.
Intersection Graphs of Maximal Sub-polygons of $k$-Lizards
Published
• View Publication
• BIB
We introduce $k$-maximal sub-polygon graphs ($k$-MSP graphs), the intersection graphs of maximal polygons contained in a polygon with sides parallel to a regular $2k$-gon. We prove that all complete graphs are $k$-MSP graphs for all $k>1$; trees are $2$-MSP graphs; trees are $k$-MSP graphs for $k>2$ if and only if they're caterpillars; and $n$-cycles are not $k$-MSP graphs for $n>3$ and $k>1$. We derive bounds for which $j$-cycles appear as induced subgraphs of $k$-MSP graphs. As our main result, we construct examples of graphs which are $k$-MSP graphs and not $j$-MSP graphs for all $k>1$, $j>1$, $k \neq j$.
A One-Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem
We give a short and insightful proof of Gerry Leversha's elegant theorem regarding the isogonal conjugates of each of the vertices of a non-cyclic quadrilateral with respect to the triangle formed by the other three. It uses the Maple package RENE.txt, available from . http://www.math.rutgers.edu/~zeilberg/tokhniot/RENE.txt
Anti-Ramsey number of edge-disjoint rainbow spanning trees in all graphs
Published
• View Publication
• BIB
An edge-colored graph $G$ is called \textit{rainbow} if every edge of $G$ receives a different color. Given any host graph $G$, the \textit{anti-Ramsey} number of $t$ edge-disjoint rainbow spanning trees in $G$, denoted by $r(G,t)$, is defined as the maximum number of colors in an edge-coloring of $G$ containing no $t$ edge-disjoint rainbow spanning trees. For any vertex partition $P$, let $E(P,G)$ be the set of non-crossing edges in $G$ with respect to $P$. In this paper, we determine $r(G,t)$ for all host graphs $G$: $r(G,t)=|E(G)|$ if there exists a partition $P_0$ with $|E(G)|-|E(P_0,G)|<t(|P_0|-1)$; and $r(G,t)=\max_{P\colon |P|\geq 3} \{|E(P,G)|+t(|P|-2)\}$ otherwise. As a corollary, we determine $r(K_{p,q},t)$ for all values of $p,q, t$, improving a result of Jia, Lu and Zhang.
Characterizations of monadic NIP
Published in Trans. Amer. Math. Soc. Ser. B 8 (2021), 948-970; Trans. Amer. Math. Soc. Ser. B 11 (2024), 1226-1232
• View Publication
• BIB
We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on finite satisfiability of types. Other characterizations include decompositions of models, the behavior of indiscernibles, and a forbidden configuration. As an application, we prove non-structure results for hereditary classes of finite substructures of non-monadically NIP models that eliminate quantifiers.
Leaper Tours
Published in Advances in Combinatorics, 2022:4, 32 pp
• View Publication
• BIB
Let $p$ and $q$ be positive integers. The $(p, q)$-leaper $L$ is a generalised knight which leaps $p$ units away along one coordinate axis and $q$ units away along the other. Consider a free $L$, meaning that $p + q$ is odd and $p$ and $q$ are relatively prime. We prove that $L$ tours the board of size $4pq \times n$ for all sufficiently large positive integers $n$. Combining this with the recently established conjecture of Willcocks which states that $L$ tours the square board of side $2(p + q)$, we conclude that furthermore $L$ tours all boards both of whose sides are even and sufficiently large. This, in particular, completely resolves the question of the Hamiltonicity of leaper graphs on sufficiently large square boards.
The music box operad: Random generation of musical phrases from patterns
Published in Journal of Creative Music Systems 8, Issue 1, 2024
• View Publication
• BIB
We introduce the notion of multi-patterns, a combinatorial abstraction of polyphonic musical phrases. The interest of this approach in encoding musical phrases lies in the fact that it becomes possible to compose multi-patterns in order to produce new ones. This composition is parameterized by a monoid structure on the scale degrees. This embeds the set of the musical phrases into an algebraic framework since the set of the multi-patterns is endowed with the structure of an operad. Operads are algebraic structures offering a formalization and an abstraction of the notion of operators and their compositions. Seeing musical phrases as operators allows us to perform computations on phrases and admits applications in generative music. Indeed, given a set of initial multi-patterns, we propose various algorithms to randomly generate a new and longer phrase emulating the style suggested by the inputted multi-patterns. The designed algorithms use types of grammars working with operads and colored operads, known as bud generating systems.