arXiv subjects

Ákos K. Matszangosz

Publications and source records attributed to Ákos K. Matszangosz.

12 recordsLinked to original sources

arXiv2026

Thom series in negative relative codimension

We develop a theory of Thom series for contact function singularities. Quadratic stabilization $σ_q$ of a contact singularity $η\in J^k(n,1)$ gives contact singularities $σ_q^{i}η\in J^k(n+i,1)$. We study the stable Thom polynomials (i.e.\ the Thom polynomial in quotient variables) of $σ_q^{i}η$ as $i$ increases. To this end, we define the Thom series of a contact function singularity $η$, which for any given $i$ is a linear combination of Schur polynomials $s_λ$. For large enough $i$ the value of the Thom series at $1-(n+i)$ is the stable Thom polynomial of $σ_q^iη$ and for small $i$ it determines its coefficients outside the kernel of a specialization map. We prove that the Thom series has two main properties: 1) as $i$ increases, the partitions $λ$ follow a simple stabilization pattern, and there is a finite set of $λ$ which generates the support of the entire Thom series via this stabilization; 2) the coefficients of the $s_λ$ are polynomials in $i$ with explicit degree bounds. We describe the precise relationship between unstable and stable Thom polynomials of contact function singularities and Legendre Thom polynomials and we carry out computations of all three, as follows. We compute the complete family of stable Thom polynomials for function singularities with $γ\leq 6$. We compute unstable and Legendre Thom polynomials for several families of binary and ternary singularities. We define a class of multi-binary singularities, and compute their Thom polynomials. We discuss second order Thom-Boardman classes, and indicate difficulties that arise beyond function singularities. The results of the paper will be used in a companion paper, where Thom polynomials will be applied to problems in enumerative geometry.

math.AG↗

arXiv2026

Equivariant real cycle class map and Witt-sheaf cohomology of classifying spaces

In this paper, we study equivariant real cycle class maps for group actions on real schemes, with a view toward Witt-sheaf characteristic classes. The cycle class maps take values in singular cohomology of the real points of the quotient stack, which are identified with the homotopy fixed-points of complex conjugation on the complex points. This provides a strong relation between Witt-sheaf cohomology of the geometric classifying space of a real algebraic group and the singular cohomology of the classifying spaces of its strong real forms, which we discuss in a number of examples. As a sample application, we compute the number of Witt-sheaf cohomological invariants of spin groups over the reals.

math.AT↗

arXiv2025

Triplets of Mutually Unbiased Bases

We initiate a systematic study of triplets of mutually unbiased bases (MUBs). We show that in $\mathbb{C}^d$ each MUB-triplet is characterized by a $d\times d\times d$ object that we call a Hadamard cube. We describe the basic properties of Hadamard cubes, and show how an MUB-triplet can be reconstructed from such a cube, up to unitary equivalence. We also present an algebraic identity which is conjectured to hold for all MUB-triplets in dimension 6. If true, it would imply the long-standing conjecture of Zauner that the maximum number of MUBs in dimension 6 is three.

math.CO↗

arXiv2025

Obstructions for Morin and fold maps: Stiefel-Whitney classes and Euler characteristics of singularity loci

For a singularity type $η$, let the $η$-avoiding number of an $n$-dimensional manifold $M$ be the lowest $k$ for which there is a map $M\to\mathbb{R}^{n+k}$ without $η$ type singular points. For instance, the case of $η=Σ^1$ is the case of immersions, which has been extensively studied in the case of real projective spaces. In this paper we study the $η$-avoiding number for other singularity types. Our results come in two levels: first we give an abstract reasoning that a non-zero cohomology class is supported on the singularity locus $η(f)$, proving that $η(f)$ cannot be empty. Second, we interpret this obstruction as a non-zero invariant of the singularity locus $η(f)$ for generic $f$. The main technique that we employ is Sullivan's Stiefel-Whitney classes, which are mod 2, real analogues of the Chern-Schwartz-MacPherson (CSM) classes. We introduce the Segre-Stiefel-Whitney classes of a singularity ${\rm s}^{\rm sw}_η$ whose lowest degree term is the mod 2 Thom polynomial of $η$. Using these techniques we compute some universal formulas for the Euler characteristic of a singularity locus.

math.AG↗

arXiv2024

Chow-Witt rings and topology of flag varieties

The paper computes the Witt-sheaf cohomology rings of partial flag varieties in type A in terms of the Pontryagin classes of the subquotient bundles. The proof is based on a Leray-Hirsch-type theorem for Witt-sheaf cohomology for the maximal rank cases, and a detailed study of cohomology ring presentations and annihilators of characteristic classes for the general case. The computations have consequences for the topology of real flag manifolds: we show that all torsion in the integral cohomology is 2-torsion, which was not known in full generality previously. This allows for example to compute the Poincaré polynomials of complete flag varieties for cohomology with twisted integer coefficients. The computations also allow to describe the Chow-Witt rings of flag varieties, and we sketch an enumerative application to counting flags satisfying multiple incidence conditions to given hypersurfaces.

math.AG↗

arXiv2024

A characterization of complex Hadamard matrices appearing in families of MUB triplets

It is shown that a normalized complex Hadamard matrix of order $6$ having three distinct columns, each containing at least one $-1$ entry necessarily belongs to the transposed Fourier family, or to the family of $2$-circulant complex Hadamard matrices. The proofs rely on solving polynomial system of equations by Gröbner basis techniques, and make use of a structure theorem concerning regular Hadamard matrices. As a consequence, members of these two families can be easily recognized in practice. In particular, one can identify complex Hadamard matrices appearing in known triplets of pairwise mutually unbiased bases in dimension $6$.

math.CO↗

arXiv2024

4-torsion classes in the integral cohomology of oriented Grassmannians

We investigate the existence of 4-torsion in the integral cohomology of oriented Grassmannians. We prove a general criterion for the appearance of 4-torsion classes based on (twisted) Steenrod squares and show that there are many cases where this criterion is satisfied for minimal-degree anomalous classes, assuming a conjecture on the characteristic rank. We also establish the upper bound in the characteristic rank conjecture for oriented Grassmannians $\tilde{Gr}_k(n)$, and prove the equality in the cases $k=5, n=2^t-1,2^t$ and $k=6, n=2^t$. This provides infinitely many examples of oriented Grassmannians having 4-torsion in their integral cohomology. On the way, we clarify the relation between minimal-degree anomalous classes and results of Stong on the height of the first Stiefel-Whitney class $w_1$ in the mod 2 cohomology of real Grassmannians, for which we give an independent proof. We also establish some bounds on torsion exponents for the integral cohomology of oriented flag manifolds. Based on these findings and further computational evidence, we formulate a conjectural relationship between the torsion exponent in the integral cohomology of homogeneous spaces and their deficiency.

math.AT↗

arXiv2023

The mod 2 cohomology rings of oriented Grassmannians via Koszul complexes

We study the structure of mod 2 cohomology rings of oriented Grassmannians $\tilde{\operatorname{Gr}}_k(n)$ of oriented $k$-planes in $\mathbb{R}^n$. Our main focus is on the structure of the cohomology ring ${\rm H}^*(\tilde{\operatorname{Gr}}_k(n);\mathbb{F}_2)$ as a module over the characteristic subring $C$, which is the subring generated by the Stiefel-Whitney classes $w_2,\ldots, w_k$. We identify this module structure using Koszul complexes, which involves the syzygies between the relations defining $C$. We give an infinite family of such syzygies, which results in a new upper bound on the characteristic rank of $\tilde{\operatorname{Gr}}_k(2^t)$, and formulate a conjecture on the exact value of the characteristic rank of $\tilde{\operatorname{Gr}}_k(n)$. For the case $k=3$, we use the Koszul complex to compute a presentation of the cohomology ring $H={\rm H}^*(\tilde{\operatorname{Gr}}_3(n);\mathbb{F}_2)$ for $2^{t-1} 3$, supported by computer calculation.

math.AT↗

arXiv2021

Similarity and Matching of Neural Network Representations

We employ a toolset -- dubbed Dr. Frankenstein -- to analyse the similarity of representations in deep neural networks. With this toolset, we aim to match the activations on given layers of two trained neural networks by joining them with a stitching layer. We demonstrate that the inner representations emerging in deep convolutional neural networks with the same architecture but different initializations can be matched with a surprisingly high degree of accuracy even with a single, affine stitching layer. We choose the stitching layer from several possible classes of linear transformations and investigate their performance and properties. The task of matching representations is closely related to notions of similarity. Using this toolset, we also provide a novel viewpoint on the current line of research regarding similarity indices of neural network representations: the perspective of the performance on a task.

cs.LG↗

arXiv2020

Halving spaces and lower bounds in real enumerative geometry

We develop the theory of halving spaces to obtain lower bounds in real enumerative geometry. Halving spaces are topological spaces with an action of a Lie group $Γ$ with additional cohomological properties. For $Γ=\mathbb{Z}_2$ we recover the conjugation spaces of Hausmann, Holm and Puppe. For $Γ=\mathrm{U}(1)$ we obtain the circle spaces. We show that real even and quaternionic partial flag manifolds are circle spaces leading to non-trivial lower bounds for even real and quaternionic Schubert problems. To prove that a given space is a halving space, we generalize results of Borel and Haefliger on the cohomology classes of real subvarieties and their complexifications. The novelty is that we are able to obtain results in rational cohomology instead of modulo 2. The equivariant extension of the theory of circle spaces leads to generalizations of the results of Borel and Haefliger on Thom polynomials.

math.AT↗

arXiv2019

On the cohomology rings of real flag manifolds: Schubert cycles

We give an algorithm to compute the integer cohomology groups of any real partial flag manifold, by computing the incidence coefficients of the Schubert cells. For even flag manifolds we determine the integer cohomology groups, by proving that any torsion class has order 2 (generalizing a result of Ehresmann). We conjecture this to hold for any real flag manifold. We obtain results concerning which Schubert varieties represent integer cohomology classes, their structure constants and how to express them in terms of characteristic classes. For even flag manifolds and Grassmannians we also describe Schubert calculus. The Schubert calculus can be used to obtain lower bounds for certain real enumerative geometry problems (Schubert problems).

math.GT↗

arXiv2014

Real solutions of a problem in enumerative geometry

We study a 2-parameter family of enumerative problems over the reals. Over the complex field, these problems can be solved by Schubert calculus. In the real case the number of solutions can be different on the distinct connected components of the configuration space, resulting in a solution function. The cohomology calculation in the real case only gives the signed sum of the solutions, therefore in general it only gives a lower bound on the range of the solution function. We calculate the solution function for the 2-parameter family and we show that in the even cases the solution function is constant modulo 4. We show how to determine the sign of a solution and describe the connected components of the configuration space. We translate the problem to the language of quivers and also give a geometric interpretation of the sign. Finally, we discuss what aspects might be considered when solving other real enumerative problems.

math.AG↗