Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Weak Freiman isomorphisms and sequencings of small sets
Published
• View Publication
• BIB
In this paper, we introduce a weakening of the Freiman isomorphisms between subsets of non necessarily abelian groups.
Inspired by the breakthrough result of Kravitz, [14], on cyclic groups, as a first application, we prove that any subset of size $k$ of the dihedral group $D_{2m}$ (and, more in general, of a class of semidirect products) is sequenceable, provided that the prime factors of $m$ are larger than $k!$. Also, a refined bound of $k!/2$ for the size of the prime factors of $m$ can be obtained for cyclic groups $\mathbb{Z}_m$, slightly improving the result of [14]. Then, applying again the concept of weak Freiman isomorphism, we show that any subset of size $k$ of the dicyclic group $\mathrm{Dic}_{m}$ is sequenceable, provided that the prime factors of $m$ are larger than $k^k$.
Regular polytopes of rank $n/2$ for transitive groups of degree $n$
Published
• View Publication
• BIB
Previous research established that the maximal rank of the abstract regular polytopes whose automorphism group is a transitive proper subgroup of $\mbox{S}_n$ is $n/2 + 1$. Up to isomorphism and duality, when $n\geq 12$, there are only two polytopes attaining this rank and they occur when $n/2$ is odd, and hence have even rank.
In this paper, we investigate the case where the rank is equal to $n/2$ ($n\geq 14$). Our analysis suggests that reducing the rank by one results in a substantial increase in the number of regular polytopes.
A generalization of conjugation of integer partitions
Published in Electron. J. Combin. 32 (2025), no. 2, Paper No. 2.37
• View Publication
• BIB
We exhibit, for any positive integer parameter $s$, an involution on the set of integer partitions of $n$. These involutions show the joint symmetry of the distributions of the following two statistics. The first counts the number of parts of a partition divisible by $s$, whereas the second counts the number of cells in the Ferrers diagram of a partition whose leg length is zero and whose arm length has remainder $s-1$ when dividing by $s$. In particular, for $s=1$ this involution is just conjugation. Additionally, we provide explicit expressions for the bivariate generating functions.
Our primary motivation to construct these involutions is that we know only of two other "natural" bijections on integer partitions of a given size, one of which is the Glaisher-Franklin bijection sending the set of parts divisible by $s$, each divided by $s$, to the set of parts occurring at least $s$ times.
An improved lower bound for a problem of Littlewood on the zeros of cosine polynomials
Published
• View Publication
• BIB
Let $Z(N)$ denote the minimum number of zeros in $[0,2π]$ that a cosine polynomial of the form $$f_A(t)=\sum_{n\in A}\cos nt$$ can have when $A$ is a finite set of non-negative integers of size $|A|=N$. It is an old problem of Littlewood to determine $Z(N)$. In this paper, we obtain the lower bound $Z(N)\geqslant (\log\log N)^{(1+o(1))}$ which exponentially improves on the previous best bounds of the form $Z(N)\geqslant (\log\log\log N)^c$ due to Erdélyi and Sahasrabudhe.
Coplanarity of rooted spanning-tree vectors
Published
• View Publication
• BIB
Employing a recent technology of tree surgery we prove a ``deletion-constriction'' formula for products of rooted spanning trees on weighted directed graphs that generalizes deletion-contraction on undirected graphs. The formula implies that, letting $τ_x^\varnothing$, $τ_x^+$, and $τ_x^-$ be the rooted spanning tree polynomials obtained respectively by removing an edge in both directions or by forcing the tree to pass through either direction of that edge, the vectors $(τ_x^\varnothing, τ_x^+, τ_x^-)$ are coplanar for all roots $x$. We deploy the result to give an alternative derivation of a recently found mutual linearity of stationary currents of Markov chains. We generalize deletion-constriction and current linearity among two edges, and conjecture that similar results may hold for arbitrary subsets of edges.
The Support Designs of Several Families of Lifted Linear Codes
Published
• View Publication
• BIB
A generator matrix of a linear code $\C$ over $\gf(q)$ is also a matrix of the same rank $k$ over any extension field $\gf(q^\ell)$ and generates a linear code of the same length, same dimension and same minimum distance over $\gf(q^\ell)$, denoted by $\C(q|q^\ell)$ and called a lifted code of $\C$. Although $\C$ and their lifted codes $\C(q|q^\ell)$ have the same parameters, they have different weight distributions and different applications. Few results about lifted linear codes are known in the literature. This paper proves some fundamental theory for lifted linear codes, and studies the support $2$-designs of the lifted projective Reed-Muller codes, lifted Hamming codes and lifted Simplex codes. In addition, this paper settles the weight distributions of the lifted Reed-Muller codes of certain orders, and investigates the support $3$-designs of these lifted codes. As a by-product, an infinite family of three-weight projective codes over $\gf(4)$ is obtained.
Designs in compact symmetric spaces and applications of great antipodal sets
Published in Romanian Journal of Mathematics and Computer Science, 14 (2024), no. 1, 12 pp
• Search Publication
The theory of designs is an important branch of combinatorial mathematics. It is well-known in the theory of designs that a finite subset of a sphere is a tight spherical 1-design if and only if it is a pair of antipodal points. On the other hand, antipodal sets and 2-number for a Riemannian manifold are introduced by B.-Y. Chen and T. Nagano in 1982.
An antipodal set is called a great antipodal set if its cardinality is equal to the 2-number. The main purpose of this paper is to provide a survey on important results in compact symmetric spaces with great antipodal sets as the designs. In the last two sections of this paper, we present some important applications of 2-number and great antipodal sets to topology and group theory.
Towards a solution of Archdeacon's conjecture on integer Heffter arrays
Published
• View Publication
• BIB
In this paper, we make significant progress on a conjecture proposed by Dan Archdeacon on the existence of integer Heffter arrays $H(m,n;s,k)$ whenever the necessary conditions hold, that is, $3\leqslant s \leqslant n$, $3\leqslant k\leqslant m$, $ms=nk$ and $nk\equiv 0,3 \pmod 4$. By constructing integer Heffter array sets, we prove the conjecture in the affirmative whenever $k\geqslant 7\cdot \gcd(s,k)$ is odd and $s\neq 3,5,6,10$.
Dots and Boxes on Certain Families of Graphs
We investigate the Dots and Boxes game, also known as ``Strings and Coins,'' for certain specific families of graphs. These include complete graphs, wheel graphs, and friendship graphs.
The v-numbers and linear presentations of ideals of covers of graphs
Published in Bull. Malays. Math. Sci. Soc. 48 (2025), Paper No. 172, 40 pp
• View Publication
• BIB
Let $G$ be a graph and let $J=I_c(G)$ be its ideal of covers. The aims of this work are to study the {\rm v}-number ${\rm v}(J)$ of $J$ and to study when $J$ is linearly presented using combinatorics and commutative algebra. We classify when ${\rm v}(J)$ attains its minimum and maximum possible values in terms of the vertex covers of the graph that satisfy the exchange property. If the cover ideal of a graph has a linear presentation, we express its v-number in terms of the covering number of the graph. If $G$ is unmixed, the graph $\mathcal{G}_J$ of $J$ is the graph whose vertices are the minimal vertex covers of $G$ and whose edges are the pairs $\{C,C'\}$ such that $|C\cup C'|=|C|+1$. We show necessary and sufficient conditions for the graph $\mathcal{G}_J$ of $J$ to be connected. Then, for unmixed König graphs, we classify when $J$ is linearly presented using graph theory, and show some results on Cohen--Macaulay König graphs. If $G$ is unmixed, it is shown that the columns of the linear syzygy matrix of $J$ are linearly independent if and only if $\mathcal{G}_J$ has no strong $3$-cycles. One of our main theorems shows that if $G$ is unmixed and has no induced $4$-cycles, then $J$ is linearly presented. For unmixed graphs without $3$- and $5$-cycles, we classify combinatorially when $J$ is linearly presented.
The finite products of shifted primes and Moreira's Theorem
Let $r\in\mathbb{N}$ and $\mathbb{N}=\bigcup_{i=1}^{r}C_{i}$. Do there exist $x,y\in\mathbb{N}$ and $i\in\left\{1,2,\ldots,r\right\}$ such that $\left\{x,y,xy,x+y\right\}\subseteq C_{i}$? This is still an unanswered question asked by N. Hindman. Joel Moreira in [Annals of Mathematics 185 (2017) 1069-1090] established a partial answer to this question and proved that for infinitely many $x,y\in\mathbb{N}$, $\left\{x,xy,x+y\right\}\subseteq C_{i}$ for some $i\in\left\{1,2,\ldots,r\right\}$, which is called Moreira's Theorem. Recently, H. Hindman and D. Strauss established a refinement of Moreira's Theorem and proved that for infinitely many $y$, $\left\{x\in\mathbb{N}:\left\{x,xy,x+y\right\}\subseteq C_{i}\right\}$ is a piecewise syndetic set. In this article, we will prove infinitely many $y\in FP\left(\mathbb{P}-1\right)$ such that $\left\{x\in\mathbb{N}:\left\{xy,x+f(y):f\in F\right\}\subseteq C_{i}\right\}$ is piecewise syndetic, where $F$ is a finite subset of $x\mathbb{Z}\left[x\right]$. We denote $\mathbb{P}$ is the set of prime numbers in $\mathbb{N}$ and $FP\left(\mathbb{P}-1\right)$ is the set of all finite products of distinct elements of $\mathbb{P}-1$.
On disjunction convex hulls by lifting
Published
• View Publication
• BIB
We study the natural extended-variable formulation for the disjunction of $n+1$ polytopes in $\mathbb{R}^d$. We demonstrate that the convex hull $D$ in the natural extended-variable space $\mathbb{R}^{d+n}$ is given by full optimal big-M lifting (i) when $d\leq 2$ (and that it is not generally true for $d\geq 3$), and also (ii) under some technical conditions, when the polytopes have a common facet-describing constraint matrix, for arbitrary $d\geq 1$ and $n\geq 1$. We give a broad family of examples with $d\geq 3$ and $n=1$, where the convex hull is not described after employing all full optimal big-M lifting inequalities, but it is described after one round of MIR inequalities. Additionally, we give some general results on the polyhedral structure of $D$, and we demonstrate that all facets of $D$ can be enumerated in polynomial time when $d$ is fixed.
Distributional limits of graph cuts on discretized grids
Published in Electron. J. Statist. 19(2): 5925-5978 (2025)
• View Publication
• BIB
Graph cuts are among the most prominent tools for clustering and classification analysis. While intensively studied from geometric and algorithmic perspectives, graph cut-based statistical inference still remains elusive to a certain extent. Distributional limits are fundamental in understanding and designing such statistical procedures on randomly sampled data. We provide explicit limiting distributions for balanced graph cuts in general on a fixed but arbitrary discretization. In particular, we show that Minimum Cut, Ratio Cut and Normalized Cut behave asymptotically as the minimum of Gaussians as sample size increases. Interestingly, our results reveal a dichotomy for Cheeger Cut: The limiting distribution of the optimal objective value is the minimum of Gaussians only when the optimal partition yields two sets of unequal volumes, while otherwise the limiting distribution is the minimum of a random mixture of Gaussians. Further, we show the bootstrap consistency for all types of graph cuts by utilizing the directional differentiability of cut functionals. We validate these theoretical findings by Monte Carlo experiments, and examine differences between the cuts and the dependency on the underlying distribution. Additionally, we expand our theoretical findings to the Xist algorithm, a computational surrogate of graph cuts recently proposed in Suchan, Li and Munk (arXiv, 2023), thus demonstrating the practical applicability of our findings e.g. in statistical tests.
Periods and atomic firing sequences of parallel chip-firing games on directed graphs
Published
• View Publication
• BIB
In 1992, Bitar and Goles introduced the parallel chip-firing game on undirected graphs. Two years later, Prisner extended the game to directed graphs. While the properties of parallel chip-firing games on undirected graphs have been extensively studied, their analogs for parallel chip-firing games on directed graphs have been sporadic. In this paper, we prove the outstanding analogs of the core results of parallel chip-firing games on undirected graphs for those on directed graphs. We find the possible periods of a parallel chip-firing game on a directed simple cycle and introduce the method of Gauss-Jordan elimination on a Laplacian-like matrix to establish a lower bound on the maximum period of a parallel chip-firing game on an orientation of an undirected complete graph and an undirected complete bipartite graph. Finally, we expand the method of motors by Jiang, Scully, and Zhang to directed graphs to show that a binary string $s$ can be the atomic firing sequence of a vertex in a parallel chip-firing game on a strongly connected directed graph if and only if $s$ contains $1$ or $s=0$.
A Yannakakis-type theorem for lifts of affine semigroups
Published
• View Publication
• BIB
Yannakakis' theorem relating the extension complexity of a polytope to the size of a nonnegative factorization of its slack matrix is a seminal result in the study of lifts of convex sets. Inspired by this result and the importance of lifts in the setting of integer programming, we show that a similar result holds for the discrete analog of convex polyhedral cones-affine semigroups. We define the notions of the integer slack matrix and a lift of an affine semigroup. We show that many of the characterizations of the slack matrix in the convex cone setting have analogous results in the affine semigroup setting. We also show how slack matrices of affine semigroups can be used to obtain new results in the study of nonnegative integer rank of nonnegative integer matrices.
Orientable sequences over non-binary alphabets
Published
• View Publication
• BIB
We describe new, simple, recursive methods of construction for orientable sequences over an arbitrary finite alphabet, i.e. periodic sequences in which any sub-sequence of n consecutive elements occurs at most once in a period in either direction. In particular we establish how two variants of a generalised Lempel homomorphism can be used to recursively construct such sequences, generalising previous work on the binary case. We also derive an upper bound on the period of an orientable sequence.
On the multicolor Turán conjecture for color-critical graphs
Published
• View Publication
• BIB
A {\it simple $k$-coloring} of a multigraph $G$ is a decomposition of the edge multiset as a disjoint sum of $k$ simple graphs which are referred as colors. A subgraph $H$ of a multigraph $G$ is called {\it multicolored} if its edges receive distinct colors in a given simple $k$-coloring of $G$. In 2004, Keevash-Saks-Sudakov-Verstraëte introduced the {\it $k$-color Turán number} $ex_k(n,H)$, which denotes the maximum number of edges in an $n$-vertex multigraph that has a simple $k$-coloring containing no multicolored copies of $H$. They made a conjecture for any $r\geq 3$ and $r$-color-critical graph $H$ that in the range of $k\geq \frac{r-1}{r-2}(e(H)-1)$, if $n$ is sufficiently large, then $ex_k(n, H)$ is achieved by the multigraph consisting of $k$ colors all of which are identical copies of the Turán graph $T_{r-1}(n)$. In this paper, we show that this holds in the range of $k\geq 2\frac{r-1}{r}(e(H)-1)$, significantly improving earlier results. Our proof combines the stability argument of Chakraborti-Kim-Lee-Liu-Seo with a novel graph packing technique for embedding multigraphs.
Large random matrices with given margins
We study large random matrices with i.i.d. entries conditioned to have prescribed row and column sums (margins), a problem connected to relative entropy minimization, Schrödinger bridges, contingency tables, and random graphs with given degree sequences. Our central result is a `transference principle': the complex margin-conditioned matrix can be closely approximated by a simpler matrix whose entries are independent and drawn from an exponential tilting of the original model. The tilt parameters are determined by the sum of two potentials. We establish phase diagrams for `tame margins', where these potentials are uniformly bounded. This framework resolves a 2011 conjecture by Chatterjee, Diaconis, and Sly on $δ$-tame degree sequences and generalizes a sharp phase transition in contingency tables obtained by Dittmer, Lyu, and Pak in 2020. For tame margins, we show that a generalized Sinkhorn algorithm can compute the potentials at a dimension-free exponential rate. Our limit theory further establishes that for a convergent sequence of tame margins, the potentials converge as fast as the margins converge.
We apply this framework and obtain several key results for the conditioned matrix: The marginal distribution of any single entry is asymptotically an exponential tilting of the base measure, resolving a 2010 conjecture by Barvinok on contingency tables. The conditioned matrix concentrates in cut norm around a `typical table' (the expectation of the tilted model), which acts as a static Schrödinger bridge between the margins. The empirical singular value distribution of the rescaled matrix converges to an explicit law determined by the variance profile of the tilted model. In particular, we confirm the universality of the Marchenko-Pastur law for constant linear margins.
One more proof about the spectrum of Transposition graph
A Transposition graph $T_n$ is defined as a Cayley graph over the symmetric group $Sym_n$ generated by all transpositions. This paper shows how the spectrum of $T_n$ can be obtained using the spectral properties of the Jucys-Murphy elements.
Projective geometries, $Q$-polynomial structures, and quantum groups
Published
• View Publication
• BIB
In 2023 we obtained a $Q$-polynomial structure for the projective geometry $L_N(q)$. In the present paper, we display a more general $Q$-polynomial structure for $L_N(q)$. Our new $Q$-polynomial structure is defined using a free parameter $\varphi$ that takes any positive real value. For $\varphi=1$ we recover the original $Q$-polynomial structure. We interpret the new $Q$-polynomial structure using the quantum group $U_{q^{1/2}}(\mathfrak{sl}_2)$ in the equitable presentation. We use the new $Q$-polynomial structure to obtain analogs of the four split decompositions that appear in the theory of $Q$-polynomial distance-regular graphs.