Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Lattice angles of lattice polygons
Published
• View Publication
• BIB
This paper is dedicated to a lattice analog to the classical ``sum of interior angles of a polygon theorem''. In 2008, the first formula expressing conditions on the geometric continued fractions for lattice angles of triangles was derived, while the cases of $n$-gons for $n > 3$ remained unresolved. In this paper, we provide the complete solution for all integer $n$. The main results are based on recent advances in geometry of continued fractions.
Nil-Hecke rings and the Schubert calculus
Published
• View Publication
• BIB
The purpose of the present notes is to give a self-contained exposition on the use of the techniques of Nil-Hecke algebras in the localization approach to the equivariant Schubert calculus for cohomology of flag varieties. We also demonstrate how these techniques can be applied to non-crystallographic root systems as well as to study (connective) $K$-theory of flag varieties.
Hypergraph anti-Ramsey theorems
Published
• View Publication
• BIB
The anti-Ramsey number $\mathrm{ar}(n,F)$ of an $r$-graph $F$ is the minimum number of colors needed to color the complete $n$-vertex $r$-graph to ensure the existence of a rainbow copy of $F$. We establish a removal-type result for the anti-Ramsey problem of $F$ when $F$ is the expansion of a hypergraph with a smaller uniformity. We present two applications of this result. First, we refine the general bound $\mathrm{ar}(n,F) = \mathrm{ex}(n,F_{-}) + o(n^r)$ proved by Erd{\H o}s--Simonovits--S{\' o}s, where $F_{-}$ denotes the family of $r$-graphs obtained from $F$ by removing one edge. Second, we determine the exact value of $\mathrm{ar}(n,F)$ for large $n$ in cases where $F$ is the expansion of a specific class of graphs. This extends results of Erd{\H o}s--Simonovits--S{\' o}s on complete graphs to the realm of hypergraphs.
Structure and growth of $\mathbb{R}$-bonacci words
Published in S. Dovgal and S.Kirgizov, Structure and growth of $\mathbb{R}$-bonacci words, The Electronic Journal of Combinatorics, 32(3), Article P3.32, 2025
• View Publication
• BIB
A binary word is called $q$-decreasing, for $q>0$, if inside this word each of length-maximal (in the local sense) occurrences of a factor of the form $0^a1^b$, $a>0$, satisfies $q \cdot a > b$. We bijectively link $q$-decreasing words with certain prefixes of the cutting sequence of the line $y=qx$. We show that for any real positive $q$ the number of $q$-decreasing words of length $n$ grows as $C_q \cdot Φ(q)^n$ for some constant $C_q$ which depends on $q$ but not on $n$. From previous works, it is already known that $Φ(1)$ is the golden ratio, $Φ(2)$ is equal to the tribonacci constant, $Φ(k)$ is $(k+1)$-bonacci constant. We prove that the function $Φ(q)$ is strictly increasing, discontinuous at every positive rational point, and exhibits a fractal structure related to the Stern-Brocot tree and Minkowski's question mark function.
EvenQuads Game and Error-Correcting Codes
Published
• View Publication
• BIB
EvenQuads is a new card game that is a generalization of the SET game, where each card is characterized by three attributes, each taking four possible values. Four cards form a quad when, for each attribute, the values are the same, all different, or half and half. Given $\ell$ cards from the deck of EvenQuads, we can build an error-correcting linear binary code of length $\ell$ and Hamming distance 4. The quads correspond to codewords of weight 4. Error-correcting codes help us calculate the possible number of quads when given up to 8 cards. We also estimate the number of cards that do not contain quads for decks of different sizes. In addition, we discuss properties of error-correcting codes built on semimagic, magic, and strongly magic quad squares.
Caylerian polynomials
Published
• View Publication
• BIB
The Eulerian polynomials enumerate permutations according to their number of descents. We initiate the study of descent polynomials over Cayley permutations, which we call Caylerian polynomials. Some classical results are generalized by linking Caylerian polynomials to Burge words and Burge matrices. The $γ$-nonegativity of the two-sided Eulerian polynomials is reformulated in terms of Burge structures. Finally, Cayley permutations with a prescribed ascent set are shown to be counted by Burge matrices with fixed row sums.
On constructing bent functions from cyclotomic mappings
Published
• View Publication
• BIB
We study a new method of constructing Boolean bent functions from cyclotomic mappings. Three generic constructions are obtained by considering different branch functions such as Dillon functions, Niho functions and Kasami functions over multiplicative cosets and additive cosets respectively. As a result, several new explicit infinite families of bent functions and their duals are derived. We demonstrate that some previous constructions are special cases of our simple constructions. In addition, by studying their polynomial forms, we observe that the last construction provides some examples which are EA-inequivalent to five classes of monomials, Dillon type and Niho type polynomials.
Subgraph densities and scaling limits of random graphs with a prescribed modular decomposition
Published
• View Publication
• BIB
We consider large uniform labeled random graphs in different classes with prescribed decorations in their modular decomposition. Our main result is the estimation of the number of copies of every graph as an induced subgraph. As a consequence, we obtain the convergence of a uniform random graph in such classes to a Brownian limit object in the space of graphons.
Our proofs rely on combinatorial arguments, computing generating series using the symbolic method and deriving asymptotics using singularity analysis.
Twins in ordered hyper-matchings
Published
• View Publication
• BIB
An ordered $r$-matching of size $n$ is an $r$-uniform hypergraph on a linearly ordered set of vertices, consisting of $n$ pairwise disjoint edges. Two ordered $r$-matchings are isomorphic if there is an order-preserving isomorphism between them. A pair of twins in an ordered $r$-matching is formed by two vertex disjoint isomorphic sub-matchings. Let $t^{(r)}(n)$ denote the maximum size of twins one may find in every ordered $r$-matching of size $n$.
By relating the problem to that of largest twins in permutations and applying some recent Erdős-Szekeres-type results for ordered matchings, we show that $t^{(r)}(n)=Ω\left(n^{\frac{3}{5\cdot(2^{r-1}-1)}}\right)$ for every fixed $r\geqslant 2$. On the other hand, $t^{(r)}(n)=O\left(n^{\frac{2}{r+1}}\right)$, by a simple probabilistic argument. As our main result, we prove that, for almost all ordered $r$-matchings of size $n$, the size of the largest twins achieves this bound.
A combinatorial construction of the moduli space of flowlines in discrete Morse theory
We construct the moduli space of index 2 flowlines of a discrete Morse function, giving a new proof that the Morse differential squares to zero in discrete Morse homology.
The mixed Schur transform: efficient quantum circuit and applications
The Schur transform, which block-diagonalizes the tensor representation $U^{\otimes n}$ of the unitary group $\mathbf{U}_d$ on $n$ qudits, is an important primitive in quantum information and theoretical physics. We give a generalization of its quantum circuit implementation due to Bacon, Chuang, and Harrow (SODA 2007) to the case of mixed tensor $U^{\otimes n} \otimes \bar{U}^{\otimes m}$, where $\bar{U}$ is the dual representation. This representation is the symmetry of unitary-equivariant channels, which find various applications in quantum majority vote, multiport-based teleportation, asymmetric state cloning, black-box unitary transformations, etc. The "mixed" Schur transform contains several natural extensions of the representation theory used in the Schur transform, in which the main ingredient is a duality between the mixed tensor representations and the walled Brauer algebra. Another element is an efficient implementation of a "dual" Clebsch-Gordan transform for $\bar{U}$. The overall circuit has complexity $\widetilde{O} ((n+m)d^4)$. Finally, we show how the mixed Schur transform enables efficient implementation of unitary-equivariant channels in various settings and discuss other potential applications, including an extension of permutational quantum computing that includes partial transposes.
Exceptional sequences of type $B_n/C_n$ and those in the abelian tube
We examine clusters in the cluster tube of rank $n+1$ using exceptional sequences in the abelian tube of rank $n+1$. Although the abelian tube has more exceptional sequences than the module categories of type $B_{n}/C_{n}$, we obtain a bijection between the set of signed exceptional sequences of any length in these categories. This bijection gives a reinterpretation of the formula of Buan-Marsh-Vatne comparing clusters of type $B_n/C_n$ with maximal rigid objects in the cluster tube of rank $n+1$. The bijection passes through the set of "augmented" rooted labeled trees.
On Cayley algorithm for double partition
A double partition problem asks for a number of nonnegative integer solutions to a system of two linear Diophantine equations with integer coefficients. Artur Cayley suggested a reduction of a double partition to a sum of scalar partitions with an algorithm subject to a set of conditions. We show that when these conditions are not satisfied and the original algorithm fails its modification solves the reduction problem.
Outerplanar Turán number of a cycle
A graph is outerplanar if it has a planar drawing for which all vertices belong to the outer face of the drawing. Let $H$ be a graph. The outerplanar Turán number of $H$, denoted by $ex_\mathcal{OP}(n,H)$, is the maximum number of edges in an $n$-vertex outerplanar graph which does not contain $H$ as a subgraph. In 2021, L. Fang et al. determined the outerplanar Turán number of cycles and paths. In this paper, we use techniques of dual graph to give a shorter proof for the sharp upperbound of $ex_\mathcal{OP}(n,C_k)\leq \frac{(2k - 5)(kn - k - 1)}{k^2 - 2k - 1}$.
Lollipop and Cubic Weight Functions for Graph Pebbling
Published
• View Publication
• BIB
Given a configuration of pebbles on the vertices of a graph $G$, a pebbling move removes two pebbles from a vertex and puts one pebble on an adjacent vertex. The pebbling number of a graph $G$ is the smallest number of pebbles required such that, given an arbitrary initial configuration of pebbles, one pebble can be moved to any vertex of $G$ through some sequence of pebbling moves. Through constructing a non-tree weight function for $Q_4$, we improve the weight function technique, introduced by Hurlbert and extended by Cranston et al., that gives an upper bound for the pebbling number of graphs. Then, we propose a conjecture on weight functions for the $n$-dimensional cube. We also construct a set of valid weight functions for variations of lollipop graphs, extending previously known constructions.
Proximity and Remoteness in Graphs: a survey
Published
• View Publication
• BIB
The proximity $π= π(G)$ of a connected graph $G$ is the minimum, over all vertices, of the average distance from a vertex to all others. Similarly, the maximum is called the remoteness and denoted by $ρ= ρ(G)$. The concepts of proximity and remoteness, first defined in 2006, attracted the attention of several researchers in Graph Theory. Their investigation led to a considerable number of publications. In this paper, we present a survey of the research work.
Direct sum graph of the subspaces of a finite dimensional vector space over finite fields
Published
• View Publication
• BIB
In this paper, we introduce a new graph structure, called the $direct~ sum ~graph$ on a finite dimensional vector space. We investigate the connectivity, diameter and the completeness of $Γ_{U\oplus W}(\mathbb{V})$. Further, we find its domination number and independence number. We also determine the degree of each vertex in case the base field is finite and show that the graph $Γ_{U\oplus W}(\mathbb{V})$ is not Eulerian. We also show that under some mild conditions the graph $Γ_{U\oplus W}(\mathbb{V})$ is triangulated. We determine the clique number of $Γ_{U\oplus W}(\mathbb{V})$ for some particular cases. Finally, we find the size, girth, edge-connectivity and the chromatic number of $Γ_{U\oplus W}(\mathbb{V})$.
The Lovász Theta Function for Recovering Planted Clique Covers and Graph Colorings
Published
• View Publication
• BIB
The problems of computing graph colorings and clique covers are central challenges in combinatorial optimization. Both of these are known to be NP-hard, and thus computationally intractable in the worst-case instance. A prominent approach for computing approximate solutions to these problems is the celebrated Lovász theta function $\vartheta(G)$, which is specified as the solution of a semidefinite program (SDP), and hence tractable to compute. In this work, we move beyond the worst-case analysis and set out to understand whether the Lovász theta function recovers clique covers for random instances that have a latent clique cover structure, possibly obscured by noise. We answer this question in the affirmative and show that for graphs generated from the planted clique model we introduce in this work, the SDP formulation of $\vartheta(G)$ has a unique solution that reveals the underlying clique-cover structure with high-probability. The main technical step is an intermediate result where we prove a deterministic condition of recovery based on an appropriate notion of sparsity.
The Beauty of Roots
Published in Notices Amer. Math. Soc. 70 (2023), 1495-1497
• View Publication
• BIB
A "Littlewood polynomial" is a polynomial whose coefficients are all 1 or -1. The set of all complex roots of all Littlewood polynomials exhibits many complicated, beautiful and fascinating patterns. Some fractal regions of this set closely resemble "dragon sets" formed by iterated function systems. A heuristic argument for this is known, but no precise theorem along these lines has been proved. We invite the reader to try.
The multiplicity of the zero Laplacian eigenvalue of uniform hypertrees
In this paper, the Laplacian characteristic polynomial of uniform hypergraphs with cut vertices or pendant edges and the Laplacian matching polynomial of uniform hypergraphs are characterized.The multiplicity of the zero Laplacian eigenvalue of uniform hypertrees is given, which proves the conjecture in \cite{zheng2023zero} (The zero eigenvalue of the Laplacian tensor of a uniform hypergraph, Linear and Multilinear Algebra, (2023) Doi:10.1080/03081087.2023.2172541).