Showing 20 papers (Total: 82432 papers, 47671 authors in database)
On Construction of Hadamard Matrices
Published
• View Publication
• BIB
In this article, a series of Hadamard matrix has been developed using some block matrices with the help of skew Hadamard matrix. Basically an internal structure of skew Hadamard matrix has been changed with some block matrices using kronecker product. For some parameter, Hadamard matrices of order 4t where t is an integer, has been found.
A note on circular wirelength for hypercubes
Published
• View Publication
• BIB
We study embeddings of the $n$-dimensional hypercube into the circuit with $2^n$ vertices. We prove that the circular wirelength attains minimum by gray coding, which is called the CT conjecture by Chavez and Trapp (Discrete Applied Mathematics, 1998). This problem had claimed to be settled by Ching-Jung Guu in her doctor dissertation "The circular wirelength problem for hypercubes" (University of California, Riverside, 1997). Many people argue there are gaps in her proof. We eliminate gaps in her dissertation.
On prime character degree graphs occurring within a family of graphs (ii)
Published
• View Publication
• BIB
In this paper, we continue the classification work done in the first paper of the same name. With careful modifications of our previous approach, we are able to deduce (with two notable exceptions) which members of the previously introduced graph family manifest as the prime character degree graph of some solvable group.
Bumpless pipe dreams encode Gröbner geometry of Schubert polynomials
In their study of infinite flag varieties, Lam, Lee, and Shimozono (2021) introduced bumpless pipe dreams in a new combinatorial formula for double Schubert polynomials. These polynomials are the TxT-equivariant cohomology classes of matrix Schubert varieties and of their flat degenerations. We give diagonal term orders with respect to which bumpless pipe dreams index the irreducible components of diagonal Gröbner degenerations of matrix Schubert varieties, counted with scheme-theoretic multiplicity.
This indexing was conjectured by Hamaker, Pechenik, and Weigandt (2022). This result establishes that bumpless pipe dreams are dual to and as geometrically natural as classical pipe dreams, for which an analogous anti-diagonal theory was developed by Knutson and Miller (2005).
The pigenhole principle and multicolor Ramsey numbers
Published
• View Publication
• BIB
For integers $k,r\geq 2$, the diagonal Ramsey number $R_r(k)$ is the minimum $N\in\mathbb{N}$ such that every $r$-coloring of the edges of a complete graph on $N$ vertices yields on a monochromatic subgraph on $k$ vertices. Here we make a careful effort of extracting explicit upper bounds for $R_r(k)$ from the pigeonhole principle alone. Our main term improves on previously documented explicit bounds for $r\geq 3$, and we also consider an often ignored secondary term, which allows us to subtract a uniformly bounded below positive proportion of the main term. Asymptotically, we give a self-contained proof that $R_r(k)\leq \left(\frac{3+e}{2}\right)\frac{(r(k-2))!}{((k-2)!)^r}(1+o_{r\to \infty}(1)),$ and we conclude by noting that our methods combine with previous estimates on $R_r(3)$ to improve the constant $\frac{3+e}{2}$ to $\frac{3+e}{2}-\frac{d}{48}$, where $d=66-R_4(3)\geq 4$. We also compare our formulas, and previously documented formulas, to some collected numerical data.
Variants of the Gale-Berlekamp Switching Game and their Solutions: Balancing the Rectangle and the Cube
The Gale-Berlekamp Light Switching Game is played on a square board of lights. Each light has two states, either on or off. There is a switch to every row and column. Turning this switch would change the state of all the lights on that row or column. The aim of the game is to minimise the imbalance in the board, defined to be the absolute difference between the number of lights switched on and that of lights switched off. We investigate variants of the game for an $m \times n$ matrix with n even and $m \le n$. We provide a constructive proof that for any $m \times n$ rectangle matrix $A$, there exists $x \in (\pm 1)^n$ and $y \in (\pm 1)^m$ such that $|yAx| \le 2$. i.e. column and row switches to reduce the imbalance to at most $2$, construct a complete Python routine to find these switches, and test run the algorithm against randomly generated initial board configurations. We then expand the game to a three-dimensional $n \times n \times n$ cube, with corresponding row, column, and layer switches. We define a minimum threshold $P_n$, such that the imbalance can always be reduced to at most $P_n$, for all initial states of the cube. We then provide an existential proof that $P_2 = 2$ and $P_4 = 4$.
Star transposition Gray codes for multiset permutations
Published
• View Publication
• BIB
Given integers $k\geq 2$ and $a_1,\ldots,a_k\geq 1$, let $\boldsymbol{a}:=(a_1,\ldots,a_k)$ and $n:=a_1+\cdots+a_k$. An $\boldsymbol{a}$-multiset permutation is a string of length $n$ that contains exactly $a_i$ symbols $i$ for each $i=1,\ldots,k$. In this work we consider the problem of exhaustively generating all $\boldsymbol{a}$-multiset permutations by star transpositions, i.e., in each step, the first entry of the string is transposed with any other entry distinct from the first one. This is a far-ranging generalization of several known results. For example, it is known that permutations ($a_1=\cdots=a_k=1$) can be generated by star transpositions, while combinations ($k=2$) can be generated by these operations if and only if they are balanced ($a_1=a_2$), with the positive case following from the middle levels theorem. To understand the problem in general, we introduce a parameter $Δ(\boldsymbol{a}):=n-2\max\{a_1,\ldots,a_k\}$ that allows us to distinguish three different regimes for this problem. We show that if $Δ(\boldsymbol{a})<0$, then a star transposition Gray code for $\boldsymbol{a}$-multiset permutations does not exist. We also construct such Gray codes for the case $Δ(\boldsymbol{a})>0$, assuming that they exist for the case $Δ(\boldsymbol{a})=0$. For the case $Δ(\boldsymbol{a})=0$ we present some partial positive results. Our proofs establish Hamilton-connectedness or Hamilton-laceability of the underlying flip graphs, and they answer several cases of a recent conjecture of Shen and Williams. In particular, we prove that the middle levels graph is Hamilton-laceable.
On balanced sequences and their critical exponent
Published
• View Publication
• BIB
We study aperiodic balanced sequences over finite alphabets. A sequence vv of this type is fully characterised by a Sturmian sequence u and two constant gap sequences y and y'. We show that the language of v is eventually dendric and we focus on return words to its factors. We develop a method for computing the critical exponent and asymptotic critical exponent of balanced sequences, provided the associated Sturmian sequence u has a quadratic slope. The method is based on looking for the shortest return words to bispecial factors in v. We illustrate our method on several examples; in particular we confirm a conjecture of Rampersad, Shallit and Vandomme that two specific sequences have the least critical exponent among all balanced sequences over 9-letter (resp., $0-letter) alphabets.
Bounding the number of edges of matchstick graphs
We show that a matchstick graph with $n$ vertices has no more than $3n-c\sqrt{n-1/4}$ edges, where $c=\frac12(\sqrt{12} + \sqrt{2π\sqrt{3}})$. The main tools in the proof are the Euler formula, the isoperimetric inequality, and an upper bound for the number of edges in terms of $n$ and the number of non-triangular faces. We also find a sharp upper bound for the number of triangular faces in a matchstick graph.
Isotopy Quotients of Hopf Algebroids and the Fundamental Groupoid of Digraphs
Published
• View Publication
• BIB
We build on our construction of Hopf algebroids from noncommutative calculi under the further assumption of surjectivity for the calculus. We also introduce the notions of Hopf ideals and isotopy quotients for arbitrary Hopf algebroids. Using these ingredients, we prove a Riemann-Hilbert correspondence for digraphs, by showing that the groupoid algebra of the fundamental groupoid of a digraph is isomorphic to the isotopy quotient of the Hopf algberoid corresponding to flat connections over the digraph.
Quantum state transfer on Q-graphs
Published
• View Publication
• BIB
We study the existence of quantum state transfer in $\mathcal{Q}$-graphs in this paper. The $\mathcal{Q}$-graph of a graph $G$, denoted by $\mathcal{Q}(G)$, is the graph derived from $G$ by plugging a new vertex to each edge of $G$ and joining two new vertices which lie on adjacent edges of $G$ by an edge. We show that, if all eigenvalues of a regular graph $G$ are integers, then its $\mathcal{Q}$-graph $\mathcal{Q}(G)$ has no perfect state transfer. In contrast, we also prove that the $\mathcal{Q}$-graph of a regular graph has pretty good state transfer under some mild conditions. Finally, applying the obtained results, we also exhibit many new families of $\mathcal{Q}$-graphs having no perfect state transfer, but admitting pretty good state transfer.
Minimum degree conditions for containing an $r$-regular $r$-connected subgraph
We study optimal minimum degree conditions when an $n$-vertex graph $G$ contains an $r$-regular $r$-connected subgraph. We prove for $r$ fixed and $n$ large the condition to be $δ(G) \ge \frac{n+r-2}{2}$ when $nr \equiv 0 \pmod 2$. This answers a question of M.~Kriesell.
Alternating sign matrices and Verma modules
Published
• View Publication
• BIB
We show that the poset of alternating sign matrices, with Bruhat order, is isomorphic to the poset of certain submodules of the dominant Verma module for the special linear Lie algebra $\frak{sl}_n$. The latter poset consists of the intersections of Verma submodules and can also be defined in terms of a Kazhdan-Lusztig cell.
Random graphs embeddable in order-dependent surfaces
Published
• View Publication
• BIB
Given a `genus' function $g=g(n)$, we let $\mathcal{E}^g$ be the class of all graphs $G$ such that if $G$ has order $n$ (that is, has $n$ vertices) then it is embeddable in a surface of Euler genus at most $g(n)$. Let the random graph $R_n$ be sampled uniformly from the graphs in $\mathcal{E}^g$ on vertex set $[n]=\{1,\ldots,n\}$. Observe that if $g(n)$ is 0 then $R_n$ is a random planar graph, and if $g(n)$ is sufficiently large then $R_n$ is a binomial random graph $G(n,\tfrac12)$. We investigate typical properties of $R_n$. We find that for \emph{every} genus function $g$, with high probability at most one component of $R_n$ is non-planar. In contrast, we find a transition for example for connectivity: if $g$ is non-decreasing and $g(n) = O(n/\log n)$ then $\liminf_{n \to \infty} \mathbb{P}(R_n \mbox{ is connected}) < 1$, and if $g(n) \gg n$ then with high probability $R_n$ is connected. These results also hold when we consider orientable and non-orientable surfaces separately. We also investigate random graphs sampled uniformly from the `hereditary part' or the `minor-closed' part of $\mathcal{E}^g$, and briefly consider corresponding results for unlabelled graphs.
Implementation of Sprouts: a graph drawing game
Sprouts is a two-player pencil-and-paper game invented by John Conway and Michael Paterson in 1967. In the game, the players take turns in joining dots by curves according to simple rules, until one player cannot make a move. The game of Sprouts is very popular and simple-looking, so it may come as a surprise that there are essentially no AI Sprouts players available. This lack of computer opponents is caused by the fact that the game hides a surprisingly high combinatorial complexity and implementing it involves fascinating programming challenges.
We overcome all the implementation barriers and create the first user-friendly Sprouts application with a strong artificial intelligence after more than 50 years of the existence of the game. In particular, we combine results from the theory of nimbers with new methods based on Delaunay triangulations and crossing-preserving force-directed algorithms to develop an AI Sprouts player which plays a perfect game on up to 11 spots.
Counterexamples to the Colorful Tverberg Conjecture for Hyperplanes
Published
• View Publication
• BIB
In 2008 Karasev conjectured that for every set of $r$ blue lines, $r$ green lines, and $r$ red lines in the plane, there exists a partition of them into $r$ colorful triples whose induced triangles intersect. We disprove this conjecture for every $r$ and extend the counterexamples to higher dimensions.
An Extension of the Erdős-Ko-Rado Theorem to uniform set partitions
Published
• View Publication
• BIB
A $(k,\ell)$-partition is a set partition which has $\ell$ blocks each of size $k$. Two uniform set partitions $P$ and $Q$ are said to be partially $t$-intersecting if there exist blocks $P_{i}$ in $P$ and $Q_{j}$ in $Q$ such that $\left| P_{i} \cap Q_{j} \right|\geq t$. In this paper we prove a version of the Erdős-Ko-Rado theorem for partially $2$-intersecting $(k,\ell)$-partitions. In particular, we show for $\ell$ sufficiently large, the set of all $(k,\ell)$-partitions in which a block contains a fixed pair is the largest set of 2-partially intersecting $(k,\ell)$-partitions. For for $k=3$, we show this result holds for all $\ell$.
Embedding Euclidean Distance Graphs in $\mathbb{R}^n$ and $\mathbb{Q}^n$
Published
• View Publication
• BIB
For $S \subseteq \mathbb{R}$, positive integer $n$, and $d > 0$, let $G(S^n, d)$ be the graph whose vertex set is $S^n$ where any two vertices are adjacent if and only if they are Euclidean distance $d$ apart. The primary question we will consider in our work is as follows. Given $n$ and distance $d$ actually realized as a distance between points of the rational space $\mathbb{Q}^n$, does there exist a finite graph $G$ that appears as a subgraph of $G(\mathbb{Q}^n, d)$ but not as a subgraph of $G(\mathbb{R}^{n-1}, 1)$? We answer this question affirmatively for $n \leq 5$, and along the way, resolve a few related questions as well.
Short proofs of rainbow matching results
Published
• View Publication
• BIB
A subgraph of an edge-coloured graph is called rainbow if all its edges have distinct colours. The study of rainbow subgraphs goes back to the work of Euler on Latin squares and has been the focus of extensive research ever since. Many conjectures in this area roughly say that 'every edge coloured graph of a certain type contains a rainbow matching using every colour'. In this paper we introduce a versatile 'sampling trick', which allows us to obtain short proofs of old results as well as to solve asymptotically some well known conjectures.
- We give a simple proof of Pokrovskiy's asymptotic version of the Aharoni-Berger conjecture with greatly improved error term.
- We give the first asymptotic proof of the 'non-bipartite' Aharoni-Berger conjecture, solving two conjectures of Aharoni, Berger, Chudnovsky and Zerbib.
- We give a very short asymptotic proof of Grinblat's conjecture (first obtained by Clemens, Ehrenmüller, and Pokrovskiy). Furthermore, we obtain a new asymptotically tight bound for Grinblat's problem as a function of edge multiplicity of the corresponding multigraph.
- We give the first asymptotic proof of a 30 year old conjecture of Alspach.
Ambitropical geometry, hyperconvexity and zero-sum games
Shapley operators of undiscounted zero-sum two-player games are order-preserving maps that commute with the addition of a constant. We characterize the fixed point sets of Shapley operators, in finite dimension (i.e., for games with a finite state space). Some of these characterizations are of a lattice theoretical nature, whereas some other rely on metric or tropical geometry. More precisely, we show that fixed point sets of Shapley operators are special instances of hyperconvex spaces: they are sup-norm non-expansive retracts of $\R^n$, and also lattices in the induced partial order. Moreover, they retain properties of convex sets, with a notion of ``convex hull'' defined only up to isomorphism. This provides an effective construction of the injective hull or tight span, in the case of additive cones. For deterministic games with finite action spaces, these fixed point sets are supports of polyhedral complexes, with a cell decomposition attached to stationary strategies of the players, in which each cell is an alcoved polyhedron of $A_n$ type. We finally provide an explicit local representation of the latter fixed point sets, as polyhedral fans canonically associated to lattices included in the Boolean hypercube.