Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the edge expansion of random polytopes
A $0/1$-polytope in $\mathbb{R}^n$ is the convex hull of a subset of $\{0,1\}^n$. The graph of a polytope $P$ is the graph whose vertices are the zero-dimensional faces of $P$ and whose edges are the one-dimensional faces of $P$. A conjecture of Mihail and Vazirani states that the edge expansion of the graph of every $0/1$-polytope is at least one. We study a random version of the problem, where the polytope is generated by selecting vertices of $\{0,1\}^n$ independently at random with probability $p\in (0,1)$. Improving earlier results, we show that, for any $p\in (0,1)$, with high probability the edge expansion of the random $0/1$-polytope is bounded from below by an absolute constant.
Three more proofs of two congruences for Merca's partition function
Published in Ramanujan J. 69 (2026), no. 1, Paper 6
• Search Publication
In this note, we provide three new, very short proofs of two interesting congruences for Merca's partition function $a(n)$, which enumerates integer partitions where the odd parts have multiplicity at most 2. These modulo 2 congruences were first shown elementarily by Sellers. We then frame $a(n)$ into the much broader context of eta-quotients, and suggest how to comprehensively describe its parity behavior. In particular, extensive computations suggest that $a(n)$ is odd precisely 25\% of the time.
On a Restriction Problem of Hickman and Wright for the Parabola in $\mathbb{Z}/N\mathbb{Z}$ for Squarefree $N$
Hickman and Wright proved an $L^2$ restriction estimate for the parabola $Σ$ in $\mathbb{Z}/N\mathbb{Z}$ of the form
$$\left(\frac{1}{|Σ|}\sum\limits_{m\inΣ}|\widehat{f}(m)|^2 \right)^{\frac{1}{2}}\leq C_εN^ε\cdot N^{-1}\left(\sum\limits_{x\in (\mathbb{Z}/N\mathbb{Z})^2}|f(x)|^\frac{6}{5}\right)^\frac{5}{6}$$
for all functions $f:(\mathbb{Z}/N\mathbb{Z})^2\rightarrow \mathbb{C}$ and any $ε>0$, and that this bound is sharp when $N$ has a large square factor, and especially for $N = p^2$ for $p$ a prime. In contrast, Mockenhaupt and Tao proved in the special case $N = p$ the stronger estimate
$$\left(\frac{1}{|Σ|}\sum\limits_{m\inΣ}|\widehat{f}(m)|^2 \right)^{\frac{1}{2}}\leq C N^{-1}\left(\sum\limits_{x\in (\mathbb{Z}/N\mathbb{Z})^2}|f(x)|^\frac{4}{3}\right)^\frac{3}{4}.$$
We extend the Mockenhaupt-Tao bound to the case of squarefree $N$, proving
$$\left(\frac{1}{|Σ|}\sum\limits_{m\inΣ}|\widehat{f}(m)|^2 \right)^{\frac{1}{2}}\leq C_εN^ε\cdot N^{-1}\left(\sum\limits_{x\in (\mathbb{Z}/N\mathbb{Z})^2}|f(x)|^\frac{4}{3}\right)^\frac{3}{4},$$
and discuss applications of this result to uncertainty principles and signal recovery.
Tree-width of a graph excluding an apex-forest or a wheel as a minor
The Grid Minor Theorem states that for every planar graph $H$, there exists a smallest integer $f(H)$ such that every graph with tree-width at least $f(H)$ contains $H$ as a minor. The only known lower bounds on $f(H)$ beyond the trivial bound $f(H)\geq |V(H)|-1$ come from the maximum number of disjoint cycles in $H$. In this paper, we study $f(H)$ for planar graphs $H$ with no two disjoint cycles. We prove that $f(H)=|V(H)|-1$ for every apex-forest $H$. This result improves a bound of Leaf and Seymour and contains all known large graphs $H$ meeting the trivial lower bound to our knowledge. We also prove that $f(H)\leq \max\{\tfrac32|V(H)|-\tfrac92,|V(H)|-1\}$ for every wheel $H$.
On the independence number in subcubic graphs
For a connected subcubic graph $G\neq K_1$ let $V_i(G) = \{v \in V(G) ~|~ d_G(v)=i\}$ for $1 \leq i \leq 3.$ Given $c_1, c_2, c_ 3 \in \mathbb{R}^+$ and $ d \in \mathbb{R}$,
we show several results of type $α(G) \geq c_1|V_1(G)| + c_2|V_2(G)| + c_3|V_3(G)| - d.$ We also derive classes of graphs $G$ showing sharpness of these lower bounds on the independence number $α(G)$ of $G$.
Examples of strong Ziegler pairs of conic-line arrangements of degree 7 and 8
A pair of plane curves with the same combinatorics is said to be (a) a Zariski pair if the plane curves have different embedded topology, and (b) a strong Ziegler pair if their Milnor algebra are not isomorphic. We show that some examples of Zariski pairs are also strong Ziegler pairs.
The rainbow covering number of clean tangled clutters
In this brief note, we prove a min-min equality for a clean tangled clutter, that the rainbow covering number is equal to the connectivity of its setcore.
Bisection width, max-cut and internal partitions of 5-regular graphs
In this paper, we present a new factor of IID process based on the local algorithm introduced by Díaz, Serna, and Wormald (2007). This new approach allows us to improve the previously known upper bounds on the minimum and maximum bisection width and the maximum cut of random d-regular graphs for d > 4 by introducing a new recoloring phase after the termination of the original algorithm. As an application, we show that random 5-regular graphs asymptotically almost surely admit an internal partition, i.e., a partition of the vertex set into two nonempty classes so that every vertex has at least half of its neighbors in its own class.
The Diophantine Frobenius Problem revisited
Let $k\ge 2$ and $a_1, a_2, \cdots, a_k$ be positive integers with \[ \gcd(a_1, a_2, \cdots, a_k)=1. \] It is proved that there exists a positive integer $G_{a_1, a_2, \cdots, a_k}$ such that every integer $n$ strictly greater than it can be represented as the form \[ n=a_1x_1+a_2x_2+\cdots+a_kx_k, \quad (x_1, x_2, \cdots, x_k\in\mathbb{Z}_{\ge 0},~\gcd(x_1, x_2, \cdots, x_k)=1). \] We then investigate the size of $G_{a_1, a_2}$ explicitly. Our result strengthens the primality requirement of $x$'s in the classical Diophantine Frobenius Problem.
DDE-SOLVER: A Maple Package For Discrete Differential Equations
We introduce DDE-Solver, a Maple package designed for solving Discrete Differential Equations (DDEs). These equations are functional equations relating algebraically a formal power series F(t, u) with polynomial coefficients in a "catalytic" variable u, with specializations of it with respect to the catalytic variable. Such equations appear in enumerative combinatorics, for instance in the enumeration of maps. Bousquet-Melou and Jehanne showed in 2006 that when these equations are of a fixed point type in F, then F is an algebraic series. In the same paper, they proposed a systematic method for computing annihilating polynomials of these series. Bostan, Safey El Din and the author of this paper recently designed new efficient algorithms for computing these witnesses of algebraicity. This paper provides combinatorialists an automated tool in hand that solves DDEs using these algorithms. We also compare the timings of all these algorithms on DDEs from the literature.
On Sidorenko exponents of hypergraphs
For an $r$-graph $F$, define Sidorenko exponent $s(F)$ as $$s(F):= \sup \{s \geq 0: \exists \text{$r$-graph $H$ s.t. } t_F(H) = t_{K^{(r)}_r} (H)^s > 0\},$$ where $t_{H_1}(H_2)$ denotes the homomorphism density of $H_1$ in $H_2$. The celebrated Sidorenko's conjecture states that $s(F) = e(F)$ holds for every bipartite graph $F$. It is known that for all $r \geq 3$, the $r$-uniform version of Sidorenko's conjecture is false, and only a few hypergraphs are known to be Sidorenko. In this paper, we discover a new broad class of Sidorenko hypergraphs and obtain general upper bounds on $s(F)$ for certain hypergraphs related to dominating hypergraphs. This makes progress toward a problem raised by Nie and Spiro. We also discover a new connection between Sidorenko exponents and upper bounds on the extremal numbers of a large class of hypergraphs, which generalizes the hypergraph analogue of Kővári--Sós--Turán theorem proved by Erdős.
Dorst-Smeulders Coding for Arbitrary Binary Words
Published
• View Publication
• BIB
A binary word is Sturmian if the occurrences of each letter are balanced, in the sense that in any two factors of the same length, the difference between the number of occurrences of the same letter is at most 1. In digital geometry, Sturmian words correspond to discrete approximations of straight line segments in the Euclidean plane. The Dorst-Smeulders coding, introduced in 1984, is a 4-tuple of integers that uniquely represents a Sturmian word $w$, enabling its reconstruction using $|w|$ modular operations, making it highly efficient in practice. In this paper, we present a linear-time algorithm that, given a binary input word $w$, computes the Dorst-Smeulders coding of its longest Sturmian prefix. This forms the basis for computing the Dorst-Smeulders coding of an arbitrary binary word $w$, which is a minimal decomposition (in terms of the number of factors) of $w$ into Sturmian words, each represented by its Dorst-Smeulders coding. This coding could be leveraged in compression schemes where the input is transformed into a binary word composed of long Sturmian segments. Although the algorithm is conceptually simple and can be implemented in just a few lines of code, it is grounded in a deep analysis of the structural properties of Sturmian words.
Property O and Erdős--Szekeres properties in linear hypergraphs
An oriented $k$-uniform hypergraph, or oriented $k$-graph, is said to satisfy Property O if, for every linear ordering of its vertex set, there is some edge oriented consistently with this order. The minimum number $f(k)$ of edges in a $k$-graph with Property O was first studied by Duffus, Kay, and Rödl, and later improved by Kronenberg, Kusch, Lamaison, Micek, and Tran. In particular, they established the bounds $k! + 1 \le f(k) \le \left(\lfloor\tfrac{k}{2}\rfloor+1 \right) k! - \lfloor\tfrac{k}{2}\rfloor(k-1)!$ for every $k \ge 2$.
In this note, we extend the study of Property O to the linear setting. We determine the minimum number $f'(k)$ of edges in a linear $k$-graph up to a $\operatorname{poly}(k)$ multiplicative factor, showing that $\frac{(k!)^2}{2e^2k^4} \le f'(k) \le (1+o(1)) \cdot 4 k^6 \ln^2 k \cdot (k!)^2$. Our approach also yields bounds on the minimum number $n'(k)$ of vertices in an oriented linear $k$-graph with Property O. Additionally, we explore the minimum number of edges and vertices required in a linear $k$-graph satisfying the newly introduced Erdős--Szekeres properties.
Asymptotic structure. V. The coarse Menger conjecture in bounded path-width
Menger's theorem tells us that if $S,T$ are sets of vertices in a graph $G$, then (for $k\ge0$) either there are $k+1$ vertex-disjoint paths between $S$ and $T$, or there is a set of $k$ vertices separating $S$ and $T$. But what if we want the paths to be far apart, say at distance at least $c$? One might hope that we can find either $k+1$ paths pairwise far apart, or $k$ sets of bounded radius that separate $S$ and $T$, where the bound on the radius is some $\ell$ that depends only on $k,c$ (the ``coarse Menger conjecture''). We showed in an earlier paper that this is false for all $k\ge 2$ and $c\ge3$. To do so we gave a sequence of finite graphs, counterexamples for larger and larger values of $\ell$ with $k=2$, $c=3$. Our counterexamples contained subdivisions of uniform binary trees with arbitrarily large depth as subgraphs.
Here we show that for any binary tree $T$, the coarse Menger conjecture is true for all graphs that contain no subdivision of $T$ as a subgraph, that is, it is true for graphs with bounded path-width (and, further, for graphs with bounded coarse path-width). This is perhaps surprising, since it is false for bounded tree-width.
Arithmetic properties of partition functions introduced by Pushpa and Vasuki
In this short note, we prove several infinite family of congruences for some restricted partitions introduced by Pushpa and Vasuki (2022) (thereby, also proving a conjecture of Dasappa et. al. (2023)). We also prove some isolated congruences which seem to have been missed by earlier authors. Our proof techniques uses both elementary means as well as the theory of modular forms.
The Eigenvalue Method in Coding Theory
Published
• View Publication
• BIB
We lay down the foundations of the Eigenvalue Method in coding theory. The method uses modern algebraic graph theory to derive upper bounds on the size of error-correcting codes for various metrics, addressing major open questions in the field. We identify the core assumptions that allow applying the Eigenvalue Method, test it for multiple well-known classes of error-correcting codes, and compare the results with the best bounds currently available. By applying the Eigenvalue Method, we obtain new bounds on the size of error-correcting codes that often improve the state of the art. Our results show that spectral graph theory techniques capture structural properties of error-correcting codes that are missed by classical coding theory approaches.
Incidences among flows
We consider two incidence problems for integral curves of vector fields. The first is an analogue of the Euclidean joints problem, in which lines are replaced by integral curves of smooth vector fields taken from some finite-dimensional set. The second is a bilinear and more rigid version of the first, in which we have two vector fields and one family of integral curves tangent to each and wish to know how many intersecting pairs are possible. In both cases, a curvature condition of Hörmander makes possible nontrivial bounds on the number of incidences in terms of the number of curves.
A Proof of the 2004 Albert-Grossman-Nowakowski-Wolfe Conjecture on Alternating Linear Clobber
Clobber is an alternate-turn two-player game introduced in 2001 by Albert, Grossman, Nowakowski and Wolfe. The board is a graph with each node colored black (x), white (o), or empty (-). Player Left has black stones, player Right has white stones. On a turn, a player takes one of their stones that is adjacent to an opponent stone and clobbers the opponent's stone (replaces it with theirs). Whoever cannot move loses. Linear clobber is clobber played on a path, for example, one row of a Go board. In 2004 Albert et al. conjectured that, for every even-length alternating-color linear clobber position except oxoxox, the first player has a winning strategy. We prove their conjecture.
Asymptotic structure. II. Path-width and additive quasi-isometry
We show that if a graph $G$ admits a quasi-isometry $φ$ to a graph $H$ of bounded path-width, then we can assign a non-negative integer length to each edge of $H$, such that the same function $φ$ is a quasi-isometry to this weighted version of $H$, with error only an additive constant.
Asymptotic structure. III. Excluding a fat tree
Robertson and Seymour proved that for every finite tree $H$, there exists $k$ such that every finite graph $G$ with no $H$ minor has path-width at most $k$; and conversely, for every integer $k$, there is a finite tree $H$ such that every finite graph $G$ with an $H$ minor has path-width more than $k$. If we (twice) replace ``path-width'' by ``line-width'', the same is true for infinite graphs $G$.
We prove a ``coarse graph theory'' analogue, as follows. For every finite tree $H$ and every $c$, there exist $k,L,C$ such that every graph that does not contain $H$ as a $c$-fat minor admits an $(L,C)$-quasi-isonetry to a graph with line-width at most $k$; and conversely, for all $k,L,C$ there exist $c$ and a finite tree $H$ such that every graph that contains $H$ as a $c$-fat minor admits no $(L,C)$-quasi-isometry to a graph with line-width at most $k$.