Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Distinct permutation dot products
We show that for any two sets of reals numbers $A=\{a_1,\dots,a_n\}$ and $B=\{b_1,\dots,b_n\}$, the sums of the form $\sum_{i=1}^n a_i\,b_{π(i)}$ always take on $Ω(n^{3})$ distinct values, as we range over all permutations $π\in S_n$.
An important ingredient is a ``supportive'' version of Halász's anticoncentration theorem from Littlewood-Offord theory, which may be of independent interest.
Even Sets and Dual Projective Geometric Codes: A Tale of Cylinders
In this paper, we prove that the smallest even sets in ${\rm PG}(n,q)$, i.e. sets that intersect every line in an even number of points, are cylinders with a hyperoval as base. This fits into a more general study of dual projective geometric codes. Let $q$ be a prime power, and define $\mathcal C_k(n,q)^\perp$ as the kernel of the $k$-space vs. point incidence matrix of ${\rm PG}(n,q)$, seen as a matrix over the prime order subfield of $\mathbb F_q$. Determining the minimum weight of this linear code is still an open problem in general, but has been reduced to the case $k=1$. There is a known construction that constructs small weight codewords of $\mathcal C_1(n,q)^\perp$ from minimum weight codewords of $\mathcal C_1(2,q)^\perp$. We call such codewords cylinder codewords. We pose the conjecture that all minimum weight codewords of $\mathcal C_1(n,q)^\perp$ are cylinder codewords. This conjecture is known to be true if $q$ is prime. We take three steps towards proving that the conjecture is true in general:
(1) We prove that the conjecture is true if $q$ is even. This is equivalent to our classification of the smallest even sets.
(2) We prove that the minimum weight of $\mathcal C_1(n,q)^\perp$ is $q^{n-2}$ times the minimum weight of $\mathcal C_1(2,q)^\perp$, which matches the weight of cylinder codewords. Thus, we completely reduce the problem of determining the minimum weight of $\mathcal C_1(n,q)^\perp$ to the case $n=2$.
(3) We prove that if the conjecture is true for $n=3$, it is true in general.
Structure theory of set addition with two operations
We take the first step toward a structure theory that includes both operations of a ring $\mathcal{R}$. More precisely, we prove a series of inverse results for the structure of sets $A\subseteq \mathbf{F}_p$ such that, under certain conditions on integers $r_1, \dots, r_k$, one has $|A^{r_1} + \dots + A^{r_k}| \ll \sqrt[k]{p^{k-1} |A|}$.
Extending graph total colorings to cell complexes
Let $2\le k\in\mathbb{Z}$. A total coloring of a simple connected regular graph via color set $ \{0,1,\ldots, k\}$ is said to be {\it efficient} if each color yields an efficient dominating set, where the efficient domination condition applies to the restriction of each color class to the vertex set. In this work, focus is set upon 2-cell complexes whose 1-skeletons, namely their induced 1-cell complexes, are toroidal graphs. Each such 2-cell complex is said to cover its induced 1-skeleton. An efficient total coloring of one such skeleton induces an efficient total cell coloring of its covering 2-cell complex if it assigns a vertex-and-edge $k$-color set to the border skeleton of each of its 2-cells, with the consequently missing color in $\{0,1,\ldots,k\}$ assigned to the 2-cell itself, so that the two adjacent 2-cells along any 1-cell are assigned different colors. Applications are given for plane tilings, cycle products, toroidal triangulations, honeycombs and star-of-David tilings.
Self-avoiding walk, connective constant, cubic graph, Fisher transformation, quasi-transitive graph
We study self-avoiding walks (SAWs) on infinite quasi-transitive cubic graphs under \emph{local transformations} that replace each degree-$3$ vertex by a finite, symmetric three-port gadget. To each gadget we associate a two-port SAW generating function $g(x)$, defined by counting SAWs that enter and exit the gadget through prescribed ports. Our first main result shows that, if $G$ is cubic and $G_1=φ(G)$ is obtained by applying the local transformation at every vertex, then the connective constants $μ(G)$ and $μ(G_1)$ satisfy the functional relation \[ μ(G)^{-1}=g\bigl(μ(G_1)^{-1}\bigr). \] We next consider critical exponents defined via susceptibility-type series that do not rely on an ambient Euclidean dimension, and prove that the exponents $γ$ and $η$ are invariant under local transformations; moreover $ν$ is invariant under a standard regularity hypothesis on SAW counts (a common slowly varying function).
Our second set of results concerns bipartite graphs, where the local transformation is applied to one colour class (or to both classes, possibly with different gadgets). In this setting we obtain an analogous relation \[ μ(G)^{-2}=h\bigl(μ(G_{\mathrm e})^{-1}\bigr), \] with $h(x)=xg(x)$ when only one class is transformed and $h(x)=g_{φ_1}(x)\,g_{φ_2}(x)$ when both are transformed. We further present explicit families of examples, including replacing each degree-3 vertex by a complete-graph gadget $K_N$.
L(3,2,1)-labelings of three classes of 4-valent circulants
An $L(3,2,1)$-labeling of a graph $G$ is an assignment $f$ of nonnegative integers to vertices such that $\vert f(x)-f(y)\vert > 3-\mbox{dist}_G(x,y)$ for every pair $x,y$ of vertices of $G$, where $\mbox{dist}_G(x,y)$ denotes the distance between $x$ and $y$ in $G$. The minimum span (i.e., the difference between the largest and the smallest value) among all $L(3,2,1)$-labelings of $G$ is denoted by $λ_{(3,2,1)}(G)$. In this paper, we study $L(3,2,1)$-labelings of three classes of circulant graphs. Namely, we investigate $λ_{(3,2,1)}$ of $C_n(\{1,s_2,n-s_2,n-1\})$, where $s_2\in\{3,4,5\}$. This paper is a continuation of a recent publication of T. Calamoneri who studied the square of cycles, i.e., circulants $C_n(\{1,2,n-2,n-1\})$.
A semigroup approach to iterated binomial transforms
We study a one-parameter family of binomial-convolution operators acting on sequences. These operators form an additive semigroup with an explicit inverse, and they subsume iterated classical binomial transforms as a special case. We describe the action in terms of ordinary and exponential generating functions, interpret the transform in the Riordan-array framework, and prove a general root-shift principle for constant-coefficient linear recurrences: applying the transform shifts the characteristic roots by a fixed amount. Several classical families (Fibonacci, Lucas, Pell, Jacobsthal, Mersenne) are treated uniformly as illustrative examples.
Ehrhart quasi-polynomials via Barnes polynomials and discrete moments of parallelepipeds
We give novel and explicit formulas for the Ehrhart quasi-polynomials of rational simple polytopes, in terms of Barnes polynomials and discrete moments of half-open parallelepipeds. These formulas also hold for all positive dilations of a rational polytope. There is an interesting appearance of an extra complex z-parameter, which seems to allow for more compact formulations. We also give similar formulas for discrete moments of rational polytopes, and their positive dilates, objects known in the literature as sums of polynomials over a polytope. The appearance of the Barnes polynomials and the Barnes numbers allow for explicit computations. From this work, it is clear that the complexity of computing Ehrhart quasi-polynomials lies mainly in the computation of various discrete moments of parallelepipeds. These discrete moments are in general summed over a particular lattice flow on a compact torus, defined in this paper. Some of the consequences involve novel vanishing identities for rational polytopes. As another consequence, we obtain a differential equation for discrete moments of rational polytopes, which extends the work of Eva Linke. For smooth polytopes, we obtain novel and much simpler formulations of Ehrhart polynomials, discrete moments, and vanishing identities that may be of independent interest from the perspective of Barnes polynomials and Barnes numbers. These formulations show the utility of Barnes polynomials in geometric combinatorics, due to their very rich structure that extends the 1-dimensional Bernoulli polynomials.
Conjugating full cycles by adjacent transpositions: diameter and sorting time
We establish upper and lower bounds on the maximal number of steps needed to transform a cyclic permutation to the canonical cyclic permutation using conjugation by adjacent transpositions, and on the diameter of the underlying Schreier graph.
Explicit Almost-Optimal $\varepsilon$-Balanced Codes via Free Expander Walks
We study the problem of constructing explicit codes whose rate and distance match the Gilbert-Varshamov bound in the low-rate, high-distance regime. In 2017, Ta-Shma gave an explicit family of codes where every pair of codewords has relative distance $\frac{1-\varepsilon}{2}$, with rate $Ω(\varepsilon^{2+o(1)})$, matching the Gilbert-Varshamov bound up to a factor of $\varepsilon^{o(1)}$. Ta-Shma's construction was based on starting with a good code and amplifying its bias with walks arising from the $s$-wide-replacement product.
In this work, we give an arguably simpler almost-optimal construction, based on what we call free expander walks: ordinary expander walks where each step is taken on a distinct expander from a carefully chosen sequence. This sequence of expanders is derived from the construction of near-$X$-Ramanujan graphs due to O'Donnell and Wu.
An Eventown Result for Permutations
A family of permutations $\mathcal{F} \subseteq S_n$ is even-cycle-intersecting if $σπ^{-1}$ has an even cycle for all $σ,π\in \mathcal{F}$. We show that if $\mathcal{F} \subseteq S_n$ is an even-cycle-intersecting family of permutations, then $|\mathcal{F}| \leq 2^{n-1}$, and that equality holds when $n$ is a power of 2 and $\mathcal{F}$ is a double-translate of a Sylow 2-subgroup of $S_n$. This result can be seen as an analogue of the classical eventown problem for subsets and it confirms a conjecture of János Körner on maximum reversing families of the symmetric group. Along the way, we show that the canonically intersecting families of $S_n$ are also the extremal odd-cycle-intersecting families of $S_n$ for all even $n$. While the latter result has less combinatorial significance, its proof uses an interesting new character-theoretic identity that might be of independent interest in algebraic combinatorics.
Analysis of a Random Local Search Algorithm for Dominating Set
Dominating Set is a well-known combinatorial optimization problem which finds application in computational biology or mobile communication. Because of its $\mathrm{NP}$-hardness, one often turns to heuristics for good solutions. Many such heuristics have been empirically tested and perform rather well. However, it is not well understood why their results are so good or even what guarantees they can offer regarding their runtime or the quality of their results. For this, a strong theoretical foundation has to be established. We contribute to this by rigorously analyzing a Random Local Search (RLS) algorithm that aims to find a minimum dominating set on a graph. We consider its performance on cycle graphs with $n$ vertices. We prove an upper bound for the expected runtime until an optimum is found of $\mathcal{O}\left(n^4\log^2(n)\right)$. In doing so, we introduce several models to represent dominating sets on cycles that help us understand how RLS explores the search space to find an optimum. For our proof we use techniques which are already quite popular for the analysis of randomized algorithms. We further apply a special method to analyze a reversible Markov Chain, which arises as a result of our modeling. This method has not yet found wide application in this kind of runtime analysis.
Greedily Constructing Small Quasi-Kernels
In a digraph $D$,a quasi-kernel is an independent set $Q$ such that for every vertex $u$, there is a vertex $v \in Q$ satisfying $\text{dist}(v,u)\leq 2$. In 1974 Chvátal and Lovász showed every digraph contains a quasi-kernel. In 1976, P. L. Erdős and Székely conjectured that every sourceless digraph has a quasi-kernel of order at most $\frac{n}{2}$. Despite significant recent attention by the community the problem remains far from solved, with no bound of the form $(1-ε)n$ known. We introduce a polynomial time algorithm which greedily constructs a small quasi-kernel. Using this algorithm we show that if $D$ is a $\vec{K}_{1,d}$-free digraph, then $D$ has a quasi-kernel of order at most $\frac{(d^2 - 2d + 2)n}{d^2-d+1}$. By refining this argument we prove that for any $D$ with maximum out-degree $3$ this algorithm constructs a quasi-kernel of order at most ${4n}/{7}$. Finally, we consider the problem in digraphs forbidding certain orientation of short cycles as subgraphs, concluding that all orientations $D$ of a graph $G$ with girth at least $7$ have a quasi-kernel of order at most $\frac{(d^2+4)n}{(d+2)^2}$, where $d$ is the maximum out-degree of $D$.
On the eigenvalues of cyclic covers of Paley graphs
We study covering graphs of the Paley graph associated to a finite field of characteristic p in the case where the covering transformation group is cyclic of prime order distinct from p. When the field has q = p elements, we show that the eigenvalues of the adjacency matrix determine the graph isomorphism class among translation invariant covers. When q = p^r > p, we construct examples of cospectral covering graphs that are not isomorphic as graphs.
The Inverse Symplectic Eigenvalue Problem of a Graph
Symplectic geometry plays an increasingly important role in mathematics, physics and applications, and naturally gives rise to interesting matrix families and properties. One of these is the notion of symplectic eigenvalues, whose existence for positive definite matrices is known as Williamson's theorem or decomposition. This notion of symplectic eigenvalues gives rise to inverse problems. We introduce the inverse symplectic eigenvalue problem for positive definite matrices described by a labeled graph and solve it for several families of labeled graphs and all labeled graphs of order four. To solve these problems we develop various tools such as the Strong Symplectic Spectral Property (SSSP) and its consequences such as the Supergraph Theorem, the Bifurcation Theorem, and the Matrix Liberation Lemma for symplectic eigenvalues, graph couplings to describe collections of labelings of a graph that produce the same symplectic eigenvalues, and coupled graph zero forcing. We establish numerous results for symplectic positive definite matrices, including a sharp lower bound on the number of nonzero entries of such a matrix (or equivalently, the number of edges in its graph). This lower bound is a consequence of a lower bound on the sum of number of nonzero entries in an irreducible positive definite matrix and its inverse.
High-Dimensional $p$-Normed Flows
We generalize Tutte's integer flows and the $d$-dimensional Euclidean flows of Mattiolo, Mazzuoccolo, Rajník, and Tabarelli to \emph{$d$-dimensional $p$-normed nowhere-zero flows} and define the corresponding flow index $φ_{d,p}(G)$ to be the infimum over all real numbers $r$ for which $G$ admits a $d$-dimensional $p$-normed nowhere-zero $r$-flow. For any bridgeless graph $G$ and any $p\ge 1$, we establish general upper bounds, including $φ_{2,p}(G) \le 3$, $φ_{3,p}(G) \le 1+\sqrt{2}$, and tight bounds for graphs admitting a $4$-NZF. For graphs with oriented $(k+1)$-cycle $2l$-covers, we show that $φ_{k,p}(G) = 2$, which implies $φ_{2,p}(G) = 2$ for graphs admitting a nowhere-zero $3$-flow and $φ_{3,p}(G) = 2$ for those admitting a nowhere-zero $4$-flow. These results extend classical flow theory to arbitrary norms, provide supporting evidences for Tutte's $5$-flow Conjecture and Jain's $S^2$-Flow Conjecture, and connect combinatorial flows with geometric and topological perspectives.
Partition identities associated with $A_r$-Surface singularities
We prove a family of partition identities involving integer partitions in three colors. The conditions imposed on the types of partitions appearing in these identities involve constraints that arise in the Rogers-Ramanujan and Andrews-Gordon identities, as well as in their recent extensions. The identities established in this paper are associated with the $A_r$ surface singularities via the arc HP-series, which provides a measure of singularities of algebraic varieties defined using arc spaces.
Ramanujan polar graphs
Recently, a construction of minimal codes arising from a family of almost Ramanujan graphs was shown. Ramanujan graphs are examples of expander graphs that minimize the second-largest eigenvalue of their adjacency matrix. We call such graphs Ramanujan, since all known non-trivial constructions imply the Ramanujan conjecture on arithmetical functions. In this paper, we prove that some families of tangent graphs of finite classical polar spaces satisfy Ramanujan's condition. If the polarity is unitary, or it is orthogonal and the quadric is over the binary field, the tangent graphs are strongly regular, and we know their spectrum. By direct computation, it is possible to show which families of tangent graphs are Ramanujan.
Bruhat Intervals in the Infinite Symmetric Group are Cohen-Macaulay
We show that the (non-Noetherian) Stanley-Reisner ring of the order complex of certain intervals in the Bruhat order on the infinite symmetric group $S_\infty$ of all auto-bijections of $\mathbb{N}$ is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. This gives an infinite-dimensional version of results due to Edelman, Björner, and Kind and Kleinschmidt for finite symmetric groups $S_n$.
A classification of regular maps with Euler characteristic $-p^4$ for a prime $p\geq 5$
A map is a cellular decomposition of a closed surface. In the framework of classifying all regular maps by their supporting surface, it is an open problem to find all closed surfaces that support no regular maps. Classification of regular maps on surfaces with Euler characteristic $-p, -p^2, -p^3, -2p,$ and $-3p$ has already been done by several authors in a series of papers, which also show that surfaces with these Euler characteristic support no regular maps if the corresponding prime $p$ satisfies certain conditions. In this paper, assuming that $p\geq 5$ is a prime and $i\geq 4$, we show that the order of a Sylow $p$-subgroup of a regular map with Euler characteristic $-p^i$ is bounded by $p^{i-1}$ unless $p\in \{5, 7, 13\}$, and we show the existence of a normal $p$-subgroup for these regular maps whenever a Sylow $p$-subgroup has order at least $\sqrt{p^i}$, laying a solid foundation for using an inductive method to completely characterize regular maps of Euler characteristic $-p^i$. Based on this, we classify all regular maps with Euler characteristic $-p^4$ for a prime $p\geq 5$ in terms of reduced presentations of their automorphism groups. Consequently, a closed surface with Euler characteristic $-p^4$ supports no regular maps if and only if $p\notin \{2,3,5,7,13\}$.