Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Color rules for cyclic wreath products and semigroup algebras from projective toric varieties
We introduce the notion of "color rules" for computing class functions of $Z_k \wr S_n$, where $Z_k$ is the cyclic group of order $k$ and $S_n$ is the symmetric group on $n$ letters. Using a general sign-reversing involution and a map of order $k$, we give a combinatorial proof that the irreducible decomposition of these class functions is given by a weighted sum over semistandard tableaux in the colors. Since using two colors at once is also a color rule, we are consequently able to decompose arbitrary tensor products of representations whose characters can be computed via color rules. This method extends to class functions of $G \wr S_n$ where $G$ is a finite abelian group. We give a number of applications, including decomposing tensor powers of the defining representation, along with a combinatorial proof of the Murnaghan-Nakayama rule for $Z_k \wr S_n$.
Our main application is to the study of the linear action of $Z_k \wr S_n$ on bigraded affine semigroup algebras arising from the product of projective toric varieties. In the case of the product of projective spaces, our methods give the decomposition of these bigraded characters into irreducible characters, thus deriving equivariant generalizations of Euler-Mahonian identities.
The dimension of sparse and co-sparse random graph orders
A random graph order is a partial order obtained from a random graph on $[n]$ by taking the transitive closure of the adjacency relation. The dimension of the random graph orders from random bipartite graphs $B(n,n,p)$ and from $G(n,p)$ were previously studied when $p=Ω(\log n/n)$ and when $p$ is not too close to 1. There is a conjectured phase transition in the sparse range at $p=1/n$. In this paper, we investigate this conjectured phase transition and estimate the dimension of the partial orders arising from $B(n,n,p)$ and $G(n,p)$ when $p=O(1/n)$. For the random bipartite order, we additionally estimate its dimension in the co-sparse regime, thereby closing all previously open ranges of $p$. Finally, we establish a general upper bound on the dimension of partial orders based on their decompositions into suborders, a result that is of independent interest.
Automatic Bounds on Constant Term Sequences Modulo Primes
This paper provides counterexamples to a previously conjectured upper bound on the first index $n_0$ at which a zero appears in constant term sequences of the form $A_p(n) = ct(P^n) \mod p$, where $P(t) \in \mathbb{Z}[t, t^{-1}]$. The conjecture posited that the first zero must occur at some index $n_0 < p^{\text{deg}(P)}$. We prove an automaton state-based bound for univariate polynomials $n_0 < p^{κ(P, p)}$, where $κ(P, p)$ is the automaticity of $(A_p(n))_{n \geq 0}$ over $\mathbb{F}_p$. We support our theoretical results with randomized experiments on low degree Laurent polynomials and propose the $κ(P, p)$ based bound as a practical alternative to the general worst case bound arising from the Rowland Zeilberger construction.
An Upper Bound on the Number of Generalized Cospectral Mates of Oriented Graphs
This paper examines the spectral characterizations of oriented graphs. Let $Σ$ be an $n$-vertex oriented graph with skew-adjacency matrix $S$. Previous research mainly focused on self-converse oriented graphs, proposing arithmetic conditions for these graphs to be uniquely determined by their generalized skew-spectrum ($\mathrm{DGSS}$). However, self-converse graphs are extremely rare; this paper considers a more general class of oriented graphs $\mathcal{G}_{n}$ (not limited to self-converse graphs), consisting of all $n$-vertex oriented graphs $Σ$ such that $2^{-\left \lfloor \frac{n}{2} \right \rfloor }\det W(Σ)$ is an odd and square-free integer, where $W(Σ)=[e,Se,\dots,S^{n-1}e]$ ($e$ is the all-one vector) is the skew-walk matrix of $Σ$. Given that $Σ$ is cospectral with its converse $Σ^{\rm T}$, there always exists a unique regular rational orthogonal $Q_0$ such that $Q_0^{\rm T}SQ_0=-S$. This study reveals that there exists a deep relationship between the level $\ell_0$ of $Q_0$ and the number of generalized cospectral mates of $Σ$. More precisely, we show, among others, that the maximum number of generalized cospectral mates of $Σ\in\mathcal{G}_{n}$ is at most $2^{t}-1$, where $t$ is the number of prime factors of $\ell_0$. Moreover, some numerical examples are also provided to demonstrate that the above upper bound is attainable. Finally, we also provide a criterion for the oriented graphs $Σ\in\mathcal{G}_{n}$ to be weakly determined by the generalized skew-spectrum ($\mathrm{WDGSS})$.
A 2-distance set with 277 points in the Euclidean space of dimension 23
We construct a $2$-distance set with $277$ points in the $23$-dimensional Euclidean space having distances $2$ and $\sqrt{6}$.
Tutte's theorem as an educational formalization project
In this work, we present two results: The first result is the formalization of Tutte's theorem in Lean, a key theorem concerning matchings in graph theory. As this formalization is ready to be integrated in Lean's mathlib, it provides a valuable step in the path towards formalizing research-level mathematics in this area. The second result is a framework for doing educational formalization projects. This framework provides a structure to learn to formalize mathematics with minimal teacher input. This framework applies to both traditional academic settings and independent community-driven environments. We demonstrate the framework's use by connecting it to the process of formalizing Tutte's theorem.
A Variant of Game of Sliding Coins
Here, we present a variant of the sliding coins game. Two coins are placed on distinct squares of a semi-infinite linear board with squares numbered $0, 1, 2, dots, $. Two players take turns and move a coin to a lower unoccupied square. When a coin is pushed to the outside of the linear board, the players cannot use this coin anymore. In this game, we have another operation of moving coins: moving the coin on the right leftward and pushing the coin on the left. This last operation complicates this game's mathematical structure, but we have managed to make formulas for Grundy numbers. Since all the positions of this game of two coins are the next player's winning position, this game of two coins is trivial as a game. However, by making the sum of two games, we get a meaningful game in which the player who plays for the last time is the winner. With these Grundy numbers formulae, we get the winning strategy.
Ergodic theorems for bilinear averages, Roth's Theorem and Corners along fractional powers
We prove that for every $c\in(1,23/22)$, every probability space $(X,\mathcal{B},μ)$ equipped with two commuting measure-preserving transformations $T,S\colon X\to X$ and every $f,g\in L^{\infty}_μ(X)$ we have that the $L^2_μ(X)$-limit \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^Nf(T^{\lfloor n^c\rfloor}x)g(S^{\lfloor n^c\rfloor}x) \] equals the $L^2_μ(X)$-limit $\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^Nf(T^{n}x)g(S^{n}x)$. The approach is based on the author's recently developed technique which may be thought of as a change of variables. We employ it to establish several new results along fractional powers including a Roth-type result for patterns of the form $x,x+\lfloor y^c \rfloor,x+2\lfloor y^c \rfloor$ as well as its ''corner'' counterpart. The quantitative nature of the former result allows us to recover the analogous one in the primes. Our considerations give partial answers to Problem 29 and Problem 30 from Frantzikinakis' open problems survey on multiple ergodic averages. Notably, we cover more general sparse orbits $(\lfloor h(n)\rfloor)_{n\in\mathbb{N}}$, where $h$ belongs to the class of the so-called $c$-regularly varying functions, addressing for example even the orbit $(\lfloor n\log n\rfloor)_{n\in\mathbb{N}}$.
Spectral radius and Hamiltonicity of uniform hypergraphs
Let $n$ and $r$ be integers with $n-2\ge r\ge 3$. We prove that any $r$-uniform hypergraph $\mathcal{H}$ on $n$ vertices with spectral radius $λ(\mathcal{H}) > \binom{n-2}{r-1}$ must contain a Hamiltonian Berge cycle unless $\mathcal{H}$ is the complete graph $K_{n-1}^r$ with one additional edge. This generalizes a result proved by Fiedler and Nikiforov for graphs. As part of our proof, we show that if $|\mathcal{H}| > \binom{n-1}{r}$, then $\mathcal{H}$ contains a Hamiltonian Berge cycle unless $\mathcal{H}$ is the complete graph $K_{n-1}^r$ with one additional edge, generalizing a classical theorem for graphs.
Computing Distances on Graph Associahedra is Fixed-parameter Tractable
An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a polytope whose vertices correspond to elimination trees of $G$ and whose edges correspond to tree rotations, a natural operation between elimination trees. These objects generalize associahedra, which correspond to the case where $G$ is a path. Ito et al. [ICALP 2023] recently proved that the problem of computing distances on graph associahedra is NP-hard. In this paper we prove that the problem, for a general graph $G$, is fixed-parameter tractable parameterized by the distance $k$. Prior to our work, only the case where $G$ is a path was known to be fixed-parameter tractable. To prove our result, we use a novel approach based on a marking scheme that restricts the search to a set of vertices whose size is bounded by a (large) function of $k$.
On constrained intersection representations of graphs and digraphs
We study the problem of determining optimal directed intersection representations of DAGs in a model introduced by Kostochka, Liu, Machado, and Milenkovic [ISIT2019]: vertices are assigned color sets so that there is an arc from a vertex $u$ to a vertex $v$ if and only if their color sets have nonempty intersection and $v$ gets assigned strictly more colors than $u$, and the goal is to minimize the total number of colors. We show that the problem is polynomially solvable in the class of triangle-free and Hamiltonian DAGs and also disclose the relationship of this problem with several other models of intersection representations of graphs and digraphs.
Lower bounds on collective additive spanners
In this paper we present various lower bound results on collective tree spanners and on spanners of bounded treewidth. A graph $G$ is said to admit a system of $μ$ collective additive tree $c$-spanners if there is a system $\cal{T}$$(G)$ of at most $μ$ spanning trees of $G$ such that for any two vertices $u,v$ of $G$ a tree $T\in \cal{T}$$(G)$ exists such that the distance in $T$ between $u$ and $v$ is at most $c$ plus their distance in $G$. A graph $G$ is said to admit an additive $k$-treewidth $c$-spanner if there is a spanning subgraph $H$ of $G$ with treewidth $k$ such that for any pair of vertices $u$ and $v$ their distance in $H$ is at most $c$ plus their distance in $G$. Among other results, we show that:
$\bullet$ Any system of collective additive tree $1$ -- spanners must have $Ω(\sqrt[3]{\log n})$ spanning trees for some unit interval graphs;
$\bullet$ No system of a constant number of collective additive tree $2$-spanners can exist for strongly chordal graphs;
$\bullet$ No system of a constant number of collective additive tree $3$-spanners can exist for chordal graphs;
$\bullet$ No system of a constant number of collective additive tree $c$-spanners can exist for weakly chordal graphs as well as for outerplanar graphs for any constant $c\geq 0$;
$\bullet$ For any constants $k \ge 2$ and $c \ge 1$ there are graphs of treewidth $k$ such that no spanning subgraph of treewidth $k-1$ can be an additive $c$-spanner of such a graph.
All these lower bound results apply also to general graphs. Furthermore, they %results complement known upper bound results with tight lower bound results.
Utilizing Symmetry in Finding New Permutiples from Known Examples
A permutiple is a natural number whose representation in some base, $b>1$, is an integer multiple of a number whose base-$b$ representation has the same collection of digits. Previous efforts have made progress in finding such numbers using graph-theoretical and finite-state-machine constructions. These are the mother graph and the Hoey-Sloane machine. In this paper, we leverage the inherent symmetry of the above constructions for the purpose of finding new permutiples from old. Such results also help us to see previous work through a new lens.
On the existence and non-existence of spherical $m$-stiff configurations
This paper investigates the existence of $m$-stiff configurations in the unit sphere $S^{d-1}$, which are spherical $(2m-1)$-designs that lie on $m$ parallel hyperplanes. We establish two non-existence results: (1) for each fixed integer $m > 5$, there exists no $m$-stiff configuration in $S^{d-1}$ for sufficiently large $d$; (2) for each fixed integer $d > 10$, there exists no $m$-stiff configuration in $S^{d-1}$ for sufficiently large $m$. Furthermore, we provide a complete classification of the dimensions where $m$-stiff configurations exist for $m=2,3,4,5$. We also determine the non-existence (and the existence) of $m$-stiff configurations in $S^{d-1}$ for small $d$ ($3 \leq d \leq 120$) with arbitrary $m$, and also for small $m$ ($6 \leq m \leq 10$) with arbitrary $d$. Finally, we conjecture that there is no $m$-stiff configuration in $S^{d-1}$ for $(d,m)$ with $d\geq 3$ and $m\geq 6$.
Graph Quasirandomness for Hypothesis Testing of Stochastic Block Models
The celebrated theorem of Chung, Graham, and Wilson on quasirandom graphs implies that if the 4-cycle and edge counts in a graph $G$ are both close to their typical number in $\mathbb{G}(n,1/2),$ then this also holds for the counts of subgraphs isomorphic to $H$ for any $H$ of constant size. We aim to prove a similar statement where the notion of close is whether the given (signed) subgraph count can be used as a test between $\mathbb{G}(n,1/2)$ and a stochastic block model $\mathbb{SBM}.$
Quantitatively, this is related to approximately maximizing $H \longrightarrow |Φ(H)|^{\frac{1}{|\mathsf{V}(H)|}},$ where $Φ(H)$ is the Fourier coefficient of $\mathbb{SBM}$, indexed by subgraph $H.$ This formulation turns out to be equivalent to approximately maximizing the partition function of a spin model over alphabet equal to the community labels in $\mathbb{SBM}.$
We resolve the approximate maximization when $\mathbb{SBM}$ satisfies one of four conditions: 1) the probability of an edge between any two vertices in different communities is exactly $1/2$; 2) the probability of an edge between two vertices from any two communities is at least $1/2$ (this case is also covered in a recent work of Yu, Zadik, and Zhang); 3) the probability of belonging to any given community is at least $c$ for some universal constant $c>0$; 4) $\mathbb{SBM}$ has two communities. In each of these cases, we show that there is an approximate maximizer of $|Φ(H)|^{\frac{1}{|\mathsf{V}(H)|}}$ in the set $\mathsf{A} = \{\text{stars, 4-cycle}\}.$ This implies that if there exists a constant-degree polynomial test distinguishing $\mathbb{G}(n,1/2)$ and $\mathbb{SBM},$ then the two distributions can also be distinguished via the signed count of some graph in $\mathsf{A}.$ We conjecture that the same holds true for distinguishing $\mathbb{G}(n,1/2)$ and any graphon if we also add triangles to $\mathsf{A}.$
Point-transitive and 1-rotational unitals of order 5
In this paper we introduce enumeration of unitals of order $5$, which are also Steiner systems $S(2,6,126)$, where automorphism group acts transitively and effectively on points or fixes one point.
Service Rate Regions of MDS Codes & Fractional Matchings in Quasi-uniform Hypergraphs
The service rate region (SRR) has emerged as a critical performance metric for distributed systems that store data redundantly. It measures the system's ability to serve multiple users concurrently. Mathematically, the SRR is a polytope in R^k where each dimension corresponds to the service request rate of one of the k data objects. This paper focuses on systems employing a class of Maximum Distance Separable (MDS) codes. For each code in the class, we characterize the k axes intercept points of its SRR, and the smallest standard simplex that includes the SRR. We use these results to show that the SRR grows with the increasing number of systematic columns in the generator matrices. We establish a graph-theoretic framework associating this SRR problem with fractional matchings in quasi-uniform hypergraphs. Identifying the SRR polytope is equivalent to determining a particular image of the fractional-matching polytope. We introduce a notion of Greedy Matching and show that it is sufficient to focus on these matchings to characterize the SRR rather than the entire matching polytope. With these tools, we determine the SRR of a large subset of the considered class of codes. Our results generalize previous characterizations of systematic and non-systematic MDS-coded systems, offering a unified framework for analyzing service rate regions of codes.
Sombor index and eigenvalues of weakly zero-divisor graph of commutative rings
The weakly zero-divisor graph $WΓ(R)$ of a commutative ring $R$ is the simple undirected graph whose vertices are nonzero zero-divisors of $R$ and two distinct vertices $x$, $y$ are adjacent if and only if there exist $w\in {\rm ann}(x)$ and $ z\in {\rm ann}(y)$ such that $wz =0$. In this paper, we determine the Sombor index for the weakly zero-divisor graph of the integers modulo ring $\mathbb{Z}_n$. Furthermore, we investigate the Sombor spectrum and establish bounds for the Sombor energy of the weakly zero-divisor graph of $\mathbb{Z}_n$.
An Upper Bound on Generalized Cospectral Mates of Oriented Graphs Using Skew-Walk Matrices
Let $D$ be an oriented graph with skew adjacency matrix $S(D)$. Two oriented graphs $D$ and $C$ are said to share the same generalized skew spectrum if $S(D)$ and $S(C)$ have the same eigenvalues, and $J-S(D)$ and $J-S(C)$ also have the same eigenvalues, where $J$ is the all-ones matrix. Such graphs that are not isomorphic are generalized cospectral mates. We derive tight upper bounds on the number of non-isomorphic generalized cospectral mates an oriented graph can admit, based on arithmetic criteria involving the determinant of its skew-walk matrix. As a special case, we also provide a criterion for an oriented graph to be weakly determined by its generalized skew spectrum (WDGSS), that is, its only generalized cospectral mate is its transpose. These criteria relate directly to the controllability of graphs, a fundamental concept in the control of networked systems, thereby connecting spectral characterization of graphs to graph controllability.
Vertex evaluation of multiplex graphs using Forman Curvature
The identification of vertices that play a central role in network analysis is a fundamental challenge. Although traditional centrality measures have been extensively employed for this purpose, the increasing complexity of modern networks necessitates the use of sophisticated metrics. The concept of Forman curvature has recently garnered significant attention as a promising approach. We define the Forman curvature for multiplex graphs, which are a category of complex networks characterized by multiple layers of connections between nodes. We then prove the key properties of the Forman curvature in the context of multiplex graphs and show its usefulness in identifying vertices occupying central positions within these networks. Moreover, through a series of comparative experiments with traditional graph features and graph kernels, we demonstrate that the Forman curvature can function as an effective metric for classifying the overall structure of networks.