@article{12836, abstract = {Coherent control and manipulation of quantum degrees of freedom such as spins forms the basis of emerging quantum technologies. In this context, the robust valley degree of freedom and the associated valley pseudospin found in two-dimensional transition metal dichalcogenides is a highly attractive platform. Valley polarization and coherent superposition of valley states have been observed in these systems even up to room temperature. Control of valley coherence is an important building block for the implementation of valley qubit. Large magnetic fields or high-power lasers have been used in the past to demonstrate the control (initialization and rotation) of the valley coherent states. Here, the control of layer–valley coherence via strong coupling of valley excitons in bilayer WS2 to microcavity photons is demonstrated by exploiting the pseudomagnetic field arising in optical cavities owing to the transverse electric–transverse magnetic (TE–TM)mode splitting. The use of photonic structures to generate pseudomagnetic fields which can be used to manipulate exciton-polaritons presents an attractive approach to control optical responses without the need for large magnets or high-intensity optical pump powers.}, author = {Khatoniar, Mandeep and Yama, Nicholas and Ghazaryan, Areg and Guddala, Sriram and Ghaemi, Pouyan and Majumdar, Kausik and Menon, Vinod}, issn = {2195-1071}, journal = {Advanced Optical Materials}, number = {13}, publisher = {Wiley}, title = {{Optical manipulation of Layer–Valley coherence via strong exciton–photon coupling in microcavities}}, doi = {10.1002/adom.202202631}, volume = {11}, year = {2023}, } @article{12959, abstract = {This paper deals with the large-scale behaviour of dynamical optimal transport on Zd -periodic graphs with general lower semicontinuous and convex energy densities. Our main contribution is a homogenisation result that describes the effective behaviour of the discrete problems in terms of a continuous optimal transport problem. The effective energy density can be explicitly expressed in terms of a cell formula, which is a finite-dimensional convex programming problem that depends non-trivially on the local geometry of the discrete graph and the discrete energy density. Our homogenisation result is derived from a Γ -convergence result for action functionals on curves of measures, which we prove under very mild growth conditions on the energy density. We investigate the cell formula in several cases of interest, including finite-volume discretisations of the Wasserstein distance, where non-trivial limiting behaviour occurs.}, author = {Gladbach, Peter and Kopfer, Eva and Maas, Jan and Portinale, Lorenzo}, issn = {1432-0835}, journal = {Calculus of Variations and Partial Differential Equations}, number = {5}, publisher = {Springer Nature}, title = {{Homogenisation of dynamical optimal transport on periodic graphs}}, doi = {10.1007/s00526-023-02472-z}, volume = {62}, year = {2023}, } @article{12915, abstract = {Cu2–xS and Cu2–xSe have recently been reported as promising thermoelectric (TE) materials for medium-temperature applications. In contrast, Cu2–xTe, another member of the copper chalcogenide family, typically exhibits low Seebeck coefficients that limit its potential to achieve a superior thermoelectric figure of merit, zT, particularly in the low-temperature range where this material could be effective. To address this, we investigated the TE performance of Cu1.5–xTe–Cu2Se nanocomposites by consolidating surface-engineered Cu1.5Te nanocrystals. This surface engineering strategy allows for precise adjustment of Cu/Te ratios and results in a reversible phase transition at around 600 K in Cu1.5–xTe–Cu2Se nanocomposites, as systematically confirmed by in situ high-temperature X-ray diffraction combined with differential scanning calorimetry analysis. The phase transition leads to a conversion from metallic-like to semiconducting-like TE properties. Additionally, a layer of Cu2Se generated around Cu1.5–xTe nanoparticles effectively inhibits Cu1.5–xTe grain growth, minimizing thermal conductivity and decreasing hole concentration. These properties indicate that copper telluride based compounds have a promising thermoelectric potential, translated into a high dimensionless zT of 1.3 at 560 K.}, author = {Xing, Congcong and Zhang, Yu and Xiao, Ke and Han, Xu and Liu, Yu and Nan, Bingfei and Ramon, Maria Garcia and Lim, Khak Ho and Li, Junshan and Arbiol, Jordi and Poudel, Bed and Nozariasbmarz, Amin and Li, Wenjie and Ibáñez, Maria and Cabot, Andreu}, issn = {1936-086X}, journal = {ACS Nano}, number = {9}, pages = {8442--8452}, publisher = {American Chemical Society}, title = {{Thermoelectric performance of surface-engineered Cu1.5–xTe–Cu2Se nanocomposites}}, doi = {10.1021/acsnano.3c00495}, volume = {17}, year = {2023}, } @article{12961, abstract = {Two notes separated by a doubling in frequency sound similar to humans. This “octave equivalence” is critical to perception and production of music and speech and occurs early in human development. Because it also occurs cross-culturally, a biological basis of octave equivalence has been hypothesized. Members of our team previousy suggested four human traits are at the root of this phenomenon: (1) vocal learning, (2) clear octave information in vocal harmonics, (3) differing vocal ranges, and (4) vocalizing together. Using cross-species studies, we can test how relevant these respective traits are, while controlling for enculturation effects and addressing questions of phylogeny. Common marmosets possess forms of three of the four traits, lacking differing vocal ranges. We tested 11 common marmosets by adapting an established head-turning paradigm, creating a parallel test to an important infant study. Unlike human infants, marmosets responded similarly to tones shifted by an octave or other intervals. Because previous studies with the same head-turning paradigm produced differential results to discernable acoustic stimuli in common marmosets, our results suggest that marmosets do not perceive octave equivalence. Our work suggests differing vocal ranges between adults and children and men and women and the way they are used in singing together may be critical to the development of octave equivalence.}, author = {Wagner, Bernhard and Šlipogor, Vedrana and Oh, Jinook and Varga, Marion and Hoeschele, Marisa}, issn = {1467-7687}, journal = {Developmental Science}, number = {5}, publisher = {Wiley}, title = {{A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence}}, doi = {10.1111/desc.13395}, volume = {26}, year = {2023}, } @article{12877, abstract = {We consider billiards obtained by removing from the plane finitely many strictly convex analytic obstacles satisfying the non-eclipse condition. The restriction of the dynamics to the set of non-escaping orbits is conjugated to a subshift, which provides a natural labeling of periodic orbits. We show that under suitable symmetry and genericity assumptions, the Marked Length Spectrum determines the geometry of the billiard table.}, author = {De Simoi, Jacopo and Kaloshin, Vadim and Leguil, Martin}, issn = {1432-1297}, journal = {Inventiones Mathematicae}, pages = {829--901}, publisher = {Springer Nature}, title = {{Marked Length Spectral determination of analytic chaotic billiards with axial symmetries}}, doi = {10.1007/s00222-023-01191-8}, volume = {233}, year = {2023}, } @article{12349, abstract = {Statistics of natural scenes are not uniform - their structure varies dramatically from ground to sky. It remains unknown whether these non-uniformities are reflected in the large-scale organization of the early visual system and what benefits such adaptations would confer. Here, by relying on the efficient coding hypothesis, we predict that changes in the structure of receptive fields across visual space increase the efficiency of sensory coding. We show experimentally that, in agreement with our predictions, receptive fields of retinal ganglion cells change their shape along the dorsoventral retinal axis, with a marked surround asymmetry at the visual horizon. Our work demonstrates that, according to principles of efficient coding, the panoramic structure of natural scenes is exploited by the retina across space and cell-types.}, author = {Gupta, Divyansh and Mlynarski, Wiktor F and Sumser, Anton L and Symonova, Olga and Svaton, Jan and Jösch, Maximilian A}, issn = {1546-1726}, journal = {Nature Neuroscience}, pages = {606--614}, publisher = {Springer Nature}, title = {{Panoramic visual statistics shape retina-wide organization of receptive fields}}, doi = {10.1038/s41593-023-01280-0}, volume = {26}, year = {2023}, } @misc{12370, abstract = {Statistics of natural scenes are not uniform - their structure varies dramatically from ground to sky. It remains unknown whether these non-uniformities are reflected in the large-scale organization of the early visual system and what benefits such adaptations would confer. Here, by relying on the efficient coding hypothesis, we predict that changes in the structure of receptive fields across visual space increase the efficiency of sensory coding. We show experimentally that, in agreement with our predictions, receptive fields of retinal ganglion cells change their shape along the dorsoventral retinal axis, with a marked surround asymmetry at the visual horizon. Our work demonstrates that, according to principles of efficient coding, the panoramic structure of natural scenes is exploited by the retina across space and cell-types. }, author = {Gupta, Divyansh and Sumser, Anton L and Jösch, Maximilian A}, publisher = {Institute of Science and Technology Austria}, title = {{Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields}}, doi = {10.15479/AT:ISTA:12370}, year = {2023}, } @article{12829, abstract = {The deployment of direct formate fuel cells (DFFCs) relies on the development of active and stable catalysts for the formate oxidation reaction (FOR). Palladium, providing effective full oxidation of formate to CO2, has been widely used as FOR catalyst, but it suffers from low stability, moderate activity, and high cost. Herein, we detail a colloidal synthesis route for the incorporation of P on Pd2Sn nanoparticles. These nanoparticles are dispersed on carbon black and the obtained composite is used as electrocatalytic material for the FOR. The Pd2Sn0.8P-based electrodes present outstanding catalytic activities with record mass current densities up to 10.0 A mgPd-1, well above those of Pd1.6Sn/C reference electrode. These high current densities are further enhanced by increasing the temperature from 25 °C to 40 °C. The Pd2Sn0.8P electrode also allows for slowing down the rapid current decay that generally happens during operation and can be rapidly re-activated through potential cycling. The excellent catalytic performance obtained is rationalized using density functional theory (DFT) calculations.}, author = {Montaña-Mora, Guillem and Qi, Xueqiang and Wang, Xiang and Chacón-Borrero, Jesus and Martinez-Alanis, Paulina R. and Yu, Xiaoting and Li, Junshan and Xue, Qian and Arbiol, Jordi and Ibáñez, Maria and Cabot, Andreu}, issn = {1572-6657}, journal = {Journal of Electroanalytical Chemistry}, publisher = {Elsevier}, title = {{Phosphorous incorporation into palladium tin nanoparticles for the electrocatalytic formate oxidation reaction}}, doi = {10.1016/j.jelechem.2023.117369}, volume = {936}, year = {2023}, } @article{12764, abstract = {We study a new discretization of the Gaussian curvature for polyhedral surfaces. This discrete Gaussian curvature is defined on each conical singularity of a polyhedral surface as the quotient of the angle defect and the area of the Voronoi cell corresponding to the singularity. We divide polyhedral surfaces into discrete conformal classes using a generalization of discrete conformal equivalence pioneered by Feng Luo. We subsequently show that, in every discrete conformal class, there exists a polyhedral surface with constant discrete Gaussian curvature. We also provide explicit examples to demonstrate that this surface is in general not unique.}, author = {Kourimska, Hana}, issn = {1432-0444}, journal = {Discrete and Computational Geometry}, pages = {123--153}, publisher = {Springer Nature}, title = {{Discrete yamabe problem for polyhedral surfaces}}, doi = {10.1007/s00454-023-00484-2}, volume = {70}, year = {2023}, } @phdthesis{13331, abstract = {The extension of extremal combinatorics to the setting of exterior algebra is a work in progress that gained attention recently. In this thesis, we study the combinatorial structure of exterior algebra by introducing a dictionary that translates the notions from the set systems into the framework of exterior algebra. We show both generalizations of celebrated Erdös--Ko--Rado theorem and Hilton--Milner theorem to the setting of exterior algebra in the simplest non-trivial case of two-forms. }, author = {Köse, Seyda}, issn = {2791-4585}, pages = {26}, publisher = {Institute of Science and Technology Austria}, title = {{Exterior algebra and combinatorics}}, doi = {10.15479/at:ista:13331}, year = {2023}, } @article{12765, abstract = {Animals exhibit a variety of behavioural defences against socially transmitted parasites. These defences evolved to increase host fitness by avoiding, resisting or tolerating infection. Because they can occur in both infected individuals and their uninfected social partners, these defences often have important consequences for the social group. Here, we discuss the evolution and ecology of anti-parasite behavioural defences across a taxonomically wide social spectrum, considering colonial groups, stable groups, transitional groups and solitary animals. We discuss avoidance, resistance and tolerance behaviours across these social group structures, identifying how social complexity, group composition and interdependent social relationships may contribute to the expression and evolution of behavioural strategies. Finally, we outline avenues for further investigation such as approaches to quantify group-level responses, and the connection of the physiological and behavioural response to parasites in different social contexts.}, author = {Stockmaier, Sebastian and Ulrich, Yuko and Albery, Gregory F. and Cremer, Sylvia and Lopes, Patricia C.}, issn = {1365-2435}, journal = {Functional Ecology}, number = {4}, pages = {809--820}, publisher = {British Ecological Society}, title = {{Behavioural defences against parasites across host social structures}}, doi = {10.1111/1365-2435.14310}, volume = {37}, year = {2023}, } @article{12680, abstract = {The celebrated Erdős–Ko–Rado theorem about the maximal size of an intersecting family of r-element subsets of was extended to the setting of exterior algebra in [5, Theorem 2.3] and in [6, Theorem 1.4]. However, the equality case has not been settled yet. In this short note, we show that the extension of the Erdős–Ko–Rado theorem and the characterization of the equality case therein, as well as those of the Hilton–Milner theorem to the setting of exterior algebra in the simplest non-trivial case of two-forms follow from a folklore puzzle about possible arrangements of an intersecting family of lines.}, author = {Ivanov, Grigory and Köse, Seyda}, issn = {0012-365X}, journal = {Discrete Mathematics}, number = {6}, publisher = {Elsevier}, title = {{Erdős-Ko-Rado and Hilton-Milner theorems for two-forms}}, doi = {10.1016/j.disc.2023.113363}, volume = {346}, year = {2023}, } @article{12792, abstract = {In the physics literature the spectral form factor (SFF), the squared Fourier transform of the empirical eigenvalue density, is the most common tool to test universality for disordered quantum systems, yet previous mathematical results have been restricted only to two exactly solvable models (Forrester in J Stat Phys 183:33, 2021. https://doi.org/10.1007/s10955-021-02767-5, Commun Math Phys 387:215–235, 2021. https://doi.org/10.1007/s00220-021-04193-w). We rigorously prove the physics prediction on SFF up to an intermediate time scale for a large class of random matrices using a robust method, the multi-resolvent local laws. Beyond Wigner matrices we also consider the monoparametric ensemble and prove that universality of SFF can already be triggered by a single random parameter, supplementing the recently proven Wigner–Dyson universality (Cipolloni et al. in Probab Theory Relat Fields, 2021. https://doi.org/10.1007/s00440-022-01156-7) to larger spectral scales. Remarkably, extensive numerics indicates that our formulas correctly predict the SFF in the entire slope-dip-ramp regime, as customarily called in physics.}, author = {Cipolloni, Giorgio and Erdös, László and Schröder, Dominik J}, issn = {1432-0916}, journal = {Communications in Mathematical Physics}, pages = {1665--1700}, publisher = {Springer Nature}, title = {{On the spectral form factor for random matrices}}, doi = {10.1007/s00220-023-04692-y}, volume = {401}, year = {2023}, } @article{12709, abstract = {Given a finite set A ⊂ ℝ^d, let Cov_{r,k} denote the set of all points within distance r to at least k points of A. Allowing r and k to vary, we obtain a 2-parameter family of spaces that grow larger when r increases or k decreases, called the multicover bifiltration. Motivated by the problem of computing the homology of this bifiltration, we introduce two closely related combinatorial bifiltrations, one polyhedral and the other simplicial, which are both topologically equivalent to the multicover bifiltration and far smaller than a Čech-based model considered in prior work of Sheehy. Our polyhedral construction is a bifiltration of the rhomboid tiling of Edelsbrunner and Osang, and can be efficiently computed using a variant of an algorithm given by these authors as well. Using an implementation for dimension 2 and 3, we provide experimental results. Our simplicial construction is useful for understanding the polyhedral construction and proving its correctness.}, author = {Corbet, René and Kerber, Michael and Lesnick, Michael and Osang, Georg F}, issn = {1432-0444}, journal = {Discrete and Computational Geometry}, pages = {376--405}, publisher = {Springer Nature}, title = {{Computing the multicover bifiltration}}, doi = {10.1007/s00454-022-00476-8}, volume = {70}, year = {2023}, } @article{12763, abstract = {Kleinjohann (Archiv der Mathematik 35(1):574–582, 1980; Mathematische Zeitschrift 176(3), 327–344, 1981) and Bangert (Archiv der Mathematik 38(1):54–57, 1982) extended the reach rch(S) from subsets S of Euclidean space to the reach rchM(S) of subsets S of Riemannian manifolds M, where M is smooth (we’ll assume at least C3). Bangert showed that sets of positive reach in Euclidean space and Riemannian manifolds are very similar. In this paper we introduce a slight variant of Kleinjohann’s and Bangert’s extension and quantify the similarity between sets of positive reach in Euclidean space and Riemannian manifolds in a new way: Given p∈M and q∈S, we bound the local feature size (a local version of the reach) of its lifting to the tangent space via the inverse exponential map (exp−1p(S)) at q, assuming that rchM(S) and the geodesic distance dM(p,q) are bounded. These bounds are motivated by the importance of the reach and local feature size to manifold learning, topological inference, and triangulating manifolds and the fact that intrinsic approaches circumvent the curse of dimensionality.}, author = {Boissonnat, Jean Daniel and Wintraecken, Mathijs}, issn = {2367-1734}, journal = {Journal of Applied and Computational Topology}, pages = {619--641}, publisher = {Springer Nature}, title = {{The reach of subsets of manifolds}}, doi = {10.1007/s41468-023-00116-x}, volume = {7}, year = {2023}, } @inproceedings{13221, abstract = {The safety-liveness dichotomy is a fundamental concept in formal languages which plays a key role in verification. Recently, this dichotomy has been lifted to quantitative properties, which are arbitrary functions from infinite words to partially-ordered domains. We look into harnessing the dichotomy for the specific classes of quantitative properties expressed by quantitative automata. These automata contain finitely many states and rational-valued transition weights, and their common value functions Inf, Sup, LimInf, LimSup, LimInfAvg, LimSupAvg, and DSum map infinite words into the totallyordered domain of real numbers. In this automata-theoretic setting, we establish a connection between quantitative safety and topological continuity and provide an alternative characterization of quantitative safety and liveness in terms of their boolean counterparts. For all common value functions, we show how the safety closure of a quantitative automaton can be constructed in PTime, and we provide PSpace-complete checks of whether a given quantitative automaton is safe or live, with the exception of LimInfAvg and LimSupAvg automata, for which the safety check is in ExpSpace. Moreover, for deterministic Sup, LimInf, and LimSup automata, we give PTime decompositions into safe and live automata. These decompositions enable the separation of techniques for safety and liveness verification for quantitative specifications.}, author = {Boker, Udi and Henzinger, Thomas A and Mazzocchi, Nicolas Adrien and Sarac, Naci E}, booktitle = {34th International Conference on Concurrency Theory}, isbn = {9783959772990}, issn = {1868-8969}, location = {Antwerp, Belgium}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Safety and liveness of quantitative automata}}, doi = {10.4230/LIPIcs.CONCUR.2023.17}, volume = {279}, year = {2023}, } @article{14406, abstract = {Recently, a concept of generalized multifractality, which characterizes fluctuations and correlations of critical eigenstates, was introduced and explored for all 10 symmetry classes of disordered systems. Here, by using the nonlinear sigma-model ( NL σ M ) field theory, we extend the theory of generalized multifractality to boundaries of systems at criticality. Our numerical simulations on two-dimensional systems of symmetry classes A, C, and AII fully confirm the analytical predictions of pure-scaling observables and Weyl symmetry relations between critical exponents of surface generalized multifractality. This demonstrates the validity of the NL σ M for the description of Anderson-localization critical phenomena, not only in the bulk but also on the boundary. The critical exponents strongly violate generalized parabolicity, in analogy with earlier results for the bulk, corroborating the conclusion that the considered Anderson-localization critical points are not described by conformal field theories. We further derive relations between generalized surface multifractal spectra and linear combinations of Lyapunov exponents of a strip in quasi-one-dimensional geometry, which hold under the assumption of invariance with respect to a logarithmic conformal map. Our numerics demonstrate that these relations hold with an excellent accuracy. Taken together, our results indicate an intriguing situation: the conformal invariance is broken but holds partially at critical points of Anderson localization.}, author = {Babkin, Serafim and Karcher, Jonas F. and Burmistrov, Igor S. and Mirlin, Alexander D.}, issn = {2469-9969}, journal = {Physical Review B}, number = {10}, publisher = {American Physical Society}, title = {{Generalized surface multifractality in two-dimensional disordered systems}}, doi = {10.1103/PhysRevB.108.104205}, volume = {108}, year = {2023}, } @inproceedings{14410, abstract = {This paper focuses on the implementation details of the baseline methods and a recent lightweight conditional model extrapolation algorithm LIMES [5] for streaming data under class-prior shift. LIMES achieves superior performance over the baseline methods, especially concerning the minimum-across-day accuracy, which is important for the users of the system. In this work, the key measures to facilitate reproducibility and enhance the credibility of the results are described.}, author = {Tomaszewska, Paulina and Lampert, Christoph}, booktitle = {International Workshop on Reproducible Research in Pattern Recognition}, isbn = {9783031407727}, issn = {1611-3349}, location = {Montreal, Canada}, pages = {67--73}, publisher = {Springer Nature}, title = {{On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift}}, doi = {10.1007/978-3-031-40773-4_6}, volume = {14068}, year = {2023}, } @inproceedings{14405, abstract = {We introduce hypernode automata as a new specification formalism for hyperproperties of concurrent systems. They are finite automata with nodes labeled with hypernode logic formulas and transitions labeled with actions. A hypernode logic formula specifies relations between sequences of variable values in different system executions. Unlike HyperLTL, hypernode logic takes an asynchronous view on execution traces by constraining the values and the order of value changes of each variable without correlating the timing of the changes. Different execution traces are synchronized solely through the transitions of hypernode automata. Hypernode automata naturally combine asynchronicity at the node level with synchronicity at the transition level. We show that the model-checking problem for hypernode automata is decidable over action-labeled Kripke structures, whose actions induce transitions of the specification automata. For this reason, hypernode automaton is a suitable formalism for specifying and verifying asynchronous hyperproperties, such as declassifying observational determinism in multi-threaded programs.}, author = {Bartocci, Ezio and Henzinger, Thomas A and Nickovic, Dejan and Oliveira da Costa, Ana}, booktitle = {34th International Conference on Concurrency Theory}, isbn = {9783959772990}, issn = {18688969}, location = {Antwerp, Belgium}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Hypernode automata}}, doi = {10.4230/LIPIcs.CONCUR.2023.21}, volume = {279}, year = {2023}, } @article{14408, abstract = {We prove that the mesoscopic linear statistics ∑if(na(σi−z0)) of the eigenvalues {σi}i of large n×n non-Hermitian random matrices with complex centred i.i.d. entries are asymptotically Gaussian for any H20-functions f around any point z0 in the bulk of the spectrum on any mesoscopic scale 0