Showing 20 papers (Total: 81680 papers, 47334 authors in database)
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.
Dynamical characterization of central sets in adequate partial semigroups
Published
• View Publication
• BIB
Using the methods from topological dynamics, H. Furstenberg introduced the notions of Central sets and proved the famous Central Sets Theorem which is the simultaneous extension of the van der Waerden and Hindman Theorem. Later N. Hindman and V. Bergelson found an equivalent formulation of Central sets in the set of natural numbers in terms of the algebra of the Stone-Čech compactification of discrete semigroups. The general case was proved by H. Shi and H. Yang. Using the notions of ultrafilters, J. McLeod introduced the notions of Central sets for commutative adequate partial semigroups, however for noncommutative cases, Central sets can be defined similarly. In this article, introducing the notions of topological dynamics for partial semigroup actions, we find an equivalent dynamical characterization of central sets in partial semigroups\footnote{Recently in \cite{GTG}, authors attempted to do the same but in a different approach.}. Throughout our article, we follow the approach of N. Hindman and D. Strauss [N. Hindman, and D. Strauss: Algebra in the Stone-\v Cech compactification: theory and applications, second edition, de Gruyter, Berlin, 2012.].
A lower bound for the number of pinned angles determined by a Cartesian product set
Published
• View Publication
• BIB
We prove that, for any $B \subset \mathbb R$, the Cartesian product set $B \times B$ determines $Ω(|B|^{2+c})$ distinct angles.
The $n$-Queens Problem in Higher Dimensions
Published
• View Publication
• BIB
How many mutually non-attacking queens can be placed on a d-dimensional chessboard of size n? The n-queens problem in higher dimensions is a generalization of the well-known n-queens problem. We provide a comprehensive overview of theoretical results, bounds, solution methods, and the interconnectivity of the problem within topics of discrete optimization and combinatorics. We present an integer programming formulation of the n-queens problem in higher dimensions and several strengthenings through additional valid inequalities. Compared to recent benchmarks, we achieve a speedup in computational time between 15-70x over all instances of the integer programs. Our computational results prove optimality of certificates for several large instances. Breaking additional, previously unsolved instances with the proposed methods is likely possible. On the primal side, we further discuss heuristic approaches to constructing solutions that turn out to be optimal when compared to the IP. We conclude with preliminary results on the number and density of the solutions.
Constructions of graphs with any possible two-fold automorphism and automorphism groups
It is known that the canonical double cover of any connected nonbipartite graph have an automorphism group of the form $H \rtimes \mathbb{Z}_2$, where $H$ is the set of automorphism which preserve bipartite parts. We construct connected nonbipartite and vertex determining graphs whose canonical double covers have auromorphisms group isomorphic to any semisimple product of $\mathbb{Z}_2$ with any abstract group $H$. Later we show, that the canonical double cover of any asymmetric graph have abelian automorphisms group of odd order. The above construction provides an example of asymmetric graph for any such group. By modifying the aforementioned construction we obtain graphs which have any possible number and type of graphs with isomorphic double covers.