Search

We show that the positive half $\mathcal{E}_{q,t}^{>}$ of the elliptic Hall algebra is embedded as a natural spherical subalgebra inside the double Dyck path algebra $\mathbb{B}_{q,t}$ introduced by Carlsson, Mellit and the second author. For this, we use the Ding-Iohara-Miki presentation of the elliptic Hall algebra and identify the generators inside $\mathbb{B}_{q,t}$. In order to obtain the entire elliptic Hall algebra $\mathcal{E}_{q,t}$, we define a ``double'' $\mathbb{DB}_{q,t}$ of the double Dyck path algebra, together with its positive and negative subalgebras and an involution that exchanges them., Comment: 32 pages, comments welcome

This article explores the evolution of constructionism as an educational framework, tracing its relevance and transformation across three pivotal eras: the advent of personal computing, the networked society, and the current era of generative AI. Rooted in Seymour Papert constructionist philosophy, this study examines how constructionist principles align with the expanding role of digital technology in personal and collective learning. We discuss the transformation of educational environments from hierarchical instructionism to constructionist models that emphasize learner autonomy and interactive, creative engagement. Central to this analysis is the concept of an expanded personality, wherein digital tools and AI integration fundamentally reshape individual self-perception and social interactions. By integrating constructionism into the paradigm of smart education, we propose it as a foundational approach to personalized and democratized learning. Our findings underscore constructionism enduring relevance in navigating the complexities of technology-driven education, providing insights for educators and policymakers seeking to harness digital innovations to foster adaptive, student-centered learning experiences., Comment: 22 pages

We introduce a variety $Y_{n,k}$, which we call the \textit{affine $\Delta$-Springer fiber}, generalizing the affine Springer fiber studied by Hikita, whose Borel-Moore homology has an $S_n$ action and a bigrading that corresponds to the Delta Conjecture symmetric function $\mathrm{rev}_q\,\omega \Delta'_{e_{k-1}}e_n$ under the Frobenius character map. We similarly provide a geometric interpretation for the Rational Shuffle Theorem in the integer slope case $(km,k)$. The variety $Y_{n,k}$ has a map to the affine Grassmannian whose fibers are the $\Delta$-Springer fibers introduced by Levinson, Woo, and the third author. Part of our proof of our geometric realization relies on our previous work on a Schur skewing operator formula relating the Rational Shuffle Theorem to the Delta Conjecture., Comment: 39 pages

The quantum geometric tensor (QGT) characterizes the Hilbert space geometry of the eigenstates of a parameter-dependent Hamiltonian. In recent years, the QGT and related quantities have found extensive theoretical and experimental utility, in particular for quantifying quantum phase transitions both at and out of equilibrium. Here we consider the symmetric part (quantum Riemannian metric) of the QGT for various multi-parametric random matrix Hamiltonians and discuss the possible indication of ergodic or integrable behaviour. We found for a two-dimensional parameter space that, while the ergodic phase corresponds to the smooth manifold, the integrable limit marks itself as a singular geometry with a conical defect. Our study thus provides more support for the idea that the landscape of the parameter space yields information on the ergodic-nonergodic transition in complex quantum systems, including the intermediate phase.

Given a triangulation $G$ of a surface $\mathbb{D}$, a spanning disk is a disk $\mathbb{D} \subseteq \mathbb{S}$ containing all the vertices of $G$ such that the boundary of $\mathbb{D}$ is a cycle of $G$. In this paper, we consider the question of when a triangulation of a surface contains a spanning disk. We give a very short proof that every triangulation of the torus contains a spanning disk, which strengthens a theorem of Nevo and Tarabykin. For arbitrary surfaces, we prove that triangulations with sufficiently high facewidth always contain spanning disks. Finally, we exhibit triangulations which do not have spanning disks. This shows that a minimum facewidth condition is necessary. Our results are motivated by and have applications for rigidity questions in the plane., Comment: 7 pages, 2 figures

We show that homotopy cardinality -- a priori ill-defined for many dg-categories, including all periodic ones -- has a reasonable definition for even-dimensional Calabi--Yau (evenCY) categories and their relative generalizations (under appropriate finiteness conditions). As a first application we solve the problem of defining an intrinsic Hall algebra for degreewise finite pre-triangulated dg-categories in the case of oddCY categories. We compare this definition with To\"en's derived Hall algebras (in case they are well-defined) and with other approaches based on extended Hall algebras and central reduction, including a construction of Hall algebras associated with Calabi--Yau triples of triangulated categories. For a category equivalent to the root category of a 1CY abelian category $\mathcal A$, the algebra is shown to be isomorphic to the Drinfeld double of the twisted Ringel--Hall algebra of $\mathcal A$, thus resolving in the Calabi--Yau case the long-standing problem of realizing the latter as a Hall algebra intrinsically defined for such a triangulated category. Our second application is the proof of a conjecture of Ng--Rutherford--Shende--Sivek, which provides an intrinsic formula for the ruling polynomial of a Legendrian knot $L$, and its generalization to Legendrian tangles, in terms of the augmentation category of $L$., Comment: v2: 71 pages, references and remarks updated

We prove that the symmetric function $\Delta'_{e_{k-1}}e_n$ appearing in the Delta Conjecture can be obtained from the symmetric function in the Rational Shuffle Theorem by applying a Schur skewing operator. This generalizes a formula by the first and third authors for the Delta Conjecture at $t=0$, and follows from work of Blasiak, Haiman, Morse, Pun, and Seelinger. Our main result is that we also provide a purely combinatorial proof of this skewing identity, giving a new proof of the Rise Delta Theorem from the Rational Shuffle Theorem.

The 2-factor Hamiltonicity Conjecture by Funk, Jackson, Labbate, and Sheehan [JCTB, 2003] asserts that all cubic, bipartite graphs in which all 2-factors are Hamiltonian cycles can be built using a simple operation starting from $K_{3,3}$ and the Heawood graph. We discuss the link between this conjecture and matching theory, in particular by showing that this conjecture is equivalent to the statement that the two exceptional graphs in the conjecture are the only cubic braces in which all 2-factors are Hamiltonian cycles, where braces are connected, bipartite graphs in which every matching of size at most two is contained in a perfect matching. In the context of matching theory this conjecture is especially noteworthy as $K_{3,3}$ and the Heawood graph are both strongly tied to the important class of Pfaffian graphs, with $K_{3,3}$ being the canonical non-Pfaffian graph and the Heawood graph being one of the most noteworthy Pfaffian graphs. Our main contribution is a proof that the Heawood graph is the only Pfaffian, cubic brace in which all 2-factors are Hamiltonian cycles. This is shown by establishing that, aside from the Heawood graph, all Pfaffian braces contain a cycle of length four, which may be of independent interest., Comment: 17 pages, 6 figures; v2: added an independent proof of the reduction of the conjecture to braces and an appendix on the behaviour of the star product; v3: minor corrections

Focusing on Bethe-ansatz integrable models, robust to both time-reversal symmetry breaking and disorder, we consider the Russian Doll Model (RDM) for finite system sizes and energy levels. Suggested as a time-reversal-symmetry breaking deformation of Richardson's model, the well-known and simplest model of superconductivity, RDM revealed an unusual cyclic renormalization group (RG) over the system size $N$, where the energy levels repeat themselves, shifted by one after a finite period in $\ln N$, supplemented by a hierarchy of superconducting condensates, with the superconducting gaps following the so-called Efimov (exponential) scaling. The equidistant single-particle spectrum of RDM made the above Efimov scaling and cyclic RG to be asymptotically exact in the wideband limit of the diagonal potential. Here, we generalize this observation in various respects. We find that, beyond the wideband limit, when the entire spectrum is considered, the periodicity of the spectrum is not constant, but appears to be energy-dependent. Moreover, we resolve the apparent paradox of shift in the spectrum by a single level after the RG period, despite the disappearance of a finite fraction of energy levels. We also analyze the effects of disorder in the diagonal potential on the above periodicity and show that it survives only for high energies beyond the energy interval of the disorder amplitude. Our analytic analysis is supported with exact diagonalization., Comment: 15 pages, 3 figures, 34 references

We formulate a connection between a topological and a geometric category. The former is the idempotent completion of the (horizontal) trace of the affine Hecke category, while the latter is the equivariant derived category of the (semi-nilpotent) commuting stack. This provides a more precise and improved version of our proposal in [13].

Recently, a superdiffusion exhibiting the Kardar-Parisi-Zhang (KPZ) scaling in late-time correlators and autocorrelators of certain interacting many-body systems has been reported. Inspired by these results, we explore the KPZ scaling in correlation functions using their realization in the Krylov operator basis. We focus on the Heisenberg time scale, which approximately corresponds to the ramp--plateau transition for the Krylov complexity in systems with a large but finite number degrees of freedom. Two frameworks are under consideration: i) the system with growing Lanczos coefficients and an artificial cut-off, and ii) the system with the finite Hilbert space. In both cases via numerical analysis, we observe the transition from Gaussian to KPZ-like scaling at the critical Euclidean time $t_{E}^*=c_{cr}K$, for the Krylov chain of finite length $K$, and $c_{cr}=O(1)$. In particular, we find a scaling $\sim K^{1/3}$ for fluctuations in the one-point correlation function and a dynamical scaling $\sim K^{-2/3}$ associated with the return probability (Loschmidt echo) corresponding to autocorrelators in physical space. In the first case, the transition is of the 3rd order and can be considered as an example of dynamical quantum phase transition (DQPT), while in the second, it is a crossover. For case ii), utilizing the relationship between the spectrum of tridiagonal matrices at the spectral edge and the spectrum of the stochastic Airy operator, we demonstrate analytically the origin of the KPZ scaling for the particular Krylov chain using the results of the probability theory. We argue that there is some outcome of our study for the double scaling limit of matrix models. For the case of topological gravity, the white noise $O(\frac{1}{N})$ term is identified, which should be taken into account in the controversial issue of ensemble averaging in 2D/1D holography., Comment: 32 pages, 15 figures

In this study, we explore the fundamental principles behind the architecture of the human brain's structural connectome, from the perspective of spectral analysis of Laplacian and adjacency matrices. Building on the idea that the brain strikes a balance between efficient information processing and minimizing wiring costs, we aim to understand the impact of the metric properties of the connectome and how they relate to the existence of an inherent scale. We demonstrate that a simple generative model, combining nonlinear preferential attachment with an exponential penalty for spatial distance between nodes, can effectively reproduce several key characteristics of the human connectome, including spectral density, edge length distribution, eigenmode localization and local clustering properties. We also delve into the finer spectral properties of the human structural connectomes by evaluating the inverse participation ratios ($\text{IPR}_q$) across various parts of the spectrum. Our analysis reveals that the level statistics in the soft cluster region of the Laplacian spectrum deviate from a purely Poisson distribution due to interactions between clusters. Additionally, we identified scar-like localized modes with large IPR values in the continuum spectrum. We identify multiple fractal eigenmodes distributed across different parts of the spectrum, evaluate their fractal dimensions and find a power-law relationship in the return probability, which is a hallmark of critical behavior. We discuss the conjectures that a brain operates in the Griffiths or multifractal phases.

We construct an explicit isomorphism between an open subset in the open positroid variety $\Pi_{k,n}^{\circ}$ in the Grassmannian $\mathrm{Gr}(k,n)$ and the product of two open positroid varieties $\Pi_{k,n-a+1}^{\circ}\times \Pi_{k,a+k-1}^{\circ}$. In the respective cluster structures, this isomorphism is given by freezing a certain subset of cluster variables and applying a cluster quasi-equivalence., Comment: 13 pages

Affine cluster varieties are covered up to codimension 2 by open algebraic tori. We put forth a general conjecture (based on earlier conversation between Vivek Shende and the last author) characterizing their deep locus, i.e. the complement of all cluster charts, as the locus of points with non-trivial stabilizer under the action of cluster automorphisms. We use the diagrammatics of Demazure weaves to verify the conjecture for skew-symmetric cluster varieties of finite cluster type with arbitrary choice of frozens and for the top open positroid strata of Grassmannians $\mathrm{Gr}(2,n)$ and $\mathrm{Gr}(3,n)$. We illustrate how this already has applications in symplectic topology and mirror symmetry, by proving that the Fukaya category of Grassmannians $\mathrm{Gr}(2,2n+1)$ is split-generated by finitely many Lagrangian tori, and homological mirror symmetry holds with a Landau--Ginzburg model proposed by Rietsch. Finally, we study the geometry of the deep locus, and find that it can be singular and have several irreducible components of different dimensions, but they all are again cluster varieties in our examples in really full rank cases., Comment: v2 corrects a couple mistakes regarding the T-stabilizer locus in general braid varieties. Comments welcome!

Using the Penrose method of instability analysis, we consider the synchronization transition in the Kuramoto model with inertia and noise with all-to-all couplings. Analyzing the Penrose curves, we identify the appearance of cluster and chimera states in the presence of noise. We observe that noise can destroy chimera and biclusters states. The critical coupling describing bifurcation from incoherent to coherent state is found analytically. To confirm our propositions based on the Penrose method, we perform numerical simulations., Comment: Revised version

The forcing number of a graph with a perfect matching $M$ is the minimum number of edges in $M$ whose endpoints need to be deleted, such that the remaining graph only has a single perfect matching. This number is of great interest in theoretical chemistry, since it conveys information about the structural properties of several interesting molecules. On the other hand, in bipartite graphs the forcing number corresponds to the famous feedback vertex set problem in digraphs. Determining the complexity of finding the smallest forcing number of a given planar graph is still a widely open and important question in this area, originally proposed by Afshani, Hatami, and Mahmoodian in 2004. We take a first step towards the resolution of this question by providing an algorithm that determines the set of all possible forcing numbers of an outerplanar graph in polynomial time. This is the first polynomial-time algorithm concerning this problem for a class of graphs of comparable or greater generality., Comment: 22 pages, 3 figures

We consider the Schwinger production of baryons in an external electric field in the worldline instanton approach. The process occurs in the confinement regime hence the holographic QCD and the Chiral Lagrangian are used as the tools. The new exponentially suppressed processes in a constant electric field involving the composite worldline instantons are suggested. These include the non-perturbative decay of a neutron into a proton and charged meson and the spontaneous production of $p\bar{n}\pi^{-}$ and $n\bar{p}\pi^{+}$ states.

In this note we use the Matsuo-Cherednik duality between the solutions to KZ equations and eigenfunctions of Calogero-Moser Hamiltonians to get the polynomial $p^s$-truncation of the Calogero-Moser eigenfunctions at a rational coupling constant. The truncation procedure uses the integral representation for the hypergeometric solutions to KZ equations. The $s\rightarrow \infty$ limit to the pure $p$-adic case has been analyzed in the $n=2$ case, Comment: 24 pages

We discuss the generalization of a classical problem involving an $N$-step ideal polymer adsorption at a sticky boundary (potential well of depth $U$). It is known that as $N$ approaches infinity, the path undergoes a 2nd-order localization transition at a certain value of $U_{\text{tr}}$. By considering the random walk on a half-line with a sticky boundary (Model I), we demonstrate that the order of the phase transition can be altered by adjusting the scaling of the first return probability to the boundary. Additionally, we present a model of a random path on a discrete 1D lattice with non-uniform local hopping amplitudes and a potential well at the boundary (Model II). We illustrate that one can tailor such amplitudes so that the polymer undergoes a 3rd-order phase transition., Comment: 10 pages, 5 figures

We prove the existence of a computable function $f\colon\mathbb{N}\to\mathbb{N}$ such that for every integer $k$ and every digraph $D$ either contains a collection $\mathcal{C}$ of $k$ directed cycles of even length such that no vertex of $D$ belongs to more than four cycles in $\mathcal{C}$, or there exists a set $S\subseteq V(D)$ of size at most $f(k)$ such that $D-S$ has no directed cycle of even length. Moreover, we provide an algorithm that finds one of the two outcomes of this statement in time $g(k)n^{\mathcal{O}(1)}$ for some computable function $g\colon \mathbb{N}\to\mathbb{N}$. Our result unites two deep fields of research from the algorithmic theory for digraphs: The study of the Erd\H{o}s-P\'osa property of digraphs and the study of the Even Dicycle Problem. The latter is the decision problem which asks if a given digraph contains an even dicycle and can be traced back to a question of P\'olya from 1913. It remained open until a polynomial time algorithm was finally found by Robertson, Seymour, and Thomas (Ann. of Math. (2) 1999) and, independently, McCuaig (Electron. J. Combin. 2004; announced jointly at STOC 1997). The Even Dicycle Problem is equivalent to the recognition problem of Pfaffian bipartite graphs and has applications even beyond discrete mathematics and theoretical computer science. On the other hand, Younger's Conjecture (1973), states that dicycles have the Erd\H{o}s-P\'osa property. The conjecture was proven more than two decades later by Reed, Robertson, Seymour, and Thomas (Combinatorica 1996) and opened the path for structural digraph theory as well as the algorithmic study of the directed feedback vertex set problem. Our approach builds upon the techniques used to resolve both problems and combines them into a powerful structural theorem that yields further algorithmic applications for other prominent problems., Comment: 144 pages, 13 figures

In this work we analytically explain the origin of the mobility edge in the partially disordered random regular graphs of degree d, i.e., with a fraction $\beta$ of the sites being disordered, while the rest remain clean. It is shown that the mobility edge in the spectrum survives in {a certain range of parameters} $(d,\beta)$ at infinitely large uniformly distributed disorder. The critical curve separating extended and localized states is derived analytically and confirmed numerically. The duality in the localization properties between the sparse and extremely dense RRG has been found and understood., Comment: 12 pages, 5 figures, 86 references + 8 pages, 9 figures in Appendices

This is a survey article on some connections between cluster algebras and link invariants, written for the Notices of the AMS., Comment: This is a version with expanded references of an expository article prepared for Notices of the AMS

We extend results of Br\"ustle-Yang on ideal quotients of 2-term subcategories of perfect derived categories of non-positive dg algebras to a relative setting. We find a new interpretation of such quotients: they appear as prototypical examples of a new construction of quotients of extriangulated categories by ideals generated by morphisms from injectives to projectives. We apply our results to Frobenius exact cluster categories and Higgs categories with suitable relative extriangulated structures, and to categories of walks related to gentle algebras. In all three cases, the extriangulated structures are well-behaved (they are 0-Auslander) and their quotients are equivalent to homotopy categories of two-term complexes of projectives over suitable finite-dimensional algebras., Comment: 47 pages, comments welcome. v2: corrected statements in Section 5.1, other minor corrections

In this paper, we study the skein exact sequence for links via the exact surgery triangle of link Floer homology and compare it with other skein exact sequences given by Ozsv\'ath and Szab\'o. As an application, we use the skein exact sequence to study the splitting number and splitting maps for links. In particular, we associate the splitting maps for the torus link $T(n, n)$ to integer points in the $(n-1)$-dimensional permutahedron, and obtain the link Floer homology of an $n$-component homology nontrivial unlink in $S^{1}\times S^{2}$., Comment: 40 pages, and comments are very welcome!

We consider the properties of the random regular graph with node degree $d$ perturbed by chemical potentials $\mu_k$ for a number of short $k$-cycles. We analyze both numerically and analytically the phase diagram of the model in the $(\mu_k,d)$ plane. The critical curve separating the homogeneous and clusterized phases is found and it is demonstrated that the clusterized phase itself generically is separated as the function of $d$ into the phase with ideal clusters and phase with coupled ones when the continuous spectrum gets formed. The eigenstate spatial structure of the model is investigated and it is found that there are localized scar-like states in the delocalized part of the spectrum, that are related to the topologically equivalent nodes in the graph. We also reconsider the localization of the states in the non-perturbative band formed by eigenvalue instantons and find the semi-Poisson level spacing distribution. The Anderson transition for the case of combined ($k$-cycle) structural and diagonal (Anderson) disorders is investigated. It is found that the critical diagonal disorder gets reduced sharply at the clusterization phase transition, but does it unevenly in non-perturbative and mid-spectrum bands, due to the scars, present in the latter. The applications of our findings to $2$d quantum gravity are discussed., Comment: 27 pages, 9 figures, 87 references + 4 pages, 4 figures in Appendices

In this Letter we consider the out-of-equilibrium phenomena in the complex Sachdev-Ye-Kitaev (SYK) model supplemented with the attractive Hubbard interaction (SYK+U). This model provides the clear-cut transition from non-Fermi liquid phase in pure SYK to the superconducting phase through the pseudogap phase with non-synchronized Cooper pairs. We investigate the quench of the phase soft mode in this model and the relaxation to the equilibrium state. Using the relation with Hamiltonian mean field (HMF) model we show that the SYK+U model enjoys the several interesting phenomena, like violent relaxation, quasi-stationary long living states, out-of-equilibrium finite time phase transitions, non-extensivity and tower of condensates. We comment on the holographic dual gravity counterparts of these phenomena., Comment: Many typos were fixed, relevant referecnes are added

We discuss a two-parameter renormalization group (RG) flow when parameters are organized in a single complex variable, $\tau$, with modular properties. Throughout the work we consider a special limit when the imaginary part of $\tau$ characterizing the disorder strength tends to zero. We argue that generalized Riemann-Thomae (gRT) function and the corresponding generalized Devil's staircase emerge naturally in a variety of physical models providing a universal behavior. In 1D we study the Anderson-like probe hopping in a weakly disordered lattice, recognize the origin of the gRT function in the spectral density of the probe and formulate specific RG procedure which gets mapped onto the discrete flow in the fundamental domain of the modular group $SL(2,Z)$. In 2D we consider the generalization of the phyllotaxis crystal model proposed by L. Levitov and suggest the explicit form of the effective potential for the probe particle propagating in the symmetric and asymmetric 2D lattice of defects. Analyzing the structure of RG flow equations in the vicinity of saddle points we claim emergence of BKT-like transitions at ${\rm Im}\,\tau\to 0$. We show that the RG-like dynamics in the fundamental domain of $SL(2,Z)$ for asymmetric lattices asymptotically approaches the "Silver ratio". For a Hubbard model of particles on a ring interacting via long-ranged potentials we investigate the dependence of the ground state energy on the potential and demonstrate by combining numerical and analytical tools the emergence of the generalized Devil's staircase. Also we conjecture a bridge between a Hubbard model and a phyllotaxis., Comment: bugs fixed and figures corrected (49 pages and 18 figures), to apear in Nucl Phys. B (accepted)

We show the existence of cluster $\mathcal{A}$-structures and cluster Poisson structures on any braid variety, for any simple Lie group. The construction is achieved via weave calculus and a tropicalization of Lusztig's coordinates. Several explicit seeds are provided and the quiver and cluster variables are readily computable. We prove that these upper cluster algebras equal their cluster algebras, show local acyclicity, and explicitly determine their DT-transformations as the twist automorphisms of braid varieties. The main result also resolves the conjecture of B. Leclerc on the existence of cluster algebra structures on the coordinate rings of open Richardson varieties., Comment: 82 pages, 37 figures, to appear in J. Amer. Math. Soc

In this article, we initiate the study of hereditary extriangulated categories. Many important categories arising in representation theory in connection with various theories of mutation are hereditary extriangulated. Special cases include homotopy categories of 2-term complexes with projective components, which are related to silting mutation, and cluster categories (with relevant relative extriangulated structures) where cluster tilting mutation take place. We prove that there is a theory of irreducible mutation for maximal rigid objects and subcategories in hereditary extriangulated categories of dominant dimension 1. Applied to the examples above, this recovers 2-term silting mutation in triangulated categories and cluster tilting mutation. By constructing suitable extriangulated categories, we also recover tau-tilting mutation for gentle algebras and flips for their non-kissing facets. Combined with results by Adachi-Tsukamoto and Pauksztello-Zvonareva, our mutation also provides mutation for intermediate co-t-structures. In spirit of our earlier work, we study negative extensions in hereditary extriangulated categories. We give sufficient conditions for the existence of universal balanced negative extensions. We explicitly compute certain, a priori non-universal, versions of negative extensions in hereditary categories constructed from triangulated categories with rigid subcategories. We discuss examples where these two constructions give the same delta-functors and where they disagree., Comment: 68 pages, v2: missing reference added

We propose a rigorous approach for the inverse design of functional photonic structures by coupling the adjoint optimization method and the two-dimensional generalized Mie theory (2D-GMT) for the multiple scattering problem of finite-size arrays of dielectric nanocylinders optimized to display desired functions. We refer to these functional scattering structures as "photonic patches". We briefly introduce the formalism of 2D-GMT and the critical steps necessary to implement the adjoint optimization algorithm to photonic patches with designed radiation properties. In particular, we showcase several examples of periodic and aperiodic photonic patches with optimal nanocylinder radii and arrangements for radiation shaping, wavefront focusing in the Fresnel zone, and for the enhancement of the local density of states (LDOS) at multiple wavelengths over micron-size areas. Moreover, we systematically compare the performances of periodic and aperiodic patches with different sizes and find that optimized aperiodic Vogel spiral geometries feature significant advantages in achromatic focusing compared to their periodic counterparts. Our results show that adjoint optimization coupled to 2D-GMT is a robust methodology for the inverse design of compact photonic devices that operate in the multiple scattering regime with optimal desired functionalities. Without the need of spatial meshing, our approach provides efficient solutions at strongly reduced computational burden compared to standard numerical optimization techniques and suggests compact device geometries for on-chip photonics and metamaterials technologies.

We study the structure of the set of all maximal green sequences of a finite-dimensional algebra. There is a natural equivalence relation on this set, which we show can be interpreted in several different ways, underscoring its significance. There are three partial orders on the equivalence classes, analogous to the partial orders on silting complexes and generalising the higher Stasheff--Tamari orders on triangulations of three-dimensional cyclic polytopes. We conjecture that these partial orders are in fact equal, just as the orders in the silting case have the same Hasse diagram. This can be seen as a refined and more widely applicable version of the No-Gap Conjecture of Br\"ustle, Dupont, and Perotin. We prove our conjecture in the case of Nakayama algebras., Comment: 73 pages, 8 figures; v2: minor edits; v3: changed introduction and abstract