Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Majority Dynamics and Internal Partitions of Random Regular Graphs: Experimental Results
This paper focuses on Majority Dynamics in sparse graphs, in particular, as a tool to study internal cuts. It is known that, in Majority Dynamics on a finite graph, each vertex eventually either comes to a fixed state, or oscillates with period two. The empirical evidence acquired by simulations suggests that for random odd-regular graphs, approximately half of the vertices end up oscillating with high probability. We notice a local symmetry between oscillating and non-oscillating vertices, that potentially can explain why the fraction of the oscillating vertices is concentrated around $\frac{1}{2}$. In our simulations, we observe that the parts of random odd-regular graph under Majority Dynamics with high probability do not contain $\lceil \frac{d}{2} \rceil$-cores at any timestep, and thus, one cannot use Majority Dynamics to prove that internal cuts exist in odd-regular graphs almost surely. However, we suggest a modification of Majority Dynamics, that yields parts with desired cores with high probability.
Transitive regular $q$-analogs of graphs
In 1976, Delsarte introduced the notion of $q$-analogs of designs, and $q$-analogs of graphs were introduced recently by M. Braun et al. In this paper, we extend that study by giving a method for constructing transitive regular $q$-analogs of graphs. Further, we illustrate the method by giving some examples. Additionally, we introduced the notion of $q$-analogs of quasi-strongly regular graphs and give examples of transitive $q$-analogs of quasi-strongly regular graphs coming from spreads.
Total Positivity of Quasi-Riordan Arrays
In this paper the total positivity of quasi-Riordan arrays is investigated with use of the sequence characterization of quasi-Riordan arrays. Due to the correlation between quasi-Riordan arrays and Riordan arrays, this study is an in-depth discussion of the total positivity of Riordan arrays.
Spanning trees and signless Laplacian spectral radius in graphs
Let $G$ be a connected graph and let $k$ be a positive integer. Let $T$ be a spanning tree of $G$. The leaf degree of a vertex $v\in V(T)$ is defined as the number of leaves adjacent to $v$ in $T$. The leaf degree of $T$ is the maximum leaf degree among all the vertices of $T$. Let $A(G)$ be the adjacency matrix of $G$ and $D(G)$ be the diagonal degree matrix of $G$. Let $Q(G)=D(G)+A(G)$ be the signless Laplacian matrix of $G$. The largest eigenvalue of $Q(G)$, denoted by $q(G)$, is called the signless Laplacian spectral radius of $G$. In this paper, we investigate the connection between the spanning tree and the signless Laplacian spectral radius of $G$, and put forward a sufficient condition based upon the signless Laplacian spectral radius to guarantee that a graph $G$ contains a spanning tree with leaf degree at most $k$. Finally, we construct some extremal graphs to claim all the bounds obtained in this paper are sharp.
Constructions of $A_α$-cospectral graphs using some corona operations
Let $ G_1 \circledast G_2$,$ G_1 \sqcupdot G_2 $ and $ G_1 \sqcupplus G_2$ denote the total corona, $Q$-vertex corona and $Q$-edge corona of two graphs $ G_1$ and $ G_2 $, respectively. In this paper, we compute the $A_α$-spectrum of $ G_1 \circledast G_2$,$ G_1 \sqcupdot G_2 $ and $ G_1 \sqcupplus G_2$ for regular graphs $ G_1$ and $ G_2$. As an application, we construct infinitely many pairs of $A_α$-cospectral graphs.
On eventually greedy best underapproximations by Egyptian fractions
Published in J. Number Theory, 268 (2025), 39-48
• View Publication
• BIB
Erdős and Graham found it conceivable that the best $n$-term Egyptian underapproximation of almost every positive number for sufficiently large $n$ gets constructed in a greedy manner, i.e., from the best $(n-1)$-term Egyptian underapproximation. We show that the opposite is true: the set of real numbers with this property has Lebesgue measure zero. [This note solves Problem 206 on Bloom's website "Erdős problems".]
Pattern containment in random permutations
This paper studies permutation statistics that count occurrences of patterns. Their expected values on a product of $t$ permutations chosen randomly from $Γ\subseteq S_{n}$, where $Γ$ is a union of conjugacy classes, are considered. Hultman has described a method for computing such an expected value, denoted $\mathbb{E}_Γ(s,t)$, of a statistic $s$, when $Γ$ is a union of conjugacy classes of $S_{n}$. The only prerequisite is that the mean of $s$ over the conjugacy classes is written as a linear combination of irreducible characters of $S_{n}$. Therefore, the main focus of this article is to express the means of pattern-counting statistics as such linear combinations. A procedure for calculating such expressions for statistics counting occurrences of classical and vincular patterns of length 3 is developed, and is then used to calculate all these expressions. The results can be used to compute $\mathbb{E}_Γ(s,t)$ for all the above statistics, and for all functions on $S_{n}$ that are linear combinations of them.
A Central Limit Theorem on Two-Sided Descents of Mallows Distributed Elements of Finite Coxeter Groups
Published
• View Publication
• BIB
The Mallows distribution is a non-uniform distribution, first introduced over permutations to study non-ranked data, in which permutations are weighted according to their length. It can be generalized to any Coxeter group, and we study the distribution of $\text{des}(w) + \text{des}(w^{-1})$ where $w$ is a Mallows distributed element of a finite irreducible Coxeter group. We show that the asymptotic behavior of this statistic is Guassian. The proof uses a size-bias coupling with Stein's method.
Operad of posets 101: The Wixarika posets
We study objects whose definition is linked to partial orders. An algebra over the operad of posets is a set whose endomorphisms contain the endomorphisms of posets. Notable examples of such algebras include the zeta values, order polytopes, and shuffle series. The language of operads provides us with tools to better understand the combinatorics of these objects.
In these notes we describe a non-trivial example of a suboperad ``The Wixarika posets'', alongside its associated algebras. This example is rich enough to showcase the particularities of the field, without delving into technicalities.
An old version of these notes were used to give a minicourse in Govt. College University Lahore in Pakistan 2022, and at the BIRS-CMO workshop ``6th meeting of the Mexican Mathematicians in the World'' 2024.
Constructions of Turán systems that are tight up to a multiplicative constant
Published
• View Publication
• BIB
For positive integers $n\ge s> r$, the Turán function $T(n,s,r)$ is the smallest size of an r-graph with n vertices such that every set of s vertices contains at least one edge. Also, define the Turán density $t(s,r)$ as the limit of $T(n,s,r)/ {n\choose r}$ as $n\to\infty$. The question of estimating these parameters received a lot of attention after it was first raised by Turán in 1941. A trivial lower bound is $t(s,r)\ge 1/{s\choose s-r}$. In the early 1990s, de Caen conjectured that $r\cdot t(r+1,r)\to\infty$ as $r\to\infty$ and offered 500 Canadian dollars for resolving this question.
We disprove this conjecture by showing more strongly that for every integer $R\ge1$ there is $μ_R$ (in fact, $μ_R$ can be taken to grow as $(1+o(1))\, R\ln R$) such that $t(r+R,r)\le (μ_R+o(1))/ {r+R\choose R}$ as $r\to\infty$, that is, the trivial lower bound is tight for every $R$ up to a multiplicative constant $μ_R$.
Lower bounds for sphere packing in arbitrary norms
We show that in any $d$-dimensional real normed space, unit balls can be packed with density at least \[\frac{(1-o(1))d\log d}{2^{d+1}},\] improving a result of Schmidt from 1958 by a logarithmic factor and generalizing the recent result of Campos, Jenssen, Michelen, and Sahasrabudhe in the $\ell_2$ norm. Our main tools are the graph-theoretic result used in the $\ell_2$ construction and volume bounds from convex geometry due to Petty and Schmuckenschläger.
The canonical trace of Cohen-Macaulay algebras of codimension 2
Published
• View Publication
• BIB
In the present paper, we investigate a conjecture of Jürgen Herzog. Let $S$ be a local regular ring with residue field $K$ or a positively graded $K$-algebra, $I\subset S$ be a perfect ideal of grade two, and let $R=S/I$ with canonical module $ω_R$. Herzog conjectured that the canonical trace $\text{tr}(ω_R)$ is obtained by specialization from the generic case of maximal minors. We prove this conjecture in several cases, and present a criterion that guarantees that the canonical trace specializes under some additional assumptions. As the final conclusion of all of our results, we classify the nearly Gorenstein monomial ideals of height two.
Analogues of Alder-Type Partition Inequalities for Fixed Perimeter Partitions
In a 2016 paper, Straub proved an analogue to Euler's partition identity for partitions with fixed perimeter. Later, Fu and Tang provided a refinement and generalization of Straub's analogue to $d$-distinct partitions as well as a result related to the first Rogers-Ramanujan identity. Motivated by Alder-type partition identities and their generalizations, we build on work of Fu and Tang to establish generalized Alder-type partition inequalities in a fixed perimeter setting, and notably, a reverse Alder-type inequality.
Classification of Cellular Fake Surfaces
Published
• View Publication
• BIB
Generic polyhedra are interesting mathematical objects to study in their own right. In this paper, we initialize a systematic study of two-dimensional generic polyhedra with an eye towards applications to low-dimensional topology, especially the Andrews-Curtis and Zeeman conjectures. After recalling the basic notions of generic polyhedra and fake surfaces, we derive some interesting properties of fake surfaces. Our main result is a complete classification of acyclic cellular fake surfaces up to complexity 4 and a classification of acyclic cellular fake surfaces without small disks of complexity 5. From this classification, we prove the contractibility conjecture for acyclic cellular fake surfaces of complexity 4, and the embedded disk conjecture up to complexity 5. We provide evidence for the conjectures that the probability of being a spine among fake surfaces is 0 and that every contractible fake surface has an embedded disk.
Non-spherical sets versus lines in Euclidean Ramsey theory
Published
• View Publication
• BIB
We show that for every non-spherical set $X$ in $\mathbb{E}^d$, there exists a natural number $m$ and a red/blue-colouring of $\mathbb{E}^n$ for every $n$ such that there is no red copy of X and no blue progression of length $m$ with each consecutive point at distance $1$. This verifies a conjecture of Wu and the first author.
On Conjecture of Binomial Edge Ideals of Linear Type
An ideal $I$ of a commutative ring $R$ is said to be of linear type when its Rees algebra and symmetric algebra exhibit isomorphism. In this paper, we investigate the conjecture put forth by Jayanthan, Kumar, and Sarkar (2021) that if $G$ is a tree or a unicyclic graph, then the binomial edge ideal of $G$ is of linear type. Our investigation validates this conjecture for trees. However, our study reveals that not all unicyclic graphs adhere to this conjecture.
Degree-truncated choosability of planar graphs
Published
• View Publication
• BIB
Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to \mathbb{N}$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is degree-truncated $k$-choosable. Answering a question of Richter, it was proved in [Zhou,Zhu,Zhu, Degree-truncated choice number of graphs, arXiv:2308.15853] that there exists a 3-connected non-complete planar graph that is not degree-truncated 7-choosable, and every 3-connected non-complete planar graph is degree-truncated 16-choosable. This paper improves the bounds, and proves that there exists a 3-connected non-complete planar graph that is not degree-truncated 8-choosable, and that every 3-connected non-complete planar graph is degree-truncated $12$-choosable.
How large is the character degree sum compared to the character table sum for a finite group?
In 1961, Solomon gave upper and lower bounds for the sum of all the entries in the character table of a finite group in terms of elementary properties of the group. In a different direction, we consider the ratio of the character table sum to the sum of the entries in the first column, also known as the character degree sum, in this work. First, we propose that this ratio is at most two for many natural groups. Secondly, we extend a conjecture of Fields to postulate that this ratio is at least one with equality if and only if the group is abelian. We establish the validity of this property and conjecture for all finite irreducible Coxeter groups. In addition, we prove the conjecture for generalized symmetric groups. The main tool we use is that the sum of a column in the character table of an irreducible Coxeter group (resp. generalized symmetric group) is given by the number of square roots (resp. absolute square roots) of the corresponding conjugacy class representative.
As a byproduct of our results, we show that the asymptotics of character table sums is the same as the number of involutions in symmetric, hyperoctahedral and demihyperoctahedral groups. We also derive explicit generating functions for the character table sums for these latter groups as infinite products of continued fractions. In the same spirit, we prove similar generating function formulas for the number of square roots and absolute square roots in $n$ for the generalized symmetric groups $G(r,1,n)$.
A characterization of uniquely representable two-directional orthogonal ray graphs
Published
• View Publication
• BIB
In this paper, we provide a characterization of uniquely representable two-directional orthogonal ray graphs, which are defined as the intersection graphs of rightward and downward rays. The collection of these rays is called a representation of the graph. Two-directional orthogonal ray graphs are equivalent to several well-studied classes of graphs, including complements of circular-arc graphs with clique cover number two. Normalized representations of two-directional orthogonal ray graphs, where the positions of certain rays are determined by neighborhood containment relations, can be obtained from the normalized representations of circular-arc graphs. However, the normalized representations are not necessarily unique, even when considering only the relative positions of the rays. Recent studies indicate that two-directional orthogonal ray graphs share similar characterizations to interval graphs. Hanlon (1982) and Fishburn (1985) characterized uniquely representable interval graphs by introducing the notion of a buried subgraph. Following their characterization, we define buried subgraphs of two-directional orthogonal ray graphs and prove that their absence is a necessary and sufficient condition for a graph to be uniquely representable.
Weights on homogeneous coherent configurations
Published
• View Publication
• BIB
D. G. Higman generalized a coherent configuration and defined a weight. In this article, we will modify the definition and investigate weights on coherent configurations. If our weights are on a thin homogeneous coherent configuration, that is essentially a finite group, then there is a natural correspondence between the set of equivalence classes of weights and $2$-cohomology group of the group. We also give a construction of weights as a generalization of Higman's method using monomial representations of finite groups.