Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Invariant algebras of matrices and symmetric polynomials of partitions
Published
• View Publication
• BIB
For a field $R$ of characteristic $p\ge 0$ and a matrix $c$ in the full $n\times n$ matrix algebra $M_n(R)$ over $R$, let $S_n(c,R)$ be the centralizer algebra of $c$ in $M_n(R)$. We show that $S_n(c,R)$ is a Frobenius-finite, $1$-Auslander-Gorenstein, and gendo-symmetric algebra, and that the extension $S_n(c,R)\subseteq M_n(R)$ is separable and Frobenius. Further, we study the isomorphism problem of invariant matrix algebras. Let $σ$ be a permutation in the symmetric group $Σ_n$ and $c_σ$ the corresponding permutation matrix in $M_n(R)$. We give sufficient and necessary conditions for the invariant algebra $S_n(c_σ,R)$ to be semisimple. If $R$ is an algebraically closed field, we establish a combinatoric characterization of when two semisimple invariant $R$-algebras are isomorphic in terms of the cycle types of permutations.
PQ-type adjacency polytopes of join graphs
Published in Discrete and Computational Geometry 70 (2023), 214--235
• View Publication
• BIB
PQ-type adjacency polytopes $\nabla^{\rm PQ}_G$ are lattice polytopes arising from finite graphs $G$. There is a connection between $\nabla^{\rm PQ}_G$ and the engineering problem known as power-flow study, which models the balance of electric power on a network of power generation. In particular, the normalized volume of $\nabla^{\rm PQ}_G$ plays a central role. In the present paper, we focus the case where $G$ is a join graph. In fact, formulas of the $h^*$-polynomial and the normalized volume of $\nabla^{\rm PQ}_G$ of a join graph $G$ are presented. Moreover, we give explicit formulas of the $h^*$-polynomial and the normalized volume of $\nabla^{\rm PQ}_G$ when $G$ is a complete multipartite graph or a wheel graph.
Cubic Equations Through the Looking Glass of Sylvester
Published
• View Publication
• BIB
One can hardly believe that there is still something to be said about cubic equations. To dodge this doubt, we will instead try and say something about Sylvester. He doubtless found a way of solving cubic equations. As mentioned by Rota, it was the only method in this vein that he could remember. We realize that in the generic case Sylvester's magnificent approach aimed at reduced cubic equations boils down to an easy identity expressing a cubic polynomial as a sum of two third powers of linear forms. This leads to Cardano's formula for cubic equations involving the third roots of unity.
A stability result on matchings in 3-uniform hypergraphs
Published
• View Publication
• BIB
Let $n,s,k$ be three positive integers such that $1\leq s\leq(n-k+1)/k$ and let $[n]=\{1,\ldots,n\}$. Let $H$ be a $k$-graph with vertex set $\{1,\ldots,n\}$, and let $e(H)$ denote the number of edges of $H$. Let $ν(H)$ and $τ(H)$ denote the size of a largest matching and the size of a minimum vertex cover in $H$, respectively. Define $A^k_i(n,s):=\{e\in\binom{[n]}{k}:|e\cap[(s+1)i-1]|\geq i\}$ for $2\leq i\leq k$ and $HM^k_{n,s}:=\big\{e\in\binom{[n]}{k}:e\cap[s-1]\neq\emptyset\big\} \cup\big\{S\big\}\cup \big\{e\in\binom{[n]}{k}: s\in e, e\cap S\neq \emptyset\}$, where $S=\{s+1,\ldots,s+k\}$. Frankl and Kupavskii conjectured that if $ν(H)\leq s$ and $τ(H)>s$, then $e(H)\leq \max\{|A^k_2(n,s)|,\ldots ,|A^k_k(n,s)|,|HM^k_{n,s}|\}$. In this paper, we prove this conjecture for $k=3$ and sufficiently large $n$.
Heptagon relations parameterized by simplicial 3-cocycles
We construct a family of heptagon relations -- algebraic imitations of five-dimensional Pachner move 3--4, parameterized by simplicial 3-cocycles.
A Lower Bound on the Average Size of a Connected Vertex Set of a Graph
Published
• View Publication
• BIB
The topic is the average order of a connected induced subgraph of a graph. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average order over all connected graphs. The main result of this paper confirms this conjecture.
Multicolor list Ramsey numbers grow exponentially
Published
• View Publication
• BIB
The list Ramsey number $R_{\ell}(H,k)$, recently introduced by Alon, Bucić, Kalvari, Kuperwasser, and Szabó, is a list-coloring variant of the classical Ramsey number. They showed that if $H$ is a fixed $r$-uniform hypergraph that is not $r$-partite and the number of colors $k$ goes to infinity, $e^{Ω(\sqrt{k})} \le R_{\ell} (H,k) \le e^{O(k)}$. We prove that $R_{\ell}(H,k) = e^{Θ(k)}$ if and only if $H$ is not $r$-partite.
Bounded cutoff window for the non-backtracking random walk on Ramanujan Graphs
Published
• View Publication
• BIB
We prove that the non-backtracking random walk on Ramanujan graphs with large girth exhibits the fastest possible cutoff with a bounded window.
Clique dynamics of locally cyclic graphs with $δ\geq 6$
Published
• View Publication
• BIB
We prove that the clique graph operator $k$ is divergent on a locally cyclic graph $G$ (i.e. $N_G(v)$ is a circle) with minimum degree $δ(G)=6$ if and only if $G$ is $6$-regular. The clique graph $kG$ of a graph $G$ has the maximal complete subgraphs of $G$ as vertices, and the edges are given by non-empty intersections. If all iterated clique graphs of $G$ are pairwise non-isomorphic, the graph $G$ is $k$-divergent; otherwise, it is $k$-convergent.
To prove our claim, we explicitly construct the iterated clique graphs of those infinite locally cyclic graphs with $δ\geq6$ which induce simply connected simplicial surfaces. These graphs are $k$-convergent if the size of triangular-shaped subgraphs of a specific type is bounded from above. We apply this criterion by using the universal cover of the triangular complex of an arbitrary finite locally cyclic graph with $δ=6$, which shows our divergence characterisation.
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
Published
• View Publication
• BIB
We initiate the study of computational complexity of graph coverings, aka locally bijective graph homomorphisms, for {\em graphs with semi-edges}. The notion of graph covering is a discretization of coverings between surfaces or topological spaces, a notion well known and deeply studied in classical topology. Graph covers have found applications in discrete mathematics for constructing highly symmetric graphs, and in computer science in the theory of local computations. In 1991, Abello, Fellows, and Stillwell asked for a classification of the computational complexity of deciding if an input graph covers a fixed target graph, in the ordinary setting (of graphs with only edges). Although many general results are known, the full classification is still open. In spite of that, we propose to study the more general case of covering graphs composed of normal edges (including multiedges and loops) and so-called semi-edges. Semi-edges are becoming increasingly popular in modern topological graph theory, as well as in mathematical physics. They also naturally occur in the local computation setting, since they are lifted to matchings in the covering graph. We show some solvable cases and, in particular, completely characterize the complexity of the already very nontrivial problem of covering one- and two-vertex (multi)graphs with semi-edges. Our NP-hardness results are proven for simple input graphs, and in the case of regular two-vertex target graphs, even for bipartite ones. We remark that our new characterization results also strengthen previously known results for covering graphs without semi-edges, and they in turn apply to an infinite class of simple target graphs with at most two vertices of degree more than two. Some of the results are moreover proven in a more general setting (e.g., finding $k$-tuples of pairwise disjoint perfect matchings in regular graphs).
On Arroyo-Figueroa's Proof that $\mathrm{P} \neq \mathrm{NP}$
We critique Javier Arroyo-Figueroa's paper titled ``The existence of the Tau one-way functions class as a proof that $\mathrm{P} \neq \mathrm{NP}$,'' which claims to prove $\mathrm{P} \neq \mathrm{NP}$ by showing the existence of a class of one-way functions. We summarize our best interpretation of Arroyo-Figueroa's argument, and show why it fails to prove the existence of one-way functions. Hence, we show that Arroyo-Figueroa fails to prove $\mathrm{P} \neq \mathrm{NP}$.
Combinatorics of vertex operators and deformed $W$-algebra of type D$(2,1;α)$
Published
• View Publication
• BIB
We consider sets of screening operators with fermionic screening currents. We study sums of vertex operators which formally commute with the screening operators assuming that each vertex operator has rational contractions with all screening currents with only simple poles. We develop and use the method of $qq$-characters which are combinatorial objects described in terms of deformed Cartan matrix. We show that each qq-character gives rise to a sum of vertex operators commuting with screening operators and describe ways to understand the sum in the case it is infinite.
We discuss combinatorics of the qq-characters and their relation to the q-characters of representations of quantum groups.
We provide a number of explicit examples of the qq-characters with the emphasis on the case of $D(2,1;α)$. We describe a relationship of the examples to various integrals of motion.
2-Arc-transitive Cayley graphs on alternating groups
Published
• View Publication
• BIB
An interesting fact is that most of the known connected $2$-arc-transitive nonnormal Cayley graphs of small valency on finite simple groups are $(\mathrm{A}_{n+1},2)$-arc-transitive Cayley graphs on $\mathrm{A}_n$. This motivates the study of $2$-arc-transitive Cayley graphs on $\mathrm{A}_n$ for arbitrary valency. In this paper, we characterize the automorphism groups of such graphs. In particular, we show that for a non-complete $(G,2)$-arc-transitive Cayley graph on $\mathrm{A}_n$ with $G$ almost simple, the socle of $G$ is either $\mathrm{A}_{n+1}$ or $\mathrm{A}_{n+2}$. We also construct the first infinite family of $(\mathrm{A}_{n+2},2)$-arc-transitive Cayley graphs on $\mathrm{A}_n$.
On the Packing/Covering Conjecture of Infinite Matroids
The Packing/Covering Conjecture was introduced by Bowler and Carmesin motivated by the Matroid Partition Theorem by Edmonds and Fulkerson. A packing for a family $ (M_i: i\inΘ) $ of matroids on the common edge set $ E $ is a system $ (S_i: i\inΘ) $ of pairwise disjoint subsets of $ E $ where $ S_i $ is panning in $ M_i $. Similarly, a covering is a system $ (I_i: i\inΘ) $ with $\bigcup_{i\inΘ} I_i=E $ where $ I_i $ is independent in $ M_i $. The conjecture states that for every matroid family on $ E $ there is a partition $E=E_p \sqcup E_c$ such that $ (M_i \upharpoonright E_p: i\in Θ) $ admits a packing and $ (M_i. E_c: i\in Θ) $ admits a covering. We prove the special case where $ E $ is countable and each $ M_i $ is either finitary or cofinitary. The connection between packing/covering and matroid intersection problems discovered by Bowler and Carmesin can be established for every well-behaved matroid class. This makes possible to approach the problem from the direction of matroid intersection. We show that the generalized version of Nash-Williams' Matroid Intersection Conjecture holds for countable matroids having only finitary and cofinitary components.
Empty simplices of large width
Published in Forum of Mathematics, Sigma 13 (2025) e21
• View Publication
• BIB
An empty simplex is a lattice simplex in which vertices are the only lattice points. We show two constructions leading to the first known empty simplices of width larger than their dimension:
- We introduce cyclotomic simplices and exhaustively compute all the cyclotomic simplices of dimension $10$ and volume up to $2^{31}$. Among them we find five empty ones of width $11$, and none of larger width.
- Using circulant matrices of a very specific form, we construct empty simplices of arbitrary dimension $d$ and width growing asymptotically as $d/\operatorname{arcsinh}(1) \sim 1.1346\,d$.
Kronecker powers of harmonics, polynomial rings, and generalized principal evaluations
Published
• View Publication
• BIB
Our main goal is to compute the decomposition of arbitrary Kronecker powers of the Harmonics of $S_n$. To do this, we give a new way of decomposing the character for the action of $S_n$ on polynomial rings with $k$ sets of $n$ variables. There are two aspects to this decomposition. The first is algebraic, in which formulas can be given for certain restrictions from $GL_n$ to $S_n$ occurring in Schur-Weyl duality. The second is combinatorial. We give a generalization of the $comaj$ statistic on permutations which includes the $comaj$ statistic on standard tableaux. This statistic allows us to write a generalized principal evaluation for Schur functions and Gessel Fundamental quasisymmetric functions.
Diameter and connectivity of finite simple graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple non-complete connected graph on $\{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. Being motivated by the computation of the depth of the binomial edge ideal of $G$, the possible sequences $(n, q, f, d)$ of integers for which there is a finite simple non-complete connected graph $G$ on $\{1, \ldots, n\}$ with $q = κ(G), f = f(G), d = \mathrm{diam}(G)$ satisfying $f + d = n + 2 - q$ will be determined. Furthermore, finite simple non-complete connected graphs $G$ on $\{1, \ldots, n\}$ satisfying $f(G) + \mathrm{diam}(G) = n + 2 - κ(G)$ will be classified.
On Co-Maximal Subgroup Graph of a Group
Published
• View Publication
• BIB
The co-maximal subgroup graph $Γ(G)$ of a group $G$ is a graph whose vertices are non-trivial proper subgroups of $G$ and two vertices $H$ and $K$ are adjacent if $HK=G$. In this paper, we continue the study of $Γ(G)$, especially when $Γ(G)$ has isolated vertices. We define a new graph $Γ^*(G)$, which is obtained by removing isolated vertices from $Γ(G)$. We characterize when $Γ^*(G)$ is connected, a complete graph, star graph, has an universal vertex etc. We also find various graph parameters like diameter, girth, bipartiteness etc. in terms of properties of $G$.
The spanning $k$-trees, perfect matchings and spectral radius of graphs
Published
• View Publication
• BIB
A $k$-tree is a spanning tree in which every vertex has degree at most $k$. In this paper, we provide a sufficient condition for the existence of a $k$-tree in a connected graph with fixed order in terms of the adjacency spectral radius and the signless Laplacian spectral radius, respectively. Also, we give a similar condition for the existence of a perfect matching in a balanced bipartite graph with fixed order and minimum degree.
Exchange properties of finite set-systems
Published
• View Publication
• BIB
In a recent breakthrough, Adiprasito, Avvakumov, and Karasev constructed a triangulation of the $n$-dimensional real projective space with a subexponential number of vertices. They reduced the problem to finding a small downward closed set-system $\cal F$ covering an $n$-element ground set which satisfies the following condition: For any two disjoint members $A, B\in\cal F$, there exist $a\in A$ and $b\in B$ such that either $B\cup\{a\}\in\cal F$ and $A\cup\{b\}\setminus\{a\}\in\cal F$, or $A\cup\{b\}\in\cal F$ and $B\cup\{a\}\setminus\{b\}\in\cal F$. Denoting by $f(n)$ the smallest cardinality of such a family $\cal F$, they proved that $f(n)<2^{O(\sqrt{n}\log n)}$, and they asked for a nontrivial lower bound. It turns out that the construction of Adiprasito et al. is not far from optimal; we show that $2^{(1.42+o(1))\sqrt{n}}\le f(n)\le 2^{(1+o(1))\sqrt{2n\log n}}$.
We also study a variant of the above problem, where the condition is strengthened by also requiring that for any two disjoint members $A, B\in\cal F$ with $|A|>|B|$, there exists $a\in A$ such that $B\cup\{a\}\in\cal F$. In this case, we prove that the size of the smallest $\cal F$ satisfying this stronger condition lies between $2^{Ω(\sqrt{n}\log n)}$ and $2^{O(n\log\log n/\log n)}$.