Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On the Consistency of Combinatorially Symmetric Sign Patterns and the Class of 2-Consistent Sign Patterns
A sign pattern is a matrix that has entries from the set $\{+,-,0\}$. An $n\times n$ sign pattern $\mathcal{P}$ is called consistent if every real matrix in its qualitative class has exactly $k$ real eigenvalues and $n-k$ nonreal eigenvalues for some integer $k$, with $1\leq k\leq n$. In the article \cite{1}, the authors established a necessary condition for irreducible, tridiagonal patterns with a $0$-diagonal to be consistent. Subsequently, they proposed that this condition is also sufficient for such patterns to be consistent. In this article, we first demonstrate that this proposition does not hold. We characterize all irreducible, tridiagonal sign patterns with a $0$-diagonal of order at most five that are consistent. Moreover, we establish useful, necessary conditions for irreducible, combinatorially symmetric sign patterns to be consistent. Finally, we introduce the class $Δ$ of all $2$-consistent sign patterns and provide several necessary conditions for sign patterns to belong to this class.
Simple factor graphs associated with split graphs
We introduce and study a loopless multigraph associated with a split graph $S$: the factor graph of $S$, denoted by $Φ(S)$, which encodes the combinatorial information about 2-switch transformations over $S$. This construction provides a cleaner, compact and non-redundant alternative to the graph $A_4(S)$ by Barrus and West, for the particular case of split graphs. If $Φ(S)$ is simple and connected, we obtain a precise description of the underlying structure of $S$, particularly when $Φ(S)$ is complete, highlighting the usefulness of the factor graph for understanding 2-switch dynamics in balanced and indecomposable split graphs, as well as its 2-switch-degree classification.
Construction of sign k-potent sign patterns and conditions for such sign patterns to allow k-potence
Published
• View Publication
• BIB
A sign pattern is a matrix whose entries are from the set $\{+,-, 0\}$. A square sign pattern $A$ is called sign $k$-potent if $k$ is the smallest positive integer for which $A^{k+1}=A$, and for $k=1$, $A$ is called sign idempotent. In 1993, Eschenbach \cite{01} gave an algorithm to construct sign idempotent sign patterns. However, Huang \cite{02} constructed an example to show that matrices obtained by Eschenbach's algorithm were not necessarily sign idempotent. In \cite{03}, Park and Pyo modified Eschenbach's algorithm to construct all reducible sign idempotent sign patterns. In this paper, we give an example to establish that the modified algorithm by Park and Pyo does not always terminate in a single iteration; the number of iterations, depending on the order of the sign pattern, could be large. In this paper, we give a new algorithm that terminates in a single iteration to construct all possible sign idempotent sign patterns. We also provide an algorithm for constructing sign $k$-potent sign patterns. Further, we give some necessary and sufficient conditions for a sign $k$-potent sign pattern to allow $k$-potence.
Tropical methods for building real space sextics with totally real tritangent planes
This paper proposes the use of combinatorial techniques from tropical geometry to build the 120 tritangent planes to a given smooth algebraic space sextic. Although the tropical count is infinite, tropical tritangents come in 15 equivalence classes, each containing the tropicalization of exactly eight classical tritangents.
Under mild genericity conditions on the tropical side, we show that liftings of tropical tritangents are defined over quadratic extensions of the ground field over which the input sextic curve is defined. When the input curve is real, we prove that every complex liftable member of a given tropical tritangent class either completely lifts to the reals or none of its liftings are defined over the reals. As our main application we use these methods to build examples of real space sextics with 64 and 120 totally real tritangents, respectively. The paper concludes with a discussion of our results in the arithmetic setting.
On maximum distance separable and completely regular codes
Published
• View Publication
• BIB
We investigate when a maximum distance separable ($MDS$) code over $F_q$ is also completely regular ($CR$). For lengths $n=q+1$ and $n=q+2$ we provide a complete classification of the $MDS$ codes that are $CR$ or at least uniformly packed in the wide sense ($UPWS$). For the more restricted case $n\leq q$ with $q\leq 5$ we obtain a full classification (up to equivalence) of all nontrivial $MDS$ codes: there are none for $q=2$; only the ternary Hamming code for $q=3$; four nontrivial families for $q=4$; and exactly six linear $MDS$ codes for $q=5$ (three of which are $CR$ and one admits a self-dual version). Additionally, we close two gaps left open in a previous classification of self-dual $CR$ codes with covering radius $ρ\leq 3$: we precisely determine over which finite fields the $MDS$ self-dual completely regular codes with parameters $[2,1,2]_q$ and $[4,2,3]_q$ exist.
Quasi Neighborhood Balanced Coloring of Graphs
For a simple graph G = (V, E), a coloring of vertices of G using two colors, say red and blue, is called a quasi neighborhood balanced coloring if, for every vertex of the graph, the number of red neighbors and the number of blue neighbors differ by at most one. In addition, there must be at least one vertex in G for which this difference is exactly one. If a graph G admits such a colouring, then G is said to be a quasi-neighbourhood balanced colored graph. We also define variants of such a coloring, like uniform quasi neighborhood balanced coloring, positive quasi neighborhood balanced coloring and negative quasi neighborhood balanced coloring based on the color of the extra neighbor of every vertex of odd degree of the graph G. We present several examples of graph classes that admit the various variants of quasi neighborhood balanced coloring. We also discuss various graph operations involving such graphs. Furthermore, we prove that there is no forbidden subgraph characterization for the class of quasi neighborhood balanced coloring and show that the problem of determining whether a given graph has such a coloring is NP-complete.
The $k$-Plancherel measure and a Finite Markov Chain
Let $\mathcal{P}_k(n)$ denote the set of partitions of $n$ whose largest part is bounded by $k,$ which are in well-known bijection with $(k+1)$-cores $\mathcal{C}_k$. We study a growth process on $\mathcal{C}_k$, whose stationary distribution is the $k$-Plancherel measure, which is a natural extension of the Plancherel measure in the context of $k$-Schur functions. When $k\to\infty$ it converges to the Plancherel measure for partitions, a limit studied first by Vershik-Kerov. However, when $k$ is fixed and $n\to \infty$, we conjecture that it converges to a shape close to the limit shape from the uniform growth of partitions, as studied by Rost. We show that the limiting behavior, for fixed $k$, is governed by a finite Markov chain with $k!$ states over a subset of the $k$-bounded partitions or equivalently as a TASEP over cyclic permutations of length $k+1$. This paper initiates the study of these processes, state some theorems and several intriguing conjectures found by computations of the finite Markov chain.
Permutations with only reduced co-BPDs
Bumpless pipe dreams (BPDs) are combinatorial objects used in the study of Schubert and Grothendieck polynomials. Weigandt recently introduced a co-BPD object associated to each BPD and used them to give an analogue to the change of bases formulas of Lenart and Lascoux between these polynomials. She posed the problem of characterizing the set of permutations whose BPDs have only reduced co-BPDs. We give a pattern-avoidance characterization for these permutations using a set of seven patterns.
The non-backtracking transition probability matrix and its usage for node clustering
Relation between the real eigenvalues of the non-backtracking matrix and those of the non-backtracking Laplacian is considered with respect to node clustering. For this purpose we use the real eigenvalues of the transition probability matrix (when the random walk goes through the oriented edges with the rule of ``not going back in the next step'') which have a linear relation to those of the non-backtracking Laplacian of Jost and Mulas. ``Inflation--deflation'' techniques are also developed for clustering the nodes of the non-backtracking graph. With further processing, it leads to the clustering of the nodes of the original graph, which usually comes from a sparse stochastic block model of Bordenave and Decelle.
Skein relations on punctured surfaces
Published
• View Publication
• BIB
This thesis studies skein relations in cluster algebras arising from punctured surfaces. We introduce skein-type identities expressing cluster variables associated with incompatible curves on a surface in terms of cluster variables corresponding to compatible arcs. Incompatibility arises from phenomena such as intersections, self-intersections, and opposite taggings at punctures. To establish these identities, we develop a combinatorial-algebraic framework that relates loop graphs to certain representations. These skein relations can then be applied to investigate structural properties of cluster algebras from punctured surfaces. In particular, they can be used to prove the existence of bases satisfying natural positivity and compatibility conditions. This extends existing work on surface cluster algebras by incorporating punctures in the interior of the surface, thereby enlarging the class of cluster algebras for which such skein relations and bases can be constructed.
$x$ Plays Pokemon, for Almost-Every $x$
This paper provides a brief write-up showing that for any finite state game, a disjunctive number $x$ will eventually win that game. The proof techniques here are well known and this result follows immediately from folklore results in graph theory and cellular automata. This short paper primarily serves as an expositional piece to collect this proof with the fun context of $π$ Plays Pokémon serving as motivation.
Graph Limits via Quotients
We present a new notion of limits of weighted directed graphs of growing size based on convergence of their random quotients. These limits are specified in terms of random exchangeable measures on the unit square. We call our limits grapheurs and show that these are dual to graphons in a precise sense. Grapheurs are well-suited to modeling global structure in large graphs such as hubs and connections between them; previous notions of graph limits based on subgraph densities fail to adequately model such global structure as subgraphs are inherently local. Using our framework, we characterize properties of large graphs that are continuous with respect to our limits and present an edge-based sampling approach for testing them. This method relies on an edge-based analog of the Szemerédi regularity lemma, whereby we show that sampling a constant number of edges from an arbitrarily-large graph approximately preserves its quotients. Finally, we observe that the random quotients of a graph are related to each other by equipartitions, and we conclude with a characterization of such random graph models.
On extremal graphs with respect to the ABS index
Published
• View Publication
• BIB
Recently, Ali et al. posed several open problems concerning extremal graphs with respect to the ABS index. These problems involve characterizing graphs that attain the maximum ABS index within specific graph classes, including: connected graphs with n vertices and p cut-vertices; (ii) connected graphs of order n with vertex k-partiteness; and (iii) connected bipartite graphs of order n with a fixed vertex connectivity κ. In this paper, we provide complete solutions to all of these problems.
Extremal $ABS$ Spectral Radius in Bicyclic and Bipartite Unicyclic Graphs
The ABS spectral radius of a graph G is defined as the largest eigenvalue of its $ABS$ matrix. Motivated by recent studies on this parameter, in this paper, we determine the bipartite unicyclic graphs that attain the largest $ABS$ spectral radius. Furthermore, we characterize the bicyclic graphs that attain the largest and the second largest $ABS$ spectral radii.
Quantum $K$-theoretic Whitney relations for type $C$ flag manifolds
We study relations of $λ_{y}$-classes associated to tautological bundles over the flag manifold of type $C$ in the quantum $K$-ring. These relations are called the quantum $K$-theoretic Whitney relations. The strategy of the proof of the quantum $K$-theoretic Whitney relations is based on the method of semi-infinite flag manifolds and the Borel-type presentation. In addition, we observe that the quantum $K$-theoretic Whitney relations give a complete set of the defining relations of the quantum $K$-ring. This gives a presentation of the quantum $K$-ring of the flag manifold of type $C$, called the Whitney-type presentation, as a quotient of a polynomial ring, different from the Borel-type presentation.
Chamber zeta function and closed galleries in the standard non-uniform complex from $\operatorname{PGL}_3$
Published
• View Publication
• BIB
We introduce the \emph{chamber zeta function} for a complex of groups, defined via an Euler product over primitive tailless chamber galleries, extending the Ihara--Bass framework from weighted graphs to higher-rank settings. Let $\mathcal{B}$ be the Bruhat--Tits building of $\mathrm{PGL}_{3}(F)$ for a non-archimedean local field $F$ with residue field $\mathbb{F}_{q}$. For the standard arithmetic quotient $Γ\backslash\mathcal{B}$ with $Γ=\mathrm{PGL}_{3}(\mathbb{F}_{q}[t])$, we prove an Ihara--Bass type \emph{determinant formula} expressing the chamber zeta function as the reciprocal of a characteristic polynomial of a naturally defined chamber transfer operator. In particular, the chamber zeta function is \emph{rational} in its complex parameter. As an application of the determinant formula, we obtain explicit counting results for closed gallery classes arising from tailless galleries in $\mathcal{B}$, including exact identities and spectral asymptotics governed by the chamber operator.
Schur--Weyl duality for diagonalizing a Markov chain on the hypercube
We show how the tools of modern algebraic combinatorics -- representation theory, Murphy elements, and particularly Schur--Weyl duality -- can be used to give an explicit orthonormal basis of eigenfunctions for a "curiously slowly mixing Markov chain" on the space of binary $n$-tuples. The basis is used to give sharp rates of convergence to stationarity.
Two-colorings of finite grids: variations on a theorem of Tibor Gallai
A celebrated but non-effective theorem of Tibor Gallai states that for any finite set $A$ of $\Z^n$ and for any finite number of colors $c$ there is a minimal $m$ such that no coloring of the finite $m^n$-grid can avoid that a homothetic image of $A$ is monochromatic. We find (or confirm) $m$ for equilateral triangles, squares, and various types of rectangles. Also, we extend the problem from homothety to general similarity, or to similarity generated using some special rotations. In particular, we compute Gallai similarity numbers for lattice rectangles similar to $1\times k$ (in all orientations) for $k=2,3,4$. The solutions have been found in the framework of the Satisfiability Problem in Propositional Logic (SAT). While some questions were solved using managed brute force, for the more computationally intensive questions we used modern SAT solvers together with symmetry breaking techniques. Some other minor questions are solved for triangles and squares, and new lower bounds are found for regular hexagons on the triangular lattice and for three-dimensional cubes in $\Z^3$.
Extremal results on Berge disjoint paths
The well-known Erdős-Gallai Theorem gave the Turán number of paths. Bushaw and Kettle generalized this result to consider the Turán number of disjoint paths. Since then, many studies are focused on the Turán number of linear forest. For a graph $F$, an $r$-uniform hypergraph $\mathcal{H}$ is a $\text{Berge-} F$ if there is a bijection $φ: E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for each $e\in E(F)$. When $F$ is a path, we call $\text{Berge-} F$ a Berge path. The Turán number of Berge paths was initially studied by Győri, Katona and Lemons. They gave the value of $\text{ex}_r(n,\text{Berge-}P_\ell)$ for $\ell>r+1$. This result is a generalization of Erdős-Galli Theorem. Since then, the Turán number of Berge paths has received widespread attention.
Recently, Zhou, Gerbner and Yuan initially studied the Turán number of Berge disjoint paths and for the cases when all the paths have odd length. In this paper, we give a more general result, which gives the exact value of $\mathrm{ex}_r(n,\text{Berge-} kP_{\ell})$ for all $k\geq 2$, $r\ge 3$, and $\ell\geq r+7$.
Extremal orthogonal arrays
It is known that a Delsarte $t$-design in a $Q$-polynomial association scheme has degree at least $\left \lceil{\frac{t}{2}}\right \rceil $. Following Ionin and Shrikhande who studied combinatorial $(2s-1)$-designs (i.e., Delsarte designs in Johnson association schemes) having exactly $s$ block intersection numbers, we call a Delsarte $(2s-1)$-design with degree $s$ extremal and study extremal orthogonal arrays, which are Delsarte designs in Hamming association schemes.
It was shown by Delsarte that a $t$-design with degree $s$ and $t\geq 2s-2$ in a Hamming association scheme induces an $s$-class association scheme. We prove that an extremal orthogonal array gives rise to a fission scheme of the latter one, which has $2s-1$ or $2s$ classes. As a corollary, a new necessary condition for the existence of tight orthogonal arrays of strength $3$ is obtained.
Furthermore, as a counterpart to a result of Ionin and Shrikhande, we prove an inequality for Hamming distances in extremal orthogonal arrays. The inequality is tight as shown by examples related to the Golay codes.