Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Intersection numbers of the natural embedding of the twisted triality hexagon T(q^3,q) in PG(7,q^3)
Published
• View Publication
• BIB
In this paper, we study and characterise the natural embedding of the twisted triality hexagon T(q^3,q) in PG(7,q^3). We begin by describing the possible intersections of subspaces of PG(7,q^3) with T(q^3,q). Then, we provide conditions on a set of lines L which ensures that L forms the line set of a naturally embedded twisted triality hexagon. This work follows up on similar results for the split Cayley hexagon by J. A. Thas and H. Van Maldeghem (2008) and F. Ihringer (2014).
The Rainbow Arborescence Problem on Cycles
The rainbow arborescence conjecture posits that if the arcs of a directed graph with $n$ vertices are colored by $n-1$ colors such that each color class forms a spanning arborescence, then there is a spanning arborescence that contains exactly one arc of every color. We prove that the conjecture is true if the underlying undirected graph is a cycle.
On the gradient of the coefficient of the characteristic polynomial
We prove the bivariate Cayley-Hamilton theorem, a powerful generalization of the classical Cayley-Hamilton theorem. The bivariate Cayley-Hamilton theorem has three direct corollaries that are usually proved independently: The classical Cayley-Hamilton theorem, the Girard-Newton identities, and the fact that the determinant and every coefficient of the characteristic polynomial has polynomially sized algebraic branching programs (ABPs) over arbitrary commutative rings. This last fact could so far only be obtained from separate constructions, and now we get it as a direct consequence of this much more general statement.
The statement of the bivariate Cayley-Hamilton theorem involves the gradient of the coefficient of the characteristic polynomial, which is a generalization of the adjugate matrix. Analyzing this gradient, we obtain another new ABP for the determinant and every coefficient of the characteristic polynomial. This ABP has one third the size and half the width compared to the current record-holder ABP constructed by Mahajan-Vinay in 1997. This is the first improvement on this problem for 28 years.
Our ABP is built around algebraic identities involving the first order partial derivatives of the coefficients of the characteristic polynomial, and does not use the ad-hoc combinatorial concept of clow sequences. This answers the 26-year-old open question by Mahajan-Vinay from 1999 about the necessity of clow sequences.
We prove all results in a combinatorial way that on a first sight looks similar to Mahajan-Vinay, but it is closer to Straubing's and Zeilberger's constructions.
On the number of linear uniform hypergraphs with linear girth constraint
For an integer $r\geqslant 3$, a hypergraph on vertex set $[n]$ is $r$-uniform if each edge is a set of $r$ vertices, and is said to be linear if every two distinct edges share at most one vertex. Given a family $\mathcal{H}$ of linear $r$-uniform hypergraphs,let $Forb_r^L(n,\mathcal{H})$ be the set of linear $r$-uniform hypergraphs on vertex set $[n]$, which does not contain any member from $\mathcal{H}$ as a subgraph. An $r$-uniform linear cycle of length $\ell$, denoted by $C_\ell^r$, is a linear $r$-uniform hypergraph on $(r-1)\ell$ vertices whose edges can be ordered as $\boldsymbol{e}_1,\ldots,\boldsymbol{e}_\ell$ such that $|\boldsymbol{e}_i\cap \boldsymbol{e}_j|=1$ if $j=i\pm 1$ (indices taken modulo $\ell$) and $|\boldsymbol{e}_i\cap \boldsymbol{e}_j|=0$ otherwise. The linear girth of a linear $r$-uniform hypergraph is the smallest integer $\ell$ such that it contains a $C_\ell^r$. Let $Forb_L(n,r,\ell)=Forb_r^L(n,\mathcal{H})$ when $\mathcal{H}=\{C_i^r:\, 3\leqslant i\leqslant \ell\}$, that is, $Forb_L(n,r,\ell)$ is the set of all linear $r$-uniform hypergraphs on $[n]$ with linear girth greater than $\ell$. For integers $r\geqslant 3$ and $\ell\geqslant 4$, Balogh and Li [On the number of linear hypergraphs of large girth, J. Graph Theory, 93(1) (2020), 113-141] showed that $|Forb_L(n,r,\ell)|= 2^{O(n^{1+1/\lfloor \ell/2\rfloor})}$ based on the graph container method. It is natural to obtain $|Forb_L(n,r,\ell)|\geqslant 2^{c\cdot n^{1+1/\ell}}$ for some constant $c$ by probabilistic deletion method. Combined with the known results that $|Forb_L(n,r,3)|= 2^{o (n^{2})}$ and $|Forb_L(n,3,4)|= 2^{Θ(n^{3/2})}$, by analyzing the random greedy high linear girth linear $r$-uniform hypergraph process, we show $|Forb_L(n,r,\ell)|\geqslant 2^{n^{1+1/(\ell-1)-O(\log\log n/\log n)}}$ for every pair of fixed integers $r,\ell\geqslant 4$, or $r= 3$ and $\ell\geqslant 5$.
Integral Formulas for the Noncentral Tanny-Dowling Polynomials
Published in European Journal of Pure and Applied Mathematics, Vol. 18(4) (2025) Article Number 6743
• View Publication
• BIB
In this paper, we established some integral formulas for and involving the noncentral Tanny-Dowling polynomials. These formulas are shown to be generalizations of some known results on the classical geometric polynomials.
Adjoint and duality for rank-metric codes in a skew polynomial framework
Skew polynomial rings provide a fundamental example of noncommutative principal ideal domains. Special quotients of these rings yield matrix algebras that play a central role in the theory of rank-metric codes. Recent breakthroughs have shown that specific subsets of these quotients produce the largest known families of maximum rank distance (MRD) codes. In this work, we present a systematic study of transposition and duality operations within quotients of skew polynomial rings. We develop explicit skew-polynomial descriptions of the transpose and dual code constructions, enabling us to determine the adjoint and dual codes associated with the MRD code families recently introduced by Sheekey et al. Building on these results, we compute the nuclear parameters of these codes, and prove that, for a new infinite set of parameters, many of these MRD codes are inequivalent to previously known constructions in the literature.
On Universal derivations for multiarrangements
The study of universal derivations for arbitrary multiarrangements and multiplicity functions was initiated by Abe, Röhrle, Stump, and Yoshinaga in 2024 which focused on arrangements arising from (well-generated) reflection groups. In this paper we provide a criterion for determining whether a derivation is universal along with a characterization of universal derivations for arbitrary 2-multiarrangements. As an application we give descriptions of universal derivations for several multiarrangements, including the so-called deleted $A_3$ arrangement. This is the first known example of a non-reflection arrangement that admits a universal derivation distinct from the Euler derivation.
$ABC$ sum-product theorems for Katz-Tao sets
Published
• View Publication
• BIB
I prove two variants of the $ABC$ sum-product theorem for $δ$-separated sets $A,B,C \subset [0,1]$ satisfying Katz-Tao spacing conditions. The main novelty is that the cardinality of the sets $B,C$ need not match their non-concentration exponent. The new $ABC$ theorems are sharp under their respective hypotheses, and imply the previous one.
An Efficient and Almost Optimal Solver for the Joint Routing-Assignment Problem via Partial JRA and Large-α Optimization
The Joint Routing-Assignment (JRA) optimization problem simultaneously determines the assignment of items to placeholders and a Hamiltonian cycle that visits each node pair exactly once, with the objective of minimizing total travel cost. Previous studies introduced an exact mixed-integer programming (MIP) solver, along with datasets and a Gurobi implementation, showing that while the exact approach guarantees optimality, it becomes computationally inefficient for large-scale instances. To overcome this limitation, heuristic methods based on merging algorithms and shaking procedures were proposed, achieving solutions within approximately 1% deviation from the optimum. This work presents a novel and more efficient approach that attains high-accuracy, near-optimal solutions for large-scale JRA problems. The proposed method introduces a Partial Path Reconstructon (PPR) solver that first identifies key item-placeholder pairs to form a reduced subproblem, which is solved efficiently to refine the global solution. Using this PJAR framework, the initial heuristic merging solutions can be further improved, reducing the deviation by half. Moreover, the solution can be iteratively polished with PPR based solver along the optimization path to yield highly accurate tours. Additionally, a global Large-α constraint is incorporated into the JRA model to further enhance solution optimality. Experimental evaluations on benchmark datasets with n = 300, 500, and 1000 demonstrate that the proposed method consistently delivers almost optimal solutions, achieving an average deviation of 0.00% from the ground truth while maintaining high computational efficiency. Beyond the JRA problem, the proposed framework and methodologies exhibit strong potential for broader applications. The Framework can be applied to TSP and related optimization problems.
Steiner systems $S(2,6,226)$ and $S(2,6,441)$ do exist!
A Steiner system $S(2,k,v)$ is a set $X$ of cardinality $v$ endowed with a family $\mathcal L$ of $k$-element subsets of $X$ such that any two distinct points of $X$ belong to a unique set of the family $\mathcal L$. If a Steiner system $S(2,k,v)$ exists, then $k-1$ divides $v-1$ and $k(k-1)$ divides $v(v-1)$. Those divisibility conditions are necessary but not sufficient for the existence of a Steiner system $S(2,k,v)$. For instance, the Bruck--Ryser Theorem implies that no Steiner system $S(2,6,36)$ exists, despite $5$ divides $35$ and $6\cdot 5$ divides $36\cdot 35$. On the other hand, Wilson showed that for every natural number $k\ge 2$, a Steiner system $S(2,k,v)$ exists for all but finitely many natural numbers $v$ satisfying the above divisibility conditions. The Handbook of Combinatorial Designs lists 29 numbers $v$ for which the existence of a Steiner system $S(2,6,v)$ is not known: 51, 61, 81, 166, 226, 231, 256, 261, 286, 316, 321, 346, 351, 376, 406, 411, 436, 441, 471, 501, 561, 591, 616, 646, 651, 676, 771, 796, 801. In this paper we present seven Steiner systems $S(2,6,226)$ and six Steiner systems $S(2,6,441)$ thus resolving two of those 29 undecided cases. The discovered Steiner systems $S(2,6,226)$ and $S(2,6,441)$ were found by computer search, as $1$-rotational difference families and difference families for the groups $(\mathbb Z_5\times\mathbb Z_5\times\mathbb Z_3)\rtimes\mathbb Z_3$ and $(\mathbb Z_7\rtimes\mathbb Z_3)\times(\mathbb Z_7\rtimes\mathbb Z_3)$, respectively.
On the Color Discrepancy of Spanning Trees in Random and Randomly Perturbed Graphs
In this work, we study the color discrepancy of spanning trees in random graphs. We show that for the Erdős-Rényi random graph $G(n,p)$ with $p$ above the connectivity threshold, the following holds with high probability: in every 2-edge-coloring of the graph, there exists a spanning tree with a linear number of leaves such that one color class contains more than $\frac{1 + \varepsilon}{2}n $ of the tree's edges. Here, $\varepsilon>0$ is a small absolute constant independent of $p$.
We also extend this line of research to randomly perturbed dense graphs, showing that adding a few random edges to a dense graph typically creates a spanning tree with a large color discrepancy under any 2-edge-coloring.
Identities for permutations with fixed points
Published in Journal of Integer Sequences, Vol. 28 (2025), Article 25.6.4
• Search Publication
We present identities for permutations with fixed points. The formulas are based on successive derivations or integrations of the determinant of a particular matrix.
Tropical reductive groups and principal bundles on metric graphs
We propose an elementary tropical analogue of a reductive group that combines the datum of a Weyl group and the tropicalization of a fixed maximal torus. For the classical groups, as well as $G_2$, these tropical reductive groups admit descriptions as tropical matrix groups that resemble their classical counterparts. Employing this perspective, we introduce tropical principal bundles on metric graphs and study their explicit presentations as pushforwards of line bundles along covers with symmetries and extra data. Our main result identifies the essential skeleton of the moduli space of semistable principal bundles on a Tate curve with its tropical analogue.
Shortest self-orthogonal embeddings of binary linear codes
There has been recent interest in the study of shortest self-orthogonal embeddings of binary linear codes, since many such codes are optimal self-orthogonal codes. Several authors have studied the length of a shortest self-orthogonal embedding of a given binary code $\mathcal C$, or equivalently, the minimum number of columns that must be added to a generator matrix of $\mathcal C$ to form a generator matrix of a self-orthogonal code. In this paper, we use properties of the hull of a linear code to determine the length of a shortest self-orthogonal embedding of any binary linear code. We focus on the examples of Hamming codes and Reed-Muller codes. We show that a shortest self-orthogonal embedding of a binary Hamming code is self-dual, and propose two algorithms to construct self-dual codes from Hamming codes $\mathcal H_r$. Using these algorithms, we construct a self-dual $[22, 11, 6]$ code, called the shortened Golay code, from the binary $[15, 11, 3]$ Hamming code $\mathcal H_4$, and construct a self-dual $[52, 26, 8]$ code from the binary $[31, 26, 3]$ Hamming code $\mathcal H_5$. We use shortest SO embeddings of linear codes to obtain many inequivalent optimal self-orthogonal codes of dimension $7$ and $8$ for several lengths. Four of the codes of dimension $8$ that we construct are codes with new parameters such as $[91, 8, 42],\, [98, 8, 46],\,[114, 8, 54]$, and $[191, 8, 94]$.
Sign games on graphs
Published
• View Publication
• BIB
We define the Sign Game as a two-player game played on a simple undirected mathematical graph $G$. The players alternate turns, assigning vertices of $G$ either $1$ or $-1$, and edges take on the value of the product of their endvertices. The game ends when all vertices are assigned values, and the score of the game is the sum of all edge values. One player's goal is to make the score positive while the other's is to make the score negative. In this paper we investigate the game being played on various types of graphs, determining outcomes and winning strategies.
On $\{k\}$-Roman graphs: complexity of recognition and the case of split graphs
For a positive integer $k$, a $\{k\}$-Roman dominating function of a graph $G = (V,E)$ is a function $f\colon V \rightarrow \{0,1,\ldots,k\}$ satisfying $f (N(v)) \geq k$ for each vertex $v\in V$ with $f (v) = 0$. Every graph $G$ satisfies $γ_{\{Rk\}}(G) \leq kγ(G)$, where $γ_{\{Rk\}}(G)$ denotes the minimum weight of a $\{k\}$-Roman dominating function of $G$ and $γ(G)$ is the domination number of $G$. In this work we study graphs for which the equality is reached, called \emph{$\{k\}$-Roman graphs}. This extends the concept of $\{k\}$-Roman trees studied by Wang et al. in 2021 to general graphs. We prove that for every $k\geq 3$, the problem of recognizing $\{k\}$-Roman graphs is NP-hard, even when restricted to split graphs. We provide partial answers to the question of which split graphs are $\{2\}$-Roman: we characterize $\{2\}$-Roman split graphs that can be decomposed with respect to the split join operation into two smaller split graphs and classify the $\{k\}$-Roman property within two specific families of split graphs that are prime with respect to the split join operation: suns and their complements.
The Complexity of Stackelberg Pricing Games
We consider Stackelberg pricing games, which are also known as bilevel pricing problems, or combinatorial price-setting problems. This family of problems consists of games between two players: the leader and the follower. There is a market that is partitioned into two parts: the part of the leader and the part of the leader's competitors. The leader controls one part of the market and can freely set the prices for products. By contrast, the prices of the competitors' products are fixed and known in advance. The follower, then, needs to solve a combinatorial optimization problem in order to satisfy their own demands, while comparing the leader's offers to the offers of the competitors. Therefore, the leader has to hit the intricate balance of making an attractive offer to the follower, while at the same time ensuring that their own profit is maximized.
Pferschy, Nicosia, Pacifici, and Schauer considered the Stackelberg pricing game where the follower solves a knapsack problem. They raised the question whether this problem is complete for the second level of the polynomial hierarchy, i.e., $Σ^p_2$-complete. The same conjecture was also made by Böhnlein, Schaudt, and Schauer. In this paper, we positively settle this conjecture. Moreover, we show that this result holds actually in a much broader context: The Stackelberg pricing game is $Σ^p_2$-complete for over 50 NP-complete problems, including most classics such as TSP, vertex cover, clique, subset sum, etc. This result falls in line of recent meta-theorems about higher complexity in the polynomial hierarchy by Grüne and Wulf.
Pieri Rule for GQs Computed via Strict Decomposition Tableaux
$GQ$ functions are symmetric functions indexed by strict partitions that represent $K$-theoretic Schubert classes in the Lagrangian Grassmannian. Buch and Ravikumar proved a Pieri rule for expanding $GQ_λ\cdot GQ_p$ in terms of $GQ$s via certain shifted skew tableaux. In this paper we identify an alternative family of shifted tableaux that enumerates this Pieri rule. This partially resolves a conjecture from previous work that these tableaux enumerate the expansion of $GQ_λ \cdot GQ_τ$ in terms of $GQ$s where $τ$ is a trapezoid shape.
Local and global $d$-rigidity are not definable in the first order logic of graphs
We use Hanf locality and a result of Cruickshank, Jackson, and Tanigawa on the global rigidity of graphs of $k$-circuits to prove that local and global $d$-rigidity are not definable in the first order logic of graphs.
A step toward Chen-Lih-Wu conjecture
An equitable $k$-coloring of a graph is a proper $k$-coloring where the sizes of any two different color classes differ by at most one. In 1973, Meyer conjectured that every connected graph $G$ has an equitable $k$-coloring for some $k\leq Δ(G)$, unless $G$ is a complete graph or an odd cycle. Chen, Lih, and Wu strengthened this in 1994 by conjecturing that for $k\geq 3$, the only connected graphs of maximum degree at most $k$ with no equitable $k$-coloring are the complete bipartite graph $K_{k,k}$ for odd $k$ and the complete graph $K_{k+1}$. A more refined conjecture was proposed by Kierstead and Kostochka, relaxing the maximum degree condition to an Ore-type condition. Their conjecture states the following: for $k\geq 3$, if $G$ is an $n$-vertex graph such that $d(x) + d(y)\leq 2k$ for every edge $xy\in E(G)$, and $G$ admits no equitable $k$-coloring, then $G$ contains either $K_{k+1}$ or $K_{m,2k-m}$ for some odd $m$. We prove that for any constant $c>0$ and all sufficiently large $n$, the latter two conjectures hold for every $k\geq cn$. Our proof yields an algorithm with polynomial time that decides whether $G$ has an equitable $k$-coloring, thereby answering a conjecture of Kierstead, Kostochka, Mydlarz, and Szemerédi when $k \ge cn$.