Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On likelihood of a Condorcet winner for uniformly random and independent voter preferences
We study a mathematical model of voting contest with $m$ voters and $n$ candidates, with each voter ranking the candidates in order of preference, without ties. A Condorcet winner is a candidate who gets more than $m/2$ votes in pairwise contest with every other candidate. An ``impartial culture'' setting is the case when each voter chooses his/her candidate preference list uniformly at random from all $n!$ preferences, and does it independently of all other voters. For impartial culture case, Robert May and Lisa Sauermann showed that when $m=2k-1$ is fixed ($k=2$ and $k>2$ respectively), and $n$ grows indefinitely, the probability of a Condorcet winner is small, of order $n^{-(k-1)/k}$. We show if $m, n\to\infty$ and $m\gg n^4$, then for each fixed $\ell$ the probability of a Condercet winner is at most of order $n^{-\ell} + n^2/m^{1/2}$, thus converges to zero.
Labeled Chip-Firing on Directed $k$-ary Trees and Where Chips Land
Chip-firing is a combinatorial game played on a graph, in which chips are placed and dispersed on the vertices until a stable configuration is achieved. We study a chip-firing variant on an infinite, rooted directed $k$-ary tree, where we place $k^n$ chips labeled $1,2,3,\dots, k^n$ on the root for some nonnegative integer $n$. A vertex $v$ can fire if it has at least $k$ chips; when it fires, $k$ chips are selected, and the chip with the $i$th smallest label is sent to the $i$th leftmost child of $v$. A stable configuration is reached when no vertices can fire. In this paper, we prove numerous properties of the stable configuration, such as that chips land on vertices in ranges and the lengths of those ranges. We also describe where each chip can land. This helps us describe possible stable configurations of the game.
On graph automorphisms related to Snort
We study the outcomes of various positions of the game Snort. When played on graphs admitting an automorphism of order two that maps vertices outside of their closed neighbourhoods (called opposable graphs), the second player has a winning strategy. We give a necessary and sufficient condition for a graph to be opposable, and prove that the property of being opposable is preserved by several graph products. We show examples that a graph being second-player win does not imply that the graph is opposable, which answers Kakihara's conjecture. We give an analogous definition to opposability, which gives a first-player winning strategy; we prove a necessary condition for this property to be preserved by the Cartesian and strong products. As an application of our results, we determine the outcome of Snort when played on various $n\times m$ chess graphs.
Accelerated Cops and Robbers
Published
• View Publication
• BIB
We consider a variant of Cops and Robbers in which both the cops and the robber are allowed to traverse up to $s$ edges on each of their turns, where $s \ge 2$. We give several general for this new model as well as establish bounds for the cop numbers for grids and hypercubes. We also determine the capture time of cop-win graphs when $s = 2$ up to a small additive constant.
The $k^{\text th}$ Upper Chromatic Number of the Line
Published in Discrete Mathematics, vol. 169 (1997), pp. 157-162
• View Publication
• BIB
Let $S \subseteq \mathbb{R}^n$, and let $k\in\mathbb{N}$. Greenwell and Johnson define ${\hatχ }^{(k)}(S)$ to be the smallest integer $m$ (if such an integer exists) such that for every $k\times m$ array $D=(d_{ij})$ of positive real numbers, $S$ can be colored with the colors $C_1,\ldots,C_m$ such that no two points of $S$ which are a (Euclidean) distance $d_{ij}$ apart are both colored $C_j$, for all $1\leq i \leq k$ and $1\leq j \leq m$. If no such integer exists then we say that ${\hatχ }^{(k)}(S)=\infty$. In this paper we show that ${\hatχ }^{(k)}(\mathbb{R})$ is finite for all $k$.
Asymmetric SICs over finite fields
Zauner's conjecture concerns the existence of $d^2$ equiangular lines in $\mathbb{C}^d$; such a system of lines is known as a SIC. In this paper, we construct infinitely many new SICs over finite fields. While all previously known SICs exhibit Weyl--Heisenberg symmetry, some of our new SICs exhibit trivial automorphism groups. We conjecture that such \textit{totally asymmetric} SICs exist in infinitely many dimensions in the finite field setting.
Richardson tableaux and components of Springer fibers equal to Richardson varieties
Motivated by the study of Springer fibers and their totally nonnegative counterparts, we define a new subset of standard tableaux called Richardson tableaux. We characterize Richardson tableaux combinatorially using evacuation as well as in terms of a pair of associated reading words. We also characterize Richardson tableaux geometrically, proving that a tableau is Richardson if and only if the corresponding component of a Springer fiber is a Richardson variety, which in turn holds if and only if its positive part is a top-dimensional cell of the totally nonnegative Springer fiber studied by Lusztig (2021). We prove that each such component is smooth by leveraging a combinatorial description of the corresponding pair of reading words, generalizing a result of Graham-Zierau (2011). Another application is that the cohomology classes of these components can be computed in the Schubert basis using Schubert calculus. Finally, we show that the enumeration of Richardson tableaux is surprisingly elegant: the number of Richardson tableaux of fixed partition shape is a product of binomial coefficients, and the number of Richardson tableaux of size $n$ is the $n$th Motzkin number. As a result, we obtain a novel refinement for the Motzkin numbers, as well as a formula for the number of top-dimensional cells in the totally nonnegative Springer fiber.
Entropic additive energy and entropy inequalities for sums and products
Published
• View Publication
• BIB
Following a growing number of studies that, over the past 15 years, have established entropy inequalities via ideas and tools from additive combinatorics, in this work we obtain a number of new bounds for the differential entropy of sums, products, and sum-product combinations of continuous random variables. Partly motivated by recent work by Goh on the discrete entropic version of the notion of "additive energy", we introduce the additive energy of pairs of continuous random variables and prove various versions of the statement that "the additive energy is large if and only if the entropy of the sum is small", along with a version of the Balog-Szemerédi-Gowers theorem for differential entropy. Then, motivated in part by recent work by Máthé and O'Regan, we establish a series of new differential entropy inequalities for products and sum-product combinations of continuous random variables. In particular, we prove a new, general, ring Plünnecke-Ruzsa entropy inequality. We briefly return to the case of discrete entropy and provide a characterization of discrete random variables with "large doubling", analogous to Tao's Freiman-type inverse sumset theory for the case of small doubling. Finally, we consider the natural entropic analog of the Erdös-Szemerédi sum-product phenomenon for integer-valued random variables. We show that, if it does hold, then the range of parameters for which it does would necessarily be significantly more restricted than its anticipated combinatorial counterpart.
On Nathanson's Triangular Number Phenomenon
For a finite set $A\subseteq \mathbb{Z}$, the $h$-fold sumset is $hA :=\{x_1+\dots+x_h:x_i\in A\}$. We interpret the beginning of the sequence of sumset sizes $(|hA|)_{h=1}^\infty$ in terms of the successive $L^1$-minima of a lattice (specifically, the points in $\mathbb{Z}^{|A|}$ whose coordinates sum to 0 and which are perpendicular to $\langle a_1,\dots,a_{|A|}\rangle$). In particular, if $h_1,h_2$ are the first and second minima, and $1\le h<h_1$, then $|hA|=\binom{h+|A|-1}{|A|-1}$, while if $h_1\le h <h_2$, then $|hA|=\binom{h+|A|-1}{|A|-1}-\binom{h-h_1+|A|-1}{|A|-1}$. This explains the appearance of triangular numbers in the sequence of sumset sizes, an observation related to a recent experiment of Nathanson.
Chern Classes of Toric Variety Bundles
In this paper, we resolve a conjecture of Khovanskii--Monin on the Chern classes of toric variety bundles. The main result is a formula for the total Chern class of the tangent bundle of a toric variety bundle in terms of the total Chern class of the base and the total Chern class of the toric fibre. The result serves as a simultaneous generalization of the description of the total Chern class of a projectivized vector bundle and of the formula for the total Chern class of a toric variety in terms of the Chern classes of the toric divisors. We also establish a topological version of this statement for stably complex quasitoric manifolds. As an immediate application, we obtain a formula for the total Chern class of a toroidal horospherical variety in terms of the Chern classes of the generalized flag variety and the total Chern class of the toric fibre, as well as a new proof of Masuda's formula for equivariant Chern classes. This paper is written with a view towards finding polytopal models for various numeric invariants of spherical varieties.
Finding congruences with the WZ method
Published
• View Publication
• BIB
We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k, a, b, \ldots)$ with Gosper-summable differences and selecting appropriate parameters, we derive several congruences modulo $p$ and $p^2$ for primes $p > 2$. For instance, we prove that for any prime $p > 2$, \[ \sum_{n=0}^{p-1} \frac{10n+3}{2^{3n}}\binom{3n}{n}\binom{2n}{n}^2 \equiv 0 \pmod{p},\] and \[ \sum_{n=0}^{p-1} \frac{(-1)^n(20n^2+8n+1)}{2^{12n}}\binom{2n}{n}^5 \equiv 0 \pmod{p^2}. \] These results partially confirm conjectures by Sun and provide some novel congruences.
Local Search Improvements for Soft Happy Colouring
Published
• View Publication
• BIB
For $0\leq ρ\leq 1$ and a coloured graph $G$, a vertex $v$ is $ρ$-happy if at least $ρ\mathrm{deg}(v)$ of its neighbours have the same colour as $v$. Soft happy colouring of a partially coloured graph $G$ is the problem of finding a vertex colouring $σ$ that preserves the precolouring and has the maximum number of $ρ$-happy vertices. It is already known that this problem is NP-hard and directly relates to the community structure of the graphs; under a certain condition on the proportion of happiness $ρ$ and for graphs with community structures, the induced colouring by communities can make all the vertices $ρ$-happy. We show that when $0\leq ρ_1<ρ_2\leq 1$, a complete $ρ_2$-happy colouring has a higher accuracy of community detection than a complete $ρ_1$-happy colouring. Moreover, when $ρ$ is greater than a threshold, it is unlikely for an algorithm to find a complete $ρ$-happy colouring with colour classes of almost equal sizes. Three local search algorithms for soft happy colouring are proposed, and their performances are compared with one another and other known algorithms. Among them, the linear-time local search is shown to be not only very fast, but also a reliable algorithm that can dramatically improve the number of $ρ$-happy vertices.
Dilogarithm identities of higher degree and cluster $a$-variable periodicity
Published
• View Publication
• BIB
We use the periodicities of cluster groupoid mutations established by Li and the second author to prove that the dilogarithm identities of higher degree obtained by Nakanishi follow from the classical dilogarithm identities associated to a periodicity of cluster mutations when the exchange matrix is full rank.
Inequalities related to the coefficients of the $j$-function
In recent years, the log-concavity or log-convexity of combinatorial sequences and their root sequences, higher order Tur{á}n inequalities, and Laguerre inequalities of order two have been widely studied. However, the research of the Fourier coefficient $c(n)$ of the $j$-function is limited to its asymptotic form. In this paper, we give the appropriate upper and lower bounds of $c(n)$ to establish the inequalities associated with it.
Undecidability of Translational Tiling of the Plane with Four Tiles
The translational tiling problem, dated back to Wang's domino problem in the 1960s, is one of the most representative undecidable problems in the field of discrete geometry and combinatorics. Ollinger initiated the study of the undecidability of translational tiling with a fixed number of tiles in 2009, and proved that translational tiling of the plane with a set of $11$ polyominoes is undecidable. The number of polyominoes needed to obtain undecidability was reduced from $11$ to $7$ by Yang and Zhang, and then to $5$ by Kim. We show that translational tiling of the plane with a set of $4$ (disconnected) polyominoes is undecidable in this paper.
A new upper bound for mutually touching infinite cylinders
Let $N$ denote the maximum number of congruent infinite cylinders that can be arranged in $\mathbb{R}^3$ so that every pair of cylinders touches each other. Littlewood posed the question of whether $N=7$, which remains unsolved. In this paper, we prove that $N\leq 18$, improving the previously known upper bound of $24$ established by A. Bezdek.
Closed-Form Decomposition for Simplicial Cones and PDBarv Algorithm for Lattice Point Counting
Counting lattice points within a rational polytope is a foundational problem with applications across mathematics and computer science. A key approach is Barvinok's algorithm, which decomposes the lattice point generating function of cones to that of unimodular cones. However, standard implementations face difficulties: the original primal method struggles with points on cone boundaries, while the alternative dual method can be slow for certain cone types.
This paper introduces two main contributions. First, We derive a closed-form expression for these generating functions using arbitrary lattice point decompositions, enabling more effective primal space decomposition. Second, by decomposing both the cone and its dual cone starting from the side with a smaller index, we develop a novel algorithm called \textup{PDBarv}. This hybrid approach integrates the primal and dual Barvinok algorithms with a novel acceleration strategy, achieving an average computational performance improvement of over 20\% in dimension 5 and even better in higher dimensions.
Polytopality criteria for the mix of polytopes and maniplexes
The mix of two maniplexes is the minimal maniplex that covers both. This construction has many important applications, such as finding the smallest regular cover of a maniplex. If one of the maniplexes is an abstract polytope, a natural question to ask is whether the mix is also a polytope. We describe here a general criterion for the polytopality of the mix which generalizes several previously-known polytopality criteria.
Sturmian lattices and Aperiodic tile sets
We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce infinitely many aperiodic tile sets whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is ``Sturmian lattices''; an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. We shall give a classification of Sturmian lattices. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction.
Hamilton Cycles In Vertex-Transitive Graphs of Order 10p
Published
• View Publication
• BIB
After long-term efforts, the Hamilton path (cycle) problem for connected vertex-transitive graphs of order $pq$ (where $p$ and $q$ are primes) was finally resolved in 2021, see [10]. Fifteen years ago, mathematicians began addressing this problem for graphs of order $2pq$. Among these studies, it was proved in 2012 (see [21]) that every connected vertex-transitive graph of order $10p$ (where $p \neq 7$ is a prime) contains a Hamilton path, with the exception of a family of graphs that was recently confirmed in [11]. In this paper, we achieve a further result: every connected vertex-transitive graph of order $10p$ (where $p$ is a prime) contains a Hamilton cycle, except for the truncation of the Petersen graph.