Showing 20 papers (Total: 81378 papers, 47165 authors in database)
More sum-product type counterexamples: products with shifts and $AA+A$
Adapting the construction disproving the sum-product conjecture over $\mathbb R$ present in Bloom, Sawin, Schildkraut and Zhelezov, we show the existence of a constant $c>0$ and arbitrarily large finite sets $A \subseteq \mathbb R$ such that
$$|AA+A+A| \ll |A|^{2-c}.$$ As a corollary, all of the sets $A+A$, $AA$, $(A+1)(A+1)$, $A(A+1)$ and $AA+A$ are of size $O(|A|^{2-c})$ for this construction.
A combinatorial Approach to $α$-Ricci and Lin-Lu-Yau Ricci curvatures on Graphs
In this paper, we study the $α$-Ricci curvature and the Lin-Lu-Yau Ricci curvature on simple, connected, and locally finite graphs. For regular graphs, we introduce a combinatorial construction of optimal transport plans realizing the 1-Wasserstein distance and use it to derive exact formulas for the $α$-Ricci curvature and the Lin-Lu-Yau Ricci curvature. This yields a combinatorial proof of the known curvature formulas. Furthermore, for non-regular graphs, we characterize conditions on the size of common neighborhoods that guarantee either non-negative or vanishing Lin-Lu-Yau Ricci curvature.
Spectral radius for the existence of $H_b$-factors in binding graphs
The binding number, denoted by $\mbox{bind}(G)$, of a graph $G$ is defined as the minimum value of $\frac{|N_G(X)|}{|X|}$ taken over any non-empty subset $X$ of $V(G)$ with $N_G(X)\neq V(G)$. A graph $G$ is said to be $r$-binding if $\mbox{bind}(G)\geq r$. The adjacency matrix of a graph $G$ is denoted by $A(G)$. The largest eigenvalue of $A(G)$ is called the spectral radius of $G$. An $H_b$-factor of a graph $G$ is defined as a spanning subgraph $F$ of $G$ such that for any $v\in V(G)$, $d_F(v)$ belongs to the set $\{1,3,5,\ldots,b-1,b\}$, where $b$ is an even integer with $b\geq2$. This note establishes a sufficient condition to guarantee that a connected $\frac{1}{b-1}$-binding graph $G$ of even order contains an $H_b$-factor based on the spectral radius.
Obstructions for Minor-Closed Classes of limiting Densities Below 3/2
Given a graph class $\mathcal{G}$, the limiting density of $\mathcal{G}$ is defined as $δ(\mathcal{G})=\lim_{n\to\infty} \mathsf{ex}(\mathcal{G},n)/n$ where $\mathsf{ex}(\mathcal{G},n)$ is the maximum number of edges of a graph in $\mathcal{G}$ on $n$ vertices. The limiting density $δ(\mathcal{G})$ is known to be a rational number when $\mathcal{G}$ is a minor-closed graph class. For every $δ\in[0,\frac{3}{2})$, we prove that the set of $\subseteq$-minimal minor-closed graph classes with densities $>δ$ is finite and we identify it completely. A consequence of our results is an algorithm that, given a finite set of graphs $\mathcal{Z}$, of total size $n$, either outputs the value of $δ(\mathsf{excl}(\mathcal{Z}))$ or reports that $δ(\mathsf{excl}(\mathcal{Z}))\geq \frac{3}{2}$, where $\mathsf{excl}(\mathcal{Z})$ is the class of graphs excluding the graphs in $\mathcal{Z}$ as minors. The algorithm runs in $2^{\mathsf{poly}(n)}$ time.
Pseudoshattering Pairs
For two vectors $x,y\in [b]^k$, consider the bipartite graph with two copies of $[b]$ in which $i$ on the left is joined to $j$ on the right if $(x_t,y_t)=(i,j)$ for some coordinate $t$. We study the largest size of a family $C\subseteq [b]^k$ such that, for every two distinct $x,y\in C$, this bipartite graph contains a cycle.
We give a natural construction for such families and conjecture that it is optimal whenever $k$ is large relative to $b$. We prove an LYM-type upper bound that is asymptotically tight with respect to this construction, and is exact when $k$ is large and divisible by $b$. We then refine the argument using a circular ordering, obtaining the sharp full-support bound when $k\equiv -1\pmod b$. In the case $b=3$, we prove the exact general result when $k\equiv -1\pmod 3$ and $k$ is sufficiently large. The problem is motivated by the Daniely--Shalev-Shwartz dimension and the pseudocube formulation of a higher-alphabet Sauer-Shelah-Perles lemma.
Binomial sequences over prime fields
The binary binomial sequences correspond to the diagonals of the Pascal's triangle modulo 2. They have interesting properties such as they form a basis of the linear space of all binary sequences with period a power of 2. Other properties of these sequences (period, linear complexity, construction rules or relations among different binomial sequences) have been deeply analysed in detail previously. In this work, we study the binomial $p$-ary sequences for a prime $p$, its intrinsic characteristic and formation rules. We also prove that the family of $p$-ary sequences with period a power of $p$ form a vector space over $\mathbb{F}_p$ and that the family of binomial $p$-ary sequences is a basis of this space.
Star Coloring on Some Subclasses of Chordal Graphs
A star coloring of a graph $G$ is a proper coloring in which no path on four vertices is bicolored. The star chromatic number $χ_{\star}(G)$ is the minimum number of colors in a star coloring of $G$. In this work we study star colorings from the perspective of forbidden induced subgraphs, focusing on three subclasses of chordal graphs. We provide both a structural characterization and a characterization in terms of forbidden induced subgraphs for star $3$-colorable chordal graphs; such characterizations yield a simple certifying recognition algorithm, running in time $O(|V|+|E|)$, for this class. We also characterize split graphs that are star $4$-colorable and star $5$-colorable in terms of (finitely many) forbidden induced subgraphs, again deriving linear-time certifying recognition algorithms. Finally, we study star colorings of $2$-trees and $2$-paths: we characterize the $2$-paths that are star $4$-colorable, prove that every $2$-path is star $5$-colorable, and exhibit a $2$-tree on $21$ vertices with star chromatic number $6$ such that any proper induced subgrahp has star chromatic number $5$.
Transfer systems give matroids only for cyclic $p$-groups
Transfer systems as studied in equivariant algebra admit minimal generating sets, analogous to bases in linear algebra. It is natural to wonder if minimal generating sets form a matroid. We show that this happens only for lattices which are linear orders, or for cyclic groups of prime power order. In this case, we compute some invariants of the resulting matroid.
Non-asphericity of strata of genus-one differentials and stability spaces
We show that when the number of zeros or poles is at least four, every connected component of the strata of differentials in genus one with prescribed zero and pole orders is not an orbifold $K(π,1)$. For quadratic differentials, this provides infinitely many counterexamples to a conjecture attributed to Kontsevich, as well as to a folklore conjecture concerning the contractibility of spaces of Bridgeland stability conditions.
Arithmetic Progression-Free Subset-Sum Sets
For a finite set $A$ of positive integers, let $H(A)$ be its set of subset sums, including the empty sum, and let $g_k(n)$ be the least $N$ for which some $n$-element set $A\subseteq[N]$ has $H(A)$ free of nonconstant $k$-term arithmetic progressions. The problem of determining $g_k(n)$ was posed by Erdős and Sárkőzy. In the three-term case, we prove a lower bound equal to the exact bandwidth of the ternary grid. If $T_m=[x^m](1+x+x^2)^m$ is the central trinomial coefficient, then \[ g_3(n)\ge \frac{T_n-1}{2}+\sum_{j=0}^{n-1}T_j
=\left(\frac{\sqrt{3}}{2\sqrtπ}+o(1)\right)\frac{3^n}{\sqrt{n}}. \] For general $k \ge 4$ we show \[ g_k(n)\gg_k \left(\frac{k-1}{k-2}\right)^n n^{-\log_2((k-1)/(k-2))} \] In the opposite direction, a carry-free digit construction based on nearly-regular graphs gives \[ \limsup_{n\to\infty}g_k(n)^{1/n}
\le \min_{p\ \mathrm{prime},\ p\ge3}p^{2/(\min\{p,k\}-1)}. \] Consequently, as $k\to\infty$, the logarithm of the lower exponential rate is at least $(1+o(1))/k$, while the logarithm of the upper exponential rate is at most $(2+o(1))\log k/k$.
New Tower-Type Lower Bounds for Hypergraph Ramsey Numbers
The Ramsey number $r_k(s,m)$ is the smallest $N$ such that any red/blue coloring of the $k$-subsets of $[N]$ contains a red $s$-set or a blue $m$-set. For fixed $k$ and $s$, and for sufficiently large $m$, the tower growth rate is determined by the stepping-up lemma, but for $s=m=k+1$ the available stepping-up lemmas do not apply. Fox asked for estimates of $r_k(k+1,k+1)$. Pudlák, Rödl, and Wesley gave the first tower-type bound: $r_k(k+1,k+1)\ge s_3(\lfloor k/4\rfloor)\ge 4\operatorname{twr}_{\lfloor k/4\rfloor-4}(2)$, where $s_3(k)$ is the $3$-color shift number and $\operatorname{twr}_1(2)=2$, $\operatorname{twr}_{i+1}(2)=2^{\operatorname{twr}_i(2)}$.
In this paper, for $k\ge 6$, we improve the lower bound to $r_k(k+1,k+1)> s_3\bigl(\lfloor k/2\rfloor-2\bigr)$ by overcoming an obstruction in their construction. In addition, we give an exact characterization of $s_3(k)$ and, for $k\ge 5$, obtain a new explicit lower bound $s_3(k)\ge(\operatorname{twr}_{k-2}(2))^2$, which improves the result of Pudlák and Rödl. Consequently, for $k\ge 14$, $r_k(k+1,k+1)>(\operatorname{twr}_{\lfloor k/2\rfloor-4}(2))^2$.
Minimal excludant integer and bilateral truncated Jacobi triple product identity
In 2012, Andrews and Merca proved a truncated theorem on Euler's pentagonal number theorem. Since then, a number of results on truncated theta series have been proved, including truncated Jacobi triple product identity. In this paper, we provide partition-theoretic interpretations for the bilateral truncated Jacobi triple product identity in terms of the minimal excludant integer.
Minimal additive codes and additive strong blocking sets
Additive codes over $\mathbb{F}_{q^h}$ generalize linear codes by relaxing linearity over the alphabet while retaining linearity over the subfield $\mathbb{F}_q$. In this paper, we introduce minimal additive codes and we initiate their study from a geometric perspective. We define the concept of additive strong blocking sets, a class of $h$-projective systems whose union forms a strong blocking set. We establish a one-to-one correspondence between equivalence classes of nondegenerate minimal additive codes and equivalence classes of additive strong blocking sets. We also compare this framework with the theory of outer strong blocking sets, showing that the latter arises as a special case. Finally, we provide constructions and existence results for minimal additive codes, and derive upper, lower, and asymptotic bounds on their minimum length.
Toward a classification of tropical complete intersection number one
By bridging two classification results -- the Esterov--Gusev classification of tuples of lattice polytopes of mixed volume one, and Fink's characterization of Bergman fans -- we formulate a classification conjecture describing when the stable intersection of a tropical fan F with the tropicalization Trop(X) of a subvariety of T^n is a reduced point. Our main results establish this conjecture in three fundamental cases -- unmixed sequences, hypersurface complete-intersection cycles, and tropical 2-cycles -- and develop several tools intended for the general case.
Sharp bounds for minimal dependencies of linear-form powers
Motivated by the dimension-bound part of a problem of Bukh, we study Veronese circuits: how large can the span of $t$ linear forms be if their $m$-th powers are minimally linearly dependent? We prove the sharp finite dimension bound \[
\dim L\leq \frac{t+m-2}{m}. \] Here $\ell_1,\ldots,\ell_t$ are nonzero homogeneous linear forms over a field of characteristic zero, the powers $\ell_1^m,\ldots,\ell_t^m$ form a circuit, and $L=\Span\{\ell_1,\ldots,\ell_t\}$. Rational-normal-curve configurations attain equality for infinitely many pairs $(t,\dim L)$; in particular, the affine bound itself is sharp and the optimal leading constant in Bukh's question is $1/m$.
The proof uses a coding-theoretic translation: the coefficient row space of the powers is the $m$-th Schur power of the coefficient code, and the minimality hypothesis makes this Schur power a full-support hyperplane to which the Schur-product Kneser theorem of Mirandola and Zémor applies. The same method yields flat-concentration and interpolation criteria, a Cayley--Bacharach lower bound, Segre--Veronese and positive-characteristic variants, and Hilbert-function constraints for equality and near-equality in Veronese circuits.
Typical geometry of self-repelling polymers in a constant force field
We study a general class of self-repelling polymers on $\mathbb Z^2$, including the simple random walk, the self-avoiding walk and the repulsive Domb-Joyce model, in the presence of a constant force field acting on each monomer. Conditioning the polymer to have fixed length and fixed endpoints, we identify the limiting free energy and prove that typical trajectories concentrate exponentially near a deterministic macroscopic shape. This shape is characterized as the unique minimizer of a variational problem and can be interpreted as a geodesic of a height-dependent Finsler metric. We also analyze two limiting regimes with universal features: for small field strength, in the symmetric case, the geodesic is close to a classical catenary, while for large field strength it converges to a universal polygonal shape governed by the nearest-neighbor lattice constraint.
Improved asymptotic upper bound on the $n$-queens completion threshold
The $n$-queens completion threshold $qc(n)$ is the largest integer $k < n$ such that any placement of $k$ mutually non-attacking queens on an $n \times n$ chessboard can be completed to an $n$-queens configuration by adding $n - k$ queens. For all sufficiently large $n$, we improve the previously best-known upper bound on $qc(n)$ from $qc(n) \leq 0.241n$ to $qc(n) \leq 0.216n$, by constructing a non-completable partial configuration of fewer than $0.216n$ queens.
Odd cycles in symmetric Cayley graphs on prime cyclic groups
Let $p$ be an odd prime and let $S\subseteq \Z_p$ be symmetric with $0\notin S$. Let $\Cay(\Z_p,S)$ be the undirected Cayley graph on $\Z_p$ in which $x$ and $y$ are adjacent if and only if $x-y\in S$. For $1\le \ell\le (p-1)/2$, define \[ \ex_{\Cay}(C_{2\ell+1},\Z_p)=\max\{|S|: S=-S,\ 0\notin S,\ \Cay(\Z_p,S)\text{ contains no }C_{2\ell+1}\}. \] Confirming a conjecture of Cashman and Kelley, we prove that if $p=2\ell+1$, then $\ex_{\Cay}(C_{2\ell+1},\Z_p)=0$, while if $p>2\ell+1$, then \[ \ex_{\Cay}(C_{2\ell+1},\Z_p)=2\floor{\frac{p+2\ell+1}{2(2\ell+1)}}. \] The proof combines a sharp additive zero-sum odd-girth argument with weak odd pancyclicity to transfer the result from odd-girth exclusion to fixed odd-cycle exclusion. We also give a canonical extremal family, an exact extremality criterion in terms of odd zero-sum avoidance, and an example showing that extremizers need not be dilates of the canonical construction.
Perfect State Transfer on Quotient Graphs in Shunt Decomposition-Based Quantum Walks
This paper investigates perfect state transfer (PST) in discrete-time quantum walks constructed via the shunt decomposition method. The walks are defined on a graph $G$ and its associated quotient graph $G/π$, induced by an equitable partition $π$. Through the shunt decomposition of $G$, we derive an explicit relation between the shift operator of the parent graph $G$ and that of its quotient graph $G/π$. We construct a reflection operator based on the characteristic matrix, which establishes a connection between the transition operator of the parent graph and that of its lower-dimensional quotient graph. We then prove that PST occurs on $G$ if and only if it occurs on $G/π$. Furthermore, we express the unitary evolution operator of the quotient graph in terms of Chebyshev polynomials of the first kind, from which we derive explicit criteria for PST. As an application, we establish PST on the cycle graph $C_{n}$ at time $k = n/2$, and lift the result to the parent graph $C_{2n}$ via the equitable partition $π$. We further show that if an equitable partition $π$ of $G$ induces a quotient isomorphic to $K_n^{\circlearrowleft}$, the complete digraph on $n$ vertices with a loop at every vertex, then PST occurs at step $k = n$, and the walk is periodic at $k = 2n$. This framework is applied to two families of graphs, which are the complete bipartite digraph $K_{n,n}^{\rightleftharpoons}$ and the circulant graph $\operatorname{Circ}(2n, S)$, where $S$ consists of all odd residues modulo $2n$ and $n = 2^s$ for some $s \geq 1$, establishing PST in their respective line digraphs. Collectively, these results also answer the question posed by Godsil and Zhan concerning which shunt decompositions or embeddings of a graph admit PST.
Discrepancy for Random Linear Codes
We prove that random linear codes have nearly optimal discrepancy properties in a broad range of regimes. Our main results are two general theorems: one controlling all translates of a fixed test, and another controlling large families of Fourier-pseudorandom tests. Two motivating applications follow.
First, random linear codes match unstructured random codes for list-decoding from errors above capacity. If $C\subseteq\mathbb F_q^n$ is a random linear code of rate $1-\frac1n\log_q |B_ρ|+ε$, where $B_ρ$ is a radius-$ρ$ Hamming ball, then with high probability $$ |C\cap B|=(1\pm o(1))\frac{|C||B|}{q^n} $$ simultaneously for all radius-$ρ$ Hamming balls $B\subseteq\mathbb F_q^n$. This extends the classical result that such codes have covering radius at most $ρn$ whp (Blinovsky, 1987).
Second, over prime fields, random linear codes match unstructured random codes for zero-error list-recovery above capacity. For prime $q>2$ and $2\le \ell\le q-1$, a random linear code of rate $1-\log_q\ell+ε$ satisfies, with high probability, $$ |C\cap S|=(1\pm o(1))\frac{|C|\ell^n}{q^n} $$ simultaneously for all rectangles $S=S_1\times\cdots\times S_n$ with $|S_i|=\ell$. As a consequence, there are abundant $n$-party linear ramp secret sharing schemes over $\mathbb F_q$ with privacy threshold about $n/(2\log q)$ and reconstruction threshold about $5n/(2\log q)$, resilient to balanced local leakage; prior existence results required thresholds above $n/2$ even in this case.
The translate result, hence the list-decoding application, holds over arbitrary finite fields, even growing with $n$. The list-recovery and leakage applications hold over prime fields under moderate growth, e.g. $q\le n^{1/5-o(1)}$. The proofs use a refined second-moment analysis tracking intersection sizes as random generators are added to $C$.