Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Monomial web basis for the SL(N) skein algebra of the twice punctured sphere
Published
• View Publication
• BIB
We give a new proof of a slightly modified version of a result of Queffelec--Rose, by constructing a linear basis for the $\mathrm{SL}(n)$ skein algebra of the twice punctured sphere for any non-zero complex number $q$, excluding finitely many roots of unity of small order. In particular, the skein algebra is a commutative polynomial algebra in $n-1$ generators, where each generator is represented by an explicit $\mathrm{SL}(n)$ web, without crossings, on the surface. This includes the case $q=1$, where the skein algebra is identified with the coordinate ring of the $\mathrm{SL}(n)$ character variety of the twice punctured sphere. The proof of both the spanning and linear independence properties of the basis depends on the so-called $\mathrm{SL}(n)$ quantum trace map, due originally to Bonahon--Wong in the case $n=2$. Two consequences of our method are that the quantum trace map and the so-called splitting map embed the polynomial algebra into the Fock--Goncharov quantum higher Teichmüller space and the Lê--Sikora stated skein algebra, respectively, of the annulus. We end by discussing the relationship with Fock--Goncharov duality.
Artificial intelligence and machine learning generated conjectures with TxGraffiti
\emph{TxGraffiti} is a machine learning and heuristic based artificial intelligence designed to automate the task of conjecturing in mathematics. Since its inception, TxGraffiti has generated many surprising conjectures leading to publication in respectable mathematical journals. In this paper we outline the machine learning and heuristic techniques implemented by TxGraffiti. We also recall its contributions to the mathematical literature and announce a new online version of the program available for anyone curious to explore conjectures in graph theory.
Tightness of the weight-distribution bound for strongly regular polar graphs
Published
• View Publication
• BIB
In this paper we show the tightness of the weight-distribution bound for the positive non-principle eigenvalue of strongly regular (affine) polar graphs and characterise the optimal eigenfunctions. Additionally, we show the tightness of the weight-distribution bound for the negative non-principle eigenvalue of some unitary polar graphs.
A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals
Published in J. Phys. A: Math. Theor. 58 (2025) 215302
• View Publication
• BIB
We introduce and describe a new heuristic method for finding an upper bound on the degree of contextuality and the corresponding unsatisfied part of a quantum contextual configuration with three-element contexts (i.e., lines) located in a multi-qubit symplectic polar space of order two. While the previously used method based on a SAT solver was limited to three qubits, this new method is much faster and more versatile, enabling us to also handle four- to six-qubit cases. The four-qubit unsatisfied configurations we found are quite remarkable. That of an elliptic quadric features 315 lines and has in its core three copies of the split Cayley hexagon of order two having a Heawood-graph-underpinned geometry in common. That of a hyperbolic quadric also has 315 lines but, as a point-line incidence structure, is isomorphic to the dual $\mathcal{DW}(5,2)$ of $\mathcal{W}(5,2)$. Finally, an unsatisfied configuration with 1575 lines associated with all the lines/contexts of the four-qubit space contains a distinguished $\mathcal{DW}(5,2)$ centered on a point-plane incidence graph of PG$(3,2)$. The corresponding configurations found in the five-qubit space exhibit a considerably higher degree of complexity, except for a hyperbolic quadric, whose 6975 unsatisfied contexts are compactified around the point-hyperplane incidence graph of PG$(4,2)$. The most remarkable unsatisfied patterns discovered in the six-qubit space are a couple of disjoint split Cayley hexagons (for the full space) and a subgeometry underpinned by the complete bipartite graph $K_{7,7}$ (for a hyperbolic quadric).
Toric degenerations and Newton-Okounkov bodies
In recent times, a wide variety of combinatorics has been introduced in order to solve problems from algebraic geometry. Newton-Okounkov bodies and tropical geometry are two such combinatorial theories. As shown by Kaveh and Manon, there is a certain correspondence between these two. Building on this correspondence, and exploiting the link of both theories to toric degenerations, Harada and Escobar obtained their wall-crossing result for prime cones. This result states that moving between two adjacent prime maximal cones in a tropical variety corresponds to a mutation between the associated Newton-Okounkov bodies of these cones. In this thesis, we provide a method for applying the wall-crossing result to non-prime cones. Our approach uses a procedure developed by Bossinger, Lamboglia, Mincheva and Mohammadi in order to compute an embedding which changes a tropical variety in such a way that a non-prime cone becomes prime. Assuming that adjacent cones stay adjacent, the wall-crossing result can then be applied in this new embedding. Building on computations by Clarke, Mohammadi and Zaffalon, we show that for Gr(3,6), this approach works. We compute the new embedding and its tropicalization in this case, and study the relation between cones in the new embedding and the original embedding.
Metric dimension and Zagreb indices of essential ideal graph of a finite commutative ring
Let $R$ be a commutative ring with unity. The essential ideal graph $\mathcal{E}_{R}$ of $R$ is a graph whose vertex set consists of all nonzero proper ideals of \textit{R}. Two vertices $\hat{I}$ and $\hat{J}$ are adjacent if and only if $\hat{I}+ \hat{J}$ is an essential ideal. In this paper, we characterize the graph $\mathcal{E}_{R}$ as having a finite metric dimension.
Additionally, we identify that the essential ideal graph and annihilating ideal graph of the ring $\mathbb{Z}_{n}$ are isomorphic whenever $n$ is a product of distinct primes. Also, we estimate the metric dimension of the essential ideal graph of the ring $\mathbb{Z}_{n}$. Furthermore, we determine the topological indices, namely the first and the second Zagreb indices, of $\mathcal{E}_{\mathbb Z_n}$.
Finding Spanning Trees with Perfect Matchings
We investigate the tractability of a simple fusion of two fundamental structures on graphs, a spanning tree and a perfect matching. Specifically, we consider the following problem: given an edge-weighted graph, find a minimum-weight spanning tree among those containing a perfect matching. On the positive side, we design a simple greedy algorithm for the case when the graph is complete (or complete bipartite) and the edge weights take at most two values. On the negative side, the problem is NP-hard even when the graph is complete (or complete bipartite) and the edge weights take at most three values, or when the graph is cubic, planar, and bipartite and the edge weights take at most two values.
We also consider an interesting variant. We call a tree strongly balanced if on one side of the bipartition of the vertex set with respect to the tree, all but one of the vertices have degree $2$ and the remaining one is a leaf. This property is a sufficient condition for a tree to have a perfect matching, which enjoys an additional property. When the underlying graph is bipartite, strongly balanced spanning trees can be written as matroid intersection, and this fact was recently utilized to design an approximation algorithm for some kind of connectivity augmentation problem. The natural question is its tractability in nonbipartite graphs. As a negative answer, it turns out NP-hard to test whether a given graph has a strongly balanced spanning tree or not even when the graph is subcubic and planar.
The extended zero-divisor graph of the amalgamated duplication of a ring along an ideal
Let $R$ be a commutative ring and $I$ be an ideal of $R$. The amalgamated duplication of $R$ along $I$ is the subring $R\Join I:=\{(r,r+i)| r\in R, i\in I\}$ of $R\times R$. This paper investigates the extended zero-divisor graph of the amalgamated duplication of $R$ along $I$. The purpose of this work is to study when $\overlineΓ(R\Join I)$ and $Γ(R\Join I)$ coincide, to characterize when $\overlineΓ(R\Join I)$ is complete, and to compute the diameter and the girth of $\overlineΓ(R\Join I)$.
Erdős-Rogers functions for arbitrary pairs of graphs
Published
• View Publication
• BIB
Let $f_{F,G}(n)$ be the largest size of an induced $F$-free subgraph that every $n$-vertex $G$-free graph is guaranteed to contain. We prove that for any triangle-free graph $F$, \[ f_{F,K_3}(n) = f_{K_2,K_3}(n)^{1 + o(1)} = n^{\frac{1}{2} + o(1)}.\] Along the way we give a slight improvement of a construction of Erd\H os-Frankl-Rödl for the Brown-Erd\H os-Sós $(3r-3,3)$-problem when $r$ is large.
In contrast to our result for $K_3$, for any $K_4$-free graph $F$ containing a cycle, we prove there exists $c_F > 0$ such that $$f_{F,K_4}(n) > f_{K_2,K_4}(n)^{1 + c_F} = n^{\frac{1}{3}+c_F+o(1)}.$$ \iffalse We also observe that our earlier proof for $F=K_3$ generalizes to $f_{F,K_4}(n) = O(\sqrt{n}\log n)$ for all $F$ containing a cycle. \fi
For every graph $G$, we prove that there exists $\varepsilon_G >0$ such that whenever $F$ is a non-empty graph such that $G$ is not contained in any blowup of $F$, then $f_{F,G}(n) = O(n^{1-\varepsilon_G})$. On the other hand, for graph $G$ that is not a clique, and every $\varepsilon>0$, we exhibit a $G$-free graph $F$ such that $f_{F,G}(n) = Ω(n^{1-\varepsilon})$.
Optimal Unimodular Matching
Published
• View Publication
• BIB
We consider sequences of finite weighted random graphs that converge locally to unimodular i.i.d. weighted random trees. When the weights are atomless, we prove that the matchings of maximal weight converge locally to a matching on the limiting tree. For this purpose, we introduce and study unimodular matchings on weighted unimodular random trees as well as a notion of optimality for these objects. In this context, we prove that, in law, there is a unique optimal unimodular matching for a given unimodular tree. We then prove that this law is the local limit of the sequence of matchings of maximal weight. Along the way, we also show that this law is characterised by an equation derived from a message passing algorithm.
On a classification of planar functions in characteristic three
Published
• View Publication
• BIB
Planar functions are functions over a finite field that have optimal combinatorial properties and they have applications in several branches of mathematics, including algebra, projective geometry and cryptography. There are two relevant equivalence relations for planar functions, that are isotopic equivalence and CCZ-equivalence. Classification of planar functions is performed via CCZ-equivalence which arises from cryptographic applications. In the case of quadratic planar functions, isotopic equivalence, coming from connections to commutative semifields, is more general than CCZ-equivalence and isotopic transformations can be considered as a construction method providing up to two CCZ-inequivalent mappings. In this paper, we first survey known infinite classes and sporadic cases of planar functions up to CCZ-equivalence, aiming to exclude equivalent cases and to identify those with the potential to provide additional functions via isotopic equivalence. In particular, for fields of order $3^n$ with $n\le 11$, we completely resolve if and when isotopic equivalence provides different CCZ-classes for all currently known planar functions. Further, we perform an extensive computational investigation on some of these fields and find seven new sporadic planar functions over $\mathbb{F}_{3^6}$ and two over $\mathbb{F}_{3^9}$. Finally, we give new simple quadrinomial representatives for the Dickson family of planar functions.
Matroid Intersection under Minimum Rank Oracle
In this paper, we consider the tractability of the matroid intersection problem under the minimum rank oracle. In this model, we are given an oracle that takes as its input a set of elements and returns as its output the minimum of the ranks of the given set in the two matroids. For the unweighted matroid intersection problem, we show how to construct a necessary part of the exchangeability graph, which enables us to emulate the standard augmenting path algorithm. For the weighted problem, the tractability is open in general. Nevertheless, we describe several special cases where tractability can be achieved, and we discuss potential approaches and the challenges encountered.
On the positive side, we present a solution for the case where no circuit of one matroid is contained within a circuit of the other. Additionally, we propose a fixed-parameter tractable algorithm, parameterized by the maximum size of a circuit of one matroid. We also show that a lexicographically maximal common independent set can be found by the same approach, which leads to a nontrivial approximation ratio for finding a maximum-weight common independent set. On the negative side, we prove that the approach employed for the tractable cases above involves an NP-hard problem in the general case. We also show that if we consider the generalization to polymatroid intersection, even the unweighted problem is hard under the minimum rank oracle.
Feynman checkers: through the looking-glass
Published in Math. Intelligencer 47 (2025), 210-221
• View Publication
• BIB
Feynman gave a famous elementary introduction to quantum theory by discussing the thin-film reflection of light. We make his discussion mathematically rigorous, keeping it elementary, using his other idea. The resulting model leads to accurate quantitative results and allows us to derive a well-known formula from optics. In the process, we get acquainted with mathematical tools such as Smirnov's fermionic observables, transfer matrices, and spectral radii. Quantum walks and the six-vertex model arise as the next step in this direction.
Revisiting sums and products in countable and finite fields
Published in Ergod. Th. Dynam. Sys. 46 (2026) 543-574
• View Publication
• BIB
We establish a polynomial ergodic theorem for actions of the affine group of a countable field $K$. As an application, we deduce--via a variant of Furstenberg's correspondence principle--that for fields of characteristic zero, any "large" set $E\subset K$ contains "many" patterns of the form $\{p(x)+y,xy\}$, for every non-constant polynomial $p(x)\in K[x]$.
Our methods are flexible enough that they allow us to recover analogous density results in the setting of finite fields and, with the aid of a new finitistic variant of Bergelson's "colouring trick", show that for $r\in \mathbb{N}$ fixed, any $r-$colouring of a large enough finite field will contain monochromatic patterns of the form $\{x,p(x)+y,xy\}$.
In a different direction, we obtain a double ergodic theorem for actions of the affine group of a countable field. An adaptation of the argument for affine actions of finite fields leads to a generalisation of a theorem of Shkredov. Finally, to highlight the utility of the aforementioned finitistic "colouring trick", we provide a conditional, elementary generalisation of Green and Sanders' $\{x,y,x+y,xy\}$ theorem.
Unimodality and peak location of the characteristic polynomials of two distance matrices of trees
Published
• View Publication
• BIB
Unimodality of the normalized coefficients of the characteristic polynomial of distance matrices of trees are known and bounds on the location of its peak (the largest coefficient) are also known. Recently, an extension of these results to distance matrices of block graphs was given. In this work, we extend these results to two additional distance-type matrices associated with trees: the Min-4PC matrix and the 2-Steiner distance matrix. We show that the sequences of coefficients of the characteristic polynomials of these matrices are both unimodal and log-concave. Moreover, we find the peak location for the coefficients of the characteristic polynomials of the Min-4PC matrix of any tree on $n$ vertices. Further, we show that the Min-4PC matrix of any tree on $n$ vertices is isometrically embeddable in $\mathbb{R}^{n-1}$ equipped with the $\ell_1$ norm.
Compatible Forts and Maximum Nullity of a Graph
Published
• View Publication
• BIB
We consider bounds on maximum nullity of a graph via transversal numbers of compatible collections of forts. Results include generalizations of theorems from symmetric to combinatorially symmetric matrices, special bases of matrix nullspaces derived from transversal sets, and examples of issues that arise when considering only minimal forts and how to avoid them. We also show an important difference between constructing symmetric and combinatorially symmetric matrices associated to a graph whose nullspaces are supported on collections of disjoint forts.
The chromatic number of 4-dimensional lattices
Published in Indag. Math. (N.S.) 36 (2025) 988-1004
• View Publication
• BIB
The chromatic number of a lattice in n-dimensional Euclidean space is defined as the chromatic number of its Voronoi graph. The Voronoi graph is the Cayley graph on the lattice having the strict Voronoi vectors as generators. In this paper we determine the chromatic number of all 4-dimensional lattices. To achieve this we use the known classification of 52 parallelohedra in dimension 4. These 52 geometric types yield 16 combinatorial types of relevant Voronoi graphs. We discuss a systematic approach to checking for isomorphism of Cayley graphs of lattices. Lower bounds for the chromatic number are obtained from choosing appropriate small finite induced subgraphs of the Voronoi graphs. Matching upper bounds are derived from periodic colorings. To determine the chromatic numbers of these finite graphs, we employ a SAT solver.
Non-crossing permutations for the KP solitons under the Gel'fand-Dickey reductions and the vertex operators
Published
• View Publication
• BIB
We give a classification of the $regular$ soliton solutions of the KP hierarchy, referred to as the $KP solitons$, under the Gel'fand-Dickey $\ell$-reductions in terms of the permutation of the symmetric group. As an example, we show that the regular soliton solutions of the (good) Boussinesq equation as the 3-reduction can have $at ~most$ one resonant soliton in addition to two sets of solitons propagating in opposite directions. We also give a systematic construction of these soliton solutions for the $\ell$-reductions using the vertex operators. In particular, we show that the $non-crossing$ permutation gives the regularity condition for the soliton solutions.
Power Domination and Resolving Power Domination of Fractal Cubic Network
Published
• View Publication
• BIB
In network theory, the domination parameter is vital in investigating several structural features of the networks, including connectedness, their tendency to form clusters, compactness, and symmetry. In this context, various domination parameters have been created using several properties to determine where machines should be placed to ensure that all the places are monitored. To ensure efficient and effective operation, a piece of equipment must monitor their network (power networks) to answer whenever there is a change in the demand and availability conditions. Consequently, phasor measurement units (PMUs) are utilised by numerous electrical companies to monitor their networks perpetually. Overseeing an electrical system which consists of minimum PMUs is the same as the vertex covering the problem of graph theory, in which a subset D of a vertex set V is a power dominating set (PDS) if it monitors generators, cables, and all other components, in the electrical system using a few guidelines. Hypercube is one of the versatile, most popular, adaptable, and convertible interconnection networks. Its appealing qualities led to the development of other hypercube variants. A fractal cubic network is a new variant of the hypercube that can be used as a best substitute in case faults occur in the hypercube, which was wrongly defined in [Eng. Sci. Technol. 18(1) (2015) 32-41]. Arulperumjothi et al. have recently corrected this definition and redefined this variant with the exact definition in [Appl. Math. Comput. 452 (2023) 128037]. This article determines the PDS of the fractal cubic network. Further, we investigate the resolving power dominating set (RPDS), which contrasts starkly with hypercubes, where resolving power domination is inherently challenging.
Principal minors of the distance matrix of a tree
Let $T = ([n], E)$ be a tree and let $D = ( d(i,j) )_{i, j \le n}$ be the distance matrix of $T$. Let $S\subseteq [n]$. We give the first combinatorial proof for a formula to compute the principal minor of $D$ indexed by $S$, namely $\det D[S]$. This generalizes work of Graham and Pollak, as well as more recent works.