Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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.
Effect of graph operations on graph associahedra
Given a graph $G$, we determine the structure of the rotation graph of a graph obtained by applying certain operations to $G$. Specifically, we consider the operations of adding a simplicial vertex, adding a true twin to a vertex, and the two closely related operations of deleting the set of edges from a subgraph induced by a set of true twins, and adding a false twin to a vertex. We describe how applying these operations to a graph affects the structure of its rotation graph. Furthermore, by using this description, we study chromatic number, distance, and diameter in rotation graphs. In particular, we establish conditions under which the chromatic number of the rotation graphs is preserved. As an interesting consequence, we obtain that the chromatic number of the rotation graphs of threshold graphs (which includes complete split graphs and star graphs) and of complete bipartite graphs is 3. We also provide a new lower bound for $\text{diam}(\mathcal{R}(G-S))$ in terms of $\text{diam}(\mathcal{R}(G))$, where $S$ is the set of edges of the subgraph of $G$ induced by a set of true twins. As a consequence, we improve the known lower bound for the diameter of the rotation graph of balanced complete bipartite graphs, allowing us to compute the exact value of $\text{diam}(\mathcal{R}(K_{2,q}))$ for $q\in\{3,4,5,6,7,8\}$.
A bijection for the evolution of $B$-trees
A $B$-tree is a type of search tree where every node (except possibly for the root) contains between $m$ and $2m$ keys for some positive integer $m$, and all leaves have the same distance to the root. We study sequences of $B$-trees that can arise from successively inserting keys, and in particular present a bijection between such sequences (which we call histories) and a special type of increasing trees. We describe the set of permutations for the keys that belong to a given history, and also show how to use this bijection to analyse statistics associated with $B$-trees.
A curious symmetric decomposition of the (des, exc)-Eulerian polynomials
One of the most central result in combinatorics says that the descent statistic and the excedance statistic are equidistribued over the symmetric group. As a continuation of the work of Shareshian-Wachs (Adv. Math., 225(6) (2010), 2921--2966), we provide a curious $t$-symmetric decomposition for the generating polynomial of the joint distribution of the descent and excedance statistics over the symmetric group.
Random matchings in linear hypergraphs
Published
• View Publication
• BIB
For a given hypergraph $H$ and a vertex $v\in V(H)$, consider a random matching $M$ chosen uniformly from the set of all matchings in $H.$ In $1995,$ Kahn conjectured that if $H$ is a $d$-regular linear $k$-uniform hypergraph, the probability that $M$ does not cover $v$ is $(1 + o_d(1))d^{-1/k}$ for all vertices $v\in V(H).$ This conjecture was proved for $k = 2$ by Kahn and Kim in $1998.$
In this paper, we disprove this conjecture for all $k \geq 3.$ For infinitely many values of $d,$ we construct $d$-regular linear $k$-uniform hypergraph $H$ containing two vertices $v_1$ and $v_2$ such that $\mathcal{P}(v_1 \notin M) = 1 - \frac{(1 + o_d(1))}{d^{k-2}}$ and $\mathcal{P}(v_2 \notin M) = \frac{(1 + o_d(1))}{d+1}.$ The gap between $\mathcal{P}(v_1 \notin M)$ and $\mathcal{P}(v_2 \notin M)$ in this $H$ is best possible. In the course of proving this, we also prove a hypergraph analog of Godsil's result on matching polynomials and paths in graphs, which is of independent interest.
New bounds on a generalization of Tuza's conjecture
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $H$, let $ν^{(m)}(H)$ denote the maximum size of a set $S$ of edges of $H$ whose pairwise intersection has size less than $m$. Let $τ^{(m)}(H)$ denote the minimum size of a set $S$ of $m$-sets of $V(H)$ such that every edge of $H$ contains some $m$-set from $S$. A conjecture by Aharoni and Zerbib, which generalizes a conjecture of Tuza on the size of minimum edge covers of triangles of a graph, states that for a $k$-uniform hypergraph $H$, $τ^{(k - 1)}(H)/ν^{(k - 1)}(H) \leq \left \lceil \frac{k + 1}{2} \right \rceil$. In this paper, we show that this generalization of Tuza's conjecture holds when $ν^{(k - 1)}(H) \leq 3$. As a corollary, we obtain a graph class which satisfies Tuza's conjecture. We also prove various bounds on $τ^{(m)}(H)/ν^{(m)}(H)$ for other values of $m$ as well as some bounds on the fractional analogues of these numbers.
Repetition Threshold for Binary Automatic Sequences
The critical exponent of an infinite word $\bf x$ is the supremum, over all finite nonempty factors $f$, of the exponent of $f$. In this note we show that for all integers $k\geq 2,$ there is a binary infinite $k$-automatic sequence with critical exponent $\leq 7/3$. The same conclusion holds for Fibonacci-automatic and Tribonacci-automatic sequences.
Combinatorial identities with multiple harmonic-like numbers
Published
• View Publication
• BIB
Multiple harmonic-like numbers are studied using the generating function approach. A closed form is stated for binomial sums involving these numbers and two additional parameters. Several corollaries and examples are presented which are immediate consequences of the main result. Finally, combinatorial identities involving harmonic-like numbers and other prominent sequences like hyperharmonic numbers and odd harmonic numbers are offered.
A spectral Erdős-Rademacher theorem
Published in Advances in Applied Mathematics 158 (2024) 102720
• View Publication
• BIB
A classical result of Erdős and Rademacher (1955) indicates a supersaturation phenomenon. It says that if $G$ is a graph on $n$ vertices with at least $\lfloor {n^2}/{4} \rfloor +1$ edges, then $G$ contains at least $\lfloor {n}/{2}\rfloor$ triangles. We prove a spectral version of Erdős--Rademacher's theorem. Moreover, Mubayi [Adv. Math. 225 (2010)] extends the result of Erdős and Rademacher from a triangle to any color-critical graph. It is interesting to study the extension of Mubayi from a spectral perspective. However, it is not apparent to measure the increment on the spectral radius of a graph comparing to the traditional edge version (Mubayi's result). In this paper, we provide a way to measure the increment on the spectral radius of a graph and propose a spectral version on the counting problems for color-critical graphs.
Finding irregular subgraphs via local adjustments
Published
• View Publication
• BIB
For a graph $H$, let $m(H,k)$ denote the number of vertices of degree $k$ in $H$. A conjecture of Alon and Wei states that for any $d\geq 3$, every $n$-vertex $d$-regular graph contains a spanning subgraph $H$ satisfying $|m(H,k)-\frac{n}{d+1}|\leq 2$ for every $0\leq k \leq d$. This holds easily when $d\leq 2$. An asymptotic version of this conjecture was initially established by Frieze, Gould, Karoński and Pfender, subsequently improved by Alon and Wei, and most recently enhanced by Fox, Luo and Pham, approaching its complete range. All of these approaches relied on probabilistic methods.
In this paper, we provide a novel framework to study this conjecture, based on localized deterministic techniques which we call local adjustments. We prove two main results. Firstly, we show that every $n$-vertex $d$-regular graph contains a spanning subgraph $H$ satisfying $|m(H,k)-\frac{n}{d+1}|\leq 2d^2$ for all $0\leq k \leq d$, which provides the first bound independent of the value of $n$. Secondly, we confirm the case $d=3$ of the Alon-Wei Conjecture in a strong form. Both results can be generalized to multigraphs and yield efficient algorithms for finding the desired subgraphs $H$. Furthermore, we explore a generalization of the Alon-Wei Conjecture for multigraphs and its connection to the Faudree-Lehel Conjecture concerning irregularity strength.
Strong stability from vertex-extendability and applications in generalized Turán problems
Extending the work of Liu--Mubayi--Reiher~\cite{LMR23unif} on hypergraph Turán problems, we introduce the notion of vertex-extendability for general extremal problems on hypergraphs and develop an axiomatized framework for proving strong stability for extremal problems satisfying certain properties. This framework simplifies the typically complex and tedious process of obtaining stability and exact results for extremal problems into a much simpler task of verifying their vertex-extendability.
We present several applications of this method in generalized Turán problems including the Erdős Pentagon Problem, hypergraph Turán-goodness, and generalized Turán problems of hypergraphs whose shadow is complete multipartite. These results significantly strengthen and extend previous results of Erdős~\cite{Erdos62}, Győri--János--Simonovits~\cite{GPS91}, Grzesik~\cite{Gre12}, Hatami--Hladký--Kráľ--Norine--Razborov~\cite{HHKNR13}, Morrison--Nir--Norin--Rzążewski--Wesolek~\cite{MNNRPW23}, Gerbner--Palmer~\cite{GP22}, and others.
The monopole-dimer model on high-dimensional cylindrical, toroidal, Möbius and Klein grids
The dimer (monomer-dimer) model deals with weighted enumeration of perfect matchings (matchings). The monopole-dimer model is a signed variant of the monomer-dimer model whose partition function is a determinant. In 1999, Lu and Wu evaluated the partition function of the dimer model on two-dimensional grids embedded on a Möbius strip and a Klein bottle. While the partition function of the dimer model has been known for the two-dimensional grids with different boundary conditions, we present a similar product formula for the partition function of the monopole-dimer model on higher dimensional cylindrical and toroidal grid graphs. We also evaluate the same for the three-dimensional Möbius and Klein grid graphs and show that the formula does not generalise for the higher dimensions. Further, we present a relation between the product formula for the three-dimensional cylindrical and Möbius grid.
Planar Turán number for balanced double stars
Planar Turán number, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex planar graph which does not contain $H$ as a subgraph. Ghosh, Győri, Paulos and Xiao initiated the topic of the planar Turán number for double stars. For balanced double star, $S_{3,3}$ is the only remaining graph need to be considered. In this paper, we give the exact value of $ex_{\mathcal{P}}(n,S_{3,3})$, forcing the planar Turán number for all balanced double stars completely determined.
Spectral convergence of random regular graphs: Chebyshev polynomials, non-backtracking walks, and unitary-color extensions
Published
• View Publication
• BIB
In this paper, we give a short proof of the weak convergence to the Kesten-McKay distribution for the normalized spectral measures of random $N$-lifts. This result is derived by generalizing a formula of Friedman involving Chebyshev polynomials and non-backtracking walks. We also extend a criterion of Sodin on the convergence of graph spectral measures to regular graphs of growing degree. As a result, we show that for a sequence of random $(q_n+1)$-regular graphs $G_n$ with $n$ vertices, if $q_n = n^{o(1)}$ and $q_n$ tends to infinity, the normalized spectral measure converges almost surely in $p$-Wasserstein distance to the semicircle distribution for any $p \in [1, \infty)$. This strengthens a result of Dumitriu and Pal. Many of the results are extended to unitary-colored regular graphs.
Broadcast independence and packing in certain classes of trees
Given a graph $G=(V,E)$ of diameter $d$, a broadcast is a function $f:V(G) \to \{ 0, 1, \dots, d \}$ where $f(v)$ is at most the eccentricity of $v$. A vertex $v$ is broadcasting if $f(v)>0$ and a vertex $u$ hears $v$ if $d(u,v) \leq f(v)$. A broadcast is independent if no broadcasting vertex hears another vertex and is a packing if no vertex hears more than one vertex. The weight of $f$ is $\sum_{v \in V} f(v)$. We find the maximum weight independent and packing broadcasts for perfect $k$-ary trees, spiders, and double spiders as a partial answer to a question posed by Ahmane et al.
Probabilistic Approach to Black-Box Binary Optimization with Budget Constraints: Application to Sensor Placement
Published
• View Publication
• BIB
We present a fully probabilistic approach for solving binary optimization problems with black-box objective functions and with budget constraints. In the probabilistic approach, the optimization variable is viewed as a random variable and is associated with a parametric probability distribution. The original optimization problem is replaced with an optimization over the expected value of the original objective, which is then optimized over the probability distribution parameters. The resulting optimal parameter (optimal policy) is used to sample the binary space to produce estimates of the optimal solution(s) of the original binary optimization problem. The probability distribution is chosen from the family of Bernoulli models because the optimization variable is binary. The optimization constraints generally restrict the feasibility region. This can be achieved by modeling the random variable with a conditional distribution given satisfiability of the constraints. Thus, in this work we develop conditional Bernoulli distributions to model the random variable conditioned by the total number of nonzero entries, that is, the budget constraint. This approach (a) is generally applicable to binary optimization problems with nonstochastic black-box objective functions and budget constraints; (b) accounts for budget constraints by employing conditional probabilities that sample only the feasible region and thus considerably reduces the computational cost compared with employing soft constraints; and (c) does not employ soft constraints and thus does not require tuning of a regularization parameter, for example to promote sparsity, which is challenging in sensor placement optimization problems. The proposed approach is verified numerically by using an idealized bilinear binary optimization problem and is validated by using a sensor placement experiment in a parameter identification setup.
$s$-almost $t$-intersecting families for vector spaces
Published
• View Publication
• BIB
Let $V$ be a finite dimensional vector space over a finite field, and $\mathcal{F}$ a family consisting of $k$-subspaces of $V$. The family $\mathcal{F}$ is called $t$-intersecting if $\dim(F_{1}\cap F_{2})\geq t$ for any $F_{1}, F_{2}\in \mathcal{F}$. We say $\mathcal{F}$ is $s$-almost $t$-intersecting if for each $F\in \mathcal{F}$ there are at most $s$ members $F^{\prime}$ of $\mathcal{F}$ such that $\dim(F\cap F^{\prime})<t$. In this paper, we prove that $s$-almost $t$-intersecting families with maximum size are $t$-intersecting. We also consider $s$-almost $t$-intersecting families which are not $t$-intersecting, and characterize such families with maximum size for $(s,t)\neq(1,1)$. The result for $1$-almost $1$-intersecting families provided by Shan and Zhou is generalized.