Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Exact Bounds for Forbidden Configurations and the Extremal Matrices
Let $F$ be a $k\times \ell$ (0,1)-matrix. A matrix is simple if it is a (0,1)-matrix with no repeated columns. A (0,1)-matrix $A$ is said to have a $F$ as a configuration if there is a submatrix of $A$ which is a row and column permutation of $F$. In the language of sets, a configuration is a trace.
Let $\mathrm{Avoid}(m,F)$ be all simple $m$-rowed matrices $A$ with no configuration $F$. Define $\mathrm{forb}(m,F)$ as the maximum number of columns of any matrix in $\mathrm{Avoid}(m,F)$. The $2\times (p+1)$ (0,1)-matrix $F(0,p,1,0)$ consists of a row of $p$ 1's and a row of one 1 in the remaining column. The paper determines $\mathrm{forb}(m,F(0,p,1,0))$ for $1\le p\le 9$ and the extremal matrices are characterized. A construction may be extremal for all $p$.
Recovering of the Grassmann graph from the subgraph of non-degenerate subspaces
Let ${\mathbb F}$ be a (not necessarily finite) field. A subspace of the vector space ${\mathbb F}^n$ is called {\it non-degenerate} if it is not contained in a coordinate hyperplane. We show that the Grassmann graph of $k$-dimensional subspaces of ${\mathbb F}^n$, $1<k<n-1$, can be recovered from the subgraph of non-degenerate subspaces if $|{\mathbb F}|>n-k$. In the case when ${\mathbb F}={\mathbb F}_q$ is the field of $q$ elements, this subgraph is known as the graph of non-degenerate linear $[n,k]_q$ codes.
Saturation property fails for Schubert coefficients
Published
• View Publication
• BIB
The saturation property for Littlewood--Richardson coefficients was established by Knutson and Tao in 1999. In 2004, Kirillov conjectured that the saturation property extends to Schubert coefficients. We disprove this conjecture in a strong form, by showing that it fails for a large family of instances. We also refute the saturation property for Schubert coefficients under bit scaling and discuss computational complexity implications.
Metric general position extensions of classical graph invariants
We introduce a two-parameter framework that refines several classical graph invariants by imposing higher-order constraints along bounded-length geodesics. For integers $k,d\ge1$, a vertex set is called $k,d$-independent if every shortest path of length at most $d$ contains fewer than $k$ vertices of the set, giving rise to corresponding $k,d$-independence, chromatic, clique, and domination invariants. We develop a general framework for these parameters by associating each graph with a $k$-uniform hypergraph that encodes its geodesic structure. We then establish basic bounds and monotonicity properties, and introduce a notion of $k,d$-perfection extending the classical theory of perfect graphs. Exact formulas are obtained for the $k,d$-chromatic number of paths and cycles. In particular, all paths are $k,d$-perfect for all parameters, while cycles admit a complete classification of $k,d$-perfection that recovers the classical case when $k=2$ and exhibits new periodic and finite-exception behavior for $k\ge3$. We further investigate the interaction between $k,d$-invariants and graph powers, showing that while the $k=2$ case reduces to graph powers in a straightforward way, substantially different behavior arises for higher values of $k$, even for powers of paths.
Anti-concentration with respect to random permutations
Classical anti-concentration results focus on the random sum $S := \sum _{i=1}^n ξ_i v_i$, where $ξ_i$ are independent random variables and $v_i$ are real numbers. In this paper, we prove new concentration results concerning the random sum $S := \sum_{i=1}^n w_{π_i } v_i $, where $w_i , v_i$ are real numbers and $π$ is a random permutation.
Positive expansions of permuted basement and quasisymmetric Macdonald polynomials at $t=0$
It is well known that the $q$-Whittaker polynomials, which are $t=0$ specializations of the Macdonald polynomials $P_λ(X;q,t)$, expand positively as the sum of Schur polynomials. Macdonald polynomials have a quasisymmetric refinement: the quasisymmetric Macdonald polynomials $G_γ(X;q,t)$, and a nonsymmetric refinement: the ASEP polynomials $f_α(X;q,t)$. We study the $t=0$ specializations of both these families of polynomials and show analogous properties: the quasisymmetric Macdonald polynomials expand positively as a sum of quasisymmetric Schur functions, $\text{QS}_γ(X)$, and the ASEP polynomials expand positively as a sum of Demazure atoms, $\mathcal{A}_α(X)$. As a corollary of the latter, we prove more generally that any permuted basement Macdonald polynomial has a positive expansion in the Demazure atoms at $t=0$. We give a description of the structure coefficients of $G_γ(X;q,0)$ and $f_α(X;q,0)$ in both cases in terms of the charge statistic on a restricted set of semistandard tableaux.
Proof of Convergence of a Laplace Expansion Algorithm For Calculating Recursions Satisfied by a Family of Determinants
In Evan and Hendel's recent proof of an outstanding conjecture on the resistance distances of a family of linear 3-trees, a key technique in the proof was calculating the recursion satisfied by a family of determinants. The underlying algorithm employed to prove the conjecture converged (i.e. terminated) in the particular case studied, and the paper presented an open question on when such a procedure converges in general. This paper proves convergence of the procedure for an arbitrary family of determinants of banded, square, Toeplitz matrices. Moreover, the algorithm in this paper improves several aspects of the algorithm of Evans and Hendel.
Antidiagonal Initial Complexes of Infinite Matrix Schubert Varieties are Cohen-Macaulay
We show that, under certain constraints, the Stanley-Reisner ring of an infinite simplicial complex is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. We apply this result to prove the wanted claim -- that initial complexes of matrix Schubert varieties corresponding to infinite permutations in $S_{\infty}$ with respect to an antidiagonal term order are Cohen-Macaulay (in the same sense), giving rise to new examples of non-Noetherian Cohen-Macaulay rings.
Branching $k$-path vertex cover of forests
We define a set $P$ to be a branching $k$-path vertex cover of an undirected forest $F$ if all leaves and isolated vertices (vertices of degree at most $1$) of $F$ belong to $P$ and every path on $k$ vertices (of length $k-1$) contains either a branching vertex (a vertex of degree at least $3$) or a vertex belonging to $P$. We define the branching $k$-path vertex cover number of an undirected forest $F$, denoted by $ψ_b(F,k)$, to be the number of vertices in the smallest branching $k$-path vertex cover of $F$. These notions for a rooted directed forest are defined similarly, with natural adjustments. We prove the lower bound $ψ_b(F,k) \geq \frac{n+3k-1}{2k}$ for undirected forests, the lower bound $ψ_b(F,k) \geq \frac{n+k}{2k}$ for rooted directed forests, and that both of them are tight.
Affirmative Results on a Conjecture on the Column Space of the Adjacency Matrix
The Akbari-Cameron-Khosrovshahi (ACK) conjecture, which appears to be unresolved, states that for any simple graph $G$ with at least one edge, there exists a nonzero {$\{0,1\}$}-vector in the row space of its adjacency matrix that is not a row of the matrix itself. In this talk, we present a unified framework that includes several families and operations of graphs that satisfy the ACK conjecture. Using these fundamental results, we introduce new graph constructions and demonstrate, through graph structural and linear algebraic arguments, that these constructions adhere to the conjecture. Further, we show that certain graph operations preserve the ACK property. These results collectively expand the known classes of graphs satisfying the conjecture and provide insight into its structural invariance under composition and extension.
The Sequence Reconstruction of Permutations under Hamming Metric with Small Errors
Published
• View Publication
• BIB
The sequence reconstruction problem asks for the recovery of a sequence from multiple noisy copies, where each copy may contain up to $r$ errors. In the case of permutations on \(n\) letters under the Hamming metric, this problem is closely related to the parameter $N(n,r)$, the maximum intersection size of two Hamming balls of radius $r$. While previous work has resolved \(N(n,r)\) for small radii (\(r \leq 4\)) and established asymptotic bounds for larger \(r\), we present new exact formulas for \(r \in \{5,6,7\}\) using group action techniques. In addition, we develop a formula for \(N(n,r)\) based on the irreducible characters of the symmetric group \(S_n\), along with an algorithm that enables computation of \(N(n,r)\) for larger parameters, including cases such as \(N(43,8)\) and \(N(24,14)\).
Constructing Cospectral Vertices Through Orbits of Subgraphs
Published
• View Publication
• BIB
A constructive method is given for obtaining cospectral vertices in undirected graphs, along with an operation that preserves this construction. We prove that the construction yields cospectral vertices, as well as strongly cospectral vertices under additional conditions. Furthermore, we generalize cospectral vertices to the case of the graph Laplacian and provide an analogous construction.
Characteristic quasi-polynomials of truncated arrangements
Given an (affine) integral arrangement $\mathcal{A}$ in $\mathbb{R}^n$, the reduction of $\mathcal{A}$ modulo an arbitrary positive integer $q$ naturally yields an arrangement $\mathcal{A}_q$ in $\mathbb{Z}_q^n$. Our primary objective is to study the combinatorial aspects of the restriction $\mathcal{A}^{(B,\bm b)}$ to the solution space of $B\bm x=\bm b$, and its reduction $\mathcal{A}_q^{(B,\bm b)}$ modulo $q$. This work generalizes the earlier results of Kamiya, Takemura and Terao, as well as Chen and Wang.
The purpose of this paper is threefold as follows. Firstly, we derive an explicit counting formula for the cardinality of the complement $M\big(\mathcal{A}_q^{(B,\bm b)}\big)$ of $\mathcal{A}_q^{(B,\bm b)}$; and prove that for all positive integers $q>q_0$, this cardinality coincides with a quasi-polynomial $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},q\big)$ in $q$ with a period $ρ_C$. Secondly, we weaken Chen and Wang's original hypothesis $a \mid b$ to a strictly more general condition $\gcd(a,ρ_C)\mid \gcd(b,ρ_C)$, and introduce the concept of combinatorial equivalence for positive integers. Within this framework, we establish three unified comparison relations: between the unsigned coefficients of $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},a\big)$ and $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},b\big)$; between the unsigned coefficients of distinct constituents of $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},q\big)$; and between the cardinalities of $M\big(\mathcal{A}_q^{(B,\bm b)}\big)$ and $M\big(\mathcal{A}_{pq}^{(B,\bm b)}\big)$. Thirdly, using our method, we revisit the enumerative aspects of group colorings and nowhere-zero nonhomogeneous form flows from the early work of Forge, Zaslavsky and Kochol.
The left-to-right minima basis of the group algebra of the symmetric group (updated version)
We introduce a new basis of the group algebra of the symmetric group, built using the left-to-right minima sets of permutations. We show that on this basis, the descent algebra acts by triangular operators, thus making it an analogue of a cellular basis. The proof involves Dynkin elements (nested commutators) of the free algebra and their interactions with the $\mathbf B$-basis.
Transducing Linear Decompositions of Tournaments
Bojańczyk, Pilipczuk, and Grohe [LICS '18] proved that for graphs of bounded linear clique-width, clique-decompositions of bounded width can be produced by a CMSO transduction. We show that in the case of tournaments, a first-order transduction suffices. This implies that the logics CMSO and existential MSO are equivalent over bounded linear clique-width tournaments.
A proof of Xin-Zhang's tridiagonal determinant conjecture
We confirm a recent conjecture by Xin and Zhang, which establishes a simple product formula for the characteristic polynomial of an $(n-1) \times (n-1)$ tridiagonal matrix $C$. This characteristic polynomial arises from a recurrence relation that enumerates $n \times n$ nonnegative integer matrices with all row and column sums equal to $t$, also called the Ehrhart polynomial of the $n$th Birkhoff polytope. The proof relies on an unexpected observation: shifting $C$ by a scalar multiple of the identity matrix yields a matrix similar to a lower triangular matrix. In triangular form, the characteristic polynomial reduces to the product of the diagonal entries, leading to the desired closed-form expression. Moreover, we extend this method to broader families of tridiagonal matrices. This provides a new approach for deriving exact enumeration formulas.
Classifying the Fine Polyhedral Spectrum
In this paper, we examine an analogue of the recently solved spectrum conjecture by Fujita in the setting of Fine polyhedral adjunction theory. We present computational results for lower-dimensional polytopes, which lead to a complete classification of the highest numbers of this Fine spectrum in any dimension. Moreover, we present a classification of the Fine spectrum in dimensions one, two and (almost) three, while providing a framework for general classification results in any dimension.
Valuations on polyhedra and topological arrangements
We revisit a classical theme of (general or translation invariant) valuations on convex polyhedra. Our setting generalizes the classical one, in a ``dual'' direction to previously considered generalizations: while previous research was mostly concerned with variations of ground fields/rings, over which the vertices of polytopes are defined, we consider more general collections of defining hyperplanes. No algebraic structures are imposed on these collections. This setting allows us to uncover a close relationship between scissors congruence problems on the one hand and finite hyperplane arrangements on the other hand: there are many parallel results in these fields, for which the parallelism seems to have gone unnoticed. In particular, certain properties of the Varchenko--Gelfand algebras for arrangements translate to properties of polytope rings or valuations. Studying these properties is possible in a general topological setting, that is, in the context of the so-called topological arrangements, where hyperplanes do not have to be straight and may even have nontrivial topology.
Flat simplices and kissing polytopes
We consider how flat a lattice simplex contained in the hypercube $[0,k]^d$ can be. This question is related to the notion of kissing polytopes: two lattice polytopes contained in the hypercube $[0,k]^d$ are kissing when they are disjoint but their distance is as small as possible. We show that the smallest possible distance of a lattice point $P$ contained in the cube $[0,k]^3$ to a lattice triangle in the same cube that does not contain $P$ is $$ \frac{1}{\sqrt{3k^4-4k^3+4k^2-2k+1}} $$ when $k$ is at least $2$. We also improve the known lower bounds on the distance of kissing polytopes for $d$ at least $4$ and $k$ at least $2$.
Total isolation game in graphs
The total isolation game is played on a graph $G$ by two players who take turns playing a vertex such that if $S$ is the set of already played vertices, then a vertex can be selected only if it is adjacent to a vertex that belongs to a (nontrivial) component of the graph $G - N_G(S)$ of order at least $2$ or a vertex that is isolated in $G - N_G(S)$ and belongs to the set $S$, where $N_G(S)$ is the set of vertices adjacent to a vertex in $S$. Dominator wishes to finish the game with the minimum number of played vertices, while Staller has the opposite goal. The game total isolation number $ι_{\rm gt}(G)$ is the number of moves in the Dominator-start game where both players play optimally. We prove that if $G$ is a connected graph of order $n \ge 3$, then $ι_{\rm gt}(G) < \frac{5}{6}n$. Furthermore if $G$ has minimum degree at least $2$, then we prove that $ι_{\rm gt}(G) \le \frac{3}{4}n$. More generally, if $G$ is a connected graph of order $n \ge 3$ with minimum degree $δ$ where $δ\ge 2$, then we prove that $ι_{\rm gt}(G) \le \left( \frac{2δ-1}{3δ-2} \right) n$. Among other results it is proved that if $G$ is a graph of order $n$ with diameter $2$, then $ι_{\rm gt}(G) \le \frac{2}{3}n$.