Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Repeated-Root Constacyclic Codes of Length $3p^s$ over the Finite Non-Chain Ring $\frac{\mathbb{F}_{p^m}[u, v]}{\langle u^2, v^2, uv-vu\rangle}$ and their Duals
Published in Discrete Mathematics, Algorithms and Applications, 2025
• View Publication
• BIB
This study aims to determine the algebraic structures of $α$-constacyclic codes of length $3p^s$ over the finite commutative non-chain ring $\mathcal{R}=\frac{\mathbb{F}_{p^m}[u, v]}{\langle u^2, v^2, uv-vu\rangle}$, for a prime $p \neq 3.$ For the unit $α$, we consider two different instances: when $α$ is a cube in $\mathcal{R}$ and when it is not. Analyzing the first scenario is relatively easy. When $α$ is not a unit in $\mathcal{R}$, we consider several subcases and determine the algebraic structures of constacyclic codes in those cases. Further, we also provide the number of codewords and the duals of $α$-constacyclic codes.
Colouring t-perfect graphs
Perfect graphs can be described as the graphs whose stable set polytopes are defined by their non-negativity and clique inequalities (including edge inequalities). In 1975, Chvátal defined an analogous class of t-perfect graphs, which are the graphs whose stable set polytopes are defined by their non-negativity, edge inequalities, and odd circuit inequalities. We show that t-perfect graphs are $199053$-colourable. This is the first finite bound on the chromatic number of t-perfect graphs and answers a question of Shepherd from 1995. Our proof also shows that every h-perfect graph with clique number $ω$ is $(ω+ 199050)$-colourable.
Induced subgraphs and tree decompositions XVIII. Obstructions to bounded pathwidth
The pathwidth of a graph $G$ is the smallest $w\in \mathbb{N}$ such that $G$ can be constructed from a sequence of graphs, each on at most $w+1$ vertices, by gluing them together in a linear fashion. We provide a full classification of the unavoidable induced subgraphs of graphs with large pathwidth.
A Modular Inductive Proof of the Chen-Raspaud Conjecture via Graph Classification
It is conjectured by Chen and Raspaud that for each integer $k \ge 2$, any graph $G$ with \[ \mathrm{mad}(G) < \frac{2k+1}{k} \quad\text{and}\quad \mathrm{odd\text{-}girth}(G) \ge 2k+1 \] admits a homomorphism into the Kneser graph $K(2k+1,k)$. The base cases $k=2$ and $k=3$ are known from earlier work. A modular inductive proof is provided here, in which graphs at level $k+1$ are classified into four structural classes and are shown to admit no minimal counterexamples by means of forbidden configuration elimination, a discharging argument, path-collapsing techniques, and a combinatorial embedding of smaller Kneser graphs into larger ones. This argument completes the induction for all $k \ge 2$, thus settling the Chen-Raspaud conjecture in full generality.
Runs in Paperfolding Sequences
Published
• View Publication
• BIB
The paperfolding sequences form an uncountable class of infinite sequences over the alphabet $\{ -1, 1 \}$ that describe the sequence of folds arising from iterated folding of a piece of paper, followed by unfolding. In this note we observe that the sequence of run lengths in such a sequence, as well as the starting and ending positions of the $n$'th run, is $2$-synchronized and hence computable by a finite automaton. As a specific consequence, we obtain the recent results of Bunder, Bates, and Arnold, in much more generality, via a different approach. We also prove results about the critical exponent and subword complexity of these run-length sequences.
Uniquely $C_{4}^{+}$-saturated graphs
A graph $G$ is uniquely $H$-saturated if it contains no copy of a graph $H$ as a subgraph, but adding any new edge into $G$ creates exactly one copy of $H$. Let $C_{4}^{+}$ be the diamond graph consisting of a $4$-cycle $C_{4}$ with one chord and $C_{3}^{*}$ be the graph consisting of a triangle with a pendant edge. In this paper we prove that a nontrivial uniquely $C_{4}^{+}$-saturated graph $G$ has girth $3$ or $4$. Further, $G$ has girth $4$ if and only if it is a strongly regular graph with special parameters. For $n>18k^{2}-24k+10$ with $k\geq2$, there are no uniquely $C_{4}^{+}$-saturated graphs on $n$ vertices with $k$ triangles. In particular, $C_{3}^{*}$ is the only nontrivial uniquely $C_{4}^{+}$-saturated graph with one triangle, and there are no uniquely $C_{4}^{+}$-saturated graphs with two, three or four triangles.
Curves on the torus with few intersections
Aougab and Gaster [Math. Proc. Cambridge Philos. Soc. 174 (2023), 569-584] proved that any set of simple closed curves on the torus, where any two are non-homotopic and intersect at most k times, has a maximum size of $k+O(\sqrt{k}\log k)$. We determine the maximum size of such a set for every k. In particular, the maximum never exceeds k+6, and it does not exceed k+4 when k is large.
As this quantity coincides with the maximal number of columns of a generic k-modular matrix with two rows, our result also settles the column number problem, a problem of interest in combinatorial optimization, for such matrices.
Isoresidual curves
Given a partition $μ$ of $-2$, the stratum $\mathcal{H}(μ)$ parametrizes meromorphic differential one-forms on the Riemann sphere $\mathbb{CP}^{1}$ with~$n$ zeros and $p$ poles of orders prescribed by $μ$. The isoresidual fibration is defined by assigning to each differential in $\mathcal{H}(μ)$ its configuration of residues at the poles. In the case of differentials with $n=2$ zeros, generic isoresidual fibers are complex curves endowed with a canonical translation structure, which we describe extensively in this paper. Quantitative characteristics of the translation structure on isoresidual fiber curves, including the orders of the singularities and a period central charge encapsulating the linear dependence of periods on the underlying configuration of residues, provide rich discrete invariants for these fibers. We also determine the Euler characteristic of generic isoresidual fiber curves from intersection-theoretic computations, relying on the multi-scale compactification of strata of differentials. In particular, we describe a wall and chamber structure for the Euler characteristic of generic isoresidual fiber curves in terms of the partition $μ$. Additionally, we classify the connected components of generic isoresidual fibers for strata in genus zero with an arbitrary number of zeros.
The support of Kostant's weight multiplicity formula is an order ideal in the weak Bruhat order
For integral weights $λ$ and $μ$ of a classical simple Lie algebra $\mathfrak{g}$, Kostant's weight multiplicity formula gives the multiplicity of the weight $μ$ in the irreducible representation with highest weight $λ$, which we denote by $m(λ,μ)$. Kostant's weight multiplicity formula is an alternating sum over the Weyl group of the Lie algebra whose terms are determined via a vector partition function. The Weyl alternation set $\mathcal{A}(λ,μ)$ is the set of elements of the Weyl group that contribute nontrivially to the multiplicity $m(λ,μ)$. In this article, we prove that Weyl alternation sets are order ideals in the weak Bruhat order of the corresponding Weyl group. Specializing to the Lie algebra $\mathfrak{sl}_{r+1}(\mathbb{C})$, we give a complete characterization of the Weyl alternation sets $\mathcal{A}(\tildeα,μ)$, where $\tildeα$ is the highest root and $μ$ is a negative root, answering a question of Harry posed in 2024. We also provide some enumerative results that pave the way for our future work, where we aim to prove Harry's conjecture that the $q$-analog of Kostant's weight multiplicity formula is $m_q(\tildeα,μ)=q^{r+j-i+1}+q^{r+j-i}-q^{j-i+1}$ when $μ=-(α_i+α_{i+1}+\cdots+α_{j})$ is a negative root of $\mathfrak{sl}_{r+1}(\mathbb{C})$.
Overpartitions with separated overlined parts and non-overlined parts
Recently, Andrews considered the partitions with parts separated by parity, in which parts of a given parity are all smaller than those of the other parity. Inspired from the partitions with parts separated by parity, we investigate the overpartitions with separated overlined parts and non-overlined parts, in which the sizes of overlined parts (resp. non-overlined parts) are greater than or equal to those of non-overlined parts (resp. overlined parts).
Construction, Transformation and Structures of 2x2 Space-Filling Curves
The 2x2 space-filling curve is a type of generalized space-filling curve characterized by a basic unit is in a "U-shape" that traverses a 2x2 grid. In this work, we propose a universal framework for constructing general 2x2 curves where self-similarity is not strictly required. The construction is based on a novel set of grammars that define the expansion of curves from level 0 (a single point) to level 1 (units in U-shapes), which ultimately determines all $36 \times 2^k$ possible forms of curves on any level $k$ initialized from single points. We further developed an encoding system in which each unique form of the curve is associated with a specific combination of an initial seed and a sequence of codes that sufficiently describes both the global and local structures of the curve. We demonstrated that this encoding system is a powerful tool for studying 2x2 curves and we established comprehensive theoretical foundations from the following three key perspectives: 1) We provided a deterministic encoding for any unit on any level and position on the curve, enabling the study of curve generation across arbitrary parts on the curve and ranges of iterations; 2) We gave deterministic encodings for various curve transformations, including rotations, reflections and reversals; 3) We provided deterministic forms of families of curves exhibiting specific structures, including homogeneous curves, curves with identical shapes, partially identical shapes, and with completely distinct shapes. We also explored families of recursive curves, subunit identically or differently shaped curves, completely non-recursive curves, symmetric curves and closed curves. Finally, we proposed a method to calculate the location of any point on the curve arithmetically, within a time complexity linear to the level of the curve.
Jones--Wenzl projections of type $D$ and Dyck tilings
We study the relation between a coefficient of an element of the Jones--Wenzl projection in the Temperley--Lieb algebra of type $D$ and an enumeration of Dyck tilings. The coefficient can be non-recursively expressed as an enumerative generating function of Dyck tilings by considering the generalized Hermite histories, which we call bi-colored vertical Hermite histories, on the tilings.
Geometric Variants of the Gale--Berlekamp Switching Game
The Gale-Berlekamp switching game is played on the following device:
$G_n=\{1,2,\ldots,n\} \times \{1,2,\ldots,n\}$
is an $n \times n$ array of lights is controlled by $2n$ switches, one for each row or column.
Given an (arbitrary) initial configuration of the board, the objective is to have as many lights on as possible.
Denoting the maximum difference (discrepancy)
between the number of lights that are on minus the number of lights that are off
by $F(n)$, it is known (Brown and Spencer, 1971) that
$F(n)= Θ(n^{3/2})$, and more precisely, that
$F(n) \geq \left( 1+ o(1) \right) \sqrt{\frac{2}π} n^{3/2} \approx 0.797 \ldots n^{3/2}$.
Here we extend the game to other playing boards. For example:
(i)~For any constant $c>1$, if $c n$ switches are conveniently chosen, then the maximum discrepancy
for the square board is $Ω(n^{3/2})$. From the other direction, suppose we fix any set of $a$ column switches, $b$ row switches, where $a \geq b$ and $a+b=n$.
Then the maximum discrepancy is at most $-b (n-b)$.
(ii) A board $H \subset \{1,\ldots,n\}^2$, with area $A=|H|$,
is \emph{dense} if $A \geq c (u+v)^2$, for some constant $c>0$, where
$u= |\{x \colon (x,y) \in H\}|$ and $v=|\{y \colon (x,y) \in H\}|$.
For a dense board of area $A$, we show that the maximum discrepancy is $Θ(A^{3/4})$.
This result is a generalization of the Brown and Spencer result for the original game.
(iii) If $H$ consists of the elements of $G_n$ below the hyperbola $xy=n$, then its maximum discrepancy
is $Ω(n)$ and $O(n (\log n)^{1/2})$.
Asymptotics of the number of lattice triangulations of rectangles of width 4 and 5
Let $f(m,n)$ be the number of primitive lattice triangulations of an $m \times n$ rectangle. We express the limits $\lim_n f(m,n)^{1/n}$ for $m = 4$ and $m=5$ in terms of certain systems of Fredholm integral equations on generating functions (the case $m\le3$ was treated in a previous paper). Solving these equations numerically, we compute approximate values of these limits with a rather high precision.
Interplay between the local metric dimension and the clique number of a graph
The local metric dimension ${\rm dim}_l$ in relation to the clique number $ω$ is investigated. It is proved that if $ω(G)\leq n(G)-3$, then ${\rm dim}_l(G) \leq n(G)-3$ and the graphs attaining the bound classified. Moreover, the graphs $G$ with ${\rm dim}_l(G) = n(G)-3$ are listed (with no condition on the clique number). It is proved that if $ω(G)=n(G)-2$, then $n(G)-4 \leq {\rm dim}_l(G)\leq n(G)-3$, and all graphs are divided into two groups depending on which of the options applies. The conjecture asserting that for any graph $G$ we have ${\rm dim}_l(G) \leq \left[(ω(G)-2)/(ω(G)-1)\right] \cdot n(G)$ is proved for all graphs with $ω(G)\in\{n(G)-1,n(G)-2,n(G)-3\}$. A negative answer is given for the problem whether every planar graph fulfills the inequality ${\rm dim}_l(G) \leq \lceil (n(G)+1)/2 \rceil$.
The number of dissociation sets in connected graphs
Extremal problems related to the enumeration of graph substructures, such as independent sets, matchings, and induced matchings, have become a prominent area of research with the advancement of graph theory. A subset of vertices is called a dissociation set if it induces a subgraph with vertex degree at most $1$, making it a natural generalization of these previously studied substructures.
In this paper, we present efficient tools to strictly increase the number of dissociation sets in a connected graph. Furthermore, we establish that the maximum number of dissociation sets among all connected graphs of order $n$ is given by \begin{align*} \begin{cases} 2^{n-1}+(n+3)\cdot 2^{\frac{n-5}{2}}, &~ {\rm if}~ n~{\rm is}~{\rm odd};\\ 2^{n-1}+(n+6)\cdot 2^{\frac{n-6}{2}}, &~ {\rm if}~ n~{\rm is}~{\rm even}. \end{cases} \end{align*} Additionally, we determine the achievable upper bound on the number of dissociation sets in a tree of order $n$ and characterize the corresponding extremal graphs as an intermediate result. Finally, we identify the unicyclic graph that is the candidate for having the second largest number of dissociation sets among all connected graphs.
Sparsest cut and eigenvalue multiplicities on low degree Abelian Cayley graphs
Whether or not the Sparsest Cut problem admits an efficient $O(1)$-approximation algorithm is a fundamental algorithmic question with connections to geometry and the Unique Games Conjecture. Revisiting spectral algorithms for Sparsest Cut, we present a novel, simple algorithm that combines eigenspace enumeration with a new algorithm for the Cut Improvement problem. The runtime of our algorithm is parametrized by a quantity that we call the solution dimension $\text{SD}_\varepsilon(G)$: the smallest $k$ such that the subspace spanned by the first $k$ Laplacian eigenvectors contains all but $\varepsilon$ fraction of a sparsest cut. Our algorithm matches the guarantees of prior methods based on the threshold-rank paradigm, while also extending beyond them. To illustrate this, we study its performance on low degree Cayley graphs over Abelian groups -- canonical examples of graphs with poor expansion properties. We prove that low degree Abelian Cayley graphs have small solution dimension, yielding an algorithm that computes a $(1+\varepsilon)$-approximation to the uniform Sparsest Cut of a degree-$d$ Cayley graph over an Abelian group of size $n$ in time $n^{O(1)}\cdot\exp(d/\varepsilon)^{O(d)}$. Along the way to bounding the solution dimension of Abelian Cayley graphs, we analyze their sparse cuts and spectra, proving that the collection of $O(1)$-approximate sparsest cuts has an $\varepsilon$-net of size $\exp(d/\varepsilon)^{O(d)}$ and that the multiplicity of $λ_2$ is bounded by $2^{O(d)}$. The latter bound is tight and improves on a previous bound of $2^{O(d^2)}$ by Lee and Makarychev.
Lower bounds on the independence numbers of distance graphs with vertices in $\{-1, 0, 1\}^n$
This work is devoted to lower bounds on independence numbers of distance graphs with vertices in $\{-1,0,1\}^n$. The asymptotic case is studied, yielding new results over a broad range of parameters. Numerical results are presented, highlighting nontrivial relationships between the obtained bounds. Known upper bounds and their potential suboptimality are discussed separately.
English Translation of "Über Graphen und ihre Anwendung auf Determinantentheorie und Mengenlehre" by Dénes Kőnig
The presented work focuses on problems from determinant theory, set theory and topology. The term graph is the binding element that connects these problems. Graphs are distinguished by their geometrical simplicity, which helps in showing the equivalence between various seemingly unrelated problems, besides providing solutions to several open questions discussed here.
Slack-Pack algorithm for Meir-Moser packing problem
The well-known problem stated by A. Meir and L. Moser consists in tiling the unit square with rectangles (details), whose side lengths equal $1/n\times 1/(n+1)$, where indices~$n$ range from 1 to infinity. Recently, Terence Tao has proved that it is possible to tile with $1/n^t\times 1/(n+1)^t$ rectangles (squares with the side length of $1/n^t$), $1/2<t<1$, the square, whose area equals the sum of areas of these details, provided that only those details, whose indices exceed certain~$n_0$, are taken into consideration. We adduce arguments in favor of the assumption that the result obtained by T. Tao is also valid for $t=1$. We use a new tiling method (the Slack-Pack algorithm), which initially admits gaps between stacks of details. The algorithm uses a pre-fixed parameter $γ$, $\sqrt{3/2}<γ<3/2$, connected with the gap value. The new algorithm allows one to control the ratio of the area of the large rectangular part, which is free of details, to the whole area of the remaining empty space. This ratio (under certain natural assumptions) always exceeds $1-1/γ-δ$, where $δ$ tends to zero as $n_0$ increases.