title: Diverse and Aligned Audio-to-Video Generation via Text-to-Video Model Adaptation

abstract: We consider the task of generating diverse and realistic videos guided by natural audio samples from a wide variety of semantic classes. For this task, the videos are required to be aligned both globally and temporally with the input audio: globally, the input audio is semantically associated with the entire output video, and temporally, each segment of the input audio is associated with a corresponding segment of that video. We utilize an existing text-conditioned video generation model and a pre-trained audio encoder model. The proposed method is based on a lightweight adaptor network, which learns to map the audio-based representation to the input representation expected by the text-to-video generation model. As such, it also enables video generation conditioned on text, audio, and, for the first time as far as we can ascertain, on both text and audio. We validate our method extensively on three datasets demonstrating significant semantic diversity of audio-video samples and further propose a novel evaluation metric (AV-Align) to assess the alignment of generated videos with input audio samples. AV-Align is based on the detection and comparison of energy peaks in both modalities. In comparison to recent state-of-the-art approaches, our method generates videos that are better aligned with the input sound, both with respect to content and temporal axis. We also show that videos produced by our method present higher visual quality and are more diverse.


title: Adiabatic connection interaction strength interpolation method made accurate for the uniform electron gas

abstract: The adiabatic connection interaction strength interpolation (ISI)-like method provides a high-level expression for the correlation energy, being in principle exact in the weak-interaction limit, where it recovers the second-order G\"orling-Levy perturbation term, but also in the strong-interaction limit that is described by the strictly correlated electron approach. In this work, we construct the genISI functional made accurate for the uniform electron gas, a solid-state physics paradigm that is a very difficult test for ISI-like correlation functionals. We assess the genISI functional for various jellium spheres with the number of electrons Z $\leq$ 912 and for the non-relativistic noble atoms with Z $\leq$ 290. For the jellium clusters, the genISI is remarkably accurate, while for the noble atoms, it shows a good performance, similar to other ISI-like methods. Then, the genISI functional can open the path using the ISI-like method in solid-state calculations.


title: QSETH strikes again: finer quantum lower bounds for lattice problem, strong simulation, hitting set problem, and more

abstract: While seemingly undesirable, it is not a surprising fact that there are certain problems for which quantum computers offer no computational advantage over their respective classical counterparts. Moreover, there are problems for which there is no `useful' computational advantage possible with the current quantum hardware. This situation however can be beneficial if we don't want quantum computers to solve certain problems fast - say problems relevant to post-quantum cryptography. In such a situation, we would like to have evidence that it is difficult to solve those problems on quantum computers; but what is their exact complexity? To do so one has to prove lower bounds, but proving unconditional time lower bounds has never been easy. As a result, resorting to conditional lower bounds has been quite popular in the classical community and is gaining momentum in the quantum community. In this paper, by the use of the QSETH framework [Buhrman-Patro-Speelman 2021], we are able to understand the quantum complexity of a few natural variants of CNFSAT, such as parity-CNFSAT or counting-CNFSAT, and also are able to comment on the non-trivial complexity of approximate-#CNFSAT; both of these have interesting implications about the complexity of (variations of) lattice problems, strong simulation and hitting set problem, and more. In the process, we explore the QSETH framework in greater detail than was (required and) discussed in the original paper, thus also serving as a useful guide on how to effectively use the QSETH framework.


title: Two-point spectroscopy of Fibonacci topoelectrical circuits

abstract: Topoelectrical circuits are meta-material realizations of topological features of condensed matter systems. In this work, we discuss experimental methods that allow a fast and straightforward detection of the spectral features of these systems from the two-point impedance of the circuit. This allows to deduce the full spectrum of a topoelectrical circuit consisting of N sites from a single two-point measurement of the frequency resolved impedance. In contrast, the standard methods rely on $N^2$ measurements of admittance matrix elements with a subsequent diagonalization on a computer. We experimentally test our approach by constructing a Fibonacci topoelectrical circuit. Although the spectrum of this chain is fractal, i.e., more complex than the spectra of periodic systems, our approach is successful in recovering its eigenvalues. Our work promotes the topoelectrical circuits as an ideal platform to measure spectral properties of various (quasi)crystalline systems.


title: On methods for assessment of the influence and impact of observations in convection-permitting numerical weather prediction

abstract: In numerical weather prediction (NWP), a large number of observations are used to create initial conditions for weather forecasting through a process known as data assimilation. An assessment of the value of these observations for NWP can guide us in the design of future observation networks, help us to identify problems with the assimilation system, and allow us to assess changes to the assimilation system. However, the assessment can be challenging in convection-permitting NWP. First, the strong nonlinearity in the forecast model limits the methods available for the assessment. Second, convection-permitting NWP typically uses a limited area model and provides short forecasts, giving problems with verification and our ability to gather sufficient statistics. Third, convection-permitting NWP often makes use of novel observations, which can be difficult to simulate in an observing system simulation experiment (OSSE). We compare methods that can be used to assess the value of observations in convection-permitting NWP and discuss operational considerations when using these methods. We focus on their applicability to ensemble forecasting systems, as these systems are becoming increasingly dominant for convection-permitting NWP. We also identify several future research directions: comparison of forecast validation using analyses and observations, the effect of ensemble size on assessing the value of observations, flow-dependent covariance localization, and generation and validation of the nature run in an OSSE.


title: Wavefront restoration from lateral shearing data using spectral interpolation

abstract: Although a lateral-shear interferometer is robust against optical component vibrations, its interferogram provides information about differential wavefronts rather than the wavefronts themselves, resulting in the loss of specific frequency components. Previous studies have addressed this limitation by measuring four interferograms with different shear amounts to accurately restore the two-dimensional wavefront. This study proposes a technique that employs spectral interpolation to reduce the number of required interferograms. The proposed approach introduces an origin-shift technique for accurate spectral interpolation, which in turn is implemented by combining two methods: natural extension and least-squares determination of ambiguities in uniform biases. Numerical simulations confirmed that the proposed method accurately restored a two-dimensional wavefront from just two interferograms, thereby indicating its potential to address the limitations of the lateral-shear interferometer.


title: Radar Instance Transformer: Reliable Moving Instance Segmentation in Sparse Radar Point Clouds

abstract: The perception of moving objects is crucial for autonomous robots performing collision avoidance in dynamic environments. LiDARs and cameras tremendously enhance scene interpretation but do not provide direct motion information and face limitations under adverse weather. Radar sensors overcome these limitations and provide Doppler velocities, delivering direct information on dynamic objects. In this paper, we address the problem of moving instance segmentation in radar point clouds to enhance scene interpretation for safety-critical tasks. Our Radar Instance Transformer enriches the current radar scan with temporal information without passing aggregated scans through a neural network. We propose a full-resolution backbone to prevent information loss in sparse point cloud processing. Our instance transformer head incorporates essential information to enhance segmentation but also enables reliable, class-agnostic instance assignments. In sum, our approach shows superior performance on the new moving instance segmentation benchmarks, including diverse environments, and provides model-agnostic modules to enhance scene interpretation. The benchmark is based on the RadarScenes dataset and will be made available upon acceptance.


title: Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving

abstract: Generative large language models (LLMs) with instruct training such as GPT-4 can follow human-provided instruction prompts and generate human-like responses to these prompts. Apart from natural language responses, they have also been found to be effective at generating formal artifacts such as code, plans, and logical specifications from natural language prompts. Despite their remarkably improved accuracy, these models are still known to produce factually incorrect or contextually inappropriate results despite their syntactic coherence - a phenomenon often referred to as hallucination. This limitation makes it difficult to use these models to synthesize formal artifacts that are used in safety-critical applications. Unlike tasks such as text summarization and question-answering, bugs in code, plan, and other formal artifacts produced by LLMs can be catastrophic. We posit that we can use the satisfiability modulo theory (SMT) solvers as deductive reasoning engines to analyze the generated solutions from the LLMs, produce counterexamples when the solutions are incorrect, and provide that feedback to the LLMs exploiting the dialog capability of instruct-trained LLMs. This interaction between inductive LLMs and deductive SMT solvers can iteratively steer the LLM to generate the correct response. In our experiments, we use planning over the domain of blocks as our synthesis task for evaluating our approach. We use GPT-4, GPT3.5 Turbo, Davinci, Curie, Babbage, and Ada as the LLMs and Z3 as the SMT solver. Our method allows the user to communicate the planning problem in natural language; even the formulation of queries to SMT solvers is automatically generated from natural language. Thus, the proposed technique can enable non-expert users to describe their problems in natural language, and the combination of LLMs and SMT solvers can produce provably correct solutions.


title: Beyond Citations: Measuring Novel Scientific Ideas and their Impact in Publication Text

abstract: New scientific ideas fuel economic progress, yet their identification and measurement remains challenging. In this paper, we use natural language processing to identify the origin and impact of new scientific ideas in the text of scientific publications. To validate the new techniques and their improvement over traditional metrics based on citations, we first leverage Nobel prize papers that likely pioneered new scientific ideas with a major impact on scientific progress. Second, we use literature review papers that typically summarize existing knowledge rather than pioneer new scientific ideas. Finally, we demonstrate that papers introducing new scientific ideas are more likely to become highly cited by both publications and patents. We provide open access to code and data for all scientific papers up to December 2020.


title: Sound velocity, equation of state and strangeness in neutron star matter

abstract: This presentation in two parts starts with a brief review on the speed of sound in neutron star matter as inferred from observational data. It is pointed out that, in view the strong constraints imposed by observed properties of the heaviest neutron stars, the equation of state must be very stiff. Stringent limits can be set on the possible appearance of phase transitions in neutron star cores. The second part discusses issues concerning the occurance of strangeness degrees of freedom, in particular of hyperons, in neutron stars. Here a focus is on the role of repulsive hyperon-nuclear three-body forces, potentially resolving the so-called hyperon puzzle.


title: Uncertainty quantification and complex analyticity of the nonlinear Poisson-Boltzmann equation for the interface problem with random domains

abstract: The nonlinear Poisson-Boltzmann equation (NPBE) is an elliptic partial differential equation used in applications such as protein interactions and biophysical chemistry (among many others). It describes the nonlinear electrostatic potential of charged bodies submerged in an ionic solution. The kinetic presence of the solvent molecules introduces randomness to the shape of a protein, and thus a more accurate model that incorporates these random perturbations of the domain is analyzed to compute the statistics of quantities of interest of the solution. When the parameterization of the random perturbations is high-dimensional, this calculation is intractable as it is subject to the curse of dimensionality. However, if the solution of the NPBE varies analytically with respect to the random parameters, the problem becomes amenable to techniques such as sparse grids and deep neural networks. In this paper, we show analyticity of the solution of the NPBE with respect to analytic perturbations of the domain by using the analytic implicit function theorem and the domain mapping method. Previous works have shown analyticity of solutions to linear elliptic equations but not for nonlinear problems. We further show how to derive \emph{a priori} bounds on the size of the region of analyticity. This method is applied to the trypsin molecule to demonstrate that the convergence rates of the quantity of interest are consistent with the analyticity result. Furthermore, the approach developed here is sufficiently general enough to be applied to other nonlinear problems in uncertainty quantification.


title: The effect of COVID restriction levels on shared micromobility travel patterns: A comparison between dockless bike sharing and e-scooter services

abstract: The spread of the coronavirus pandemic had negative repercussions on the majority of transport systems in virtually all countries. After the lockdown period, travel restriction policies are now frequently adapted almost real-time according to observed trends in the spread of the disease, resulting in a rapidly changing transport market situation. Shared micromobility operators, whose revenues entirely come from their customers, need to understand how the demand is affected to adapt their operations. Within this framework, the present paper investigates how different COVID-19 restriction levels have affected the usage patterns of shared micromobility. Usage data of two dockless micromobility services (bike and e-scooters) operating in Turin (Italy) are analyzed between October 2020 and March 2021, a period characterized by different travel restriction levels. The average number of daily trips, trip distances and trip duration are retrieved for both services, and then compared to identify significant differences in trends as restriction levels change. Additionally, related impacts on the spatial dimension of the services are studied through hotspot maps. Results show that both services decreased during restrictions, however e-scooters experienced a larger variability in their demand and they had a quicker recovery when travel restrictions were loosened. Shared bikes, in general, suffered less from travel restriction levels, suggesting their larger usage for work and study-related trip purposes, which is confirmed also by the analysis of hotspots. E-scooters are both substituting and complementing public transport according to restriction levels, while usage patterns of shared bikes are more independent.


title: On symbology and differential equations of Feynman integrals from Schubert analysis

abstract: We take the first step in generalizing the so-called "Schubert analysis", originally proposed in twistor space for four-dimensional kinematics, to the study of symbol letters and more detailed information on canonical differential equations for Feynman integral families in general dimensions with general masses. The basic idea is to work in embedding space and compute possible cross-ratios built from (Lorentz products of) maximal cut solutions for all integrals in the family. We demonstrate the power of the method using the most general one-loop integrals, as well as various two-loop planar integral families (such as sunrise, double-triangle and double-box) in general dimensions. Not only can we obtain all symbol letters as cross-ratios from maximal-cut solutions, but we also reproduce entries in the canonical differential equations satisfied by a basis of dlog integrals.


title: A Small World of Bad Guys: Investigating the Behavior of Hacker Groups in Cyber-Attacks

abstract: This paper explores the behaviour of malicious hacker groups operating in cyberspace and how they organize themselves in structured networks. To better understand these groups, the paper uses Social Network Analysis (SNA) to analyse the interactions and relationships among several malicious hacker groups. The study uses a tested dataset as its primary source, providing an empirical analysis of the cooperative behaviours exhibited by these groups. The study found that malicious hacker groups tend to form close-knit networks where they consult, coordinate with, and assist each other in carrying out their attacks. The study also identified a "small world" phenomenon within the population of malicious actors, which suggests that these groups establish interconnected relationships to facilitate their malicious operations. The small world phenomenon indicates that the actor-groups are densely connected, but they also have a small number of connections to other groups, allowing for efficient communication and coordination of their activities.


title: Novel Discrete Composite Distributions with Applications to Infectious Disease Data

abstract: It was observed that the number of cases and deaths for infectious diseases were associated with heavy-tailed power law distributions such as the Pareto distribution. While Pareto distribution was widely used to model the cases and deaths of infectious diseases, a major limitation of Pareto distribution is that it can only fit a given data set beyond a certain threshold. Thus, it can only model part of the data set. Thus, we proposed some novel discrete composite distributions with Pareto tails to fit the real infectious disease data. To provide necessary statistical inference for the tail behavior of the data, we developed a hypothesis testing procedure to test the tail index parameter. COVID-19 reported cases in Singapore and monkeypox reported cases in France were analyzed to evaluate the performance of the newly created distributions. The results from the analysis suggested that the discrete composite distributions could demonstrate competitive performance compared to the commonly used discrete distributions. Furthermore, the analysis of the tail index parameter can provide great insights into preventing and controlling infectious diseases.


title: Quasi-local masses and cosmological coupling of black holes and mimickers

abstract: Motivated by the recent heated debate on whether the masses of local objects, such as compact stars or black holes (BHs), may be affected by the large-scale, cosmological dynamics, we analyze the conditions under which, in a general relativity framework, such a coupling small/large scales is allowed. We shed light on some controversial arguments, which have been used to rule out the latter possibility. We find that the cosmological coupling occurs whenever the energy of the central objects is quantified by the quasi-local Misner-Sharp mass (MS). Conversely, the decoupling occurs whenever the MS mass is fully equivalent to the (nonlocal) Arnowitt-Deser-Misner (ADM) mass. Consequently, for singular BHs embedded in cosmological backgrounds, like the Schwarzschild-de Sitter or McVittie solutions, we show that there is no cosmological coupling, confirming previous results in the literature. Furthermore, we show that nonsingular compact objects couple to the cosmological background, as quantified by their MS mass. We conclude that observational evidence of cosmological coupling of astrophysical BHs would be the smoking gun of their nonsingular nature.


title: db-CBS: Discontinuity-Bounded Conflict-Based Search for Multi-Robot Kinodynamic Motion Planning

abstract: This paper presents a multi-robot kinodynamic motion planner that enables a team of robots with different dynamics, actuation limits, and shapes to reach their goals in challenging environments. We solve this problem by combining Conflict-Based Search (CBS), a multi-agent path finding method, and discontinuity-bounded A*, a single-robot kinodynamic motion planner. Our method, db-CBS, operates in three levels. Initially, we compute trajectories for individual robots using a graph search that allows bounded discontinuities between precomputed motion primitives. The second level identifies inter-robot collisions and resolves them by imposing constraints on the first level. The third and final level uses the resulting solution with discontinuities as an initial guess for a joint space trajectory optimization. The procedure is repeated with a reduced discontinuity bound. Our approach is anytime, probabilistically complete, asymptotically optimal, and finds near-optimal solutions quickly. Experimental results with robot dynamics such as unicycle, double integrator, and car with trailer in different settings show that our method is capable of solving challenging tasks with a higher success rate and lower cost than the existing state-of-the-art.


title: Crystalline representations and Wach modules in the relative case II

abstract: We study relative Wach modules generalising our previous works on this subject. Our main result shows a categorical equivalence between relative integral Wach modules and lattices inside relative crystalline representations. Using this result, we deduce a purity statement for relative crystalline representations and provide a criteria for checking crystallinity of relative $p$-adic representations. Furthermore, we interpret relative Wach modules as modules with $q$-connections. Moreover, for a crystalline representation, we show that its associated Wach module (together with the Nygaard filtration) is the canonical $q$-deformation of the filtered $(\varphi,\partial)$-module associated to the representation.


title: Modular symmetry in magnetized $T^{2g}$ torus and orbifold models

abstract: We study the modular symmetry in magnetized $T^{2g}$ torus and orbifold models. The $T^{2g}$ torus has the modular symmetry $\Gamma_{g}=Sp(2g,\mathbb{Z})$. Magnetic flux background breaks the modular symmetry to a certain normalizer $N_{g}(H)$. We classify remaining modular symmetries by magnetic flux matrix types. Furthermore, we study the modular symmetry for wave functions on the magnetized $T^{2g}$ and certain orbifolds. It is found that wave functions on magnetized $T^{2g}$ as well as its orbifolds behave as the Siegel modular forms of weight $1/2$ and $\widetilde{N}_{g}(H,h)$, which is the metapletic congruence subgroup of the double covering group of $N_{g}(H)$, $\widetilde{N}_{g}(H)$. Then, wave functions transform non-trivially under the quotient group, $\widetilde{N}_{g,h}=\widetilde{N}_{g}(H)/\widetilde{N}_{g}(H,h)$, where the level $h$ is related to the determinant of the magnetic flux matrix. Accordingly, the corresponding four-dimensional (4D) chiral fields also transform non-trivially under $\widetilde{N}_{g,h}$ modular flavor transformation with modular weight $-1/2$. We also study concrete modular flavor symmetries of wave functions on magnetized $T^{2g}$ orbifolds.


title: A parsimonious, computationally efficient machine learning method for spatial regression

abstract: We introduce the modified planar rotator method (MPRS), a physically inspired machine learning method for spatial/temporal regression. MPRS is a non-parametric model which incorporates spatial or temporal correlations via short-range, distance-dependent ``interactions'' without assuming a specific form for the underlying probability distribution. Predictions are obtained by means of a fully autonomous learning algorithm which employs equilibrium conditional Monte Carlo simulations. MPRS is able to handle scattered data and arbitrary spatial dimensions. We report tests on various synthetic and real-word data in one, two and three dimensions which demonstrate that the MPRS prediction performance (without parameter tuning) is competitive with standard interpolation methods such as ordinary kriging and inverse distance weighting. In particular, MPRS is a particularly effective gap-filling method for rough and non-Gaussian data (e.g., daily precipitation time series). MPRS shows superior computational efficiency and scalability for large samples. Massive data sets involving millions of nodes can be processed in a few seconds on a standard personal computer.


title: Mean curvature flows of graphs sliding off to infinity in warped product manifolds

abstract: We study mean curvature flows in a warped product manifold defined by a closed Riemannian manifold and $\mathbb{R}$. In such a warped product manifold, we can define the notion of a graph, called a geodesic graph. We prove that the curve shortening flow preserves a geodesic graph for any warping function, and the mean curvature flow of hypersurfaces preserves a geodesic graph for some monotone convex warping functions. In particular, we consider some warping functions that go to zero at infinity, which means that the curves or hypersurfaces go to a point at infinity along the flow. In such a case, we prove the long-time existence of the flow and that the curvature and its higher-order derivatives go to zero along the flow.


title: New Perspectives on Torsional Rigidity and Polynomial Approximations of z-bar

abstract: We consider polynomial approximations of z-bar to better understand the torsional rigidity of polygons. Our main focus is on low degree approximations and associated extremal problems that are analogous to Polya's conjecture for torsional rigidity of polygons. We also present some numerics in support of Polya's Conjecture on the torsional rigidity of pentagons.


title: Towards Novel Class Discovery: A Study in Novel Skin Lesions Clustering

abstract: Existing deep learning models have achieved promising performance in recognizing skin diseases from dermoscopic images. However, these models can only recognize samples from predefined categories, when they are deployed in the clinic, data from new unknown categories are constantly emerging. Therefore, it is crucial to automatically discover and identify new semantic categories from new data. In this paper, we propose a new novel class discovery framework for automatically discovering new semantic classes from dermoscopy image datasets based on the knowledge of known classes. Specifically, we first use contrastive learning to learn a robust and unbiased feature representation based on all data from known and unknown categories. We then propose an uncertainty-aware multi-view cross pseudo-supervision strategy, which is trained jointly on all categories of data using pseudo labels generated by a self-labeling strategy. Finally, we further refine the pseudo label by aggregating neighborhood information through local sample similarity to improve the clustering performance of the model for unknown categories. We conducted extensive experiments on the dermatology dataset ISIC 2019, and the experimental results show that our approach can effectively leverage knowledge from known categories to discover new semantic categories. We also further validated the effectiveness of the different modules through extensive ablation experiments. Our code will be released soon.


title: On the Trade-offs between Adversarial Robustness and Actionable Explanations

abstract: As machine learning models are increasingly being employed in various high-stakes settings, it becomes important to ensure that predictions of these models are not only adversarially robust, but also readily explainable to relevant stakeholders. However, it is unclear if these two notions can be simultaneously achieved or if there exist trade-offs between them. In this work, we make one of the first attempts at studying the impact of adversarially robust models on actionable explanations which provide end users with a means for recourse. We theoretically and empirically analyze the cost (ease of implementation) and validity (probability of obtaining a positive model prediction) of recourses output by state-of-the-art algorithms when the underlying models are adversarially robust vs. non-robust. More specifically, we derive theoretical bounds on the differences between the cost and the validity of the recourses generated by state-of-the-art algorithms for adversarially robust vs. non-robust linear and non-linear models. Our empirical results with multiple real-world datasets validate our theoretical results and show the impact of varying degrees of model robustness on the cost and validity of the resulting recourses. Our analyses demonstrate that adversarially robust models significantly increase the cost and reduce the validity of the resulting recourses, thus shedding light on the inherent trade-offs between adversarial robustness and actionable explanations


title: A note on adjunction spaces and G-ANE's

abstract: We provide a different proof of the equivariant version of the Borsuk-Whitehead-Hanner Theorem in the category of proper G-spaces which are metrizable by a G-invariant metric.


title: Identifying Crystal Structures Beyond Known Prototypes from X-ray Powder Diffraction Spectra

abstract: The large amount of powder diffraction data for which the corresponding crystal structures have not yet been identified suggests the existence of numerous undiscovered, physically relevant crystal structure prototypes. In this paper, we present a scheme to resolve powder diffraction data into crystal structures with precise atomic coordinates by screening the space of all possible atomic arrangements, i.e., structural prototypes, including those not previously observed, using a pre-trained machine learning (ML) model. This involves (i) enumerating all possible symmetry-confined ways in which a given composition can be accommodated in a given spacegroup, (ii) ranking the element-assigned prototype representations using energies predicted using the Wren ML model [Sci.Adv.8, eabn4117 (2022)], (iii) assigning and perturbing atoms along the degree of freedom allowed by the Wyckoff positions to match the experimental diffraction data (iv) validating the thermodynamic stability of the material using density-functional theory (DFT). An advantage of the presented method is that it does not rely on a database of previously observed prototypes and is, therefore capable of finding crystal structures with entirely new symmetric arrangements of atoms. We demonstrate the workflow on unidentified XRD spectra from the ICDD database and identify a number of stable structures, where a majority turns out to be derivable from known prototypes. However, at least two are found not to be part of our prior structural data sets.


title: Self-similarity of turning avalanches in schooling fish

abstract: Groups of animals are observed to transmit information across them with propagating waves or avalanches of behaviour. These behavioral cascades often display scale-free signatures in their duration and size, ranging from activating a single individual to the whole group, signatures that are commonly related to critical phenomena from statistical physics. A particular example is given by turning avalanches, where large turns in the direction of motion of individuals are propagated. Employing experimental data of schooling fish, we examine characteristics of spontaneous turning avalanches and their dependency with schools of different number of individuals. We report self-similar properties in the avalanche duration, size and inter-event time distributions, as well as in the avalanche shape. We argue that turning avalanches are a result of collective decision-making processes to select a new direction to move. They start with the group having low speed and decreasing the coordination, but once a direction is chosen, speed increases and coordination is restored. We report relevant boundary effects given by wall interactions and by individuals at the border of the group. We conclude investigating spatial and temporal correlations using the concept of aftershocks from seismology. Contrary to earthquakes, turning avalanches display statistically significant clustered events only below a given time scale and follow an Omori law for aftershocks with a faster decay rate exponent than that observed in real earthquakes.


title: Resisting Backdoor Attacks in Federated Learning via Bidirectional Elections and Individual Perspective

abstract: Existing approaches defend against backdoor attacks in federated learning (FL) mainly through a) mitigating the impact of infected models, or b) excluding infected models. The former negatively impacts model accuracy, while the latter usually relies on globally clear boundaries between benign and infected model updates. However, model updates are easy to be mixed and scattered throughout in reality due to the diverse distributions of local data. This work focuses on excluding infected models in FL. Unlike previous perspectives from a global view, we propose Snowball, a novel anti-backdoor FL framework through bidirectional elections from an individual perspective inspired by one principle deduced by us and two principles in FL and deep learning. It is characterized by a) bottom-up election, where each candidate model update votes to several peer ones such that a few model updates are elected as selectees for aggregation; and b) top-down election, where selectees progressively enlarge themselves through picking up from the candidates. We compare Snowball with state-of-the-art defenses to backdoor attacks in FL on five real-world datasets, demonstrating its superior resistance to backdoor attacks and slight impact on the accuracy of the global model.


title: SI-SD: Sleep Interpreter through awake-guided cross-subject Semantic Decoding

abstract: Understanding semantic content from brain activity during sleep represents a major goal in neuroscience. While studies in rodents have shown spontaneous neural reactivation of memories during sleep, capturing the semantic content of human sleep poses a significant challenge due to the absence of well-annotated sleep datasets and the substantial differences in neural patterns between wakefulness and sleep. To address these challenges, we designed a novel cognitive neuroscience experiment and collected a comprehensive, well-annotated electroencephalography (EEG) dataset from 134 subjects during both wakefulness and sleep. Leveraging this benchmark dataset, we developed SI-SD that enhances sleep semantic decoding through the position-wise alignment of neural latent sequence between wakefulness and sleep. In the 15-way classification task, our model achieves 24.12% and 21.39% top-1 accuracy on unseen subjects for NREM 2/3 and REM sleep, respectively, surpassing all other baselines. With additional fine-tuning, decoding performance improves to 30.32% and 31.65%, respectively. Besides, inspired by previous neuroscientific findings, we systematically analyze how the "Slow Oscillation" event impacts decoding performance in NREM 2/3 sleep -- decoding performance on unseen subjects further improves to 40.02%. Together, our findings and methodologies contribute to a promising neuro-AI framework for decoding brain activity during sleep.


title: Hom schemes for algebraic groups

abstract: In SGA3, Demazure and Grothendieck showed that if $G$ and $H$ are smooth affine group schemes over a scheme $S$ and $G$ is reductive, then the functor of $S$-homomorphism $G \to H$ is representable. In this paper we extend this result to cover cases in which $G$ is not reductive, with much simpler proofs. Our results apply in particular to parabolics over any base, and they are essentially optimal over a field. We also relate the closed orbits in Hom schemes to Serre's theory of complete reducibility, answer a question of Furter--Kraft, and provide many examples.


title: Augmenting LLMs with Knowledge: A survey on hallucination prevention

abstract: Large pre-trained language models have demonstrated their proficiency in storing factual knowledge within their parameters and achieving remarkable results when fine-tuned for downstream natural language processing tasks. Nonetheless, their capacity to access and manipulate knowledge with precision remains constrained, resulting in performance disparities on knowledge-intensive tasks when compared to task-specific architectures. Additionally, the challenges of providing provenance for model decisions and maintaining up-to-date world knowledge persist as open research frontiers. To address these limitations, the integration of pre-trained models with differentiable access mechanisms to explicit non-parametric memory emerges as a promising solution. This survey delves into the realm of language models (LMs) augmented with the ability to tap into external knowledge sources, including external knowledge bases and search engines. While adhering to the standard objective of predicting missing tokens, these augmented LMs leverage diverse, possibly non-parametric external modules to augment their contextual processing capabilities, departing from the conventional language modeling paradigm. Through an exploration of current advancements in augmenting large language models with knowledge, this work concludes that this emerging research direction holds the potential to address prevalent issues in traditional LMs, such as hallucinations, un-grounded responses, and scalability challenges.


title: Diverse Target and Contribution Scheduling for Domain Generalization

abstract: Generalization under the distribution shift has been a great challenge in computer vision. The prevailing practice of directly employing the one-hot labels as the training targets in domain generalization~(DG) can lead to gradient conflicts, making it insufficient for capturing the intrinsic class characteristics and hard to increase the intra-class variation. Besides, existing methods in DG mostly overlook the distinct contributions of source (seen) domains, resulting in uneven learning from these domains. To address these issues, we firstly present a theoretical and empirical analysis of the existence of gradient conflicts in DG, unveiling the previously unexplored relationship between distribution shifts and gradient conflicts during the optimization process. In this paper, we present a novel perspective of DG from the empirical source domain's risk and propose a new paradigm for DG called Diverse Target and Contribution Scheduling (DTCS). DTCS comprises two innovative modules: Diverse Target Supervision (DTS) and Diverse Contribution Balance (DCB), with the aim of addressing the limitations associated with the common utilization of one-hot labels and equal contributions for source domains in DG. In specific, DTS employs distinct soft labels as training targets to account for various feature distributions across domains and thereby mitigates the gradient conflicts, and DCB dynamically balances the contributions of source domains by ensuring a fair decline in losses of different source domains. Extensive experiments with analysis on four benchmark datasets show that the proposed method achieves a competitive performance in comparison with the state-of-the-art approaches, demonstrating the effectiveness and advantages of the proposed DTCS.


title: Weak Deflection Angle, Hawking Radiation, Greybody Bound and Shadow Cast for Static Black Hole in the Framework of $f(R)$ Gravity

abstract: In this work, we probe the weak gravitational lensing by a static spherically symmetric black hole in view of $f(R)$ gravity in the background of the non-plasma medium (vacuum). We provide a discussion on a light ray in a static black hole solution in $f(R)$ gravity. To adore this purpose, we find the Gaussian optical curvature in weak gravitational lensing by utilizing the optical geometry of this black hole solution. Furthermore, we find the deflection angle up to the leading order by employing the Gauss-Bonnet theorem. We present the graphical analysis of the deflection angle with respect to the various parameters that govern the black hole. Further, we calculate the Hawking temperature for this black hole via a topological method and compare it with a standard method of deriving the Hawking temperature. We also analyze the Schr\"odinger-like Regge-Wheeler equation and derive a bound on the greybody factor for a static black hole in the framework of $f(R)$ gravity and graphically inquire that bound converges to 1. We also investigate the silhouette or shadow generated by this static $f(R)$ black hole. Moreover, we constrain the non-negative real constant and cosmological constant from the observed angular diameters of M87* and Sgr A* released by the EHT. We then probe how cosmological constant, non-negative real constant and mass affected the radius of shadow. Finally, we demonstrate that, in the eikonal limit, the real part of scalar field quasinormal mode frequency can be determined from the shadow radius.


title: Spin Drude weight for the integrable XXZ chain with arbitrary spin

abstract: Using generalized hydrodynamics (GHD), we exactly evaluate the finite-temperature spin Drude weight at zero magnetic field for the integrable XXZ chain with arbitrary spin and easy-plane anisotropy. First, we construct the fusion hierarchy of the quantum transfer matrices ($T$-functions) and derive functional relations ($T$- and $Y$-systems) satisfied by the $T$-functions and certain combinations of them ($Y$-functions). Through analytical arguments, the $Y$-system is reduced to a set of non-linear integral equations, equivalent to the thermodynamic Bethe ansatz (TBA) equations. Then, employing GHD, we calculate the spin Drude weight at arbitrary finite temperatures. As a result, a characteristic fractal-like structure of the Drude weight is observed at arbitrary spin, similar to the spin-1/2 case. In our approach, the solutions to the TBA equations (i.e., the $Y$-functions) can be explicitly written in terms of the $T$-functions, thus allowing for a systematic calculation of the high-temperature limit of the Drude weight.

categories: cond-mat.stat-mech math-ph math.MP nlin.SI


title: Semi-stable and splitting models for unitary Shimura varieties over ramified places. I

abstract: We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where $n$ is even. For these varieties, we construct smooth $p$-adic integral models for $s=1$ and regular $p$-adic integral models for $s=2$ and $s=3$ over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$ given by the stabilizer of a $\pi$-modular lattice in the hermitian space. Our construction, which has an explicit moduli-theoretic description, is given by an explicit resolution of a corresponding local model.


title: Asymptotic expansion of the invariant measurefor Markov-modulated ODEs at high frequency

abstract: We consider time-inhomogeneous ODEs whose parameters are governed by an underlying ergodic Markov process. When this underlying process is accelerated by a factor $\varepsilon^{-1}$, an averaging phenomenon occurs and the solution of the ODE converges to a deterministic ODE as $\varepsilon$ vanishes. We are interested in cases where this averaged flow is globally attracted to a point. In that case, the equilibrium distribution of the solution of the ODE converges to a Dirac mass at this point. We prove an asymptotic expansion in terms of $\varepsilon$ for this convergence, with a somewhat explicit formula for the first order term. The results are applied in three contexts: linear Markov-modulated ODEs, randomized splitting schemes, and Lotka-Volterra models in random environment. In particular, as a corollary, we prove the existence of two matrices whose convex combinations are all stable but such that, for a suitable jump rate, the top Lyapunov exponent of a Markov-modulated linear ODE switching between these two matrices is positive.


title: A Metaheuristic for Amortized Search in High-Dimensional Parameter Spaces

abstract: Parameter inference for dynamical models of (bio)physical systems remains a challenging problem. Intractable gradients, high-dimensional spaces, and non-linear model functions are typically problematic without large computational budgets. A recent body of work in that area has focused on Bayesian inference methods, which consider parameters under their statistical distributions and therefore, do not derive point estimates of optimal parameter values. Here we propose a new metaheuristic that drives dimensionality reductions from feature-informed transformations (DR-FFIT) to address these bottlenecks. DR-FFIT implements an efficient sampling strategy that facilitates a gradient-free parameter search in high-dimensional spaces. We use artificial neural networks to obtain differentiable proxies for the model's features of interest. The resulting gradients enable the estimation of a local active subspace of the model within a defined sampling region. This approach enables efficient dimensionality reductions of highly non-linear search spaces at a low computational cost. Our test data show that DR-FFIT boosts the performances of random-search and simulated-annealing against well-established metaheuristics, and improves the goodness-of-fit of the model, all within contained run-time costs.


title: Entangling extreme ultraviolet photons through strong field pair generation

abstract: Entangled photon pairs are a vital resource for quantum information, computation, and metrology. Although these states are routinely generated at optical frequencies, sources of quantum of light are notably lacking at extreme ultraviolet (XUV) and soft X-ray frequencies. Here, we show that strongly driven systems used for high harmonic generation (HHG) can become versatile sources of entangled photon pairs at these high frequencies. We present a general theory of photon pair emission from non-perturbatively driven systems, which we refer to as "strong field pair generation" (SFPG). We show that strongly driven noble gases can generate thousands of entangled pairs per shot over a large XUV bandwidth. The emitted pairs have distinctive properties in angle and frequency, which can be exploited to discriminate them from the background HHG signal. We connect SFPG theory to the three-step-model of HHG, showing that this pair emission originates from the impact of high frequency vacuum fluctuations on electron recombination. The light produced by SFPG exhibits attosecond Hong-Ou-Mandel correlations, and can be leveraged as a source of heralded single photon attosecond pulses. Our findings aid ongoing efforts to propel quantum optics into the XUV and beyond.


title: Compositional Program Generation for Few-Shot Systematic Generalization

abstract: Compositional generalization is a key ability of humans that enables us to learn new concepts from only a handful examples. Neural machine learning models, including the now ubiquitous Transformers, struggle to generalize in this way, and typically require thousands of examples of a concept during training in order to generalize meaningfully. This difference in ability between humans and artificial neural architectures, motivates this study on a neuro-symbolic architecture called the Compositional Program Generator (CPG). CPG has three key features: \textit{modularity}, \textit{composition}, and \textit{abstraction}, in the form of grammar rules, that enable it to generalize both systematically to new concepts in a few-shot manner, as well as productively by length on various sequence-to-sequence language tasks. For each input, CPG uses a grammar of the input language and a parser to generate a parse in which each grammar rule is assigned its own unique semantic module, a probabilistic copy or substitution program. Instances with the same parse are always processed with the same composed modules, while those with different parses may be processed with different modules. CPG learns parameters for the modules and is able to learn the semantics for new rules and types incrementally, without forgetting or retraining on rules it's already seen. It achieves perfect generalization on both the SCAN and COGS benchmarks using just 14 examples for SCAN and 22 examples for COGS -- state-of-the-art accuracy with a 1000x improvement in sample efficiency.


title: HyperLISTA-ABT: An Ultra-light Unfolded Network for Accurate Multi-component Differential Tomographic SAR Inversion

abstract: Deep neural networks based on unrolled iterative algorithms have achieved remarkable success in sparse reconstruction applications, such as synthetic aperture radar (SAR) tomographic inversion (TomoSAR). However, the currently available deep learning-based TomoSAR algorithms are limited to three-dimensional (3D) reconstruction. The extension of deep learning-based algorithms to four-dimensional (4D) imaging, i.e., differential TomoSAR (D-TomoSAR) applications, is impeded mainly due to the high-dimensional weight matrices required by the network designed for D-TomoSAR inversion, which typically contain millions of freely trainable parameters. Learning such huge number of weights requires an enormous number of training samples, resulting in a large memory burden and excessive time consumption. To tackle this issue, we propose an efficient and accurate algorithm called HyperLISTA-ABT. The weights in HyperLISTA-ABT are determined in an analytical way according to a minimum coherence criterion, trimming the model down to an ultra-light one with only three hyperparameters. Additionally, HyperLISTA-ABT improves the global thresholding by utilizing an adaptive blockwise thresholding scheme, which applies block-coordinate techniques and conducts thresholding in local blocks, so that weak expressions and local features can be retained in the shrinkage step layer by layer. Simulations were performed and demonstrated the effectiveness of our approach, showing that HyperLISTA-ABT achieves superior computational efficiency and with no significant performance degradation compared to state-of-the-art methods. Real data experiments showed that a high-quality 4D point cloud could be reconstructed over a large area by the proposed HyperLISTA-ABT with affordable computational resources and in a fast time.


title: Functional Renormalization Group for fermions on a one dimensional lattice at arbitrary filling

abstract: A formalism based on the fermionic functional-renormalization-group approach to interacting electron models defined on a lattice is presented. One-loop flow equations for the coupling constants and susceptibilities in the particle-particle and particle-hole channels are derived in weak-coupling conditions. It is shown that lattice effects manifest themselves through the curvature of the spectrum and the dependence of the coupling constants on momenta. This method is then applied to the one-dimensional extended Hubbard model; we thoroughly discuss the evolution of the phase diagram, and in particular the fate of the bond-centered charge-density-wave phase, as the system is doped away from half-filling. Our findings are compared to the predictions of the field-theory continuum limit and available numerical results.


title: Machine-learning-inspired quantum optimal control of nonadiabatic geometric quantum computation via reverse engineering

abstract: Quantum control plays an irreplaceable role in practical use of quantum computers. However, some challenges have to be overcome to find more suitable and diverse control parameters. We propose a promising and generalizable average-fidelity-based machine-learning-inspired method to optimize the control parameters, in which a neural network with periodic feature enhancement is used as an ansatz. In the implementation of a single-qubit gate by cat-state nonadiabatic geometric quantum computation via reverse engineering, compared with the control parameters in the simple form of a trigonometric function, our approach can yield significantly higher-fidelity ($>99.99\%$) phase gates, such as the $\pi / 8$ gate (T gate). Single-qubit gates are robust against systematic noise, additive white Gaussian noise and decoherence. We numerically demonstrate that the neural network possesses the ability to expand the model space. With the help of our optimization, we provide a feasible way to implement cascaded multi-qubit gates with high quality in a bosonic system. Therefore, the machine-learning-inspired method may be feasible in quantum optimal control of nonadiabatic geometric quantum computation.


title: Hadoop-Oriented SVM-LRU (H-SVM-LRU): An Intelligent Cache Replacement Algorithm to Improve MapReduce Performance

abstract: Modern applications can generate a large amount of data from different sources with high velocity, a combination that is difficult to store and process via traditional tools. Hadoop is one framework that is used for the parallel processing of a large amount of data in a distributed environment, however, various challenges can lead to poor performance. Two particular issues that can limit performance are the high access time for I/O operations and the recomputation of intermediate data. The combination of these two issues can result in resource wastage. In recent years, there have been attempts to overcome these problems by using caching mechanisms. Due to cache space limitations, it is crucial to use this space efficiently and avoid cache pollution (the cache contains data that is not used in the future). We propose Hadoop-oriented SVM-LRU (HSVM- LRU) to improve Hadoop performance. For this purpose, we use an intelligent cache replacement algorithm, SVM-LRU, that combines the well-known LRU mechanism with a machine learning algorithm, SVM, to classify cached data into two groups based on their future usage. Experimental results show a significant decrease in execution time as a result of an increased cache hit ratio, leading to a positive impact on Hadoop performance.


title: Fragmentation and dynamics of dense gas structures in the proximity of massive young stellar object W42-MME

abstract: We present an analysis of the dense gas structures in the immediate surroundings of the massive young stellar object (MYSO) W42-MME, using the high-resolution (0$''$.31$\times$0$''$.25) ALMA dust continuum and molecular line data. We performed a dendrogram analysis of H$^{13}$CO$^{+}$ (4-3) line data to study multi-scale structures and their spatio-kinematic properties, and analyzed the fragmentation and dynamics of dense structures down to $\sim$2000 AU scale. Our results reveal 19 dense gas structures, out of which 12 are leaves and 7 are branches in dendrogram terminology. These structures exhibit transonic-supersonic gas motions (1$<\mathcal{M}<5$) with overvirial states ($\alpha_{\rm vir}\geq2$). The non-thermal velocity dispersion-size relation ($\sigma_{\rm nt}-L$) of dendrogram structures shows a weak negative correlation, while the velocity dispersion across the sky ($\delta\mathit{V_{\rm lsr}}$) correlates positively with structure size ($L$). Velocity structure function ($S_{2}(l)^{1/2}$) analysis of H$^{13}$CO$^{+}$ data reveals strong power-law dependencies with lag ($l$) up to a scale length of $\lesssim$ 6000 AU. The mass-size ($M-R$) relation of dendrogram structures shows a positive correlation with power-law index of 1.73$\pm$0.23, and the leaf L17 hosting W42-MME meets the mass-size conditions for massive star formation. Blue asymmetry is observed in the H$^{12}$CO$^{+}$ (4-3) line profiles of most of the leaves, indicating infall. Overall, our results observationally support the hierarchical and chaotic collapse scenario in the proximity of the MYSO W42-MME.


title: QUBO Resolution of the Job Reassignment Problem

abstract: We present a subproblemation scheme for heuristical solving of the JSP (Job Reassignment Problem). The cost function of the JSP is described via a QUBO hamiltonian to allow implementation in both gate-based and annealing quantum computers. For a job pool of $K$ jobs, $\mathcal{O}(K^2)$ binary variables -- qubits -- are needed to solve the full problem, for a runtime of $\mathcal{O}(2^{K^2})$. With the presented heuristics, the average variable number of each of the $D$ subproblems to solve is $\mathcal{O}(K^2/2D)$, and the expected total runtime $\mathcal{O}(D2^{K^2/2D})$, achieving an exponential speedup.


title: Non-Gaussian statistics of de Sitter spectators: A perturbative derivation of stochastic dynamics

abstract: Scalar fields interacting with the primordial curvature perturbation during inflation may communicate their statistics to the latter. This situation motivates the study of how the probability density function (PDF) of a light spectator field $\varphi$ in a pure de Sitter space-time, becomes non-Gaussian under the influence of a scalar potential ${\mathcal V(\varphi)}$. One approach to this problem is offered by the stochastic formalism introduced by Starobinsky and Yokoyama. It results in a Fokker-Planck equation for the time-dependent PDF $\rho (\varphi , t)$ describing the statistics of $\varphi$ which, in the limit of equilibrium gives one back the solution $\rho (\varphi) \propto \exp \big[ - \frac{8 \pi^2}{3 H^4} {\mathcal V(\varphi)} \big]$. We study the derivation of $\rho (\varphi , t)$ using quantum field theory tools. Our approach yields an almost Gaussian distribution function, distorted by minor corrections comprised of terms proportional to powers of $\Delta N \times \mathcal O(\partial_\varphi) {\mathcal V(\varphi)}$, where $\Delta N$ is the number of $e$-folds succeeding the Hubble-horizon crossing of $\varphi$'s wavelengths, and $\mathcal O(\partial_\varphi)$ stands for a derivative operator acting on ${\mathcal V(\varphi)}$. This general form is obtained perturbatively and remains valid even with loop corrections. Our solution satisfies a Fokker-Planck equation that receives corrections with respect to the one found within the stochastic approach, allowing us to comment on the validity of the standard equilibrium solution for generic potentials. We posit that higher order corrections to the Fokker-Planck equation may become important towards the equilibrium.


title: Circuit-to-Hamiltonian from tensor networks and fault tolerance

abstract: We define a map from an arbitrary quantum circuit to a local Hamiltonian whose ground state encodes the quantum computation. All previous maps relied on the Feynman-Kitaev construction, which introduces an ancillary `clock register' to track the computational steps. Our construction, on the other hand, relies on injective tensor networks with associated parent Hamiltonians, avoiding the introduction of a clock register. This comes at the cost of the ground state containing only a noisy version of the quantum computation, with independent stochastic noise. We can remedy this - making our construction robust - by using quantum fault tolerance. In addition to the stochastic noise, we show that any state with energy density exponentially small in the circuit depth encodes a noisy version of the quantum computation with adversarial noise. We also show that any `combinatorial state' with energy density polynomially small in depth encodes the quantum computation with adversarial noise. This serves as evidence that any state with energy density polynomially small in depth has a similar property. As an application, we show that contracting injective tensor networks to additive error is BQP-hard. We also discuss the implication of our construction to the quantum PCP conjecture, combining with an observation that QMA verification can be done in logarithmic depth.


title: High-dimensional robust regression under heavy-tailed data: Asymptotics and Universality

abstract: We investigate the high-dimensional properties of robust regression estimators in the presence of heavy-tailed contamination of both the covariates and response functions. In particular, we provide a sharp asymptotic characterisation of M-estimators trained on a family of elliptical covariate and noise data distributions including cases where second and higher moments do not exist. We show that, despite being consistent, the Huber loss with optimally tuned location parameter $\delta$ is suboptimal in the high-dimensional regime in the presence of heavy-tailed noise, highlighting the necessity of further regularisation to achieve optimal performance. This result also uncovers the existence of a transition in $\delta$ as a function of the sample complexity and contamination. Moreover, we derive the decay rates for the excess risk of ridge regression. We show that, while it is both optimal and universal for covariate distributions with finite second moment, its decay rate can be considerably faster when the covariates' second moment does not exist. Finally, we show that our formulas readily generalise to a richer family of models and data distributions, such as generalised linear estimation with arbitrary convex regularisation trained on mixture models.

categories: math.ST cond-mat.dis-nn cs.LG stat.ML stat.TH


title: Multi-population Mean Field Games with Multiple Major Players: Application to Carbon Emission Regulations

abstract: In this paper, we propose and study a mean field game model with multiple populations of minor players and multiple major players, motivated by applications to the regulation of carbon emissions. Each population of minor players represent a large group of electricity producers and each major player represents a regulator. We first characterize the minor players equilibrium controls using forward-backward differential equations, and show existence and uniqueness of the minor players equilibrium. We then express the major players' equilibrium controls through analytical formulas given the other players' controls. Finally, we then provide a method to solve the Nash equilibrium between all the players, and we illustrate numerically the sensitivity of the model to its parameters.


title: A Bernstein theorem for ancient solution to symplectic mean curvature flow

abstract: We proved a Bernstein theorem for ancient solution to symplectic mean curvature flow via the complex phase map .


title: Chiral photonic super-crystals based on helical van der Waals homostructures

abstract: Chirality is probably the most mysterious among all symmetry transformations. Very readily broken in biological systems, it is practically absent in naturally occurring inorganic materials and is very challenging to create artificially. Chiral optical wavefronts are often used for the identification, control and discrimination of left- and right-handed biological and other molecules. Thus, it is crucially important to create materials capable of chiral interaction with light, which would allow one to assign arbitrary chiral properties to a light field. In this paper, we utilized van der Waals technology to assemble helical homostructures with chiral properties (e. g. circular dichroism). Because of the large range of van der Waals materials available such helical homostructures can be assigned with very flexible optical properties. We demonstrate our approach by creating helical homostructures based on multilayer As$_2$S$_3$, which offers the most pronounced chiral properties even in thin structures due to its strong biaxial optically anisotropy. Our work showcases that the chirality of an electromagnetic system may emerge at an intermediate level between the molecular and the mesoscopic one due to the tailored arrangement of non-chiral layers of van der Waals crystals and without additional patterning.


title: A Liouville theorem of VT-harmonic map heat flow

abstract: We proved an Liouville theorem for Backward V T-harmonic map heat flow from evolution manifolds into generalized regular ball. Among others, we also proved an Liouville theorem for V T-harmonic map heat flow from complete manifolds into generalized regular ball.


title: Steenrod operations via higher Bruhat orders

abstract: The purpose of this paper is to establish a correspondence between the higher Bruhat orders of Yu. I. Manin and V. Schechtman, and the cup-$i$ coproducts defining Steenrod squares in cohomology. To any element of the higher Bruhat orders we associate a coproduct, recovering Steenrod's original ones from extremal elements in these orders. This correspondence allows us to interpret the coproducts geometrically in terms of zonotopal tilings, understand all possible choices of coproducts, and give conceptual proofs of their properties.


title: Meeting Recognition with Continuous Speech Separation and Transcription-Supported Diarization

abstract: We propose a modular pipeline for the single-channel separation, recognition, and diarization of meeting-style recordings and evaluate it on the Libri-CSS dataset. Using a Continuous Speech Separation (CSS) system with a TF-GridNet separation architecture, followed by a speaker-agnostic speech recognizer, we achieve state-of-the-art recognition performance in terms of Optimal Reference Combination Word Error Rate (ORC WER). Then, a d-vector-based diarization module is employed to extract speaker embeddings from the enhanced signals and to assign the CSS outputs to the correct speaker. Here, we propose a syntactically informed diarization using sentence- and word-level boundaries of the ASR module to support speaker turn detection. This results in a state-of-the-art Concatenated minimum-Permutation Word Error Rate (cpWER) for the full meeting recognition pipeline.


title: Rethinking Domain Generalization: Discriminability and Generalizability

abstract: Domain generalization (DG) endeavors to develop robust models that possess strong generalizability while preserving excellent discriminability. Nonetheless, pivotal DG techniques tend to improve the feature generalizability by learning domain-invariant representations, inadvertently overlooking the feature discriminability. On the one hand, the simultaneous attainment of generalizability and discriminability of features presents a complex challenge, often entailing inherent contradictions. This challenge becomes particularly pronounced when domain-invariant features manifest reduced discriminability owing to the inclusion of unstable factors, \emph{i.e.,} spurious correlations. On the other hand, prevailing domain-invariant methods can be categorized as category-level alignment, susceptible to discarding indispensable features possessing substantial generalizability and narrowing intra-class variations. To surmount these obstacles, we rethink DG from a new perspective that concurrently imbues features with formidable discriminability and robust generalizability, and present a novel framework, namely, Discriminative Microscopic Distribution Alignment (DMDA). DMDA incorporates two core components: Selective Channel Pruning~(SCP) and Micro-level Distribution Alignment (MDA). Concretely, SCP attempts to curtail redundancy within neural networks, prioritizing stable attributes conducive to accurate classification. This approach alleviates the adverse effect of spurious domain invariance and amplifies the feature discriminability. Besides, MDA accentuates micro-level alignment within each class, going beyond mere category-level alignment. This strategy accommodates sufficient generalizable features and facilitates within-class variations. Extensive experiments on four benchmark datasets corroborate the efficacy of our method.


title: Local stability of spheres via the convex hull and the radical Voronoi diagram

abstract: Jamming is an emergent phenomenon wherein the local stability of individual particles percolates to form a globally rigid structure. However, the onset of rigidity does not imply that every particle becomes rigid, and indeed some remain locally unstable. These particles, if they become unmoored from their neighbors, are called \textit{rattlers}, and their identification is critical to understanding the rigid backbone of a packing, as these particles cannot bear stress. The accurate identification of rattlers, however, can be a time-consuming process, and the currently accepted method lacks a simple geometric interpretation. In this manuscript, we propose two simpler classifications of rattlers based on the convex hull of contacting neighbors and the maximum inscribed sphere of the radical Voronoi cell, each of which provides geometric insight into the source of their instability. Furthermore, the convex hull formulation can be generalized to explore stability in hyperstatic soft sphere packings, spring networks, non-spherical packings, and mean-field non-central-force potentials.


title: A remark of Ricci-Bourguignon harmonic soliton

abstract: In this paper, we investigate the triviality of Ricci-Bourguignon harmonic solitons. We also use the results of V-harmonic map to investigate the property of Ricci harmonic soliton.


title: HTC-DC Net: Monocular Height Estimation from Single Remote Sensing Images

abstract: 3D geo-information is of great significance for understanding the living environment; however, 3D perception from remote sensing data, especially on a large scale, is restricted. To tackle this problem, we propose a method for monocular height estimation from optical imagery, which is currently one of the richest sources of remote sensing data. As an ill-posed problem, monocular height estimation requires well-designed networks for enhanced representations to improve performance. Moreover, the distribution of height values is long-tailed with the low-height pixels, e.g., the background, as the head, and thus trained networks are usually biased and tend to underestimate building heights. To solve the problems, instead of formalizing the problem as a regression task, we propose HTC-DC Net following the classification-regression paradigm, with the head-tail cut (HTC) and the distribution-based constraints (DCs) as the main contributions. HTC-DC Net is composed of the backbone network as the feature extractor, the HTC-AdaBins module, and the hybrid regression process. The HTC-AdaBins module serves as the classification phase to determine bins adaptive to each input image. It is equipped with a vision transformer encoder to incorporate local context with holistic information and involves an HTC to address the long-tailed problem in monocular height estimation for balancing the performances of foreground and background pixels. The hybrid regression process does the regression via the smoothing of bins from the classification phase, which is trained via DCs. The proposed network is tested on three datasets of different resolutions, namely ISPRS Vaihingen (0.09 m), DFC19 (1.3 m) and GBH (3 m). Experimental results show the superiority of the proposed network over existing methods by large margins. Extensive ablation studies demonstrate the effectiveness of each design component.


title: Towards Poisoning Fair Representations

abstract: Fair machine learning seeks to mitigate model prediction bias against certain demographic subgroups such as elder and female. Recently, fair representation learning (FRL) trained by deep neural networks has demonstrated superior performance, whereby representations containing no demographic information are inferred from the data and then used as the input to classification or other downstream tasks. Despite the development of FRL methods, their vulnerability under data poisoning attack, a popular protocol to benchmark model robustness under adversarial scenarios, is under-explored. Data poisoning attacks have been developed for classical fair machine learning methods which incorporate fairness constraints into shallow-model classifiers. Nonetheless, these attacks fall short in FRL due to notably different fairness goals and model architectures. This work proposes the first data poisoning framework attacking FRL. We induce the model to output unfair representations that contain as much demographic information as possible by injecting carefully crafted poisoning samples into the training data. This attack entails a prohibitive bilevel optimization, wherefore an effective approximated solution is proposed. A theoretical analysis on the needed number of poisoning samples is derived and sheds light on defending against the attack. Experiments on benchmark fairness datasets and state-of-the-art fair representation learning models demonstrate the superiority of our attack.


title: Interpolation of Instrument Response Functions for the Cherenkov Telescope Array in the Context of pyirf

abstract: The Cherenkov Telescope Array (CTA) will be the next generation ground-based very-high-energy gamma-ray observatory, constituted by tens of Imaging Atmospheric Cherenkov Telescopes at two sites once its construction and commissioning are finished. Like its predecessors, CTA relies on Instrument Response Functions (IRFs) to relate the observed and reconstructed properties to the true ones of the primary gamma-ray photons. IRFs are needed for the proper reconstruction of spectral and spatial information of the observed sources and are thus among the data products issued to the observatory users. They are derived from Monte Carlo simulations, depend on observation conditions like the telescope pointing direction or the atmospheric transparency and can evolve with time as hardware ages or is replaced. Producing a complete set of IRFs from simulations for every observation taken is a time-consuming task and not feasible when releasing data products on short timescales. Consequently, interpolation techniques on simulated IRFs are investigated to quickly estimate IRFs for specific observation conditions. However, as some of the IRFs constituents are given as probability distributions, specialized methods are needed. This contribution summarizes and compares the feasibility of multiple approaches to interpolate IRF components in the context of the pyirf python software package and IRFs simulated for the Large-Sized Telescope prototype (LST-1). We will also give an overview of the current functionalities implemented in pyirf.


title: Pathwise convergence of the Euler scheme for rough and stochastic differential equations

abstract: The convergence of the first order Euler scheme and an approximative variant thereof, along with convergence rates, are established for rough differential equations driven by c\`adl\`ag paths satisfying a suitable criterion, namely the so-called Property (RIE), along time discretizations with vanishing mesh size. This property is then verified for almost all sample paths of Brownian motion, It\^o processes, L\'evy processes and general c\`adl\`ag semimartingales, as well as the driving signals of both mixed and rough stochastic differential equations, relative to various time discretizations. Consequently, we obtain pathwise convergence in p-variation of the Euler--Maruyama scheme for stochastic differential equations driven by these processes.


title: Active SLAM Utility Function Exploiting Path Entropy

abstract: In this article we present a utility function for Active SLAM (A-SLAM) which utilizes map entropy along with D-Optimality criterion metrices for weighting goal frontier candidates. We propose a utility function for frontier goal selection that exploits the occupancy grid map by utilizing the path entropy and favors unknown map locations for maximum area coverage while maintaining a low localization and mapping uncertainties. We quantify the efficiency of our method using various graph connectivity matrices and map efficiency indexes for an environment exploration task. Using simulation and experimental results against similar approaches we achieve an average of 32% more coverage using publicly available data sets.


title: Improving Potential Energy Surfaces Using Experimental Feshbach Resonance Tomography

abstract: The structure and dynamics of a molecular system is governed by its potential energy surface (PES), representing the total energy as a function of the nuclear coordinates. Obtaining accurate potential energy surfaces is limited by the exponential scaling of Hilbert space, restricting quantitative predictions of experimental observables from first principles to small molecules with just a few electrons. Here, we present an explicitly physics-informed approach for improving and assessing the quality of families of PESs by modifying them through linear coordinate transformations based on experimental data. We demonstrate this "morphing" of the PES for the He-H$_{2}^{+}$ complex for reference surfaces at three different levels of quantum chemistry and using recent comprehensive Feshbach resonance(FR) measurements. In all cases, the positions and intensities of peaks in the collision cross-section are improved. We find these observables to be mainly sensitive to the long-range part of the PES.


title: Asset Bundling for Wind Power Forecasting

abstract: The growing penetration of intermittent, renewable generation in US power grids, especially wind and solar generation, results in increased operational uncertainty. In that context, accurate forecasts are critical, especially for wind generation, which exhibits large variability and is historically harder to predict. To overcome this challenge, this work proposes a novel Bundle-Predict-Reconcile (BPR) framework that integrates asset bundling, machine learning, and forecast reconciliation techniques. The BPR framework first learns an intermediate hierarchy level (the bundles), then predicts wind power at the asset, bundle, and fleet level, and finally reconciles all forecasts to ensure consistency. This approach effectively introduces an auxiliary learning task (predicting the bundle-level time series) to help the main learning tasks. The paper also introduces new asset-bundling criteria that capture the spatio-temporal dynamics of wind power time series. Extensive numerical experiments are conducted on an industry-size dataset of 283 wind farms in the MISO footprint. The experiments consider short-term and day-ahead forecasts, and evaluates a large variety of forecasting models that include weather predictions as covariates. The results demonstrate the benefits of BPR, which consistently and significantly improves forecast accuracy over baselines, especially at the fleet level.


title: Efficient Hardware Implementation of Constant Time Sampling for HQC

abstract: HQC is one of the code-based finalists in the last round of the NIST post quantum cryptography standardization process. In this process, security and implementation efficiency are key metrics for the selection of the candidates. A critical compute kernel with respect to efficient hardware implementations and security in HQC is the sampling method used to derive random numbers. Due to its security criticality, recently an updated sampling algorithm was presented to increase its robustness against side-channel attacks. In this paper, we pursue a cross layer approach to optimize this new sampling algorithm to enable an efficient hardware implementation without comprising the original algorithmic security and side-channel attack robustness. We compare our cross layer based implementation to a direct hardware implementation of the original algorithm and to optimized implementations of the previous sampler version. All implementations are evaluated using the Xilinx Artix 7 FPGA. Our results show that our approach reduces the latency by a factor of 24 compared to the original algorithm and by a factor of 28 compared to the previously used sampler with significantly less resources.


title: Accurate and lightweight dehazing via multi-receptive-field non-local network and novel contrastive regularization

abstract: Recently, deep learning-based methods have dominated image dehazing domain. Although very competitive dehazing performance has been achieved with sophisticated models, effective solutions for extracting useful features are still under-explored. In addition, non-local network, which has made a breakthrough in many vision tasks, has not been appropriately applied to image dehazing. Thus, a multi-receptive-field non-local network (MRFNLN) consisting of the multi-stream feature attention block (MSFAB) and cross non-local block (CNLB) is presented in this paper. We start with extracting richer features for dehazing. Specifically, we design a multi-stream feature extraction (MSFE) sub-block, which contains three parallel convolutions with different receptive fields (i.e., $1\times 1$, $3\times 3$, $5\times 5$) for extracting multi-scale features. Following MSFE, we employ an attention sub-block to make the model adaptively focus on important channels/regions. The MSFE and attention sub-blocks constitute our MSFAB. Then, we design a cross non-local block (CNLB), which can capture long-range dependencies beyond the query. Instead of the same input source of query branch, the key and value branches are enhanced by fusing more preceding features. CNLB is computation-friendly by leveraging a spatial pyramid down-sampling (SPDS) strategy to reduce the computation and memory consumption without sacrificing the performance. Last but not least, a novel detail-focused contrastive regularization (DFCR) is presented by emphasizing the low-level details and ignoring the high-level semantic information in the representation space. Comprehensive experimental results demonstrate that the proposed MRFNLN model outperforms recent state-of-the-art dehazing methods with less than 1.5 Million parameters.


title: Deep Single Models vs. Ensembles: Insights for a Fast Deployment of Parking Monitoring Systems

abstract: Searching for available parking spots in high-density urban centers is a stressful task for drivers that can be mitigated by systems that know in advance the nearest parking space available. To this end, image-based systems offer cost advantages over other sensor-based alternatives (e.g., ultrasonic sensors), requiring less physical infrastructure for installation and maintenance. Despite recent deep learning advances, deploying intelligent parking monitoring is still a challenge since most approaches involve collecting and labeling large amounts of data, which is laborious and time-consuming. Our study aims to uncover the challenges in creating a global framework, trained using publicly available labeled parking lot images, that performs accurately across diverse scenarios, enabling the parking space monitoring as a ready-to-use system to deploy in a new environment. Through exhaustive experiments involving different datasets and deep learning architectures, including fusion strategies and ensemble methods, we found that models trained on diverse datasets can achieve 95\% accuracy without the burden of data annotation and model training on the target parking lot


title: CCEdit: Creative and Controllable Video Editing via Diffusion Models

abstract: In this paper, we present CCEdit, a versatile generative video editing framework based on diffusion models. Our approach employs a novel trident network structure that separates structure and appearance control, ensuring precise and creative editing capabilities. Utilizing the foundational ControlNet architecture, we maintain the structural integrity of the video during editing. The incorporation of an additional appearance branch enables users to exert fine-grained control over the edited key frame. These two side branches seamlessly integrate into the main branch, which is constructed upon existing text-to-image (T2I) generation models, through learnable temporal layers. The versatility of our framework is demonstrated through a diverse range of choices in both structure representations and personalized T2I models, as well as the option to provide the edited key frame. To facilitate comprehensive evaluation, we introduce the BalanceCC benchmark dataset, comprising 100 videos and 4 target prompts for each video. Our extensive user studies compare CCEdit with eight state-of-the-art video editing methods. The outcomes demonstrate CCEdit's substantial superiority over all other methods.


title: Excited Dirac stars with higher azimuthal harmonic index

abstract: In this paper, we investigate the properties of the first excited state Dirac stars (DSs) with higher azimuthal harmonic index (specifically, the azimuthal harmonic indexes $m_D$ = $3/2$, $5/2$, $7/2$), as well as the relationship between the ADM mass and angular momentum of Dirac stars with respect to frequency. Moreover, We find that the ergospheres of DSs appear at lower spinor field frequencies, and both the ergospheres and the distribution of the spinor field functions are asymmetric about the equatorial plane. Furthermore, we introduce the ground state scalar field and examine its impact on this system, which is known as the multi-state Dirac-boson stars (DBSs) model. We show various types of solution families for DBSs under both synchronized frequency $\omega$ and nonsynchronized frequencies and find that similar to DSs, the spinor field and the ergospheres of DBSs are also asymmetric about the equatorial plane, but the ergospheres appear at higher spinor field frequencies.


title: Coordinates in low-dimensional cell shape-space discriminate migration dynamics from single static cell images

abstract: Cell shape has long been used to discern cell phenotypes and states, but the underlying premise has not been quantitatively tested. Here, we show that a single cell image can be used to discriminate its migration behavior by analyzing a large number of cell migration data in vitro. We analyzed a large number of two-dimensional cell migration images over time and found that the cell shape variation space has only six dimensions, and migration behavior can be determined by the coordinates of a single cell image in this 6-dimensional shape-space. We further show that this is possible because persistent cell migration is characterized by spatial-temporally coordinated protrusion and contraction, and a distribution signature in the shape-space. Our findings provide a quantitative underpinning for using cell morphology to differentiate cell dynamical behavior.


title: Cross-City Matters: A Multimodal Remote Sensing Benchmark Dataset for Cross-City Semantic Segmentation using High-Resolution Domain Adaptation Networks

abstract: Artificial intelligence (AI) approaches nowadays have gained remarkable success in single-modality-dominated remote sensing (RS) applications, especially with an emphasis on individual urban environments (e.g., single cities or regions). Yet these AI models tend to meet the performance bottleneck in the case studies across cities or regions, due to the lack of diverse RS information and cutting-edge solutions with high generalization ability. To this end, we build a new set of multimodal remote sensing benchmark datasets (including hyperspectral, multispectral, SAR) for the study purpose of the cross-city semantic segmentation task (called C2Seg dataset), which consists of two cross-city scenes, i.e., Berlin-Augsburg (in Germany) and Beijing-Wuhan (in China). Beyond the single city, we propose a high-resolution domain adaptation network, HighDAN for short, to promote the AI model's generalization ability from the multi-city environments. HighDAN is capable of retaining the spatially topological structure of the studied urban scene well in a parallel high-to-low resolution fusion fashion but also closing the gap derived from enormous differences of RS image representations between different cities by means of adversarial learning. In addition, the Dice loss is considered in HighDAN to alleviate the class imbalance issue caused by factors across cities. Extensive experiments conducted on the C2Seg dataset show the superiority of our HighDAN in terms of segmentation performance and generalization ability, compared to state-of-the-art competitors. The C2Seg dataset and the semantic segmentation toolbox (involving the proposed HighDAN) will be available publicly at https://github.com/danfenghong.


title: Capturing Requirements for a Data Annotation Tool for Intensive Care: Experimental User-Centered Design Study

abstract: Intensive care units (ICUs) are complex and data-rich environments. Data routinely collected in the ICUs provides tremendous opportunities for machine learning, but their use comes with significant challenges. Complex problems may require additional input from humans which can be provided through a process of data annotation. Annotation is a complex, time-consuming process that requires domain expertise and technical proficiency. Existing data annotation tools fail to provide an effective solution to this problem. In this study, we investigated clinicians' approach to the annotation task. We focused on establishing the characteristics of the annotation process in the context of clinical data and identifying differences in the annotation workflow between different staff roles. The overall goal was to elicit requirements for a software tool that could facilitate an effective and time-efficient data annotation. We conducted an experiment involving clinicians from the ICUs annotating printed sheets of data. The participants were observed during the task and their actions were analysed in the context of Norman's Interaction Cycle to establish the requirements for the digital tool. The annotation process followed a constant loop of annotation and evaluation, during which participants incrementally analysed and annotated the data. No distinguishable differences were identified between how different staff roles annotate data. We observed preferences towards different methods for applying annotation which varied between different participants and admissions. We established 11 requirements for the digital data annotation tool for the healthcare setting. We conducted a manual data annotation activity to establish the requirements for a digital data annotation tool, characterised the clinicians' approach to annotation and elicited 11 key requirements for effective data annotation software.


title: Electronic and optical properties of 4H Si from first principles

abstract: The cubic polytype of silicon (Si) is the most commercialized semiconductor material and finds applications in numerous electronic and optoelectronic devices such as solar cells. However, recent reports on the synthesis of the hexagonal 4H Si polytype have attracted the attention of the scientific community to understand its functional properties. Here we report the electronic, vibrational, and optical properties of the 4H Si polytype obtained with predictive first-principles calculations. We find that, compared to the cubic polytype, 4H Si shows a slightly narrower indirect gap by $\sim$ 0.05 eV. By calculating its direct and phonon-assisted optical spectra, we show that 4H Si exhibits a stronger absorption coefficient than cubic Si across the visible and IR spectral regions. We further evaluate the short-circuit current density of textured thin-films, and we demonstrate that 4H Si can achieve the same short-circuit current density for a five times thinner film compared to the cubic polytype. Our work demonstrates the advantages of 4H Si for thin-film silicon-based solar-cell applications.


title: FeGe1-xSbx:a series of novel kagome metals with noncollinear antiferromagnetism

abstract: Kagome metals are important for exploring emergent phenomena due to the interplay between band topology and electron correlation.Motivated by the recent discovery of charge density wave in a kagome lattice antiferromagnetic FeGe,we investigate the impact of Sb doping on the structural,charge and magnetic order of FeGe.The charge density wave is rapidly suppressed by Sb doping(~1.5%) and the antiferromagnetic ordering temperature gradually shifts to 280K for FeGe0.7Sb0.3.For FeGe1-xSbx with x>0.1,crystal structures with slightly distorted Fe kagome lattice are formed.Their magnetic anisotropy has significant change,temperature driven spin-reorientation and field-induced spin-flop transition are identified from magnetization measurement.Interestingly,neutron diffraction reveals noncollinear antiferromagnetic structures widely exist below TN for all sample with x>0.1.This noncollinear magnetic orders could possibly be unconventional and resulted from onsite repulsion and filling condition of kagome flat band,as predicted by a recent theoretical work.


title: Layer Codes

abstract: The surface code is a two-dimensional topological code with code parameters that scale optimally with the number of physical qubits, under the constraint of two-dimensional locality. In three spatial dimensions an analogous simple yet optimal code was not previously known. Here, we introduce a construction that takes as input a stabilizer code and produces as output a three-dimensional topological code with related code parameters. The output codes have the special structure of being topological defect networks formed by layers of surface code joined along one-dimensional junctions, with a maximum stabilizer check weight of six. When the input is a family of good low-density parity-check codes, the output is a three-dimensional topological code with optimal scaling code parameters and a polynomial energy barrier.


title: A remark on randomization of a general function of negative regularity

abstract: In the study of partial differential equations (PDEs) with random initial data and singular stochastic PDEs with random forcing, we typically decompose a classically ill-defined solution map into two steps, where, in the first step, we use stochastic analysis to construct various stochastic objects. The simplest kind of such stochastic objects is the Wick powers of a basic stochastic term (namely a random linear solution, a stochastic convolution, or their sum). In the case of randomized initial data of a general function of negative regularity for studying nonlinear wave equations (NLW), we show necessity of imposing additional Fourier-Lebesgue regularity for constructing Wick powers by exhibiting examples of functions slightly outside $L^2(\mathbb T^d)$ such that the associated Wick powers do not exist. This shows that probabilistic well-posedness theory for NLW with general randomized initial data fails in negative Sobolev spaces (even with renormalization). Similar examples also apply to stochastic NLW and stochastic nonlinear heat equations with general white-in-time stochastic forcing, showing necessity of appropriate Fourier-Lebesgue $\gamma$-radonifying regularity in the construction of the Wick powers of the associated stochastic convolution.


title: On categorical local langlands program for $GL_n$

abstract: We study various moduli spaces of local Shtukas in the setting of Fargues' program for $GL_n$. In certain cases, this gives us an explicit description of the spectral action which was recently introduced by Fargues and Scholze. This description sheds light to the categorical local Langlands program for $GL_n$ and allows us to construct Hecke eigensheaves associated to certain $\ell$-adic Weil representations of rank $n$ and to prove some parts of Fargues' conjecture. Moreover, by using this description, we can prove new cases of the Harris-Viehmann conjecture for non-basic Rapoport-Zink spaces and compute some parts of the cohomology of the Igusa varieties associated to $GL_n$.


title: On the local linearization of the one-dimensional stochastic wave equation with a multiplicative space-time white noise forcing

abstract: In this note, we establish a bi-parameter linear localization of the one-dimensional stochastic wave equation with a multiplicative space-time white noise forcing.


title: Innovation Modeling Grid

abstract: This technical document presents the committee driven innovation modeling methodology "Innovation Modeling Grid" in detail. This document is the successor of three publications on IMoG and focuses on presenting all details of the methodology


title: Computationally efficient solution of mixed integer model predictive control problems via machine learning aided Benders Decomposition

abstract: Mixed integer Model Predictive Control (MPC) problems arise in the operation of systems where discrete and continuous decisions must be taken simultaneously to compensate for disturbances. The efficient solution of mixed integer MPC problems requires the computationally efficient and robust online solution of mixed integer optimization problems, which are generally difficult to solve. In this paper, we propose a machine learning-based branch and check Generalized Benders Decomposition algorithm for the efficient solution of such problems. We use machine learning to approximate the effect of the complicating variables on the subproblem by approximating the Benders cuts without solving the subproblem, therefore, alleviating the need to solve the subproblem multiple times. The proposed approach is applied to a mixed integer economic MPC case study on the operation of chemical processes. We show that the proposed algorithm always finds feasible solutions to the optimization problem, given that the mixed integer MPC problem is feasible, and leads to a significant reduction in solution time (up to 97% or 50x) while incurring small error (in the order of 1%) compared to the application of standard and accelerated Generalized Benders Decomposition.