Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Fibonacci Sumsets and the Gonality of Strip Graphs
Published
• View Publication
• BIB
We provide a new perspective on the divisor theory of graphs, using additive combinatorics. As a test case for this perspective, we compute the gonality of certain families of outerplanar graphs, specifically the strip graphs. The Jacobians of such graphs are always cyclic of Fibonacci order. As a consequence, we obtain several results on the additive properties of Fibonacci numbers.
An upper bound on the per-tile entropy of ribbon tilings
Published
• View Publication
• BIB
This paper considers $n$-ribbon tilings of general regions and their per-tile entropy (the binary logarithm of the number of tilings divided by the number of tiles). We show that the per-tile entropy is bounded above by $\log_2 n$. This bound improves the best previously known bounds of $n-1$ for general regions, and the asymptotic upper bound of $\log_2 (en)$ for growing rectangles, due to Chen and Kargin.
On sets with missing differences in compact abelian groups
Published
• View Publication
• BIB
A much-studied problem posed by Motzkin asks to determine, given a finite set $D$ of integers, the so-called Motzkin density for $D$, i.e., the supremum of upper densities of sets of integers whose difference set avoids $D$. We study the natural analogue of this problem in compact abelian groups. Using ergodic-theoretic tools, this is shown to be equivalent to the following discrete problem: given a lattice $Λ\subset \mathbb{Z}^r$, letting $D$ be the image in $\mathbb{Z}^r/Λ$ of the standard basis, determine the Motzkin density for $D$ in $\mathbb{Z}^r/Λ$. We study in particular the periodicity question: is there a periodic $D$-avoiding set of maximal density in $\mathbb{Z}^r/Λ$? The Greenfeld--Tao counterexample to the periodic tiling conjecture implies that the answer can be negative. On the other hand, we prove that the answer is positive in several cases, including the case rank$(Λ)=1$ (in which we give a formula for the Motzkin density), the case rank$(Λ)=r-1$, and hence also the case $r\leq 3$. It follows that, for up to three missing differences, the Motzkin density in a compact abelian group is always a rational number.
Two constructions of quaternary Legendre pairs of even length
Published
• View Publication
• BIB
We give the first general constructions of even length quaternary Legendre pairs: there is a quaternary Legendre pair of length $(q-1)/2$ for every prime power $q$ congruent to $1$ modulo $4$, and there is a quaternary Legendre pair of length $2p$ for every odd prime $p$ for which $2p-1$ is a prime power.
Short proof of the hypergraph container theorem
Published
• View Publication
• BIB
We present a short and simple proof of the celebrated hypergraph container theorem of Balogh--Morris--Samotij and Saxton--Thomason. On a high level, our argument utilises the idea of iteratively taking vertices of largest degree from an independent set and constructing a hypergraph of lower uniformity which preserves independent sets and inherits edge distribution. The original algorithms for constructing containers also remove in each step vertices of high degree which are not in the independent set. Our modified algorithm postpones this until the end, which surprisingly results in a significantly simplified analysis.
Rainbow perfect matchings in 3-partite 3-uniform hypergraphs
Let $m,n,r,s$ be nonnegative integers such that $n\ge m=3r+s$ and $1\leq s\leq 3$. Let \[δ(n,r,s)=\left\{\begin{array}{ll} n^2-(n-r)^2 &\text{if}\ s=1 , \\[5pt]
n^2-(n-r+1)(n-r-1) &\text{if}\ s=2,\\[5pt] n^2 - (n-r)(n-r-1) &\text{if}\ s=3. \end{array}\right.\]
We show that there exists a constant $n_0 > 0$ such that if $F_1,\ldots, F_n$ are 3-partite 3-graphs with $n\ge n_0$ vertices in each partition class and minimum vertex degree of $F_i$ is at least $δ(n,r,s)+1$ for $i \in [n]$ then $\{F_1,\ldots,F_n\}$ admits a rainbow perfect matching. This generalizes a result of Lo and Markström on the vertex degree threshold for the existence of perfect matchings in 3-partite 3-graphs. In this proof, we use a fractional rainbow matching theory obtained by Aharoni et al. to find edge-disjoint fractional perfect matching.
Key motifs searching in complex dynamical systems
Published
• View Publication
• BIB
Key network motifs searching in complex networks is one of the crucial aspects of network analysis. There has been a series of insightful findings and valuable applications for various scenarios through the analysis of network structures. However, in dynamic systems, slight changes in the choice of dynamic equations and parameters can alter the significance of motifs. The known methods are insufficient to address this issue effectively. In this paper, we introduce a concept of perturbation energy based on the system's Jacobian matrix, and define motif centrality for dynamic systems by seamlessly integrating network topology with dynamic equations. Through simulations, we observe that the key motifs obtained by the proposed energy method present better effective and accurate than them by integrating network topology methods, without significantly increasing algorithm complexity. The finding of key motifs can be used to apply for system control, such as formulating containment policies for the spread of epidemics and protecting fragile ecosystems. Additionally, it makes substantial contribution to a deeper understanding of concepts in physics, such as signal propagation and system's stability.
On odd covers of cliques and disjoint unions
Published
• View Publication
• BIB
Babai and Frankl posed the ``odd cover problem" of finding the minimum cardinality of a collection of complete bipartite graphs such that every edge of the complete graph of order $n$ is covered an odd number of times. In a previous paper with O'Neill, some of the authors proved that this value is always $\lceil n / 2 \rceil$ or $\lceil n / 2 \rceil + 1$ and that it is the former whenever $n$ is a multiple of $8$. In this paper, we determine this value to be $\lceil n / 2 \rceil$ whenever $n$ is odd or equivalent to $18$ modulo $24$. We also further the study of odd covers of graphs which are not complete, wherein edges are covered an odd number of times and nonedges an even number of times by the complete bipartite graphs in the collection. Among various results on disjoint unions, we find the minimum cardinality of an odd cover of a union of odd cliques and of a union of cycles.
Periodicity and perfect state transfer of Grover walks on quadratic unitary Cayley graphs
Published in Quantum Inf. Process. 24, 260 (2025)
• View Publication
• BIB
The quadratic unitary Cayley graph $\mathcal{G}_{\mathbb{Z}_n}$ has vertex set $\mathbb{Z}_n: =\{0,1, \ldots ,n-1\}$, where two vertices $u$ and $v$ are adjacent if and only if $u - v$ or $v-u$ is a square of some units in $\mathbb{Z}_n$. This paper explores the periodicity and perfect state transfer of Grover walks on quadratic unitary Cayley graphs. We determine all periodic quadratic unitary Cayley graphs. From our results, it follows that there are infinitely many integral as well as non-integral graphs that are periodic. Additionally, we also determine the values of $n$ for which the quadratic unitary Cayley graph $\mathcal{G}_{\mathbb{Z}_n}$ exhibits perfect state transfer.
Generalizing the Index of the $u$-Deformed Homogeneous Polynomials and Generating Functions for $\mathrm{R}_{-n}(x,y;q|u)$
This paper introduces the $u$-deformed homogeneous functions $\mathrm{R}_α(x,y;u|q)$, for all $α\in\mathbb{C}$. Basic properties of the functions $\mathrm{R}_α(x,y;u|q)$ are given, along with recurrence relations, their $q$-difference equation, and representations. Generating functions for the functions $\mathrm{R}_{-n}(x,y;u|q)$ via the $u$-deformed $q$-exponential operator E$(qD_{q}|u)$, when $u=q^b,q^{b+1/2}$, $b\geq1$, are obtained. This allows us to obtain some $q^b$-series and $q^{b+1/2}$-series. Additionally, transformation formulas for basic hypergeometric series $_{1}φ_{1}$ and $_{1}φ_{2}$ are derived.
Variants of Conway Checkers and k-nacci Jumping
Published
• View Publication
• BIB
Conway Checkers is a game played with a checker placed in each square of the lower half of an infinite checkerboard. Pieces move by jumping over an adjacent checker, removing the checker jumped over. Conway showed that it is not possible to reach row 5 in finitely many moves by weighting each cell in the board by powers of the golden ratio such that no move increases the total weight. Other authors have considered the game played on many different boards, including generalising the standard game to higher dimensions. We work on a board of arbitrary dimension, where we allow a cell to hold multiple checkers and begin with m checkers on each cell. We derive an upper bound and a constructive lower bound on the height that can be reached, such that the upper bound almost never fails to be equal to the lower bound. We also consider the more general case where instead of jumping over 1 checker, each checker moves by jumping over k checkers, and again show the maximum height reachable lies within bounds that are almost always equal.
Reduced words for reflections in Weyl groups
The reflections in a Coxeter group are defined as conjugates of a single generator, and thus admit palindromic expressions as products of generators. Our main result gives closed formulas providing a palindromic reduced expression for each reflection in any finite Weyl group. There exist algorithmic methods for determining such reduced expressions, but explicit formulas have not been recorded outside of well-known special cases.
On the Edge-Connectivity of the Square of a Graph
Published
• View Publication
• BIB
Let $G$ be a connected graph. The edge-connectivity of $G$, denoted by $λ(G)$, is the minimum number of edges whose removal renders $G$ disconnected. Let $δ(G)$ be the minimum degree of $G$. It is well-known that $λ(G) \leq δ(G)$, and graphs for which equality holds are said to be maximally edge-connected. The square $G^2$ of $G$ is the graph with the same vertex set as $G$, in which two vertices are adjacent if their distance is not more that $2$.
In this paper we present results on the edge-connectivity of the square of a graph. We show that if the minimum degree of a connected graph $G$ of order $n$ is at least $\lfloor \frac{n+2}{4}\rfloor$, then $G^2$ is maximally edge-connected, and this result is best possible. We also give lower bounds on $λ(G^2)$ for the case that $G^2$ is not maximally edge-connected: We prove that $λ(G^2) \geq κ(G)^2 + κ(G)$, where $κ(G)$ denotes the connectivity of $G$, i.e., the minimum number of vertices whose removal renders $G$ disconnected, and this bound is sharp. We further prove that $λ(G^2) \geq \frac{1}{2}λ(G)^{3/2} - \frac{1}{2} λ(G)$, and we construct an infinite family of graphs to show that the exponent $3/2$ of $λ(G)$ in this bound is best possible.
An Improved Turán Exponent for 2-Complexes
Published
• View Publication
• BIB
The topological Turán number $\mathrm{ex}_{\hom}(n,X)$ of a 2-dimensional simplicial complex $X$ asks for the maximum number of edges in an $n$-vertex 3-uniform hypergraph containing no triangulation of $X$ as a subgraph. We prove that the Turán exponent of any such space $X$ is at most $8/3$, i.e., that $\mathrm{ex}_{\hom}(n,X)\leq Cn^{8/3}$ for some constant $C=C(X)$. This improves on the previous exponent of $3-1/5$, due to Keevash, Long, Narayanan, and Scott. Additionally, we present new streamlined proofs of the asymptotically tight upper bounds for the topological Turán numbers of the torus and real projective plane, which can be used to derive asymptotically tight upper bounds for all surfaces.
Interlacing triangles, Schubert puzzles, and graph colorings
Published in Communications in Mathematical Physics, Volume 406, article number 118, (2025)
• View Publication
• BIB
We show that interlacing triangular arrays, introduced by Aggarwal-Borodin-Wheeler to study certain probability measures, can be used to compute structure constants for multiplying Schubert classes in the $K$-theory of Grassmannians, in the cohomology of their cotangent bundles, and in the cohomology of partial flag varieties. Our results are achieved by establishing a splitting lemma, allowing for interlacing triangular arrays of high rank to be decomposed into arrays of lower rank, and by constructing a bijection between interlacing triangular arrays of rank 3 with certain proper vertex colorings of the triangular grid graph that factors through generalizations of Knutson-Tao puzzles. Along the way, we prove one enumerative conjecture of Aggarwal-Borodin-Wheeler and disprove another.
Monotonicity in Quadratically Regularized Linear Programs
Published
• View Publication
• BIB
In optimal transport, quadratic regularization is a sparse alternative to entropic regularization: the solution measure tends to have small support. Computational experience suggests that the support decreases monotonically to the unregularized counterpart as the regularization parameter is relaxed. We find it useful to investigate this monotonicity more abstractly for linear programs over polytopes, regularized with the squared norm. Here, monotonicity can be stated as an invariance property of the curve mapping the regularization parameter to the solution: once the curve enters a face of the polytope, does it remain in that face forever? We show that this invariance is equivalent to a geometric property of the polytope, namely that each face contains the minimum norm point of its affine hull. Returning to the optimal transport problem and its associated Birkhoff polytope, we verify this property for low dimensions, but show that it fails for marginals with five or more point masses. As a consequence, the conjectured monotonicity of the support fails in general, even if experiments suggest that monotonicity holds for many cost matrices. Separately, we apply our geometric point of view to a problem of Erdős, namely to characterize the doubly stochastic matrices whose maximal trace equals their squared norm.
Chern-Simons theories with defects, Rogers-Ramanujan type functions and eta-products
We study the line defect half-indices of 3d $\mathcal{N}=2$ supersymmetric Chern-Simons (CS) theories with (special)unitary, symplectic, orthogonal and exceptional gauge groups. We find that they have several beautiful infinite product $q$-series expressions in terms of Ramanujan's general theta function. For the theories with fundamental chiral multiplets, the pairs of the Neumann half-indices and one-point functions of the fundamental Wilson lines form a basis for the line defect indices in terms of the Rogers-Ramanujan type functions. Furthermore, the theories with an adjoint chiral admit the expressions as the eta-products. In particular, for the $SU(N)_{-2N}$ CS theory, there is a one-to-one correspondence between the BPS boundary local operators and the $N$-core partitions.
Minimum Synthesis Cost of CNOT Circuits
Published
• View Publication
• BIB
Optimizing the size and depth of CNOT circuits is an active area of research in quantum computing and is particularly relevant for circuits synthesized from the Clifford + T universal gate set. Although many techniques exist for finding short syntheses, it is difficult to assess how close to optimal these syntheses are without an exponential brute-force search. We use a novel method of categorizing CNOT gates in a synthesis to obtain a strict lower bound computable in $O(n^ω)$ time on the minimum number of gates needed to synthesize a given CNOT circuit, where $ω$ denotes the matrix multiplication constant and $n$ is the number of qubits involved. Applying our framework, we prove that $3(n-1)$ gate syntheses of the $n$-cycle circuit are optimal and provide insight into their structure. We also generalize this result to permutation circuits. For linear reversible circuits with $ n = 3, 4, 5$ qubits, our lower bound is optimal for 100%, 67.7%, and 23.1% of circuits and is accurate to within one CNOT gate in 100%, 99.5%, and 83.0% of circuits respectively. We also introduce an algorithm that efficiently determines whether certain circuits can be synthesized with fewer than $n$ CNOT gates.
Congruence Classes of Simplex Structures in Finite Field Vector Spaces
We study a generalization of the Erdős-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that $||p(v_i) - p(v_j)|| = ||p'(v_i) - p'(v_j)||$. What is the infimum of $s$ such that for any subset $E\subset \mathbb{F}_q^d$ with $|E| \gtrsim q^s$, $E$ contains a positive proportion of congruence classes of $G$ in $\mathbb{F}_q^d$? Bennett et al. and McDonald used group action methods to prove results in the case of $k$-simplices. The work of Iosevich, Jardine, and McDonald as well as that of Bright et al. have proved results in the case of trees and trees of simplices, utilizing the inductive nature of these graphs.
Recently, Aksoy, Iosevich, and McDonald combined these two approaches to obtain nontrivial bounds on the "bowtie" graph, two triangles joined at a vertex. Their proof relies on an application of the Hadamard three-lines theorem to pass to a different graph. We develop novel geometric techniques called branch shifting and simplex unbalancing to reduce our analysis of trees of simplices to a much smaller class of simplex structures. This allows us to establish a framework that handles a wide class of graphs exhibiting a combination of rigid and loose behavior. In $\mathbb{F}_q^2$, this approach gives new nontrivial bounds on chains and trees of simplices. In $\mathbb{F}_q^d$, we improve on the results of Bright et al. in many cases and generalize their work to a wider class of simplex trees. We discuss partial progress on how this framework can be extended to more general simplex structures, such as cycles of simplices and structures of simplices glued together along an edge or a face.
Domination Polynomials of the Grid, the Cylinder, the Torus, and the King Graph
We present an algorithm to compute the domination polynomial of the $m \times n$ grid, cylinder, and torus graphs and the king graph. The time complexity of the algorithm is $O(m^2n^2 λ^{2m})$ for the torus and $O(m^3n^2λ^m)$ for the other graphs, where $λ= 1+\sqrt{2}$. The space complexity is $O(mnλ^m)$ for all of these graphs. We use this algorithm to compute domination polynomials for graphs up to size $24\times 24$ and the total number of dominating sets for even larger graphs. This allows us to give precise estimates of the asymptotic growth rates of the number of dominating sets. We also extend several sequences in the Online Encyclopedia of Integer Sequences.