Showing 20 papers (Total: 83842 papers, 48355 authors in database)
A new proof of Smithson's fixed point theorem for order preserving multifunctions
Published
• View Publication
• BIB
Fixed point theorems are ubiquitous in economic research. Many studies cite Smithson (1971) ``Fixed points of order preserving multifunctions,'' yet the original proof contains errors. This note presents a new, concise proof and explains why Smithson's argument is invalid.
Classification and enumeration of lattice polygons in a disc
In 1980, V. I. Arnold studied the classification problem for convex lattice polygons of given area. Since then, this problem and its analogues have been studied by many authors, including $\mathrm{B\acute{a}r\acute{a}ny}$, Lagarias, Pach, Santos, Ziegler and Zong. Recently, Zong proposed two computer programs to prove Hadwiger's covering conjecture and Borsuk's partition problem, respectively, based on enumeration of the convex lattice polytopes contained in certain balls. For this purpose, similar to $\mathrm{B\acute{a}r\acute{a}ny}$ and Pach's work on volume and Liu and Zong's work on cardinality, we obtain bounds on the number of non-equivalent convex lattice polygons in a given disc. Furthermore, we propose an algorithm to enumerate these convex lattice polygons.
A study on $k$-coalescence of two graphs
Published in LE MATEMATICHE 2023
• View Publication
• BIB
The $k$-coalescence of two graphs is obtained by merging a $k$-clique of each graph. The $A_α$-matrix of a graph is the convex combination of its degree matrix and adjacency matrix. In this paper, we present some structural properties of a non-regular graph which is obtained from the $k$-coalescence of two graphs. Also, we derive the $A_α$-characteristic polynomial of $k$-coalescence of two graphs and then compute the $A_α$-spectra of $k$-coalescence of two complete graphs. In addition, we estimate the $A_α$-energy of $k$-coalescence of two complete graphs. Furthermore, we obtain some topological indices of vertex coalescence of two graphs, and as an application, we determine some indices of some family of graphs. From these results, we calculate the Wiener index, hyper-Wiener index etc. of the organic compound 1,2-dicyclohexylethane(\ce{C_{14}H_{26}}).
On ABC spectral radius of uniform hypergraphs
Published
• View Publication
• BIB
Given a $k$-uniform hypergraph $G$ with vertex set $[n]$ and edge set $E(G)$, the ABC tensor $\mathcal{ABC}(G)$ of $G$ is the $k$-order $n$-dimensional tensor with \[
\mathcal{ABC}(G)_{i_1, \dots, i_k}=
\begin{cases}
\dfrac{1}{(k-1)!}\sqrt[k]{\dfrac{\sum_{i\in e}d_{i}-k}{\prod_{i\in e}d_{i}}} & \mbox{if $e\in E(G)$}
0 & \mbox{otherwise} \end{cases} \] for $i_j\in [n]$ with $j\in [k]$, where $d_i$ is the degree of vertex $i$ in $G$. The ABC spectral radius of a uniform hypergraph is the spectral radius of its ABC tensor. We give tight lower and upper bounds for the ABC spectra radius, and determine the maximum ABC spectral radii of uniform hypertrees, uniform non-hyperstar hypertrees and uniform non-power hypertrees of given size, as well as the maximum ABC spectral radii of unicyclic uniform hypergraphs and linear unicyclic uniform hypergraphs of given size, respectively. We also characterize those uniform hypergraphs for which the maxima for the ABC spectral radii are actually attained in all cases.
The Excluded Tree Minor Theorem Revisited
Published in Combinatorics, Probability and Computing (2024), 33, pp. 85--90
• View Publication
• BIB
We prove that for every tree $T$ of radius $h$, there is an integer $c$ such that every $T$-minor-free graph is contained in $H\boxtimes K_c$ for some graph $H$ with pathwidth at most $2h-1$. This is a qualitative strengthening of the Excluded Tree Minor Theorem of Robertson and Seymour (GM I). We show that radius is the right parameter to consider in this setting, and $2h-1$ is the best possible bound.
The Largest Condorcet Domains on 8 Alternatives
Published
• View Publication
• BIB
In this note, we report on a record-breaking Condorcet domain (CD) for n=8 alternatives. We show that there exists a CD of size 224, which is optimal and essentially unique (up to isomorphism). If we consider the underlying permutations and focus on Condorcet domains containing the identity permutation, 56 isomorphic such Condorcet domains exist. Our work sheds light on the structure of CDs and UCDs and has potential applications in voting theory and social choice.
Results on formally dual sets in finite abelian groups of size 64 obtained from a graph search algorithm
We shortly present two small results regarding the study formal duality in finite abelian groups as introduced by Cohn, Kumar, Reiher and Schürmann. In particular, we give a new example of a formally self dual set in $\mathbb{Z}_2^2\times\mathbb{Z}_4^2$ and computed nonexistence of primitive formally dual sets of size $8$ in $\mathbb{Z}_8^2$.
On unique sums in Abelian groups
Published
• View Publication
• BIB
Let $A$ be a subset of the cyclic group $\mathbf{Z}/p\mathbf{Z}$ with $p$ prime. It is a well-studied problem to determine how small $|A|$ can be if there is no unique sum in $A+A$, meaning that for every two elements $a_1,a_2\in A$, there exist $a_1',a_2'\in A$ such that $a_1+a_2=a_1'+a_2'$ and $\{a_1,a_2\}\neq \{a_1',a_2'\}$. Let $m(p)$ be the size of a smallest subset of $\mathbf{Z}/p\mathbf{Z}$ with no unique sum. The previous best known bounds are $\log p \ll m(p)\ll \sqrt{p}$. In this paper we improve both the upper and lower bounds to $ω(p)\log p \leqslant m(p)\ll (\log p)^2$ for some function $ω(p)$ which tends to infinity as $p\to \infty$. In particular, this shows that for any $B\subset \mathbf{Z}/p\mathbf{Z}$ of size $|B|<ω(p)\log p$, its sumset $B+B$ contains a unique sum. We also obtain corresponding bounds on the size of the smallest subset of a general Abelian group having no unique sum.
Skew left braces and 2-reductive solutions of the Yang-Baxter equation
Published
• View Publication
• BIB
We study 2-reductive non-involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation. We give a combinatorial construction of any such solution of any (even infinite) size. We also prove that solutions associated to a skew left brace are 2-reductive if and only if the skew left brace is nilpotent of class 2. Moreover, all such skew left braces are actually bi-skew left braces. We focus on these structures and we give several equivalent properties characterizing solutions associated to bi-skew left braces.
Online Ramsey numbers: Long versus short cycles
Published
• View Publication
• BIB
Online Ramsey game is played between Builder and Painter on an infinite board $K_{\mathbb N}$. In every round Builder selects an edge, then Painter colors it red or blue. Both know target graphs $H_1$ and $H_2$. Builder aims to create either a red copy of $H_1$ or a blue copy of $H_2$ in $K_{\mathbb N}$ as soon as possible, and Painter tries to prevent it. The online Ramsey number $\tilde{r}(H_1,H_2)$ is the minimum number of rounds such that the Builder wins. We study $\tilde{r}(C_k,C_n)$ where $k$ is fixed and $n$ is large. We show that $\tilde{r}(C_k,C_n)=2n+\mathcal O(k)$ for an absolute constant $c$ if $k$ is even, while $\tilde{r}(C_k,C_n)\le 3n+o(n)$ if $k$ is odd.
Transduction of Automatic Sequences and Applications
Published
• View Publication
• BIB
We consider the implementation of the transduction of automatic sequences, and their generalizations, in the Walnut software for solving decision problems in combinatorics on words. We provide a number of applications, including (a) representations of n! as a sum of three squares (b) overlap-free Dyck words and (c) sums of Fibonacci representations. We also prove results about iterated running sums of the Thue-Morse sequence.
Uniformly Random Colourings of Sparse Graphs
Published
• View Publication
• BIB
We analyse uniformly random proper $k$-colourings of sparse graphs with maximum degree $Δ$ in the regime $Δ< k\ln k $. This regime corresponds to the lower side of the shattering threshold for random graph colouring, a paradigmatic example of the shattering threshold for random Constraint Satisfaction Problems. We prove a variety of results about the solution space geometry of colourings of fixed graphs, generalising work of Achlioptas, Coja-Oghlan, and Molloy on random graphs, and justifying the performance of stochastic local search algorithms in this regime. Our central proof relies only on elementary techniques, namely the first-moment method and a quantitative induction, yet it strengthens list-colouring results due to Vu, and more recently Davies, Kang, P., and Sereni, and generalises state-of-the-art bounds from Ramsey theory in the context of sparse graphs. It further yields an approximately tight lower bound on the number of colourings, also known as the partition function of the Potts model, with implications for efficient approximate counting.
Triangle Percolation on the Grid
Published
• View Publication
• BIB
We consider a geometric percolation process partially motivated by recent work of Hejda and Kala. Specifically, we start with an initial set $X \subseteq \mathbb{Z}^2$, and then iteratively check whether there exists a triangle $T \subseteq \mathbb{R}^2$ with its vertices in $\mathbb{Z}^2$ such that $T$ contains exactly four points of $\mathbb{Z}^2$ and exactly three points of $X$. In this case, we add the missing lattice point of $T$ to $X$, and we repeat until no such triangle exists. We study the limit sets $S$, the sets stable under this process, including determining their possible densities and some of their structure.
On graphs embeddable in a layer of a hypercube and their extremal numbers
Published
• View Publication
• BIB
A graph is cubical if it is a subgraph of a hypercube. For a cubical graph $H$ and a hypercube $Q_n$, $ex(Q_n, H)$ is the largest number of edges in an $H$-free subgraph of $Q_n$. If $ex(Q_n, H)$ is equal to a positive proportion of the number of edges in $Q_n$, $H$ is said to have positive Turán density in a hypercube; otherwise it has zero Turán density. Determining $ex(Q_n, H)$ and even identifying whether $H$ has positive or zero Turán density remains a widely open question for general $H$.
In this paper we focus on layered graphs, i.e., graphs that are contained in an edge-layer of some hypercube. Graphs $H$ that are not layered have positive Turán density because one can form an $H$-free subgraph of $Q_n$ consisting of edges of every other layer. For example, a $4$-cycle is not layered and has positive Turán density.
However, in general it is not obvious what properties layered graphs have. We give a characterisation of layered graphs in terms of edge-colorings. We show that most non-trivial subdivisions have zero Turán density, extending known results on zero Turán density of even cycles of length at least $12$ and of length $8$. However, we prove that there are cubical graphs of girth $8$ that are not layered and thus having positive Turán density. The cycle of length $10$ remains the only cycle for which it is not known whether its Turán density is positive or not. We prove that $ex(Q_n, C_{10})= Ω(n2^n/ \log^a n)$, for a constant $a$, showing that the extremal number for a $10$-cycle behaves differently from any other cycle of zero Turán density.
Atoms and charge in type $C_2$
Published
• View Publication
• BIB
We construct atomic decompositions for crystals of type $C_{2}$ and define a charge statistic on them, thus providing positive combinatorial formulas for Kostka-Foulkes polynomials associated to them together with a natural geometric interpretation.
Combinatorial invariance for Kazhdan-Lusztig $R$-polynomials of elementary intervals
Published in Mathematische Annalen Volume 392 (2025)
• View Publication
• BIB
We adapt the hypercube decompositions introduced by Blundell-Buesing-Davies-Veličković-Williamson to prove the Combinatorial Invariance Conjecture for Kazhdan-Lusztig $R$-polynomials in the case of elementary intervals in $S_n$. This significantly generalizes the main previously-known case of the conjecture, that of lower intervals.
Limits of polyhedral multinomial distributions
We consider limits of certain measures supported on lattice points in lattice polyhedra defined as the intersection of half-spaces $\{m\in\mathbb{R}^n|\langle v_i,x\rangle+a_i \geq 0\}$, where $\sum_i v_i = 0$. The measures are densities associated to lattice random variables obtained by restriction of multinomial random variables. We find the limiting Gaussian distributions explicitly.
Towards Crossing-Free Hamiltonian Cycles in Simple Drawings of Complete Graphs
Published
• View Publication
• BIB
It is a longstanding conjecture that every simple drawing of a complete graph on $n \geq 3$ vertices contains a crossing-free Hamiltonian cycle. We strengthen this conjecture to "there exists a crossing-free Hamiltonian path between each pair of vertices" and show that this stronger conjecture holds for several classes of simple drawings, including strongly c-monotone drawings and cylindrical drawings. As a second main contribution, we give an overview on different classes of simple drawings and investigate inclusion relations between them up to weak isomorphism.
Measure growth in compact semisimple Lie groups and the Kemperman Inverse Problem
Suppose $G$ is a compact semisimple Lie group, $μ$ is the normalized Haar measure on $G$, and $A, A^2 \subseteq G$ are measurable. We show that $$μ(A^2)\geq \min\{1, 2μ(A)+ημ(A)(1-2μ(A))\}$$ with the absolute constant $η>0$ (independent from the choice of $G$) quantitatively determined. We also show a more general result for connected compact groups without a toric quotient and resolve the Kemperman Inverse Problem from 1964.
Grand Schnyder Woods
Published
• View Publication
• BIB
We define a far-reaching generalization of Schnyder woods which encompasses many classical combinatorial structures on planar graphs.
Schnyder woods are defined for planar triangulations as certain triples of spanning trees covering the triangulation and crossing each other in an orderly fashion. They are of theoretical and practical importance, as they are central to the proof that the order dimension of any planar graph is at most 3, and they are also underlying an elegant drawing algorithm. In this article we extend the concept of Schnyder wood well beyond its original setting: for any integer d>2 we define a ``grand-Schnyder'' structure for (embedded) planar graphs which have faces of degree at most d and non-facial cycles of length at least d. We prove the existence of grand-Schnyder structures, provide a linear construction algorithm, describe 4 different incarnations (in terms of tuples of trees, corner labelings, weighted orientations, and marked orientations), and define a lattice for the set of grand Schnyder structures of a given planar graph. We show that the grand-Schnyder framework unifies and extends several classical constructions: Schnyder woods and Schnyder decompositions, regular edge-labelings (a.k.a. transversal structures), and Felsner woods.