Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs. VI
We briefly discuss linear algebraic, combinatorial, and applied aspects of an exact model representation of binary arrays. As an illustration, we present two linear algebraic portraits of a string of characters.
Cycle type in Hall-Paige: A proof of the Friedlander-Gordon-Tannenbaum conjecture
An orthomorphism of a finite group $G$ is a bijection $φ\colon G\to G$ such that $g\mapsto g^{-1}φ(g)$ is also a bijection. In 1981, Friedlander, Gordon, and Tannenbaum conjectured that when $G$ is abelian, for any $k\geq 2$ dividing $|G|-1$, there exists an orthomorphism of $G$ fixing the identity and permuting the remaining elements as products of disjoint $k$-cycles. We prove this conjecture for all sufficiently large groups.
The nonrepetitive colorings of grids
Published
• View Publication
• BIB
For a graph $G$, a vertex coloring $f$ is called nonrepetitive if for all $k\in\mathbb N$ and all $P_{2k}=\langle v_1, \cdots, v_k,v_{k+1}, \cdots, v_{2k}\rangle$ (path of $2k$ vertices) in $G$, there must be some $1\le i\le k$ such that $f(v_i)\not=f(v_{k+i})$. We use $π(G)$ to denote the minimum number of colors required for $G$ to be nonrepetitively colored. In 1906, Thue proved that $π(P_n)\le3$ for all $n$. In this paper, we focus on grids, which are the Cartesian products of paths. We prove that $5\leπ(P_n\square P_n)\le12$ for sufficiently large $n$, where the previous best lower bound was 4 and upper bound was 16. Moreover, we also discuss nonrepetitive coloring of the Cartesian product of complete graphs.
Bounds on piercing and line-piercing numbers in families of convex sets in the plane
Published
• View Publication
• BIB
A family of sets has the $(p, q)$ property if among any $p$ members of it some $q$ intersect. It is shown that if a finite family of compact convex sets in $\R^2$ has the $(p+1,2)$ property then it is pierced by $\lfloor \frac{p}{2} \rfloor +1$ lines. A colorful version of this result is proved as well. As a corollary, the following is proved: Let $\F$ be a finite family of compact convex sets in the plane with no isolated sets, and let $\F'$ be the family of its pairwise intersections. If $\F$ has the $(p+1,2)$ property and $\F'$ has the $(r+1,2)$ property, then $\F$ is pierced by $(\lfloor \frac{r}{2} \rfloor ^2 +\lfloor\frac{r}{2} \rfloor)p$ points when $r\ge 2$, and by $p$ points otherwise. The proofs use the topological KKM theorem.
On the classification of certain geproci sets
Published
• View Publication
• BIB
In this short note we develop new methods toward the ultimate goal of classifying geproci sets in $\mathbb P^3$. We apply these methods to show that among sets of $16$ points distributed evenly on $4$ skew lines, up to projective equivalence there are only two distinct geproci sets. We give different geometric distinctions between these sets. The methods we develop here can be applied in a more general set-up; this is the context of the follow-up work arXiv:2308.00761.
Shard modules
Published
• View Publication
• BIB
Motivated by the goal of studying cluster algebras in infinite type, we study the stability domains of modules for the preprojective algebra in the corresponding infinite types. Specifically, we study real bricks: those modules whose endomorphism algebra is a division ring and which have no self-extensions. We define "shard modules" to be those real bricks whose stability domain is as large as possible (meaning, of dimension one less than the rank of the preprojective algebra). We show that all real bricks are obtained by applying the Baumann-Kamnitzer reflection functors to simple modules, and we give a recursive formula for the stability domain of a real brick. We show that shard modules are in bijection with Nathan Reading's "shards", and that their stability domains are the shards; we also establish many foundational results about shards in infinite type which have not previously appeared in print. With an eye toward applications to cluster algebras, our paper is written to handle skew-symmetrizable as well as skew-symmetric exchange matrices, and we therefore discuss the basics of the theory of species for preprojective algebras. We also give some counterexamples to show ways in which infinite type is more subtle than the well-studied finite type cases.
Boundary current fluctuations for the half space ASEP and six vertex model
Published
• View Publication
• BIB
We study fluctuations of the current at the boundary for the half space asymmetric simple exclusion process (ASEP) and the height function of the half space six vertex model at the boundary at large times. We establish a phase transition depending on the asymptotic density of particles at the boundary, with GSE and GOE limits as well as the Baik--Rains crossover distribution near the critical point. This was previously known for half space last passage percolation, and recently established for the half space log-gamma polymer and KPZ equation in the groundbreaking work of Imamura, Mucciconi, and Sasamoto.
The proof uses the underlying algebraic structure of these models in a crucial way to obtain exact formulas. In particular, we show a relationship between the half space six vertex model and a half space Hall--Littlewood measure with two boundary parameters, which is then matched to a free boundary Schur process via a new identity of symmetric functions. Fredholm Pfaffian formulas are established for the half space ASEP and six vertex model, indicating a hidden free fermionic structure.
Some new results on the higher energies I
Published
• View Publication
• BIB
We obtain a generalization of the recent Kelley--Meka result on sets avoiding arithmetic progressions of length three. In our proof we develop the theory of the higher energies. Also, we discuss the case of longer arithmetic progressions, as well as a general family of norms, which includes the higher energies norms and Gowers norms.
Jacobi polynomials and harmonic weight enumerators of the first-order Reed--Muller codes and the extended Hamming codes
Published
• View Publication
• BIB
In the present paper, we give harmonic weight enumerators and Jacobi polynomials for the first-order Reed--Muller codes and the extended Hamming codes. As a corollary, we show the nonexistence of combinatorial $4$-designs in these codes.
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.