natural ↗ reference
4897 papers tagged with this keyword
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
• View Publication
• BIB
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.
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 the combinatorial value of Hex positions
Published in Integers 22:3G, 2022
• Search Publication
We develop a theory of combinatorial games that is appropriate for describing positions in Hex and other monotone set coloring games. We consider two natural conditions on such games: a game is monotone if all moves available to both players are good, and passable if in each position, at least one player has at least one good move available. The latter condition is equivalent to saying that if passing were permitted, no player would benefit from passing. Clearly every monotone game is passable, and we prove that the converse holds up to equivalence of games. We give some examples of how this theory can be applied to the analysis of Hex positions.
The Minor Order of Homomorphisms via Natural Dualities
Published
• View Publication
• BIB
We study the minor relation for algebra homomorphims in finitely generated quasivarieties that admit a logarithmic natural duality. We characterize the minor homomorphism posets of finite algebras in terms of disjoint unions of dual partition lattices and investigate reconstruction problems for homomorphisms.
Pandemic Spread in Communities via Random Graphs
Published
• View Publication
• BIB
Working in the multi-type Galton-Watson branching-process framework we analyse the spread of a pandemic via a general multi-type random contact graph. Our model consists of several communities, and takes, as input, parameters that outline the contacts between individuals in distinct communities. Given these parameters, we determine whether there will be an outbreak and if yes, we calculate the size of the giant connected component of the graph, thereby, determining the fraction of the population of each type that would be infected before it ends. We show that the pandemic spread has a natural evolution direction given by the Perron-Frobenius eigenvector of a matrix whose entries encode the average number of individuals of one type expected to be infected by an individual of another type. The corresponding eigenvalue is the basic reproduction number of the pandemic. We perform numerical simulations that compare homogeneous and heterogeneous spread graphs and quantify the difference between them. We elaborate on the difference between herd immunity and the end of the pandemic and the effect of countermeasures on the fraction of infected population.
Improvements on induced subgraphs of given sizes
Published
• View Publication
• BIB
Given integers $m$ and $f$, let $S_n(m,f)$ consist of all integers $e$ such that every $n$-vertex graph with $e$ edges contains an $m$-vertex induced subgraph with $f$ edges, and let $σ(m,f)=\limsup_{n\rightarrow\infty} |S_n(m,f)|/\binom{n}{2}$. As a natural extension of an extremal problem of Erdős, this was investigated by Erdős, Füredi, Rothschild and Sós twenty years ago. Their main result indicates that integers in $S_n(m,f)$ are rare for most pairs $(m,f)$, though they also found infinitely many pairs $(m,f)$ whose $σ(m,f)$ is a fixed positive constant. Here we aim to provide some improvements on this study. Our first result shows that $σ(m,f)\leq \frac12$ holds for all but finitely many pairs $(m,f)$ and the constant $\frac12$ cannot be improved. This answers a question of Erdős et. al. Our second result considers infinitely many pairs $(m,f)$ of special forms, whose exact values of $σ(m,f)$ were conjectured by Erdős et. al. We partially solve this conjecture (only leaving two open cases) by making progress on some constructions which are related to number theory. Our proofs are based on the research of Erdős et. al and involve different arguments in number theory. We also discuss some related problems.
The Discrepancy of Random Rectangular Matrices
Published
• View Publication
• BIB
A recent approach to the Beck-Fiala conjecture, a fundamental problem in combinatorics, has been to understand when random integer matrices have constant discrepancy. We give a complete answer to this question for two natural models: matrices with Bernoulli or Poisson entries. For Poisson matrices, we further characterize the discrepancy for any rectangular aspect ratio. These results give sharp answers to questions of Hoberg and Rothvoss (SODA 2019) and Franks and Saks (Random Structures Algorithms 2020). Our main tool is a conditional second moment method combined with Stein's method of exchangeable pairs. While previous approaches are limited to dense matrices, our techniques allow us to work with matrices of all densities. This may be of independent interest for other sparse random constraint satisfaction problems.
Theorems and Conjectures on Some Rational Generating Functions
Published
• View Publication
• BIB
Let $I_n(x)=\prod_{i=1}^n \left( 1+x^{F_{i+1}}\right)$, where $F_{i+1}$ denotes a Fibonacci number. Let $v_r(n)$ denote the sum of the $r$th powers of the coefficients of $I_n(x)$. Our prototypical result is that $\sum_{n\geq 0} v_2(n)x^n= (1-2x^2)/(1-2x-2x^2+2x^3)$. We give many related results and conjectures. A certain infinite poset $\mathfrak{F}$ is naturally associated with $I_n(x)$. We discuss some combinatorial properties of $\mathfrak{F}$ and a natural generalization, including a symmetric function that encodes the flag $h$-vector of $\mathfrak{F}$.
Partisan Combinatorial Game of Edge and Vertex Removal on Graphs
We consider three variants of a partisan combinatorial game between two players, Left and Right, played on an undirected simple graph. Left is able to delete vertices (and incident edges) while Right is able to delete edges. This natural extension of a similar impartial game gives a clear advantage to one player by allowing them the ability to play on a small subgraph which the other player can not. Our last variant removes this advantage by assuming a move is valid for one player if and only if the other player has a valid move on the same graph. In this case, we show that the ability to remove a vertex is more advantageous compared to removing edges.
The Minimality of the Georges-Kelmans Graph
Published
• View Publication
• BIB
In 1971, Tutte wrote in an article that "it is tempting to conjecture that every 3-connected bipartite cubic graph is hamiltonian". Motivated by this remark, Horton constructed a counterexample on 96 vertices. In a sequence of articles by different authors several smaller counterexamples were presented. The smallest of these graphs is a graph on 50 vertices which was discovered independently by Georges and Kelmans. In this article we show that there is no smaller counterexample. As all non-hamiltonian 3-connected bipartite cubic graphs in the literature have cyclic 4-cuts -- even if they have girth 6 -- it is natural to ask whether this is a necessary prerequisite. In this article we answer this question in the negative and give a construction of an infinite family of non-hamiltonian cyclically 5-connected bipartite cubic graphs.
In 1969, Barnette gave a weaker version of the conjecture stating that 3-connected planar bipartite cubic graphs are hamiltonian. We show that Barnette's conjecture is true up to at least 90 vertices. We also report that a search of small non-hamiltonian 3-connected bipartite cubic graphs did not find any with genus less than 4.
Rank of Near Uniform Matrices
Published
• View Publication
• BIB
A central question in random matrix theory is universality. When an emergent phenomena is observed from a large collection of chosen random variables it is natural to ask if this behavior is specific to the chosen random variable or if the behavior occurs for a larger class of random variables.
The rank statistics of random matrices chosen uniformly from $\operatorname{Mat}(\mathbf{F}_q)$ over a finite field are well understood. The universality properties of these statistics are not yet fully understood however. Recently Wood [39] and Maples [26] considered a natural requirement where the random variables are not allowed to be too close to constant and they showed that the rank statistics match with the uniform model up to an error of type $e^{-cn}$. In this paper we explore a condition called near uniform, under which we are able to prove tighter bounds $q^{-cn}$ on the asymptotic convergence of the rank statistics.
Our method is completely elementary, and allows for a small number of the entries to be deterministic, and for the entries to not be identically distributed so long as they are independent. More importantly, the method also extends to near uniform symmetric, alternating matrices.
Our method also applies to two models of perturbations of random matrices sampled uniformly over $\operatorname{GL}_n(\mathbf{F}_q)$: subtracting the identity or taking a minor of a uniformly sampled invertible matrix.
$r$-fat linearized polynomials over finite fields
Published
• View Publication
• BIB
In this paper we prove that the property of being scattered for a $\mathbb{F}_q$-linearized polynomial of small $q$-degree over a finite field $\mathbb{F}_{q^n}$ is unstable, in the sense that, whenever the corresponding linear set has at least one point of weight larger than one, the polynomial is far from being scattered. To this aim, we define and investigate $r$-fat polynomials, a natural generalization of scattered polynomials. An $r$-fat $\mathbb{F}_q$-linearized polynomial defines a linear set of rank $n$ in the projective line of order $q^n$ with $r$ points of weight larger than one. When $r$ equals $1$, the corresponding linear sets are called clubs, and they are related with a number of remarkable mathematical objects like KM-arcs, group divisible designs and rank metric codes. Using techniques on algebraic curves and global function fields, we obtain numerical bounds for $r$ and the non-existence of exceptional $r$-fat polynomials with $r>0$. In the case $n\leq 4$, we completely determine the spectrum of values of $r$ for which an $r$-fat polynomial exists. In the case $n=5$, we provide a new family of $1$-fat polynomials. Furthermore, we determine the values of $r$ for which the so-called LP-polynomials are $r$-fat.
Topological recursion for Kadomtsev-Petviashvili tau functions of hypergeometric type
Published in Journal of the London Mathematical Society, Volume 109, Issue 6 (2024), e12946
• View Publication
• BIB
We study the $n$-point differentials corresponding to Kadomtsev-Petviashvili tau functions of hypergeometric type (also known as Orlov-Scherbin partition functions), with an emphasis on their $\hbar^2$-deformations and expansions. Under the naturally required analytic assumptions, we prove certain higher loop equations that, in particular, contain the standard linear and quadratic loop equations, and thus imply the blobbed topological recursion. We also distinguish two large families of the Orlov-Scherbin partition functions that do satisfy the natural analytic assumptions, and for these families we prove in addition the so-called projection property and thus the full statement of the Chekhov-Eynard-Orantin topological recursion. A particular feature of our argument is that it clarifies completely the role of $\hbar^2$-deformations of the Orlov-Scherbin parameters for the partition functions, whose necessity was known from a variety of earlier obtained results in this direction but never properly understood in the context of topological recursion. As special cases of the results of this paper one recovers new and uniform proofs of the topological recursion to all previously studied cases of enumerative problems related to weighted double Hurwitz numbers. By virtue of topological recursion and the Grothendieck-Riemann-Roch formula this, in turn, gives new and uniform proofs of almost all ELSV-type formulas discussed in the literature.
Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces II: naturality
In a companion paper (arXiv 2011.01768), we constructed nonnegative integer coordinates $Φ_\mathscr{T}(\mathscr{W}_{3, \hat{S}}) \subset \mathbb{Z}_{\geq 0}^N$ for the collection $\mathscr{W}_{3, \hat{S}}$ of reduced $\mathrm{SL}_3$-webs on a finite-type punctured surface $\hat{S}$, depending on an ideal triangulation $\mathscr{T}$ of $\hat{S}$. We show that these coordinates are natural with respect to the choice of triangulation, in the sense that if a different triangulation $\mathscr{T}^\prime$ is chosen, then the coordinate change map relating $Φ_\mathscr{T}(\mathscr{W}_{3, \hat{S}})$ to $Φ_{\mathscr{T}^\prime}(\mathscr{W}_{3, \hat{S}})$ is a tropical $\mathcal{A}$-coordinate cluster transformation. We can therefore view the webs $\mathscr{W}_{3, \hat{S}}$ as a concrete topological model for the Fock-Goncharov-Shen positive integer tropical points $\mathcal{A}_{\mathrm{PGL}_3, \hat{S}}^+(\mathbb{Z}^t)$.
On Valency Problems of Saxl Graphs
Published
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$ and recall that a base for $G$ is a subset of $Ω$ such that its pointwise stabiliser is trivial. In a recent paper, Burness and Giudici introduced the Saxl graph of $G$, denoted $Σ(G)$, with vertex set $Ω$ and two vertices adjacent if they form a base. If $G$ is transitive, then $Σ(G)$ is vertex-transitive and it is natural to consider its valency (which we refer to as the valency of $G$). In this paper we present a general method for computing the valency of any finite transitive group and we use it to calculate the exact valency of every primitive group with stabiliser a Frobenius group with cyclic kernel. As an application, we calculate the valency of every almost simple primitive group with an alternating socle and soluble stabiliser and we use this to extend results of Burness and Giudici on almost simple primitive groups with prime-power or odd valency.
Kasteleyn theorem, geometric signatures and KP-II divisors on planar bipartite networks in the disk
Published
• View Publication
• BIB
Maximal minors of Kasteleyn sign matrices on planar bipartite graphs in the disk count dimer configurations with prescribed boundary conditions, and the weighted version of such matrices provides a natural parametrization of the totally non--negative part of real Grassmannians (see Refs. [54,43,44,58,7]). In this paper we provide a geometric interpretation of such variant of Kasteleyn theorem: a signature is Kasteleyn if and only if it is geometric in the sense of Ref. [5]. We apply this geometric characterization to explicitly solve the associated system of relations and provide a new proof that the parametrization of positroid cells induced by Kasteleyn weighted matrices coincides with that of Postnikov boundary measurement map. Finally we use Kasteleyn system of relations to associate algebraic geometric data to KP multi-soliton solutions. Indeed the KP wave function solves such system of relations at the nodes of the spectral curve if the dual graph of the latter represents the soliton data. Therefore the construction of the divisor is automatically invariant, and finally it coincides with that in Refs. [4,6] for the present class of graphs.
The combinatorial equivalence of a computability theoretic question
We show that a question of Miller and Solomon -- that whether there exists a coloring $c:d^{<ω}\rightarrow k$ that does not admit a $c$-computable variable word infinite solution, is equivalent to a natural, nontrivial combinatorial question. The combinatorial question asked whether there is an infinite sequence of integers such that each of its initial segment satisfies a Ramsian type property. This is the first computability theoretic question known to be equivalent to a natural, nontrivial question that does not concern complexity notions. It turns out that the negation of the combinatorial question is a generalization of Hales-Jewett theorem. We solve some special cases of the combinatorial question and obtain a generalization of Hales-Jewett theorem on some particular parameters.
Cubes and cubical chains and cochains in combinatorial topology
The present paper is a continuation of author's paper arXiv:1909.00940 [math.AT] devoted to the lemmas of Alexander and Sperner, but is independent from it. We begin by a step back from Alexander and Sperner to Lebesgue work on the invariance of the dimension. In contrast with almost everybody else, Lebesgue worked with cubes rather than with simplices. His methods were developed by Hurewicz and Lusternik-Schnirelmann and then forgotten. In the present paper these methods are recast in the language of cubical chains and cochains.
After this, we present a new approach to Lebesgue and Lusternik-Schnirelmann theorems which is both conceptual and elementary. It is based on adaptation of Serre's definition of products of singular cubical cochains to discrete setting. The main results are new purely combinatorial "cubical lemmas". This approach also clarifies the cubical versions of Sperner lemma of Kuhn and Ky Fan. In particular, Ky Fan's lemma can be understood as a natural strengthening of Lebesgue or Kuhn's results under a transversality assumption.
The exposition does not assume any knowledge of algebraic topology.
Mixed graphs with smallest eigenvalue greater than $-\frac{\sqrt{5}+1}{2}$
The classical problem of characterizing the graphs with bounded eigenvalues may date back to the work of Smith in 1970. Especially, the research on graphs with smallest eigenvalues not less than $-2$ has attracted widespread attention. Mixed graphs are natural generalization of undirected graphs. In this paper, we completely characterize the mixed graphs with smallest Hermitian eigenvalue greater than $-\frac{\sqrt{5}+1}{2}$, which consists of three infinite classes of mixed graphs and $30$ scattered mixed graphs. By the way, we get a new class of mixed graphs switching equivalent to their underlying graphs.