Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Canonical Bases for Permutohedral Plates
We study three finite-dimensional quotient vector spaces constructed from the linear span of the set of characteristic functions of permutohedral cones by imposing two kinds of constraints: (1) neglect characteristic functions of higher codimension permutohedral cones, and (2) neglect characteristic functions of non-pointed permutohedral cones. We construct an ordered basis which is canonical, in the sense that it has subsets which map onto ordered bases for the quotients. We present straightening relations to the canonical basis, and using Laplace transforms we obtain functional representations for each quotient space.
Homology of Finite Topological Spaces
A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous injective maps between spaces called immersions. The so-called orb complex which is much smaller than the order complex induces a surjective map of its homology to the simplicial homology of the space. An analysis of the kernel of this map allows to define an effective algorithm for computing the homology groups, whose time complexity is polynomial in the size of the space.
The Binomial Spin Glass
Published in Phys. Rev. Lett. 121, 080601 (2018)
• View Publication
• BIB
To establish a unified framework for studying both discrete and continuous coupling distributions, we introduce the {\it binomial} spin glass, a class of models where the couplings are sums of $m$ identically distributed Bernoulli random variables. In the continuum limit $m \to \infty$, the class reduces to one with Gaussian couplings, while $m=1$ corresponds to the $\pm J$ spin glass. We demonstrate that for short-range Ising models on $d$-dimensional hypercubic lattices the ground-state entropy density for $N$ spins is bounded from above by $(\sqrt{d/2m} + 1/N)\ln2$, and further show that the actual entropies follow the scaling behavior implied by this bound. We thus uncover a fundamental non-commutativity of the thermodynamic and continuous coupling limits that leads to the presence or absence of degeneracies depending on the precise way the limits are taken. Exact calculations of defect energies reveal a crossover length scale $L^\ast(m) \sim L^κ$ below which the binomial spin glass is indistinguishable from the Gaussian system. Since $κ= -1/(2θ)$, where $θ$ is the spin-stiffness exponent, discrete couplings become irrelevant at large scales for systems with a finite-temperature spin-glass phase.
Combinatorial structure of colored HOMFLY-PT polynomials for torus knots
Published in Commun. Number Theory Phys. 13 (2019), no. 4, 763-826
• View Publication
• BIB
We rewrite the (extended) Ooguri-Vafa partition function for colored HOMFLY-PT polynomials for torus knots in terms of the free-fermion (semi-infinite wedge) formalism, making it very similar to the generating function for double Hurwitz numbers. This allows us to conjecture the combinatorial meaning of full expansion of the correlation differentials obtained via the topological recursion on the Brini-Eynard-Mariño spectral curve for the colored HOMFLY-PT polynomials of torus knots.
This correspondence suggests a structural combinatorial result for the extended Ooguri-Vafa partition function. Namely, its coefficients should have a quasi-polynomial behavior, where non-polynomial factors are given by the Jacobi polynomials. We prove this quasi-polynomiality in a purely combinatorial way. In addition to that, we show that the (0,1)- and (0,2)-functions on the corresponding spectral curve are in agreement with the extension of the colored HOMFLY-PT polynomials data.
A counterexample to Strassen's direct sum conjecture
Published
• View Publication
• BIB
The rank of tensors is not additive with respect to the direct sum.
Enumeration of words that contain the pattern 123 exactly once
Published
• View Publication
• BIB
Enumeration problems related to words avoiding patterns as well as permutations that contain the pattern $123$ exactly once have been studied in great detail. However, the problem of enumerating words that contain the pattern $123$ exactly once is new and will be the focus of this paper. Previously, Doron Zeilberger provided a shortened version of Alexander Burstein's combinatorial proof of John Noonan's theorem that the number of permutations with exactly one $321$ pattern is equal to $\frac{3}{n} \binom{2n}{n+3}$. Surprisingly, a similar method can be directly adapted to words. We are able to use this method to find a formula enumerating the words with exactly one $123$ pattern. Further inspired by Nathaniel Shar and Zeilberger's paper on generating functions enumerating 123-avoiding words with $r$ occurrences of each letter, we examine the algebraic equations for generating functions for words with $r$ occurrences of each letter and with exactly one $123$ pattern.
Modular periodicity of the Euler numbers and a sequence by Arnold
Published in Arnold Math. J., 3(4), 519-524, 2017
• View Publication
• BIB
For any positive integer $q$, the sequence of the Euler up/down numbers reduced modulo $q$ was proved to be ultimately periodic by Knuth and Buckholtz. Based on computer simulations, we state for each value of $q$ precise conjectures for the minimal period and for the position at which the sequence starts being periodic. When $q$ is a power of $2$, a sequence defined by Arnold appears, and we formulate a conjecture for a simple computation of this sequence.
Maximizing the density of $K_t$'s in graphs of bounded degree and clique number
Published in Discrete Mathematics, Volume 343, Issue 6, June 2020, 111803
• View Publication
• BIB
Zykov showed in 1949 that among graphs on $n$ vertices with clique number $ω(G) \le ω$, the Turán graph $T_ω(n)$ maximizes not only the number of edges but also the number of copies of $K_t$ for each size $t$. The problem of maximizing the number of copies of $K_t$ has also been studied within other classes of graphs, such as those on $n$ vertices with maximum degree $Δ(G) \le Δ$.
We combine these restrictions and investigate which graphs with $Δ(G) \le Δ$ and $ω(G) \le ω$ maximize the number of copies of $K_t$ per vertex. We define $f_t(Δ,ω)$ as the supremum of $ρ_t$, the number of copies of $K_t$ per vertex, among such graphs, and show for fixed $t$ and $ω$ that $f_t(Δ,ω) = (1+o(1))ρ_t(T_ω(Δ+\lfloor\fracΔ{ω-1}\rfloor))$. For two infinite families of pairs $(Δ,ω)$, we determine $f_t(Δ,ω)$ exactly for all $t\ge 3$. For another we determine $f_t(Δ,ω)$ exactly for the two largest possible clique sizes. Finally, we demonstrate that not every pair $(Δ,ω)$ has an extremal graph that simultaneously maximizes the number of copies of $K_t$ per vertex for every size $t$.
Local optima of the Sherrington-Kirkpatrick Hamiltonian
Published
• View Publication
• BIB
We study local optima of the Hamiltonian of the Sherrington-Kirkpatrick model. We compute the exponent of the expected number of local optima and determine the "typical" value of the Hamiltonian.
Cyclic Sieving of Matchings
The cyclic sieving phenomenon (CSP) was introduced by Reiner, Stanton, and White to study combinatorial structures with actions of cyclic groups. The crucial step is to find a polynomial, for example a q-analog, that satisfies the CSP conditions for an action. This polynomial will give us a lot of information about the symmetry and structure of the set under the action. In this paper, we study the cyclic sieving phenomenon of the cyclic group $C_{2n}$ acting on $P_{n,k}$, which is the set of matchings of $2n$ points on a circle with $k$ crossings. The noncrossing matchings ($k=0$) was recently studied as a Catalan object. In this paper, we study more general cases, the matchings with more number of crossings. We prove that there exists $q$-analog polynomials $f_{n,k}(q)$ such that $(P_{n,k},f_{n,k},C_{2n})$ exhibits the cyclic sieving phenomenon for $k=1,2,3$. In the proof, we also introduce an efficient representation of the elements in $P_{n,k}$, which helps us to understand the symmetrical structure of the set.
Tilings of hyperbolic $(2\times n)$-board with colored squares and dominoes
Published in Ars Mathematica Contemporanea, 15(2), (2018) 337-346
• View Publication
• BIB
Several articles deal with tilings with squares and dominoes of the well-known regular square mosaic in Euclidean plane, but not any with the hyperbolic regular square mosaics. In this article, we examine the tiling problem with colored squares and dominoes of one type of the possible hyperbolic generalization of $(2\times n)$-board.
Bisymmetric and quasitrivial operations: characterizations and enumerations
Published
• View Publication
• BIB
We investigate the class of bisymmetric and quasitrivial binary operations on a given set $X$ and provide various characterizations of this class as well as the subclass of bisymmetric, quasitrivial, and order-preserving binary operations. We also determine explicitly the sizes of these classes when the set $X$ is finite.
PHOEG Helps Obtaining Extremal Graphs
Published
• View Publication
• BIB
Extremal Graph Theory aims to determine bounds for graph invariants as well as the graphs attaining those bounds.
We are currently developping PHOEG, an ecosystem of tools designed to help researchers in Extremal Graph Theory.
It uses a big relational database of undirected graphs and works with the convex hull of the graphs as points in the invariants space in order to exactly obtain the extremal graphs and optimal bounds on the invariants for some fixed parameters. The results obtained on the restricted finite class of graphs can later be used to infer conjectures. This database also allows us to make queries on those graphs. Once the conjecture defined, PHOEG goes one step further by helping in the process of designing a proof guided by successive applications of transformations from any graph to an extremal graph. To this aim, we use a second database based on a graph data model.
The paper presents ideas and techniques used in PHOEG to assist the study of Extremal Graph Theory.
Right Circulant Matrices with Generalized Fibonacci and\ Lucas Polynomials and Coding Theory
In this paper, we give two new coding algorithms by means of right circulant matrices with elements generalized Fibonacci and Lucas polynomials. For this purpose, we study basic properties of right circulant matrices using generalized Fibonacci polynomials $F_{p,q,n}\left( x\right) $, generalized Lucas polynomials $L_{p,q,n}\left( x\right) $ and geometric sequences.
Smallest snarks with oddness 4 and cyclic connectivity 4 have order 44
Published
• View Publication
• BIB
The family of snarks -- connected bridgeless cubic graphs that cannot be 3-edge-coloured -- is well-known as a potential source of counterexamples to several important and long-standing conjectures in graph theory. These include the cycle double cover conjecture, Tutte's 5-flow conjecture, Fulkerson's conjecture, and several others. One way of approaching these conjectures is through the study of structural properties of snarks and construction of small examples with given properties. In this paper we deal with the problem of determining the smallest order of a nontrivial snark (that is, one which is cyclically 4-edge-connected and has girth at least 5) of oddness at least 4. Using a combination of structural analysis with extensive computations we prove that the smallest order of a snark with oddness at least 4 and cyclic connectivity 4 is 44. Formerly it was known that such a snark must have at least 38 vertices [J. Combin. Theory Ser. B 103 (2013), 468--488] and one such snark on 44 vertices was constructed by Lukot'ka et al. [Electron. J. Combin. 22 (2015), #P1.51]. The proof requires determining all cyclically 4-edge-connected snarks on 36 vertices, which extends the previously compiled list of all such snarks up to 34 vertices [J. Combin. Theory Ser. B, loc. cit.]. As a by-product, we use this new list to test the validity of several conjectures where snarks can be smallest counterexamples.
A Recursive Construction of Permutation Polynomials over $\mathbb{F}_{q^2}$ with Odd Characteristic from Rédei Functions
Published
• View Publication
• BIB
In this paper, we construct two classes of permutation polynomials over $\mathbb{F}_{q^2}$ with odd characteristic from rational Rédei functions. A complete characterization of their compositional inverses is also given. These permutation polynomials can be generated recursively. As a consequence, we can generate recursively permutation polynomials with arbitrary number of terms. More importantly, the conditions of these polynomials being permutations are very easy to characterize. For wide applications in practice, several classes of permutation binomials and trinomials are given. With the help of a computer, we find that the number of permutation polynomials of these types is very large.
A Note on Flips in Diagonal Rectangulations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Combinatorics (November 9, 2018) dmtcs:4315
• View Publication
• BIB
Rectangulations are partitions of a square into axis-aligned rectangles. A number of results provide bijections between combinatorial equivalence classes of rectangulations and families of pattern-avoiding permutations. Other results deal with local changes involving a single edge of a rectangulation, referred to as flips, edge rotations, or edge pivoting. Such operations induce a graph on equivalence classes of rectangulations, related to so-called flip graphs on triangulations and other families of geometric partitions. In this note, we consider a family of flip operations on the equivalence classes of diagonal rectangulations, and their interpretation as transpositions in the associated Baxter permutations, avoiding the vincular patterns { 3{14}2, 2{41}3 }. This complements results from Law and Reading (JCTA, 2012) and provides a complete characterization of flip operations on diagonal rectangulations, in both geometric and combinatorial terms.
Interpolation Macdonald operators at infinity
Published
• View Publication
• BIB
We study the interpolation Macdonald functions, remarkable inhomogeneous generalizations of Macdonald functions, and a sequence $A^1, A^2, \ldots$ of commuting operators that are diagonalized by them. Such a sequence of operators arises in the projective limit of finite families of commuting q-difference operators studied by Okounkov, Knop and Sahi. The main theorem is an explicit formula for the operators $A^k$. Our formula involves the family of Hall-Littlewood functions and a new family of inhomogeneous Hall-Littlewood functions, for which we give an explicit construction and identify as a degeneration of the interpolation Macdonald functions in the regime $q \rightarrow 0$. This article is inspired by the recent papers of Nazarov-Sklyanin on Macdonald and Sekiguchi-Debiard operators, and our main theorem is an extension of their results.
Interpolation Macdonald polynomials and Cauchy-type identities
Published in Journal of Combinatorial Theory, Series A 162 (2019), 65-117
• View Publication
• BIB
Let Sym denote the algebra of symmetric functions and $P_μ(\,\cdot\,;q,t)$ and $Q_μ(\,\cdot\,;q,t)$ be the Macdonald symmetric functions (recall that they differ by scalar factors only). The $(q,t)$-Cauchy identity $$ \sum_μP_μ(x_1,x_2,\dots;q,t)Q_μ(y_1,y_2,\dots;q,t)=\prod_{i,j=1}^\infty\frac{(x_iy_jt;q)_\infty}{(x_iy_j;q)_\infty} $$ expresses the fact that the $P_μ(\,\cdot\,;q,t)$'s form an orthogonal basis in Sym with respect to a special scalar product $\langle\,\cdot\,,\,\cdot\,\rangle_{q,t}$. The present paper deals with the inhomogeneous \emph{interpolation} Macdonald symmetric functions $$ I_μ(x_1,x_2,\dots;q,t)=P_μ(x_1,x_2,\dots;q,t)+\text{lower degree terms}. $$ These functions come from the $N$-variate interpolation Macdonald polynomials, extensively studied in the 90's by Knop, Okounkov, and Sahi. The goal of the paper is to construct symmetric functions $J_μ(\,\cdot\,;q,t)$ with the biorthogonality property $$ \langle I_μ(\,\cdot\,;q,t), J_ν(\,\cdot\,;q,t)\rangle_{q,t}=δ_{μν}. $$ These new functions live in a natural completion of the algebra Sym. As a corollary one obtains a new Cauchy-type identity in which the interpolation Macdonald polynomials are paired with certain multivariate rational symmetric functions. The degeneration of this identity in the Jack limit is also described.
Lozenge tilings of doubly-intruded hexagons
Published
• View Publication
• BIB
Motivated in part by Propp's intruded Aztec diamond regions, we consider hexagonal regions out of which two horizontal chains of triangular holes (called ferns) are removed, so that the chains are at the same height, and are attached to the boundary. By contrast with the intruded Aztec diamonds (whose number of domino tilings contain some large prime factors in their factorization), the number of lozenge tilings of our doubly-intruded hexagons turns out to be given by simple product formulas in which all factors are linear in the parameters. We present in fact $q$-versions of these formulas, which enumerate the corresponding plane-partitions-like structures by their volume. We also pose some natural statistical mechanics questions suggested by our set-up, which should be possible to tackle using our formulas.