Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Cyclotomic expansions for $\mathfrak{gl}_N$ knot invariants via interpolation Macdonald polynomials
Published
• View Publication
• BIB
In this paper we construct a new basis for the cyclotomic completion of the center of the quantum $\mathfrak{gl}_N$ in terms of the interpolation Macdonald polynomials. Then we use a result of Okounkov to provide a dual basis with respect to the quantum Killing form (or Hopf pairing). The main applications are: 1) cyclotomic expansions for the $\mathfrak{gl}_N$ Reshetikhin--Turaev link invariants and the universal $\mathfrak{gl}_N$ knot invariant; 2) an explicit construction of the unified $\mathfrak{gl}_N$ invariants for integral homology 3-spheres using universal Kirby colors. These results generalize those of Habiro for $\mathfrak{sl}_2$. In addition, we give a simple proof of the fact that the universal $\mathfrak{gl}_N$ invariant of any evenly framed link and the universal $\mathfrak{sl}_N$ invariant of any $0$-framed algebraically split link are $Γ$-invariant, where $Γ=Y/2Y$ with the root lattice $Y$.
Moderate Deviations in Cycle Count
Published
• View Publication
• BIB
We prove moderate deviations bounds for the lower tail of the number of odd cycles in a $\calG(n, m)$ random graph. We show that the probability of decreasing triangle density by $t^3$, is $\exp(-Θ(n^2 t^2))$ whenever $n^{-3/4} \ll t^3 \ll 1$, while for $k \ge 5$ we give the same estimate for the probability of decreasing the $k$-cycle density by $t^k$, but for the larger range $n^{-1} \ll t^k \ll 1$. When $m \ge \frac 12 \binom n2$, we also find the leading coefficient in the exponent. This complements results of Goldschmidt et al., who showed that for $n^{-3/2} \ll t^k \ll n^{-1}$, the probability is $\exp(-Θ(n^3 t^{2k}))$. That is, deviations of order smaller than $n^{-1}$ behave like small deviations, and deviations of order larger than $n^{-3/4}$ (for triangles) or $n^{-1}$ (for $k$-cycles with $k \ge 5$) behave like large deviations. For triangles, we conjecture that a sharp change between the two regimes occurs for deviations of size $n^{-3/4}$, which we associate with a single large negative eigenvalue of the adjacency matrix becoming responsible for almost all of the cycle deficit.
Our results can be interpreted as finite size effects in phase transitions in constrained random graphs.
Tweaking the Beukers Integrals In Search of More Miraculous Irrationality Proofs A La Apery
Published
• View Publication
• BIB
There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real constant, is irrational is usually very hard, witness that there are still no proofs of the irrationality of the Euler-Mascheroni constant, the Catalan constant, or Zeta(5).
Inspired by Frits Beukers' elegant rendition of Apery's seminal proofs of the irrationality of Zeta(2) and Zeta(3), and heavily using algorithmic proof theory, we systematically searched for other similar integrals, that lead to irrationality proofs. We found quite a few candidates for such proofs, including the square-root of Pi times Gamma(7/3)/Gamma(-1/6) and Gamma(19/6)/Gamma(8/3) divided by the square-root of Pi.
Partitions of an Integer into Powers
Published in DMTCS, Proceedings of Discrete Models: Combinatorics, Computation, and Geometry (DM-CCG), 2001
• Search Publication
In this paper, we use a simple discrete dynamical model to study partitions of integers into powers of another integer. We extend and generalize some known results about their enumeration and counting, and we give new structural results. In particular, we show that the set of these partitions can be ordered in a natural way which gives the distributive lattice structure to this set. We also give a tree structure which allow efficient and simple enumeration of the partitions of an integer.
Proof of a Conjecture on the Wiener Index of Eulerian Graphs
Published
• View Publication
• BIB
The Wiener index of a connected graph is the sum of the distances between all unordered pairs of vertices. A connected graph is Eulerian if its vertex degrees are all even. In [Gutman, Cruz, Rada, Wiener index of Eulerian Graphs, Discrete Applied Mathematics 132 (2014), 247-250] the authors proved that the cycle is the unique graph maximising the Wiener index among all Eulerian graphs of given order. They also conjectured that for Eulerian graphs of order $n \geq 26$ the graph consisting of a cycle on $n-2$ vertices and a triangle that share a vertex is the unique Eulerian graph with second largest Wiener index. The conjecture is known to hold for all $n\leq 25$ with exception of six values. In this paper we prove the conjecture.
Generalized Tilings with Height Functions
Published in Morfismos, Vol 7, No 1, 2003
• Search Publication
In this paper, we introduce a generalization of a class of tilings which appear in the literature: the tilings over which a height function can be defined (for example, the famous tilings of polyominoes with dominoes). We show that many properties of these tilings can be seen as the consequences of properties of the generalized tilings we introduce. In particular, we show that any tiling problem which can be modelized in our generalized framework has the following properties: the tilability of a region can be constructively decided in polynomial time, the number of connected components in the undirected flip-accessibility graph can be determined, and the directed flip-accessibility graph induces a distributive lattice structure. Finally, we give a few examples of known tiling problems which can be viewed as particular cases of the new notions we introduce.
On a polynomial congruence for Eulerian polynomials
We give a short proof, using generating functions, for a polynomial congruence for Eulerian polynomials first proved, using arrangements of hyperplanes, by Yoshinaga and later proved, using roots of unity, by Iijima, Sasaki, Takahashi, and Yoshinaga.
The General Graph Matching Game: Approximate Core
Published
• View Publication
• BIB
The classic paper of Shapley and Shubik \cite{Shapley1971assignment} characterized the core of the assignment game using ideas from matching theory and LP-duality theory and their highly non-trivial interplay. Whereas the core of this game is always non-empty, that of the general graph matching game can be empty.
This paper salvages the situation by giving an imputation in the $2/3$-approximate core for the latter. This bound is best possible, since it is the integrality gap of the natural underlying LP. Our profit allocation method goes further: the multiplier on the profit of an agent is often better than ${2 \over 3}$ and lies in the interval $[{2 \over 3}, 1]$, depending on how severely constrained the agent is.
Next, we provide new insights showing how discerning core imputations of an assignment games are by studying them via the lens of complementary slackness. We present a relationship between the competitiveness of individuals and teams of agents and the amount of profit they accrue in imputations that lie in the core, where by {\em competitiveness} we mean whether an individual or a team is matched in every/some/no maximum matching. This also sheds light on the phenomenon of degeneracy in assignment games, i.e., when the maximum weight matching is not unique.
The core is a quintessential solution concept in cooperative game theory. It contains all ways of distributing the total worth of a game among agents in such a way that no sub-coalition has incentive to secede from the grand coalition. Our imputation, in the $2/3$-approximate core, implies that a sub-coalition will gain at most a $3/2$ factor by seceding, and less in typical cases.
On an uncountable family of graphs whose spectrum is a Cantor set
Published
• View Publication
• BIB
For each $p\geq 1$, the star automaton group $\mathcal{G}_{S_p}$ is an automaton group which can be defined starting from a star graph on $p+1$ vertices. We study Schreier graphs associated with the action of the group $\mathcal{G}_{S_p}$ on the regular rooted tree $T_{p+1}$ of degree $p+1$ and on its boundary $\partial T_{p+1}$. With the transitive action on the $n$-th level of $T_{p+1}$ is associated a finite Schreier graph $Γ^p_n$, whereas there exist uncountably many orbits of the action on the boundary, represented by infinite Schreier graphs which are obtained as limits of the sequence $\{Γ_n^p\}_{n\geq 1}$ in the Gromov-Hausdorff topology. We obtain an explicit description of the spectrum of the graphs $\{Γ_n^p\}_{n\geq 1}$. Then, by using amenability of $\mathcal{G}_{S_p}$, we prove that the spectrum of each infinite Schreier graph is the union of a Cantor set of zero Lebesgue measure, which is the Julia set of the quadratic map $f_p(z) = z^2-2(p-1)z -2p$, and a countable collection of isolated points supporting the KNS spectral measure. We also give a complete classification of the infinite Schreier graphs up to isomorphism of unrooted graphs, showing that they may have $1$, $2$ or $2p$ ends, and that the case of $1$ end is generic with respect to the uniform measure on $\partial T_{p+1}$.
Can smooth graphons in several dimensions be represented by smooth graphons on $[0,1]$?
Published
• View Publication
• BIB
A graphon that is defined on $[0,1]^d$ and is Hölder$(α)$ continuous for some $d\ge2$ and $α\in(0,1]$ can be represented by a graphon on $[0,1]$ that is Hölder$(α/d)$ continuous. We give examples that show that this reduction in smoothness to $α/d$ is the best possible, for any $d$ and $α$; for $α=1$, the example is a dot product graphon and shows that the reduction is the best possible even for graphons that are polynomials.
A motivation for studying the smoothness of graphon functions is that this represents a key assumption in non-parametric statistical network analysis. Our examples show that making a smoothness assumption in a particular dimension is not equivalent to making it in any other latent dimension.
Game values of arithmetic functions
Published
• View Publication
• BIB
Arithmetic functions in Number Theory meet the Sprague-Grundy function from Combinatorial Game Theory. We study a variety of 2-player games induced by standard arithmetic functions, such as Euclidian division, divisors, remainders and relatively prime numbers, and their negations.
Anticoncentration versus the number of subset sums
Published
• View Publication
• BIB
Let $\vec{w} = (w_1,\dots, w_n) \in \mathbb{R}^{n}$. We show that for any $n^{-2}\leε\le 1$, if \[\#\{\vecξ \in \{0,1\}^{n}: \langle \vecξ, \vec{w} \rangle = τ\} \ge 2^{-εn}\cdot 2^{n}\] for some $τ\in \mathbb{R}$, then \[\#\{\langle \vecξ, \vec{w} \rangle : \vecξ \in \{0,1\}^{n}\} \le 2^{O(\sqrtεn)}.\] This exponentially improves the $ε$ dependence in a recent result of Nederlof, Pawlewicz, Swennenhuis, and Węgrzycki and leads to a similar improvement in the parameterized (by the number of bins) runtime of bin packing.
Palindromic and Colored Superdiagonal Compositions
Published
• View Publication
• BIB
A superdiagonal composition is one in which the $i$-th part or summand is of size greater than or equal to $i$. In this paper, we study the number of palindromic superdiagonal compositions and colored superdiagonal compositions. In particular, we give generating functions and explicit combinatorial formulas involving binomial coefficients and Stirling numbers of the first kind.
A nonabelian Brunn-Minkowski inequality
Published
• View Publication
• BIB
Henstock and Macbeath asked in 1953 whether the Brunn-Minkowski inequality can be generalized to nonabelian locally compact groups; questions along the same line were also asked by Hrushovski, McCrudden, and Tao. We obtain here such an inequality and prove that it is sharp for helix-free locally compact groups, which includes real linear algebraic groups, Nash groups, semisimple Lie groups with finite center, solvable Lie groups, etc. The proof follows an induction on dimension strategy; new ingredients include an understanding of the role played by maximal compact subgroups of Lie groups, a necessary modified form of the inequality which is also applicable to nonunimodular locally compact groups, and a proportionated averaging trick.
Colouring Graphs of Bounded Diameter in the Absence of Small Cycles
Published
• View Publication
• BIB
For $k\geq 1$, a $k$-colouring $c$ of $G$ is a mapping from $V(G)$ to $\{1,2,\ldots,k\}$ such that $c(u)\neq c(v)$ for any two non-adjacent vertices $u$ and $v$. The $k$-Colouring problem is to decide if a graph $G$ has a $k$-colouring. For a family of graphs ${\cal H}$, a graph $G$ is ${\cal H}$-free if $G$ does not contain any graph from ${\cal H}$ as an induced subgraph. Let $C_s$ be the $s$-vertex cycle. In previous work (MFCS 2019) we examined the effect of bounding the diameter on the complexity of $3$-Colouring for $(C_3,\ldots,C_s)$-free graphs and $H$-free graphs where $H$ is some polyad. Here, we prove for certain small values of $s$ that $3$-Colouring is polynomial-time solvable for $C_s$-free graphs of diameter $2$ and $(C_4,C_s)$-free graphs of diameter $2$. In fact, our results hold for the more general problem List $3$-Colouring. We complement these results with some hardness result for diameter $4$.
Bi-traceable graphs, the intersection of three longest paths and Hippchen's conjecture
Let $P,Q$ be longest paths in a simple graph. We analyze the possible connections between the components of $P\cup Q\setminus (V(P)\cap V(Q))$ and introduce the notion of a bi-traceable graph. We use the results for all the possible configurations of the intersection points when $\#V(P)\cap V(Q)\le 5$ in order to prove that if the intersection of three longest paths $P,Q,R$ is empty, then $\#(V(P)\cap V(Q))\ge 6$. We also prove Hippchen's conjecture for $k\le 6$: If a graph $G$ is $k$-connected for $k\le 6$, and $P$ and $Q$ are longest paths in $G$, then $\#(V(P)\cap V(Q))\ge 6$.
The Ghost-Box-Ball System: A Unified Perspective on Soliton Cellular Automata, the RSK Algorithm and Phase Shifts
Published
• View Publication
• BIB
In this paper, we introduce the ghost-box-ball system, which is an extended version of the classical soliton cellular automaton. It is initially motivated as a mechanism for making precise a connection between the Schensted insertion (of the Robinson-Schensted-Knuth correspondence) and the dynamical process of the box-ball system. In addition to this motivation, we explore generalisations of classical notions of the box-ball system, including the solitonic phenomenon, the asymptotic sorting property, and the invariant shape construction. We analyse the ghost-box-ball system beyond its initial relevance to the Robinson-Schensted-Knuth correspondence, unpacking its relationship to its underlying dynamical evolution on a coordinatisation and using a mechanism for augmenting a regular box-ball configuration to study the classical ultradiscrete phase shift phenomenon.
Classifying Nearly Complete Intersection Ideals Generated in Degree Two
Nearly complete intersection ideals were introduced by A. Boocher and J. Seiner (2018) and defines a special class of monomial ideals in a polynomial ring. These ideals were used to give a lower bound of the total sum of betti numbers that appear a minimal free resolution of a monomial ideal. In this note we give a graph theoretic classification of nearly complete intersection ideals generated in degree two. In doing so, we define a novel graph operation (the inversion) that is motivated by the definition of this new class of ideals.
Classification of $K$-type formulas for the Heisenberg ultrahyperbolic operator $\square_s$ for $\widetilde{SL}(3,\mathbb{R})$ and tridiagonal determinants for local Heun functions
Published
• View Publication
• BIB
The $K$-type formulas of the space of $K$-finite solutions to the Heisenberg ultrahyperbolic equation $\square_sf=0$ for the non-linear group $\widetilde{SL}(3,\mathbb{R})$ are classified. This completes a previous study of Kable for the linear group $SL(m,\mathbb{R})$ in the case of $m=3$, as well as generalizes our earlier results on a certain second order differential operator. As a by-product we also show several properties of certain sequences $\{P_j(x;y)\}_{j=0}^\infty$ and $\{Q_j(x;y)\}_{j=0}^\infty$ of tridiagonal determinants, whose generating functions are given by local Heun functions. In particular, it is shown that these sequences satisfy a certain arithmetic-combinatorial property, which we refer to as a palindromic property. We further show that classical sequences of Cayley continuants $\{\mathrm{Cay}_j(x;y)\}_{j=0}^\infty$ and Krawtchouk polynomials $\{\mathcal{K}_j(x;y)\}_{j=0}^\infty$ also admit this property. In the end a new proof of Sylvester's formula for certain tridiagonal determinant $\mathrm{Sylv}(x;n)$ is provided from a representation theory point of view.
Graph complements of circular graphs
Graph complements G(n) of cyclic graphs are circulant, vertex-transitive, claw-free, strongly regular, Hamiltonian graphs with a Z(n) symmetry, Shannon capacity 2 and known Wiener and Harary index. There is an explicit spectral zeta function and tree or forest data. The forest-tree ratio converges to e. The graphs G(n) are Cayley graphs and so Platonic with isomorphic unit spheres G(n-3)^+, complements of path graphs. G(3d+3) are homotop to wedge sums of two d-spheres and G(3d+2),G(3d+4) are homotop to d-spheres, G(3d+1)^+ are contractible, G(3d+2)^+,G(3d+3)^+ are d-spheres. Since disjoint unions are dual to Zykov joins, graph complements of 1-dimensional discrete manifolds G are homotop to a point, a sphere or a wedge sums of spheres. If the length of every connected component of a 1-manifold is not divisible by 3, the graph complement of G is a sphere. In general, the graph complement of a forest is either contractible or a sphere. All induced strict subgraphs of G(n) are either contractible or homotop to spheres. The f-vectors G(n) or G(n)^+ satisfy a hyper Pascal triangle relation, the total number of simplices are hyper Fibonacci numbers. The simplex generating functions are Jacobsthal polynomials, generating functions of k-king configurations on a circular chess board. While the Euler curvature of circle complements G(n) is constant by symmetry, the discrete Gauss-Bonnet curvature of path complements G(n)^+ can be expressed explicitly from the generating functions. There is now a non-trivial 6 periodic Gauss-Bonnet curvature universality in the complement of Barycentric limits. The Brouwer-Lefschetz fixed point theorem produces a 12-periodicity of the Lefschetz numbers of all graph automorphisms of G(n). There is also a 12-periodicity of Wu characteristic. This is a 4 periodicity in dimension.These are manifestations of stable homotopy features, but combinatorial.