Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Exceptional projections in finite fields: Fourier analytic bounds and incidence geometry
We consider the problem of bounding the number of exceptional projections (projections which are smaller than typical) of a subset of a vector space over a finite field onto subspaces. We establish bounds that depend on $L^p$ estimates for the Fourier transform, improving various known bounds for sets with sufficiently good Fourier analytic properties. The special case $p=2$ recovers a recent result of Bright and Gan (following Chen), which established the finite field analogue of Peres--Schlag's bounds from the continuous setting. We prove several auxiliary results of independent interest, including a character sum identity for subspaces (solving a problem of Chen) and a full generalization of Plancherel's theorem for subspaces. These auxiliary results also have applications in affine incidence geometry, that is, the problem of estimating the number of incidences between a set of points and a set of affine $k$-planes. We present a novel and direct proof of a well-known result in this area that avoids the use of spectral graph theory, and we provide simple examples demonstrating that these estimates are sharp up to constants.
Maximum Size $t$-Intersecting Families and Anticodes
The maximum size of $t$-intersecting families is one of the most celebrated topics in combinatorics, and its size is known as the Erdős-Ko-Rado theorem. Such intersecting families, also known as constant-weight anticodes in coding theory, were considered in a generalization of the well-known sphere-packing bound. In this work we consider the maximum size of $t$-intersecting families and their associated maximum size constant-weight anticodes over alphabet of size $q >2$. It is proved that the structure of the maximum size constant-weight anticodes with the same length, weight, and diameter, depends on the alphabet size. This structure implies some hierarchy of constant-weight anticodes.
On the Isomorphism Problem of Cayley Graphs of Graph Products
We investigate Cayley graphs of graph products by showing that graph products with vertex groups that have isomorphic Cayley graphs yield isomorphic Cayley graphs.
Decomposition results for multiplicative actions and applications
Motivated by partition regularity problems of homogeneous quadratic equations, we prove multiple recurrence and convergence results for multiplicative measure preserving actions with iterates given by rational sequences involving polynomials that factor into products of linear forms in two variables. We focus mainly on actions that are finitely generated, and the key tool in our analysis is a decomposition result for any bounded measurable function into a sum of two components, one that mimics concentration properties of pretentious multiplicative functions and another that mimics vanishing properties of aperiodic multiplicative functions. Crucial to part of our arguments are some new seminorms that are defined by a mixture of addition and multiplication of the iterates of the action, and we prove an inverse theorem that explicitly characterizes the factor of the system on which these seminorms vanish.
Constructing the antimagic labelings for double stars union paths on three vertices
For a graph on $m$ edges, a bijective function between the edge set of the graph and $\{1,2,\ldots,m\}$ is an antimagic labeling provided that when adding the labels of the edges incident to the same vertex, the sums are pairwise distinct. Hartsfield and Ringel conjectured that every connected graph has antimagic labeling. On the other hand, it is known that for any graph $G$, the disjoint union of $G$ and many $P_3$, a path on 3 vertices, is not antimagic. In this paper, we determined the exact number of $P_3$'s such that the disjoint union of a double star with the number of $P_3$'s is antimagic. In addition, we provide some examples of $(1,1)$-antimagic labelings. That is, the antimagic labelings have vertex sums 1 through the number of vertices of the graphs.
Computation of Minimum Numbers of Tile and Bond-Edge Types for DNA Self-Assembly of Select Archimedean Graphs
This project mathematically models the self-assembly of DNA nanostructures in the shape of select Archimedean graphs using the flexible tile model. Under three different sets of restrictions called scenarios, we employ principles of linear algebra and graph theory to determine the minimum number of different DNA branched molecules and bond types needed to construct the desired shapes, theoretically reducing laboratory costs and the waste of biomaterials. We determine exact values for $T_3(G)$, the minimum number of molecule (or ``tile") types needed for all six order 12 and 24 Archimedean graphs. We also determine exact values for $B_3(G)$, the minimum number of strand (or ``bond-edge") types, for three of the six graphs and establish bounds for the remaining three. Two algorithms, implemented as Python scripts, are used to analyze proposed design strategies for the graphs.
Un teorema de Ramsey para los enteros
We find all linear orders $L,L_2$ such that $L\to(\mathbb Z,L_2)^2$. The key is the identification of the orders $L$ such that $L\to(\mathbb Z,\mathbb Z)^1$.
On Log-Concave Operator Acting on Sequences and Series
In this paper, we investigate the properties of sequences and series under the action of the log-concave operator \(\mathcal{L}\). We explore the relationship between the convergence of a sequence \((a_k)\) and the convergence of sequences and series derived by applying \(\mathcal{L}\) iteratively. These results demonstrate the strong regularity properties of log-concave sequences and provide a framework for analyzing the convergence of sequences and series derived from the log-concave operator. The findings have implications for combinatorics, probability, optimization, and related fields, opening new avenues for further research on the behavior of log-concave sequences and their associated operators.
Counting $\mathbb F_q$-points of orbital varieties in ad-nilpotent ideals of type $A_n$
Let $\mathfrak b_n(\mathbb F_q)$ denote the Lie algebra of upper triangular $n \times n$ matrices over $\mathbb F_q$, and let $\mathfrak u_n(\mathbb F_q)$ be the subalgebra of strictly upper triangular matrices. For every $\mathfrak b_n(\mathbb F_q)$-stable ideal $\mathfrak a \subseteq \mathfrak u_n(\mathbb F_q)$ and partition $μ$ of $n$, we give an explicit formula for the number of elements in $\mathfrak a$ of Jordan type $μ$. Up to a power of $q$, the number of points is given by the Hall scalar product of a modified Hall-Littlewood function indexed by $μ$ and a chromatic quasisymmetric function associated to $\mathfrak a$.
In the special case $\mathfrak a = \mathfrak u_Λ(\mathbb F_q)$, the nilradical of the standard parabolic subalgebra of $\mathfrak{gl}_n(\mathbb F_q)$ corresponding to a composition $Λ$ of $n$, our formula specializes to a result of Karp and Thomas: up to a polynomial in $q$, the number of elements in $\mathfrak u_Λ(\mathbb F_q)$ of Jordan type $μ$ equals the coefficient of $\mathbf x^Λ$ in the specialization of the dual Macdonald symmetric function $\mathrm Q_{μ'}(\mathbf x; q^{-1}, t)$ at $t = 0$. We give a new and shorter proof using a parabolic version of Borodin's division algorithm.
We present four applications: (1) a formula for the number of points on a nilpotent Hessenberg variety; (2) a derivation of Kirillov's recurrence for counting nilpotent matrices of fixed Jordan type; (3) a formula for the number of $X \in \mathfrak u_Λ(\mathbb F_q)$ with $X^2 = 0$, yielding a new proof of the Kirillov-Melnikov-Ekhad-Zeilberger formula via two-row Macdonald polynomials; (4) a formula for the number of double cosets $\mathsf U_1 \backslash \mathsf{GL}_n(\mathbb F_q) / \mathsf U_2$, where $\mathsf U_1$ and $\mathsf U_2$ are unipotent subgroups from $\mathfrak b_n(\mathbb F_q)$-stable ideals.
Characterization of locally most split reliable graphs
A two-terminal graph is a graph equipped with two distinguished vertices, called terminals. Let $T_{n,m}$ be the set of all nonisomorphic connected simple two-terminal graphs on $n$ vertices and $m$ edges. Let $G$ be any two-terminal graph in $T_{n,m}$. For every number $p$ in $[0,1]$ we let each of the edges in $G$ be independently deleted with probability $1-p$. The split reliability $SR_{G}(p)$ is the probability that the resulting spanning subgraph has precisely $2$ connected components, each one including one terminal. The two-terminal graph $G$ is uniformly most split reliable if $SR_G(p)\geq SR_{H}(p)$ for each $H$ in $T_{n,m}$ and every $p$ in $[0,1]$. We say $G$ is locally most split reliable if there exists $δ>0$ such that $SR_G(p)\geq SR_{H}(p)$ for each $H$ in $T_{n,m}$ and every $p$ in $(1-δ,1)$.
Brown and McMullin showed that there exists uniformly most split reliable graphs in each class $T_{n,m}$ such that $m=n-1$, $m=\binom{n}{2}$, or $m=\binom{n}{2}-1$. The authors also proved that there is no uniformly most split reliable two-terminal graph in $T_{n,n}$ when $n\geq 6$ and specified in which classes $T_{n,m}$ such that $n\leq 7$ there exist uniformly most split reliable graphs. The existence or nonexistence of uniformly most split reliable graphs in the remaining cases is posed by Brown and McMullin as an open problem.
In this work, the set $\mathcal{G}_{n,m}$ consisting of all locally most split reliable graphs is characterized in each nonempty class $T_{n,m}$. It is proved that a graph in $T_{n,m}$ is locally most split reliable if and only if its split reliability equals that of the balloon graph equipped with two terminals whose distance equals its diameter. Finally, it is proved that there is no uniformly most split reliable graph in $T_{n,m}$ when $n\geq 7$ and $n\leq m \leq \binom{n-3}{2}+3$.
Strict Erdős-Ko-Rado theorems for simplicial complexes
We show that if a simplicial complex is a near-cone of sufficiently high depth, then the only maximum families of small pairwise intersecting faces are those with a common intersection. Thus, near-cones of sufficiently high depth satisfy the strict Erdős-Ko-Rado property conjectured by Holroyd and Talbot and by Borg. One consequence is a strict Erdős-Ko-Rado theorem for independence complexes of chordal graphs with an isolated vertex. Under stronger shiftedness conditions, we prove a sharper stability theorem of Hilton-Milner type, as well as two cross-intersecting theorems.
A computational approach to rational summability and its applications via discrete residues
A rational function $f(x)$ is rationally summable if there exists a rational function $g(x)$ such that $f(x)=g(x+1)-g(x)$. Detecting whether a given rational function is summable is an important and basic computational subproblem that arises in algorithms to study diverse aspects of shift difference equations. The discrete residues introduced by Chen and Singer in 2012 enjoy the obstruction-theoretic property that a rational function is summable if and only if all its discrete residues vanish. However, these discrete residues are defined in terms of the data in the complete partial fraction decomposition of the given rational function, which cannot be accessed computationally in general. We explain how to efficiently compute (a rational representation of) the discrete residues of any rational function, relying only on gcd computations, linear algebra, and a black box algorithm to compute the autodispersion set of the denominator polynomial. We also explain how to apply our algorithms to serial summability and creative telescoping problems, and how to apply these computations to compute Galois groups of difference equations.
The Fundamental Limits of Recovering Planted Subgraphs
Given an arbitrary subgraph $H=H_n$ and $p=p_n \in (0,1)$, the planted subgraph model is defined as follows. A statistician observes the union a random copy $H^*$ of $H$, together with random noise in the form of an instance of an Erdos-Renyi graph $G(n,p)$. Their goal is to recover the planted $H^*$ from the observed graph. Our focus in this work is to understand the minimum mean squared error (MMSE) for sufficiently large $n$.
A recent paper [MNSSZ23] characterizes the graphs for which the limiting MMSE curve undergoes a sharp phase transition from $0$ to $1$ as $p$ increases, a behavior known as the all-or-nothing phenomenon, up to a mild density assumption on $H$. In this paper, we provide a formula for the limiting MMSE curve for any graph $H=H_n$, up to the same mild density assumption. This curve is expressed in terms of a variational formula over pairs of subgraphs of $H$, and is inspired by the celebrated subgraph expectation thresholds from the probabilistic combinatorics literature [KK07]. Furthermore, we give a polynomial-time description of the optimizers of this variational problem. This allows one to efficiently approximately compute the MMSE curve for any dense graph $H$ when $n$ is large enough. The proof relies on a novel graph decomposition of $H$ as well as a new minimax theorem which may be of independent interest.
Our results generalize to the setting of minimax rates of recovering arbitrary monotone boolean properties planted in random noise, where the statistician observes the union of a planted minimal element $A \subseteq [N]$ of a monotone property and a random $Ber(p)^{\otimes N}$ vector. In this setting, we provide a variational formula inspired by the so-called "fractional" expectation threshold [Tal10], again describing the MMSE curve (in this case up to a multiplicative constant) for large enough $n$.
Path Eccentricity and Forbidden Induced Subgraphs
The path eccentricity of a connected graph $G$ is the minimum integer $k$ such that $G$ has a path such that every vertex is at distance at most $k$ from the path. A result of Duffus, Jacobson, and Gould from 1981 states that every connected $\{\text{claw}, \text{net}\}$-free graph $G$ has a Hamiltonian path, that is, $G$ has path eccentricity $0$. Several more recent works identified various classes of connected graphs with path eccentricity at most $1$, or, equivalently, graphs having a spanning caterpillar, including connected $P_5$-free graphs, AT-free graphs, and biconvex graphs. Generalizing all these results, we apply the work on structural distance domination of Bacsó and Tuza [Discrete Math., 2012] and characterize, for every positive integer $k$, graphs such that every connected induced subgraph has path eccentricity less than $k$. More specifically, we show that every connected $\{S_{k}, T_{k}\}$-free graph has a path eccentricity less than $k$, where $S_k$ and $T_k$ are two specific graphs of path eccentricity $k$ (a subdivided claw and the line graph of such a graph). As a consequence, every connected $H$-free graph has path eccentricity less than $k$ if and only if $H$ is an induced subgraph of $3P_{k}$ or $P_{2k+1} + P_{k-1}$. For such cases, we also provide a robust polynomial-time algorithm that finds a path witnessing the upper bound on the path eccentricity. Our main result also answers an open question of Bastide, Hilaire, and Robinson [Discrete Math., 2025].
Color-Constrained Arborescences in Edge-Colored Digraphs
Given a multigraph $G$ whose edges are colored from the set $[q]:=\{1,2,\ldots,q\}$ (\emph{$q$-colored graph}), and a vector $α=(α_1,\ldots,α_{q}) \in \mathbb{N}^{q}$ (\emph{color-constraint}), a subgraph $H$ of $G$ is called \emph{$α$-colored}, if $H$ has exactly $α_i$ edges of color $i$ for each $i \in[q]$. In this paper, we focus on $α$-colored arborescences (spanning out-trees) in $q$-colored multidigraphs. We study the decision, counting and search versions of this problem. It is known that the decision and search problems are polynomial-time solvable when $q=2$ and that the decision problem is NP-complete when $q$ is arbitrary. However the complexity status of the problem for fixed $q$ was open for $q > 2$. We show that, for a $q$-colored digraph $G$ and a vertex $s$ in $G$, the number of $α$-colored arborescences in $G$ rooted at $s$ for all color-constraints $α\in \mathbb{N}^q$ can be read from the determinant of a symbolic matrix in $q-1$ indeterminates. This result extends Tutte's matrix-tree theorem for directed graphs and gives a polynomial-time algorithm for the counting and decision problems for fixed $q$. We also use it to design an algorithm that finds an $α$-colored arborescence when one exists. Finally, we study the weighted variant of the problem and give a polynomial-time algorithm (when $q$ is fixed) which finds a minimum weight solution.
Reliability Evaluation of Generalized $K_4$-Hypercubes Based on Five Link Fault Patterns
As the scale of data centers continues to grow, there is an increasing demand for interconnection networks to resist malicious attacks. Hence, it is necessary to evaluate the reliability of networks under various fault patterns. The family of generalized $K_4$-hypercubes serve as interconnection networks of data centers, characterized by topological structures with exceptional properties. The $h$-extra edge-connectivity $λ_h$, the $l$-super edge-connectivity $λ^l$, the $l$-average degree edge-connectivity $\overline{λ^l}$, the $l$-embedded edge-connectivity $η_l$ and the cyclic edge-connectivity $λ_c$ are vital parameters to accurately assess the reliability of interconnection networks. Let integer $n\geq3$. This paper obtains the optimal solution of the edge isoperimetric problem and its explicit representation, which offers an upper bound of the $h$-extra edge-connectivity of an $n$-dimensional $K_4$-hypercube $H_n^4$. As an application, we presents $λ_h(H_n^4)$ for $1\leq h\leq 2^{\lceil n/2 \rceil }$. Moreover, for $2^{\lceil n/2\rceil+t}-g_t \le h\le2^{\lceil n/2\rceil+t}$, $g_t=\lceil(2^{2t+2+γ})/3\rceil$,
$0\leq t \leq\lfloor n/2\rfloor-1 $, $γ=0$ for even $n$ and $γ=1$ for odd $n$, $λ_h(H_n^4)$ is a constant $(\lfloor n/2\rfloor-t)2^{\lceil n/2\rceil+t}$. The above lower and upper bounds of the integer $h$ are both sharp. Furthermore, $λ^l(H_n^4)$, $\overline{λ^l}(H_n^4)$, $λ_{2^l}(H_n^4)$, and $η_l(H_n^4)$ share a common value $(n-l)2^l$ for $2\leq l\leq n-1$, and we determines the values of $λ_c(H_n^4)$.
Strongly regular generalized partial geometries and associated LDPC codes
In this paper, we introduce strongly regular generalized partial geometries of grade $r$, which generalise partial geometries and strongly regular $(α,β)$-geometries. By the properties of quadrics in PG$(2,q)$ and PG$(3,q)$, we construct two classes of strongly regular generalized partial geometries of grade $3$. Besides, we define low-density parity-check (LDPC) codes by considering the combinatorial structures of strongly regular generalized partial geometries and derive bounds on minimum distance, dimension and girth for the LDPC codes.
The Hierarchy of Saturating Matching Numbers
In this paper, we study three matching problems all of which came up quite recently in the field of machine teaching. The cost of a matching is defined in such a way that, for some formal model of teaching, it equals (or bounds) the number of labeled examples needed to solve a given teaching task. We show how the cost parameters associated with these problems depend on each other and how they are related to other well known combinatorial parameters (like, for instance, the VC-dimension).
Enumerating k-connected blocks and gk-connected blocks in words
We define two new statistics on words: the k-connector and the gk-connector. For a word $π= π_1π_2\cdotsπ_n$ of length $n$ over the alphabet $[k]$, a k-connector is defined as an ordered pair $(π_j, π_{j+1})$ where $1 \leq j \leq n-1$ and $π_j + π_{j+1} = k$. Conversely, a gk-connector is defined as an ordered pair $(π_j, π_{j+1})$ where $1 \leq j \leq n-1$ and $π_j + π_{j+1} > k$. We investigate the enumeration of partitions based on these statistics, providing generating functions and explicit formulas.
On Pinned Falconer Distance Problem for Cartesian Product Sets: the Parabolic Method
The Falconer distance problem for Cartesian product sets was introduced and studied by Iosevich and Liu (\cite{MR3525385}). In this paper, by implementing a new observation on Cartesian product sets associated with a particular parabolic structure, we study the pinned version of Falconer distance problem for Cartesian product sets, and improve the threshold for the Falconer distance set in \cite{MR3525385} in certain case.