Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Smaller Gershgorin disks for multiple eigenvalues for complex matrices
Extending an earlier result for real matrices we show that multiple eigenvalues of a complex matrix lie in a reduced Gershgorin disk. One consequence is a slightly better estimate in the real case. Another one is a geometric application. Further results of a similar type are given for normal and almost symmetric matrices.
Enumeration of self-reciprocal irreducible monic polynomials with prescribed leading coefficients over a finite field
Published
• View Publication
• BIB
A polynomial is called self-reciprocal (or palindromic) if the sequence of its coefficients is palindromic. In this paper we enumerate self-reciprocal irreducible monic polynomials over a finite field with prescribed leading coefficients. Asymptotic expression with explicit error bound is derived, which is used to show that such polynomials with degree $2n$ always exist provided that the number of prescribed leading coefficients is slightly less than $n/4$. Exact expressions are also obtained for fields with two or three elements and up to two prescribed leading coefficients.
The Optimal Way to Play the Most Difficult Repeated Coordination Games
Published in EPTCS 346, 2021, pp. 101-116
• View Publication
• BIB
This paper investigates repeated win-lose coordination games (WLC-games). We analyse which protocols are optimal for these games, covering both the worst case and average case scenarios, i,e., optimizing the guaranteed and expected coordination times. We begin by analysing Choice Matching Games (CM-games) which are a simple yet fundamental type of WLC-games, where the goal of the players is to pick the same choice from a finite set of initially indistinguishable choices. We give a fully complete classification of optimal expected and guaranteed coordination times in two-player CM-games and show that the corresponding optimal protocols are unique in every case - except in the CM-game with four choices, which we analyse separately.
Our results on CM-games are essential for proving a more general result on the difficulty of all WLC-games: we provide a complete analysis of least upper bounds for optimal expected coordination times in all two-player WLC-games as a function of game size. We also show that CM-games can be seen as the most difficult games among all two-player WLC-games, as they turn out to have the greatest optimal expected coordination times.
Duality and tangles of set separations
Published
• View Publication
• BIB
Applications of tangles of connectivity systems suggest a duality between these, in which for two sets $X$ and $Y\!$ the elements $x$ of $X$ map to subsets $Y_x$ of $Y\!$, and the elements $y$ of $Y\!$ map to subsets $X_y$ of $X$, so that $x\in X_y$ if and only if $y\in Y_x$ for all $x\in X$ and $y\in Y\!$. We explore this duality, and relate the tangles arising from the dual systems to each other.
Fuglede's conjecture holds in $\mathbb{Z}_{p}\times\mathbb{Z}_{p^{n}}$
Published
• View Publication
• BIB
Fuglede's conjecture states that for a subset $Ω$ of a locally compact abelian group $G$ with positive and finite Haar measure, there exists a subset of the dual group of $G$ which is an orthogonal basis of $L^{2}(Ω)$ if and only if it tiles the group by translation. In this paper, we prove a divisibility property for a set in $\mathbb{Z}_{p}\times\mathbb{Z}_{p^{n}}$. Then using the divisibility property and equi-distributed property, we prove that Fuglede's conjecture holds in the group $\mathbb{Z}_{p}\times\mathbb{Z}_{p^{n}}$.
A characterization of strongly monotypic polytopes
We characterize all the strongly monotypic polytopes. Hadwiger's conjecture for this class of polytopes is deduced from the characterization.
On number of different sized induced subgraphs of Bipartite-Ramsey graphs
In this paper, we investigate the set of sizes of induced subgraphs of bipartite graphs. We introduce the definition of $C$-$Bipartite$-$Ramsey$ graphs, which is closely related to Ramsey graphs and prove that in `most' cases, these graphs have multiplication tables of $Ω(e(G))$ in size. We apply our result to give direct evidence to the conjecture that the complete bipartite graph $K_{n,n}$ is the minimiser of the multiplication table on $n^2$ edges raised by Narayanan, Sahasrabudhe and Tomon.
Mahler measure numerology
We discuss some (conjectural) evaluations of $L$-values attached to elliptic curves of conductors 15, 21, 24 and 32 as "hypergeometric periods". These numerical observations are motivated by the Mahler measures of three-variable polynomials.
Higgledy-piggledy sets in projective spaces of small dimension
Published
• View Publication
• BIB
This work focuses on higgledy-piggledy sets of $k$-subspaces in $\text{PG}(N,q)$, i.e. sets of projective subspaces that are 'well-spread-out'. More precisely, the set of intersection points of these $k$-subspaces with any $(N-k)$-subspace $κ$ of $\text{PG}(N,q)$ spans $κ$ itself. We highlight three methods to construct small higgledy-piggledy sets of $k$-subspaces and discuss, for $k\in\{1,N-2\}$, 'optimal' sets that cover the smallest possible number of points. Furthermore, we investigate small non-trivial higgledy-piggledy sets in $\text{PG}(N,q)$, $N\leqslant5$. Our main result is the existence of six lines of $\text{PG}(4,q)$ in higgledy-piggledy arrangement, two of which intersect. Exploiting the construction methods mentioned above, we also show the existence of six planes of $\text{PG}(4,q)$ in higgledy-piggledy arrangement, two of which maximally intersect, as well as the existence of two higgledy-piggledy sets in $\text{PG}(5,q)$ consisting of eight planes and seven solids, respectively. Finally, we translate these geometrical results to a coding- and graph-theoretical context.
A noncommutative approach to the graphon Fourier transform
Published in Applied and Computational Harmonic Analysis 61, pp.121-131 (2022)
• View Publication
• BIB
Signal analysis on graphs relies heavily on the graph Fourier transform, which is defined as the projection of a signal onto an eigenbasis of the associated shift operator. Large graphs of similar structure may be represented by a graphon. Theoretically, graphons are limit objects of converging sequences of graphs. Our work extends previous research aiming to provide a common scheme for signal analysis of graphs that are similar in structure to a graphon. We extend a previous definition of graphon Fourier transform, and show that the graph Fourier transforms of graphs in a converging graph sequence converge to the graphon Fourier transform of the limiting graphon. We then apply this convergence result to signal processing on Cayley graphons. We show that Fourier analysis of the underlying group enables the construction of a suitable eigen-decomposition for the graphon, which can be used as a common framework for signal processing on graphs converging to the graphon.
The permuto-associahedron revisited
Published
• View Publication
• BIB
A classic problem connecting algebraic and geometric combinatorics is the realization problem: given a poset, determine whether there exists a polytope whose face lattice is the poset. In 1990s, Kapranov defined a poset as a hybrid between the face poset of a permutohedron and that of an associahedron, and he asked whether this poset is realizable. Shortly after his question was posed, Reiner and Ziegler provided a realization. Based on our previous work on the nested braid fan, we provide in this paper a different realization of Kapranov's poset by constructing the vertex set and the normal fan of a permuto-associahedron simultaneously.
Extremal Uniquely Resolvable Multisets
Published
• View Publication
• BIB
For positive integers $n$ and $m$, consider a multiset of non-empty subsets of $[m]$ such that there is a \textit{unique} partition of these subsets into $n$ partitions of $[m]$. We study the maximum possible size $g(n,m)$ of such a multiset. We focus on the regime $n \leq 2^{m-1}-1$ and show that $g(n,m) \geq Ω(\frac{nm}{\log_2 n})$. When $n = 2^{cm}$ for any $c \in (0,1)$, this lower bound simplifies to $Ω(\frac{n}{c})$, and we show a matching upper bound $g(n,m) \leq O(\frac{n}{c}\log_2(\frac{1}{c}))$ that is optimal up to a factor of $\log_2(\frac{1}{c})$. We also compute $g(n,m)$ exactly when $n \geq 2^{m-1} - O(2^{\frac{m}{2}})$.
The Q-index and connectivity of graphs
A connected graph $G$ is said to be $k$-connected if it has more than $k$ vertices and remains connected whenever fewer than $k$ vertices are deleted. In this paper, for a connected graph $G$ with sufficiently large order, we present a tight sufficient condition for $G$ with fixed minimum degree to be $k$-connected based on the $Q$-index. Our result can be viewed as a spectral counterpart of the corresponding Dirac type condition.
Walk/Zeta Correspondence for quantum and correlated random walks
Published in Yokohama Math. J. Vol.67, pp.125-152 (2021)
• Search Publication
In this paper, following the recent paper on Walk/Zeta Correspondence by the first author and his coworkers, we compute the zeta function for the three- and four-state quantum walk and correlated random walk, and the multi-state random walk on the one-dimensional torus by using the Fourier analysis. We deal with also the four-state quantum walk and correlated random walk on the two-dimensional torus. In addition, we introduce a new class of models determined by the generalized Grover matrix bridging the gap between the Grover matrix and the positive-support of the Grover matrix. Finally, we give a generalized version of the Konno-Sato theorem for the new class. As a corollary, we calculate the zeta function for the generalized Grover matrix on the d-dimensional torus.
Asymptotic Bounds for CO-irredundant and Irredundant Ramsey Numbers
Published
• View Publication
• BIB
A set of vertices $X\subseteq V$ in a simple graph $G(V,E)$ is irredundant (CO-irredundant) if each vertex $x\in X$ is either isolated in the induced subgraph $G[X]$ or else has a private neighbor $y\in V\setminus X$ ($y\in V$) that is adjacent to $x$ and to no other vertex of $X$. The irredundant Ramsey number $s(t_{1},\ldots,t_{l})$, CO-irredundant Ramsey number $s_{\operatorname{CO}}(t_{1},\ldots,t_{l})$, is the minimum $N$ such that every $l$-coloring of the edges of the complete graph $K_{N}$ on $N$ vertices has a monochromatic irredundant set, a monochromatic CO-irredundant set, of size $t_{i}$ for some $1\leq i\leq l$, respectively. In this paper, firstly, we establish a lower bound for the irredundant Ramsey number $s(t_{1},\ldots,t_{l})$ by a random and probabilistic method. Secondly, we improve an upper bound for $s(3,9)$ such that $24\leq s(3,9)\leq 26$. Thirdly, using Krivelevich's lemma, we establish an asymptotic lower bound for the $\operatorname{CO}$-irredundant Ramsey number $s_{\operatorname{CO}}(m,n)$.
On the chromatic number of graphons
We extend Bollobas' classical result on the chromatic number of a binomial random graph to the exchangeable random graph model $\mathcal{G}(n,W)$ defined by a graphon $W:[0,1]^2 \rightarrow [0,1]$, which is a symmetric measurable function. In the case when $W$ can be approximated by block graphons in $\mathcal{L}^{\infty}$-norm, we show that asymptotically optimal value of the number of colours required for $\mathcal{G}(n,W)$ is determined by colouring strategies that use a finite number of different types of colour classes. Furthermore, if $W$ is a block graphon with $k\times k$ blocks then $k$ types of colour classes are sufficient. We also show that if $W$ is block-increasing or block-Lipschitz then such colouring strategies that use $k$ types determine the chromatic number up to a multiplicative error of order $O(k^{-1})$.
Model structures on finite total orders
Published
• View Publication
• BIB
We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial structure encoded by Shapiro's Catalan triangle. This is an application of previous work of the authors on the theory of $N_\infty$-operads for cyclic groups of prime power order, along with new structural insights concerning extending choices of certain model structures on subcategories of $[n]$.
Enumeration of Hamiltonian Cycles on a Thick Grid Cylinder -- Part II: Contractible Hamiltonian Cycles
Published in Applicable Analysis and Discrete Mathematics 16 (2022), 246-287
• View Publication
• BIB
In this series of papers, the primary goal is to enumerate Hamiltonian cycles (HC's) on the grid cylinder graphs $P_{m+1}\times C_n$, where $n$ is allowed to grow whilst $m$ is fixed. In Part~I, we studied the so-called non-contractible HC's. Here, in Part~II, we proceed further on to the contractible case. We propose two different novel characterizations of contractible HC's, from which we construct digraphs for enumerating the contractible HC's. Given the impression which the computational data for $m \leq 9$ convey, we conjecture that the asymptotic domination of the contractible HC's versus the non-contractible HC's, among the total number of HC's, depends on the parity of $m$.}
A Quadratic Time Locally Optimal Algorithm for NP-hard Equal Cardinality Partition Optimization
We study the optimization version of the equal cardinality set partition problem (where the absolute difference between the equal sized partitions' sums are minimized). While this problem is NP-hard and requires exponential complexity to solve in general, we have formulated a weaker version of this NP-hard problem, where the goal is to find a locally optimal solution. The local optimality considered in our work is under any swap between the opposing partitions' element pairs. To this end, we designed an algorithm which can produce such a locally optimal solution in $O(N^2)$ time and $O(N)$ space. Our approach does not require positive or integer inputs and works equally well under arbitrary input precisions. Thus, it is widely applicable in different problem scenarios.
A New Upper Bound for the Ramsey Number of Fans
A fan $F_n$ is a graph consisting of $n$ triangles, all having precisely one common vertex. Currently, the best known bounds for the Ramsey number $R(F_n)$ are $9n/2-5 \leq R(F_n) \leq 11n/2+6$, obtained by Chen, Yu and Zhao. We improve the upper bound to $31n/6+O(1)$.