Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Characterization of Equimatchable Even-Regular Graphs
A graph is called equimatchable if all of its maximal matchings have the same size. Due to Eiben and Kotrbčík,, any connected graph with odd order and independence number $α(G)$ at most $2$ is equimatchable. Akbari et al. showed that for any odd number $r$, a connected equimatchable $r$-regular graph must be either the complete graph $K_{r+1}$ or the complete bipartite graph $K_{r,r}$. They also determined all connected equimatchable $4$-regular graphs and proved that for any even $r$, any connected equimatchable $r$-regular graph is either $K_{r,r}$ or factor-critical. In this paper, we confirm that for any even $r\ge 6$, there exists a unique connected equimatchable $r$-regular graph $G$ with $α(G)\geq 3$ and odd order.
Combinatorial invariants of finite metric spaces and the Wasserstein arrangement
In 2010, Vershik proposed a new combinatorial invariant of metric spaces given by a class of polytopes that arise in the theory of optimal transport and are called ``Wasserstein polytopes'' or ``Kantorovich-Rubinstein polytopes'' in the literature. Answering a question posed by Vershik, we describe the stratification of the metric cone induced by the combinatorial type of these polytopes through a hyperplane arrangement. Moreover, we study its relationships with the stratification by combinatorial type of the injective hull (i.e., the tight span) and, in particular, with certain types of metrics arising in phylogenetic analysis. We also compute enumerative invariants in the case of metrics on up to six points.
New Results on Periodic Golay Pairs
Published
• View Publication
• BIB
In this paper, we provide algorithmic methods for conducting exhaustive searches for periodic Golay pairs. Our methods enumerate several lengths beyond the currently known state-of-the-art available searches: we conducted exhaustive searches for periodic Golay pairs of all lengths $v \leq 72$ using our methods, while only lengths $v \leq 34$ had previously been exhaustively enumerated. Our methods are applicable to periodic complementary sequences in general. We utilize sequence compression, a method of sequence generation derived in 2013 by Djoković and Kotsireas. We also introduce and implement a new method of "multi-level" compression, where sequences are uncompressed in several steps. This method allowed us to exhaustively search all lengths $v \leq 72$ using less than 10 CPU years. For cases of complementary sequences where uncompression is not possible, we introduce some new methods of sequence generation inspired by the isomorph-free exhaustive generation algorithm of orderly generation. Finally, we pose a conjecture regarding the structure of periodic Golay pairs and prove it holds in many lengths, including all lengths $v \lt 100$. We demonstrate the usefulness of our algorithms by providing the first ever examples of periodic Golay pairs of length $v = 90$. The smallest length for which the existence of periodic Golay pairs is undecided is now $106$.
Infinite families of triangle presentations
A triangle presentation is a combinatorial datum that encodes the action of a group on a $2$-dimensional triangle complex with prescribed links, which is simply transitive on the vertices. We provide the first infinite family of triangle presentations that give rise to lattices in exotic buildings of type $\widetilde{\text{A}_2}$ of arbitrarily large order. Our method also gives rise to infinite families of triangle presentations for other link types, such as opposition complexes in Desarguesian projective planes.
Tree-tubings and the combinatorics of resurgent Dyson-Schwinger equations
Published
• View Publication
• BIB
We give a novel combinatorial interpretation to the perturbative series solutions for a class of Dyson-Schwinger equations. We show how binary tubings of rooted trees with labels from an alphabet on the tubes, and where the labels satisfy certain compatibility constraints, can be used to give series solutions to Dyson-Schwinger equations with a single Mellin transform which is the reciprocal of a polynomial with rational roots, in a fully combinatorial way. Further, the structure of these tubings leads directly to systems of differential equations for the anomalous dimension that are ideally suited for resurgent analysis. We give a general result in the distinct root case, and investigate the effect of repeated roots, which drastically changes the asymptotics and the transseries structure.
Explicit Folded Reed-Solomon and Multiplicity Codes Achieve Relaxed Generalized Singleton Bounds
Published
• View Publication
• BIB
In this paper, we prove that explicit FRS codes and multiplicity codes achieve relaxed generalized Singleton bounds for list size $L\ge1.$ Specifically, we show the following: (1) FRS code of length $n$ and rate $R$ over the alphabet $\mathbb{F}_q^s$ with distinct evaluation points is $\left(\frac{L}{L+1}\left(1-\frac{sR}{s-L+1}\right),L\right)$ list-decodable (LD) for list size $L\in[s]$. (2) Multiplicity code of length $n$ and rate $R$ over the alphabet $\mathbb{F}_p^s$ with distinct evaluation points is $\left(\frac{L}{L+1}\left(1-\frac{sR}{s-L+1}\right),L\right)$ LD for list size $L\in[s]$.
Choosing $s=Θ(1/ε^2)$ and $L=O(1/ε)$, our results imply that both FRS codes and multiplicity codes achieve LD capacity $1-R-ε$ with optimal list size $O(1/ε)$. This exponentially improves the previous state of the art $(1/ε)^{O(1/ε)}$ established by Kopparty et. al. (FOCS 2018) and Tamo (IEEE TIT, 2024). In particular, our results on FRS codes fully resolve a open problem proposed by Guruswami and Rudra (STOC 2006). Furthermore, our results imply the first explicit constructions of $(1-R-ε,O(1/ε))$ LD codes of rate $R$ with poly-sized alphabets.
Our method can also be extended to analyze the list-recoverability (LR) of FRS codes. We provide a tighter radius upper bound that FRS codes cannot be $(\frac{L+1-\ell}{L+1}(1-\frac{mR}{m-1})+o(1),\ell, L)$ LR where $m=\lceil\log_{\ell}{(L+1)}\rceil$. We conjecture this bound is almost tight when $L+1=\ell^a$ for any $a\in\mathbb{N}^{\ge 2}$. To give some evidences, we show FRS codes are $\left(\frac{1}{2}-\frac{sR}{s-2},2,3\right)$ LR, which proves the tightness in the smallest non-trivial case. Our bound refutes the possibility that FRS codes could achieve LR capacity $(1-R-ε, \ell, O(\frac{\ell}ε))$. This implies an intrinsic separation between LD and LR of FRS codes.
A sum rule for $r$-derangements obtained from the Cauchy product of exponential generating functions
We propose a sum rule for $r$-derangements (meaning that the elements are restricted to be in distinct cycles in the cycle decomposition) involving binomial coefficients. The identity, obtained using the Cauchy product of two exponential generating functions, generalizes a known relation for usual derangements.
General position problems in strong and lexicographic products of graphs
Published in Computational and Applied Mathematics (2026) 45:97
• View Publication
• BIB
Outer, dual, and total general position sets are studied on strong and lexicographic products of graphs. Sharp lower and upper bounds are proved for the outer and the dual general position number of strong products and several exact values are obtained. For the lexicographic product, the outer general position number is determined in all the cases, and the dual general position number in many cases. The total general position number is determined for both products. Along the way some results on outer general position sets are also derived.
Derangements in intransitive groups
Published
• View Publication
• BIB
Let $G$ be a nontrivial permutation group of degree $n$. If $G$ is transitive, then a theorem of Jordan states that $G$ has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If $G$ is intransitive, then $G$ may fail to have a derangement, and this can happen even if $G$ has only two orbits, both of which have size $(1/2+o(1))n$. However, we conjecture that if $G$ has two orbits of size exactly $n/2$ then $G$ does have a derangement, and we prove this conjecture when $G$ acts primitively on at least one of the orbits. Equivalently, we conjecture that a finite group is never the union of conjugates of two proper subgroups of the same order, and we prove this conjecture when at least one of the subgroups is maximal. (Feldman also implicitly raised this conjecture on StackExchange.) We also prove the conjecture for soluble groups, almost simple groups and groups of order at most 50000, and we reduce the conjecture to perfect groups. Along the way, we prove a linear variant on Isbell's conjecture regarding derangements of prime-power order, and we highlight connections with intersecting families of permutations and roots of polynomials modulo primes.
On $k$-planar Graphs without Short Cycles
Published
• View Publication
• BIB
We study the impact of forbidding short cycles to the edge density of $k$-planar graphs; a $k$-planar graph is one that can be drawn in the plane with at most $k$ crossings per edge. Specifically, we consider three settings, according to which the forbidden substructures are $3$-cycles, $4$-cycles or both of them (i.e., girth $\ge 5$). For all three settings and all $k\in\{1,2,3\}$, we present lower and upper bounds on the maximum number of edges in any $k$-planar graph on $n$ vertices. Our bounds are of the form $c\,n$, for some explicit constant $c$ that depends on $k$ and on the setting. For general $k \geq 4$ our bounds are of the form $c\sqrt{k}n$, for some explicit constant $c$. These results are obtained by leveraging different techniques, such as the discharging method, the recently introduced density formula for non-planar graphs, and new upper bounds for the crossing number of $2$-- and $3$-planar graphs in combination with corresponding lower bounds based on the Crossing Lemma.
High Temperature Domineering Positions
Domineering is a partizan game where two players have a collection of dominoes which they place on the grid in turn, covering up squares. One player places tiles vertically, while the other places them horizontally; the first player who cannot move loses. It has been conjectured that the highest temperature possible in Domineering is 2. We have developed a program that enables a parallel exhaustive search of Domineering positions with temperatures close to or equal to 2 to allow for analysis of such positions
Degree-balanced decompositions of cubic graphs
Published
• View Publication
• BIB
We show that every cubic graph on $n$ vertices contains a spanning subgraph in which the number of vertices of each degree deviates from $\frac{n}{4}$ by at most $\frac{1}{2}$, up to three exceptions. This resolves the conjecture of Alon and Wei (Irregular subgraphs, Combin. Probab. Comput. 32(2) (2023), 269--283) for cubic graphs.
Equitable factorizations of highly edge-connected graphs: complete characterizations
In this paper, we show that every highly edge-connected graph $G$, under a necessary and sufficient degree condition, can be edge-decomposed into $k$ factors $G_1,\ldots, G_k$ such that for each vertex $v\in V(G_i)$ with $1\le i\le k$, $|d_{G_i}(v)-d_G(v)/k|<1$. This characterization covers graphs having at least $k-1$ vertices with degree not divisible by $k$. In addition, we investigate almost equitable factorizations in arbitrary edge-connected graphs.
Next, we establish a simpler criterion for the existence of factorizations $G_1,\ldots, G_k$ satisfying $d_{G_i}(v)\ge \lfloor d_G(v)/k\rfloor$ for all vertices $v$ (reps. $d_{G_i}(v)\le \lceil d_G(v)/k\rceil$). As an application, we come up with a criterion to determine whether a highly edge-connected graph with $δ(G)\ge δ_1+\cdots+ δ_m$ (resp. $Δ(G)\le Δ_1+\cdots+ Δ_m$) can be edge-decomposed into factors $G_1,\ldots, G_m$ satisfying $δ(G_i)\ge δ_i$ (resp. $Δ(G_i)\le Δ_i$) for all $i$ with $1\le i \le m$, provided that $δ_1+\cdots+ δ_m$ is divisible by an odd number $p$ and $δ_i\ge p-1\ge 2$ (resp. $Δ_1+\cdots+ Δ_m$ is divisible by $p$ and $Δ_i\ge p-1\ge 2$).
For graphs of even order, we replace an odd-edge-connectivity condition. In particular, for the special case $m=2$, we refine the needed odd-edge-connectivity further by giving a sufficient odd-edge-connectivity condition for a graph $G$ to have a partial parity factor $F$ such that for each vertex $v$ with a given parity constraint, $| d_{F}(v)-\varepsilon d_G(v)|< 2$, and for all other vertices $v$, $| d_{F}(v)-\varepsilon d_G(v)|\le 1$, where $\varepsilon $ is a real number and $0< \varepsilon < 1$. Finally we introduce another application on the existence of almost even factorizations of odd-edge-connected graphs.
Lipschitz functions on weak expanders
Published
• View Publication
• BIB
Given a connected finite graph $G$, an integer-valued function $f$ on $V(G)$ is called $M$-Lipschitz if the value of $f$ changes by at most $M$ along the edges of $G$. In 2013, Peled, Samotij, and Yehudayoff showed that random $M$-Lipschitz functions on graphs with sufficiently good expansion typically exhibit small fluctuations, giving sharp bounds on the typical range of such functions, assuming $M$ is not too large. We prove that the same conclusion holds under a relaxed expansion condition and for larger $M$, (partially) answering questions of Peled et al. Our techniques involve a combination of Sapozhenko's graph container methods and entropy methods from information theory.
On $r$-Equichromatic Lines with few points in $\mathbb{C}^2$
Let $P$ be a set of $n$ green and $n - k$ red points in $\mathbb{C}^2$. A line determined by $i$ green and $j$ red points such that $i + j \ge 2$ and $|i - j| \le r$ is called \emph{r-equichromatic}. We establish lower bounds for $1$-equichromatic and $2$-equichromatic lines. In particular, we show that if at most $2n-k-2$ points of $P$ are collinear, then the number of $1$-equichromatic lines passing through at most six points is at least $\frac{1}{4}(6n-k(k+3))$, and if at most $\frac{2}{3}(2n - k)$ points of $P$ are collinear, then the number of $2$-equichromatic lines passing through at most four points is at least $\frac{1}{6}(10n - k(k + 5))$.
On $3$-designs from $PGL(2,q)$
Published
• View Publication
• BIB
The group $PGL(2,q)$ acts $3$-transitively on the projective line $GF(q) \cup \{\infty\}$. Thus, an orbit of its action on the $k$-subsets of the projective line is the block set of a $3$-$(q+1,k,λ)$ design. We find the parameters of the designs formed by the orbit of a block of the form $\langle θ^r \rangle$ or $\langle θ^r \rangle \cup \{ 0\}$, where $θ$ is a primitive element of $GF(q)$.
Perfect state transfer in graphs related to linear groups in two dimensions
Published
• View Publication
• BIB
We construct families of graphs from linear groups $\mathrm{SL}(2,q)$, $\mathrm{GL}(2,q)$ and $\mathrm{GU}(2,q^2)$, where $q$ is an odd prime power, with the property that the continuous-time quantum walks on the associated networks of qubits admit perfect state transfer.
Cluster structures on spinor helicity and momentum twistor varieties
Published
• View Publication
• BIB
We study the homogeneous coordinate rings of partial flag varieties and Grassmannians in their Plücker embeddings and exhibit an embedding of the former into the latter. Both rings are cluster algebras and the embedding respects the cluster algebra structures in the sense that there exists a seed for the Grassmannian that restricts to a seed for the partial flag variety (\textit{i.e.} it is obtained by freezing and deleting some cluster variables).
The motivation for this project stems from the application of cluster algebras in scattering amplitudes: spinor helicity and momentum twistor varieties describe massless scattering without assuming dual conformal symmetry. Both may be obtained from Grassmanninas which model the dual conformal case. They are instances of partial flag varieties and their cluster structures reveal information for the scattering amplitudes. As an application of our main result we exhibit the relation between these cluster algebras.
Pattern-restricted cyclic permutations with a pattern-restricted cycle form
Published
• View Publication
• BIB
In this paper, we consider cyclic permutations that avoid the monotone decreasing permutation $k(k-1)\ldots 21$, whose cycle also demonstrates some pattern avoidance. If the cycle is written in standard form with 1 appearing at the beginning of the cycle and the standard form avoids a pattern of length 3, we find answers in terms of continued fraction generating functions. We also consider the case that every cyclic rotation of the cycle form of the permutation avoids a pattern of length 4 and enumerate two such cases.
Excluding the fork and antifork
Published in Discrete Mathematics, Volume 343, Issue 5, 2020
• View Publication
• BIB
The fork is the tree obtained from the claw $K_{1,3}$ by subdividing one of its edges once, and the antifork is its complement graph. We give a complete description of all graphs that do not contain the fork or antifork as induced subgraphs.