natural ↗ reference
4897 papers tagged with this keyword
A note on multiplicative-inverse chaining in finite fields
We consider chaining multiplicative-inverse operations in finite fields under alternating polynomial bases. When using two distinct polynomial bases to alternate the inverse operation we obtain a partition of $\mathbb F_{p^n}\setminus \mathbb F_p$ into disjoint cycles of even length. This allows a natural interpretation of the cycles as permutation cycles. Finally, we explore chaining under more than two polynomial bases.
An identity relating Catalan numbers to tangent numbers with arithmetic applications
Published
• View Publication
• BIB
We prove a combinatorial identity relating Catalan numbers to tangent numbers arising from the study of peak algebra that was conjectured by Aliniaeifard and Li. This identity leads to the discovery of the intriguing identity $$ \sum_{k=0}^{n-1}{2n\choose 2k+1}2^{2n-2k}(-1)^{k}E_{2k+1}=2^{2n+1}, $$ where $E_{2k+1}$ denote the tangent numbers. Interestingly, the latter identity can be applied to prove that $(n + 1)E_{2n+1}$ is divisible by $2^{2n}$ and the quotient is an odd number, a fact whose traditional proofs require significant calculations. Moreover, we find a natural $q$-analog of the latter identity with a combinatorial proof. This $q$-identity can be applied to prove Foata's divisibility property of the $q$-tangent numbers, which responds to a problem raised by Schützenberger.
Derangements in finite classical groups and characteristic polynomials of random matrices
Published
• View Publication
• BIB
We first obtain explicit upper bounds for the proportion of elements in a finite classical group G with a given characteristic polynomial. We use this to complete the proof that the proportion of elements of a finite classical group G which lie in a proper irreducible subgroup tends to 0 as the dimension of the natural module goes to infinity. This result is analogous to the result of Luczak and Pyber [15] that the proportion of elements of the symmetric group S_n which are contained in a proper transitive subgroup other than the alternating group goes to 0 as n goes to infinity. We also show that the probability that 3 random elements of SL(n,q) invariably generate goes to 0 as n goes to infinity.
On $q$-deformed Markov numbers. Cohn matrices and perfect matchings with weighted edges
Published
• View Publication
• BIB
We consider a natural $q$-deformation of the classical Markov numbers. This $q$-deformation is closely related to $q$-deformed rational numbers recently introduced by two of us. Both notions, those of $q$-rationals and $q$-Markov numbers, are based on invariance with respect to the action of the modular group $mathrm{PSL}(2,\mathbb{Z})$. We prove that every Markov number has a unique $q$-deformation, which is a monic unimodal palindromic Laurent polynomial with positive integer coefficients. The $q$-Markov numbers can be calculated in terms of the traces of $q$-deformed Cohn matrices, and we show that $q$-Markov numbers are independent of the choice of such matrices. We construct a combinatorial model counting perfect matchings of snake graphs with weighted edges.
Unitary actions and equivariant volumes of symmetric edge polytopes
The symmetric edge polytope ($\mathrm{SEP}$) of a finite simple graph $G$ is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. Among the information encoded by these polytopes are the symmetries of the graph, which appear as symmetries of the polytope. We describe the rigid symmetries of these polytopes, and show that $\mathrm{SEP}$s are unitarily equivalent exactly when their associated graphs are isomorphic. We then find an explicit relationship between the relative volumes of the subsets of the symmetric edge polytope $\mathrm{SEP}$ fixed by the natural action of symmetric group elements and the symmetric edge polytopes of smaller graphs to which the subsets are linearly equivalent. We also provide a vertex description of the fixed polytopes and find a description of the symmetric edge polytopes to which they are equivalent, in terms of contractions of the graph $G$ induced by the cycle decompositions of the permutations under which the subsets are fixed. Specializations of our results provide equivalence and volume relationships for fixed polytopes of symmetric edge polytopes of complete graphs (equivalently, for fixed polytopes of root polytopes of type $A_n$), and describe the symmetry group of this family of polytopes.
In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator
We present four open conjectures in graph theory generated by the automated conjecturing system \texttt{TxGraffiti}. Each conjecture is concise, grounded in natural graph invariants, and empirically validated across hundreds of graphs. Despite extensive effort, these statements remain unresolved--defying both proof and counterexample. They are not only mathematical challenges but creative expressions--born of symbolic pattern recognition and mathematician-defined heuristics, refined through years of human dialogue, and now offered back to the community as collaborative artifacts. These conjectures invite not only formal proof, but also reflection on how machines can evoke wonder, spark curiosity, and contribute to the raw material of discovery. By highlighting these problems, we aim to inspire both human mathematicians and AI systems to engage with them--not only to solve them, but to reflect on what it means when machines participate meaningfully in the creative process of mathematical thought.
Clustering, order conditions, and languages of interval exchanges
For any interval exchange transformation $T$ (standard or generalized), if we define a morphism $φ$ from the set of letters to the
set of the return words of a word in the natural coding, respecting the lexicographical order, the word $φv$ clusters (for the Burrows-Wheeler transform) for the permutation of $T$ if and only if the word $v$ clusters for the permutation of the induced map of $T$
on the cylinder $[w]$. When $T$ is symmetrical, all such natural codings are rich languages, and this implies that the two orders above are the same if $w$ is a palindrome. Finally, we generalize the result, proved by using the clustering of a word $w$,
that $ww$ is produced by a generalized interval exchange transformation if and only if $ww$ is produced by a standard interval exchange transformation, to non-clustering $w$: in the symmetric case, $w$ is produced by a
generalized interval exchange transformation if and only if $w$ is produced by a standard interval exchange transformation.
Valuated Delta Matroids and Principal Minors of Hermitian matrices
In this paper we introduce valuated $Δ$-matroids, a natural generalization of two objects of study in matroid theory: valuated matroids and $Δ$-matroids. We show that these objects exhibit nice properties analogous to ordinary valuated matroids. We also show that these objects arise as the valuations of principal minors of a Hermitian matrix over a valued field, generalizing other forms of $Δ$-matroid representability.
Kronecker Coefficients, Crystals, and Bitableaux
What might a combinatorial interpretation of the Kronecker coefficients even look like? We introduce a class of combinatorial objects called bitableaux, which we believe are a natural candidate, and we formulate a purely combinatorial problem which if resolved would give a combinatorial interpretation of the Kronecker coefficients. We make some partial progress on this problem -- enough to extract a combinatorial expansion for a Kronecker product of Schur functions in the monomial basis. We also explain how in this framework finding a combinatorial interpretation for Kronecker coefficients can be thought of as looking for a generalization of the RSK and dual RSK insertion algorithms.
Self-reverse labelings of distance magic graphs
A graph is distance magic if it admits a bijective labeling of its vertices by integers from $1$ up to the order of the graph in such a way that the sum of the labels of all the neighbors of a vertex is independent of a given vertex. We introduce the concept of a self-reverse distance magic labeling of a regular graph which allows for a more compact description of the graph and the labeling in terms of the corresponding quotient graph. We show that the members of several known infinite families of tetravalent distance magic graphs admit such labelings. We present a novel general construction producing a new distance magic graph from two existing ones. Using it we show that for each integer $n \geq 6$, except for the odd integers up to $19$, there exists a connected tetravalent graph of order $n$ admitting a self-reverse distance magic labeling. We also determine all connected tetravalent graphs up to order $30$ admitting a self-reverse distance magic labeling. The obtained data suggests a number of natural interesting questions giving several possibilities for future research.
Reconstruction of real algebraic functions into curves with prescribed Reeb graphs
We discuss reconstructing smooth real algebraic maps onto curves whose Reeb graph is as prescribed. This can be contributed to real algebraic geometry, especially in explicit examples in real algebraic geometry in a new way. The Reeb graph of a smooth function is the space of all connected components of preimages of all single points and a natural quotient space of the manifold with the vertex set being all connected components containing some singular points of it. This gives a strong tool in geometry of manifolds and appeared already in 1950 with Morse functions.
The Reeb graph of the natural height of the unit sphere of dimension at least 2 is a graph with exactly two vertices and one edge. We reconstruct functions, from general finite graphs, conversely. In the differentiable situations, Sharko pioneered this in 2006, followed by Masumoto-Saeki and Michalak, mainly. Related real algebraic situations have been launched and studied by the author. The curve-valued case is first considered here.
A bijection between $321$- and $213$-avoiding permutations preserving $t$-stack-sortability
Published
• View Publication
• BIB
We construct a bijection between $321$- and $213$-avoiding permutations that preserves the property of $t$-stack-sortability. Our bijection transforms natural statistics between these two classes of permutations and proves a refinement of an enumerative conjecture posed by Zhang and Kitaev. This work contributes further to the long-standing line of research on bijections between length-3 pattern avoiding permutations. Increasing binary trees lie at the heart of our approach.
Symmetric quasisymmetric Schur-like functions
Published
• View Publication
• BIB
In this paper we classify when (row-strict) dual immaculate functions and (row-strict) extended Schur functions, as well as their skew generalizations, are symmetric. We also classify when their natural variants, termed advanced functions, are symmetric. In every case our classification recovers classical skew Schur functions.
Supersymmetry Breaking in Graph Quantum Mechanics
Published
• View Publication
• BIB
In this paper, we develop the groundwork for a graph theoretic toy model of supersymmetric quantum mechanics. Using discrete Witten-Morse theory, we demonstrate that finite graphs have a natural supersymmetric structure and use this structure to incorporate supersymmetry into an existing model of graph quantum mechanics. We prove that although key characteristics of continuum supersymmetric systems are preserved on finite unweighted graphs, supersymmetry cannot be spontaneously broken. Finally, we prove new results about the behavior of supersymmetric graph quantum systems under edge rewiring.
Betti numbers of fold products of linear forms
Published
• View Publication
• BIB
The ideals generated by fold products of linear forms are generalizations of powers of defining ideals of star configurations, or of Veronese type ideals, and in this paper we study their Betti numbers. In earlier work, the authors together with Yu Xie showed that these ideals have linear graded free resolution, and in this paper we take the study of the homological information about these ideals to the next natural level.
Entrywise transforms preserving matrix positivity and non-positivity
Published
• View Publication
• BIB
We characterize real and complex functions which, when applied entrywise to square matrices, yield a positive definite matrix if and only if the original matrix is positive definite. We refer to these transformations as sign preservers. Compared to classical work on entrywise preservers of Schoenberg and others, we completely resolve this problem in the harder fixed dimensional setting, extending a similar recent classification of sign preservers obtained for matrices over finite fields. When the matrix dimension is fixed and at least $3$, we show that the sign preservers are precisely the positive scalar multiples of the continuous automorphisms of the underlying field. This is in contrast to the $2 \times 2$ case where the sign preservers are extensions of power functions. These results are built on our classification of $2 \times 2$ entrywise positivity preservers over broader complex domains. Our results yield a complementary connection with a work of Belton, Guillot, Khare, and Putinar (2023) on negativity-preserving transforms. We also extend our sign preserver results to matrices with a structure of zeros, as studied by Guillot, Khare, and Rajaratnam for the entrywise positivity preserver problem. Finally, in the spirit of sign preservers, we address a natural extension to monotone maps, classically studied by Loewner and many others.
A q-Supercongruence Motivated by Higher-Order Generalized Lehmer-Euler Numbers
Certain generalization of Euler numbers was defined in 1935 by Lehmer using cubic roots of unity, as a natural generalization of Bernoulli and Euler numbers. In this paper, we define a new polynomial related to the higher-order generalized Lehmer-Euler numbers and determine its a q-supercongruence.
The quantum Ramsey numbers $QR(2,k)$
Published
• View Publication
• BIB
Operator systems of matrices can be viewed as quantum analogues of finite graphs. This analogy suggests many natural combinatorial questions in linear algebra. We determine the quantum Ramsey numbers $QR(2,k)$ and the lower quantum Turán numbers $T^\downarrow(n, m)$ with $m \geq n/4$. In particular, we conclude that $QR(2,2) = 4$ and confirm Weaver's conjecture that $T^\downarrow(4, 1) = 4$. We also obtain a new result for the existence of anticliques in quantum graphs of low dimension.
Analysing the Moments of the Determinant of a Random Matrix Via Analytic Combinatorics of Permutation Tables
We consider the following natural question. Given a matrix $A$ with i.i.d. random entries, what are the moments of the determinant of $A$? In other words, what is $\mathbb{E}[\det(A)^k]$? While there is a general expression for $\mathbb{E}[\det(A)^k]$ when the entries of $A$ are Gaussian, much less is known when the entries of $A$ have some other distribution.
In two recent papers, we answered this question for $k = 4$ when the entries of $A$ are drawn from an arbitrary distribution and for $k = 6$ when the entries of $A$ are drawn from a distribution which has mean $0$. These analyses used recurrence relations and were highly intricate. In this paper, we show how these analyses can be simplified considerably by using analytic combinatorics on permutation tables.
Newton numbers, vanishing polytopes and algebraic degrees
Consider a polynomial $f$ with a convenient Newton polytope $P$ and generic complex coefficients. By the global version of the Kouchnirenko formula, the hypersurface $\{f = 0\} \subset \mathbb{C}^n$ has the homotopy type of a bouquet of $(n-1)$-spheres, and the number of spheres is given by a certain alternating sum of volumes, called the Newton number $ν(P)$. Using the Furukawa-Ito classification of dual defective sets, we classify convenient Newton polytopes with vanishing Newton numbers as certain Cayley sums called $B_k$-polytopes. These $B_k$-polytopes generalize the $B_1$- and $B_2$-facets appearing in the local monodromy conjecture in the Newton non-degenerate case. Our classification provides a partial solution to Arnold's monotonicity problem.
The local $h^*$-polynomial (or $\ell^*$-polynomial) is a natural invariant of lattice polytopes that refines the $h^*$-polynomial coming from Ehrhart theory. We obtain decomposition formulas for the Newton number, for instance, prove the inequality $ν(P) \ge \ell^*(P;1)$. The $B_k$-polytopes are non-trivial examples of thin polytopes.
We generalize the Newton number in two independent ways: the $\ell$-Newton number and the $e$-Newton number. The $\ell$-Newton number comes from Ehrhart theory, namely, from certain generalizations of Katz-Stapledon decomposition formulas, and its properties are central to our proof that the $B_k$-polytopes are thin. The $e$-Newton number is the number of points of zero-dimensional critical complete intersections. Vanishing of the $e$-Newton number characterizes dual defective sets. Furthermore, the $e$-Newton number calculates algebraic degrees (such as Maximum Likelihood, Euclidean Distance and Polar degrees). For instance, we show that all known formulas for these algebraic degrees in the Newton non-degenerate case are implied by basic properties of the $e$-Newton number.