title: Comments on B. Hansen's Reply to "A Comment on: `A Modern Gauss-Markov Theorem'", and Some Related Discussion

abstract: In P\"otscher and Preinerstorfer (2022) and in the abridged version P\"otscher and Preinerstorfer (2024, published in Econometrica) we have tried to clear up the confusion introduced in Hansen (2022a) and in the earlier versions Hansen (2021a,b). Unfortunatelly, Hansen's (2024) reply to P\"otscher and Preinerstorfer (2024) further adds to the confusion. While we are already somewhat tired of the matter, for the sake of the econometrics community we feel compelled to provide clarification. We also add a comment on Portnoy (2023), a "correction" to Portnoy (2022), as well as on Lei and Wooldridge (2022).


title: Eigenpath traversal by Poisson-distributed phase randomisation

abstract: We present a framework for quantum computation, similar to Adiabatic Quantum Computation (AQC), that is based on the quantum Zeno effect. By performing randomised dephasing operations at intervals determined by a Poisson process, we are able to track the eigenspace associated to a particular eigenvalue. We derive a simple differential equation for the fidelity, leading to general theorems bounding the time complexity of a whole class of algorithms. We also use eigenstate filtering to optimise the scaling of the complexity in the error tolerance $\epsilon$. In many cases the bounds given by our general theorems are optimal, giving a time complexity of $O(1/\Delta_m)$ with $\Delta_m$ the minimum of the gap. This allows us to prove optimal results using very general features of problems, minimising the problem-specific insight necessary. As two applications of our framework, we obtain optimal scaling for the Grover problem (i.e.\ $O(\sqrt{N})$ where $N$ is the database size) and the Quantum Linear System Problem (i.e.\ $O(\kappa\log(1/\epsilon))$ where $\kappa$ is the condition number and $\epsilon$ the error tolerance) by direct applications of our theorems.


title: Operator learning based on sparse high-dimensional approximation

abstract: We present a dimension-incremental method for function approximation in bounded orthonormal product bases to learn the solutions of various differential equations. Therefore, we deconstruct the source function of the differential equation into parameters like Fourier or Spline coefficients and treat the solution of the differential equation as a high-dimensional function w.r.t. the spatial variables, these parameters and also further possible parameters from the differential equation itself. Finally, we learn this function in the sense of sparse approximation in a suitable function space by detecting coefficients of the basis expansion with largest absolute value. Investigating the corresponding indices of the basis coefficients yields further insights on the structure of the solution as well as its dependency on the parameters and their interactions and allows for a reasonable generalization to even higher dimensions and therefore better resolutions of the deconstructed source function.


title: Higher-Matter and Landau-Ginzburg Theory of Higher-Group Symmetries

abstract: Higher-matter is defined by higher-representation of a symmetry algebra, such as the $p$-form symmetries, higher-group symmetries or higher-categorical symmetries. In this paper, we focus on the cases of higher-group symmetries, which are formulated in terms of the strictification of weak higher-groups. We systematically investigate higher-matter charged under 2-group symmetries, defined by automorphism 2-representations. Furthermore, we construct a Lagrangian formulation of such higher-matter fields coupled to 2-group gauge fields in the path space of the spacetime manifold. We interpret such model as the Landau-Ginzburg theory for 2-group symmetries, and discuss the spontaneous symmetry breaking (SSB) of 2-group symmetries under this framework. Examples of discrete and continuous 2-groups are discussed. Interestingly, we find that a non-split 2-group symmetry can admit an SSB to a split 2-group symmetry, where the Postnikov class is trivialized. We also briefly discuss the strictification of weak 3-groups, weak 3-group gauge fields and 3-representations in special cases.


title: Observation of $\gamma\gamma\to\tau\tau$ in proton-proton collisions and limits on the anomalous electromagnetic moments of the $\tau$ lepton

abstract: The production of a pair of $\tau$ leptons via photon-photon fusion, $\gamma\gamma\to\tau\tau$, is observed for the first time in proton-proton collisions, with a significance of 5.3 standard deviations. This observation is based on a data set recorded with the CMS detector at the LHC at a center-of-mass energy of 13 TeV and corresponding to an integrated luminosity of 138 fb$^{-1}$. Events with a pair of $\tau$ leptons produced via photon-photon fusion are selected by requiring them to be back-to-back in the azimuthal direction and to have a minimum number of charged hadrons associated with their production vertex. The $\tau$ leptons are reconstructed in their leptonic and hadronic decay modes. The measured fiducial cross section of $\gamma\gamma\to\tau\tau$ is $\sigma^\text{fid}_\text{obs}$ = 12.4$^{+3.8}_{-3.1}$ fb. Constraints are set on the contributions to the anomalous magnetic moment ($a_\tau$) and electric dipole moments ($d_\tau$) of the $\tau$ lepton originating from potential effects of new physics on the $\gamma\tau\tau$ vertex: $a_\tau$ = 0.0009$_{-0.0031}^{+0.0032}$ and $\lvert d_\tau \rvert$ $\lt$ 2.9 $\times$ 10$^{-17}$ $e\,$cm (95% confidence level), consistent with the standard model.


title: Observation of quantum entanglement in top quark pair production in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: Entanglement is an intrinsic property of quantum mechanics and is predicted to be exhibited in the particles produced at the Large Hadron Collider. A measurement of the extent of entanglement in top quark-antiquark ($\mathrm{t\bar{t}}$) events produced in proton-proton collisions at a center-of-mass energy of 13 TeV is performed with the data recorded by the CMS experiment at the CERN LHC in 2016, and corresponding to an integrated luminosity of 36.3 fb$^{-1}$. The events are selected based on the presence of two leptons with opposite charges and high transverse momentum. An entanglement-sensitive observable $D$ is derived from the top quark spin-dependent parts of the $\mathrm{t\bar{t}}$ production density matrix and measured in the region of the $\mathrm{t\bar{t}}$ production threshold. Values of $D\lt-$1/3 are evidence of entanglement and $D$ is observed (expected) to be $-$0.480$^{+0.026}_{-0.029}$ ($-$0.467$^{+0.026}_{-0.029}$) at the parton level. With an observed significance of 5.1 standard deviations with respect to the non-entangled hypothesis, this provides observation of quantum mechanical entanglement within $\mathrm{t\bar{t}}$ pairs in this phase space. This measurement provides a new probe of quantum mechanics at the highest energies ever produced.


title: PyExoCross: a Python program for generating spectra and cross-sections from molecular line lists

abstract: PyExoCross is a Python adaptation of the ExoCross Fortran application, PyExoCross is designed for postprocessing the huge molecular line lists generated by the ExoMol project and other similar initiatives such as the HITRAN and HITEMP databases. PyExoCross generates absorption and emission stick spectra, cross-sections, and other properties (partition functions, specific heats, cooling functions, lifetimes, and oscillator strengths) based on molecular line lists. PyExoCross calculates cross-sections with four line profiles: Doppler, Gaussian, Lorentzian, and Voigt profiles in both sampling and binned methods; a number of options are available for computing Voigt profiles which we test for speed and accuracy. PyExoCross supports importing and exporting line lists in the ExoMol and HITRAN/HITEMP formats. PyExoCross also provides conversion between the ExoMol and HITRAN data formats. In addition, PyExoCross has extra code for users to automate the batch download of line list files from the ExoMol database.


title: Mini Honor of Kings: A Lightweight Environment for Multi-Agent Reinforcement Learning

abstract: Games are widely used as research environments for multi-agent reinforcement learning (MARL), but they pose three significant challenges: limited customization, high computational demands, and oversimplification. To address these issues, we introduce the first publicly available map editor for the popular mobile game Honor of Kings and design a lightweight environment, Mini Honor of Kings (Mini HoK), for researchers to conduct experiments. Mini HoK is highly efficient, allowing experiments to be run on personal PCs or laptops while still presenting sufficient challenges for existing MARL algorithms. We have tested our environment on common MARL algorithms and demonstrated that these algorithms have yet to find optimal solutions within this environment. This facilitates the dissemination and advancement of MARL methods within the research community. Additionally, we hope that more researchers will leverage the Honor of Kings map editor to develop innovative and scientifically valuable new maps. Our code and user manual are available at: https://github.com/tencent-ailab/mini-hok.


title: Benchmarking AlphaFold3's protein-protein complex accuracy and machine learning prediction reliability for binding free energy changes upon mutation

abstract: AlphaFold 3 (AF3), the latest version of protein structure prediction software, goes beyond its predecessors by predicting protein-protein complexes. It could revolutionize drug discovery and protein engineering, marking a major step towards comprehensive, automated protein structure prediction. However, independent validation of AF3's predictions is necessary. Evaluated using the SKEMPI 2.0 database which involves 317 protein-protein complexes and 8338 mutations, AF3 complex structures give rise to a very good Pearson correlation coefficient of 0.86 for predicting protein-protein binding free energy changes upon mutation, slightly less than the 0.88 achieved earlier with the Protein Data Bank (PDB) structures. Nonetheless, AF3 complex structures led to a 8.6% increase in the prediction RMSE compared to original PDB complex structures. Additionally, some of AF3's complex structures have large errors, which were not captured in its ipTM performance metric. Finally, it is found that AF3's complex structures are not reliable for intrinsically flexible regions or domains.


title: Position: Embracing Negative Results in Machine Learning

abstract: Publications proposing novel machine learning methods are often primarily rated by exhibited predictive performance on selected problems. In this position paper we argue that predictive performance alone is not a good indicator for the worth of a publication. Using it as such even fosters problems like inefficiencies of the machine learning research community as a whole and setting wrong incentives for researchers. We therefore put out a call for the publication of "negative" results, which can help alleviate some of these problems and improve the scientific output of the machine learning research community. To substantiate our position, we present the advantages of publishing negative results and provide concrete measures for the community to move towards a paradigm where their publication is normalized.


title: Quadrature error estimates on non-matching grids in a fictitious domain framework for fluid-structure interaction problems

abstract: We consider a fictitious domain formulation for fluid-structure interaction problems based on a distributed Lagrange multiplier to couple the fluid and solid behaviors. How to deal with the coupling term is crucial since the construction of the associated finite element matrix requires the integration of functions defined over non-matching grids: the exact computation can be performed by intersecting the involved meshes, whereas an approximate coupling matrix can be evaluated on the original meshes by introducing a quadrature error. The purpose of this paper is twofold: we prove that the discrete problem is well-posed also when the coupling term is constructed in approximate way and we discuss quadrature error estimates over non-matching grids.


title: On the weak$^*$ separability of the space of Lipschitz functions

abstract: We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a projectional skeleton, Banach spaces with a $w^*$-separable dual unit ball and locally separable complete metric spaces.


title: Level statistics detect generalized symmetries

abstract: Level statistics are a useful probe for detecting symmetries and distinguishing integrable and non-integrable systems. I show by way of several examples that level statistics detect the presence of generalized symmetries that go beyond conventional lattice symmetries and internal symmetries. I consider non-invertible symmetries through the example of Kramers-Wannier duality at an Ising critical point, symmetries with nonlocal generators through the example of a spin-$1$ anisotropic Heisenberg chain, and $q$-deformed symmetries through an example closely related to recent work on $q$-deformed SPT phases. In each case, conventional level statistics detect the generalized symmetries, and these symmetries must be resolved before seeing characteristic level repulsion in non-integrable systems. For the $q$-deformed symmetry, I discovered via level statistics a $q$-deformed generalization of inversion that is interesting in its own right and that may protect $q$-deformed SPT phases.


title: LNQ Challenge 2023: Learning Mediastinal Lymph Node Segmentation with a Probabilistic Lymph Node Atlas

abstract: The evaluation of lymph node metastases plays a crucial role in achieving precise cancer staging, influencing subsequent decisions regarding treatment options. Lymph node detection poses challenges due to the presence of unclear boundaries and the diverse range of sizes and morphological characteristics, making it a resource-intensive process. As part of the LNQ 2023 MICCAI challenge, we propose the use of anatomical priors as a tool to address the challenges that persist in mediastinal lymph node segmentation in combination with the partial annotation of the challenge training data. The model ensemble using all suggested modifications yields a Dice score of 0.6033 and segments 57% of the ground truth lymph nodes, compared to 27% when training on CT only. Segmentation accuracy is improved significantly by incorporating a probabilistic lymph node atlas in loss weighting and post-processing. The largest performance gains are achieved by oversampling fully annotated data to account for the partial annotation of the challenge training data, as well as adding additional data augmentation to address the high heterogeneity of the CT images and lymph node appearance. Our code is available at https://github.com/MICAI-IMI-UzL/LNQ2023.


title: A variational approach to the quaternionic Hessian equation

abstract: In this paper, we introduce finite energy classes of quaternionic $m$-plurisubharmonic functions of Cegrell type and define the quaternionic $m$-Hessian operator on some Cegrell's classes. We use the variational approach to solve the quaternionic $m$-Hessian equation when the right-hand side is a positive Radon measure.


title: On The Persona-based Summarization of Domain-Specific Documents

abstract: In an ever-expanding world of domain-specific knowledge, the increasing complexity of consuming, and storing information necessitates the generation of summaries from large information repositories. However, every persona of a domain has different requirements of information and hence their summarization. For example, in the healthcare domain, a persona-based (such as Doctor, Nurse, Patient etc.) approach is imperative to deliver targeted medical information efficiently. Persona-based summarization of domain-specific information by humans is a high cognitive load task and is generally not preferred. The summaries generated by two different humans have high variability and do not scale in cost and subject matter expertise as domains and personas grow. Further, AI-generated summaries using generic Large Language Models (LLMs) may not necessarily offer satisfactory accuracy for different domains unless they have been specifically trained on domain-specific data and can also be very expensive to use in day-to-day operations. Our contribution in this paper is two-fold: 1) We present an approach to efficiently fine-tune a domain-specific small foundation LLM using a healthcare corpus and also show that we can effectively evaluate the summarization quality using AI-based critiquing. 2) We further show that AI-based critiquing has good concordance with Human-based critiquing of the summaries. Hence, such AI-based pipelines to generate domain-specific persona-based summaries can be easily scaled to other domains such as legal, enterprise documents, education etc. in a very efficient and cost-effective manner.


title: Clifford representatives via the uniform algebraic rank

abstract: In this paper, we introduce the uniform algebraic rank of a divisor class on a finite graph. We show that it lies between Caporaso's algebraic rank and the combinatorial rank of Baker and Norine. We prove the Riemann-Roch theorem for the uniform algebraic rank, and show that both the algebraic and the uniform algebraic rank are realized on effective divisors. As an application, we use the uniform algebraic rank to show that Clifford representatives always exist. We conclude with an explicit description of such Clifford representatives for a large class of graphs.


title: On the Scalar Curvature Compactness Conjecture in the Conformal Case

abstract: Is a sequence of Riemannian manifolds with positive scalar curvature, satisfying some conditions to keep the sequence reasonable, compact? What topology should one use for the convergence and what is the regularity of the limit space? In this paper we explore these questions by studying the case of a sequence of Riemannian manifolds which are conformal to the $n$-dimensional round sphere. We are able to show that the sequence of conformal factors are compact in several analytic senses and are able to establish $C^0$ convergence away from a singular set of small volume in a similar fashion as C. Dong. Under a bound on the total scalar curvature we are able to show that the limit conformal factor has weak positive scalar curvature in the sense of weakly solving the conformal positive scalar curvature equation.


title: Numerical Simulation of Radiatively driven Transonic Relativistic Jets

abstract: We perform the numerical simulations of axisymmetric, relativistic, optically thin jets under the influence of the radiation field of an accretion disk. We show that starting from a very low injection velocity at the base, jets can be accelerated to relativistic terminal speeds when traveling through the radiation field. The jet gains momentum through the interaction with the radiation field. We use a relativistic equation of state for multi-species plasma, which self-consistently calculates the adiabatic index for the jet material. All the jet solutions obtained are transonic in nature. In addition to the acceleration of the jet to relativistic speeds, our results show that the radiation field also acts as a collimating agent. The jets remain well collimated under the effect of radiation pressure. We also show that if the jet starts with a rotational velocity, the radiation field will reduce the angular momentum of the jet beam.


title: Galactic center GeV excess and classification of Fermi-LAT sources with machine learning

abstract: Excess of gamma rays with a spherical morphology around the Galactic center (GC) observed in the Fermi large area telescope (LAT) data is one of the most intriguing features in the gamma-ray sky. The excess has been interpreted by annihilating dark matter as well as emission from a population of unresolved millisecond pulsars (MSPs). We use a multi-class classification of Fermi-LAT sources with machine learning to study the distribution of MSP-like sources among unassociated Fermi-LAT sources near the GC. We find that the source count distribution of MSP-like sources is comparable with the MSP explanation of the GC excess.


title: Exact solution for a general FJC polyelectrolyte model with up to Next Nearest Neighbour Interactions

abstract: This work presents a polyelectrolyte (PE) model based on a freely jointed chain (FJC) in which the beads are ionizable and the bonds are rigid. Electrostatic interactions considered are of the short range type up to next-nearest neighbours using a Debye-H\"uckel (DH) potential. Exact expressions for the conformational and protonation properties are obtained as a function of the pH using the transfer matrix method and the integration of the angular variables. For the finite cases with low N values, relevant differences arise on both the protonation curve and the end to end distance due to the end effects. However, when increasing N a rather rapid convergence is observed to the infinite chain limiting case.


title: Generalized Wedderburn Rank Reduction

abstract: We generalize the Wedderburn rank reduction formula by replacing the inverse with the Moore--Penrose pseudoinverse. In particular, this allows one to remove the non--singularity of a certain matrix from assumptions. The results implies in a straightforward way Nystroem, CUR decompositions, meta-factorization, and a result of Ameli, Shadden. We investigate which properties of the matrix are inherited by the generalized Wedderburn reduction. Reductions leading to the best low-rank approximation are explicitly described in terms of singular vectors. We give a self--contained calculation of the range and the nullspace of the projection $A(BA)^+B$ and prove that any projection can be expressed in this way.


title: Assessing LLMs for Zero-shot Abstractive Summarization Through the Lens of Relevance Paraphrasing

abstract: Large Language Models (LLMs) have achieved state-of-the-art performance at zero-shot generation of abstractive summaries for given articles. However, little is known about the robustness of such a process of zero-shot summarization. To bridge this gap, we propose relevance paraphrasing, a simple strategy that can be used to measure the robustness of LLMs as summarizers. The relevance paraphrasing approach identifies the most relevant sentences that contribute to generating an ideal summary, and then paraphrases these inputs to obtain a minimally perturbed dataset. Then, by evaluating model performance for summarization on both the original and perturbed datasets, we can assess the LLM's one aspect of robustness. We conduct extensive experiments with relevance paraphrasing on 4 diverse datasets, as well as 4 LLMs of different sizes (GPT-3.5-Turbo, Llama-2-13B, Mistral-7B, and Dolly-v2-7B). Our results indicate that LLMs are not consistent summarizers for the minimally perturbed articles, necessitating further improvements.


title: Exploring Topic Modelling of User Reviews as a Monitoring Mechanism for Emergent Issues Within Social VR Communities

abstract: Users of social virtual reality (VR) platforms often use user reviews to document incidents of witnessed and/or experienced user harassment. However, at present, research has yet to be explore utilising this data as a monitoring mechanism to identify emergent issues within social VR communities. Such a system would be of much benefit to developers and researchers as it would enable the automatic identification of emergent issues as they occur, provide a means of longitudinally analysing harassment, and reduce the reliance on alternative, high cost, monitoring methodologies, e.g. observation or interview studies. To contribute towards the development of such a system, we collected approximately 40,000 Rec Room user reviews from the Steam storefront. We then analysed our dataset's sentiment, word/term frequencies, and conducted a topic modelling analysis of the negative reviews detected in our dataset. We report our approach was capable of longitudinally monitoring changes in review sentiment and identifying high level themes related to types of harassment known to occur in social VR platforms.


title: AC4MPC: Actor-Critic Reinforcement Learning for Nonlinear Model Predictive Control

abstract: \Ac{MPC} and \ac{RL} are two powerful control strategies with, arguably, complementary advantages. In this work, we show how actor-critic \ac{RL} techniques can be leveraged to improve the performance of \ac{MPC}. The \ac{RL} critic is used as an approximation of the optimal value function, and an actor roll-out provides an initial guess for primal variables of the \ac{MPC}. A parallel control architecture is proposed where each \ac{MPC} instance is solved twice for different initial guesses. Besides the actor roll-out initialization, a shifted initialization from the previous solution is used. Thereafter, the actor and the critic are again used to approximately evaluate the infinite horizon cost of these trajectories. The control actions from the lowest-cost trajectory are applied to the system at each time step. We establish that the proposed algorithm is guaranteed to outperform the original \ac{RL} policy plus an error term that depends on the accuracy of the critic and decays with the horizon length of the \ac{MPC} formulation. Moreover, we do not require globally optimal solutions for these guarantees to hold. The approach is demonstrated on an illustrative toy example and an \ac{AD} overtaking scenario.


title: Skyrmion crystal formation and temperature -- magnetic field phase diagram of the frustrated tirangular-lattice Heisenberg magnet with easy-axis masugnetic anisotropy

abstract: The nature of the skyrmion-crystal (SkX) formation and various multiple-$q$ phases encompassing the SkX phase are investigated by extensive Monte Carlo simulations on the frustrated $J_1$-$J_3$ triangular-lattice Heisenberg model with the weak easy-axis magnetic anisotropy. Phase diagram in the temperature $T$ vs. magnetic-field $H$ plane are constructed, leading to a rich variety of multiple-$q$ phases. The anisotropy stabilizes the SkX state down to $T=0$ at intermediate fields, while in the lower-field range the SkX state becomes only metastable, and new multiple-$q$ states with a broken $C_3$ symmetry are instead stabilized. Implications to experiments are discussed.


title: HackAtari: Atari Learning Environments for Robust and Continual Reinforcement Learning

abstract: Artificial agents' adaptability to novelty and alignment with intended behavior is crucial for their effective deployment. Reinforcement learning (RL) leverages novelty as a means of exploration, yet agents often struggle to handle novel situations, hindering generalization. To address these issues, we propose HackAtari, a framework introducing controlled novelty to the most common RL benchmark, the Atari Learning Environment. HackAtari allows us to create novel game scenarios (including simplification for curriculum learning), to swap the game elements' colors, as well as to introduce different reward signals for the agent. We demonstrate that current agents trained on the original environments include robustness failures, and evaluate HackAtari's efficacy in enhancing RL agents' robustness and aligning behavior through experiments using C51 and PPO. Overall, HackAtari can be used to improve the robustness of current and future RL algorithms, allowing Neuro-Symbolic RL, curriculum RL, causal RL, as well as LLM-driven RL. Our work underscores the significance of developing interpretable in RL agents.


title: D\'eterminant d'une matrice carr\'ee

abstract: We are interested in matrices of minors of order p of a invertible matrix. Special cases are studied when this matrix is in SL(n) or SO(n)


title: Unveiling the Dynamics of Information Interplay in Supervised Learning

abstract: In this paper, we use matrix information theory as an analytical tool to analyze the dynamics of the information interplay between data representations and classification head vectors in the supervised learning process. Specifically, inspired by the theory of Neural Collapse, we introduce matrix mutual information ratio (MIR) and matrix entropy difference ratio (HDR) to assess the interactions of data representation and class classification heads in supervised learning, and we determine the theoretical optimal values for MIR and HDR when Neural Collapse happens. Our experiments show that MIR and HDR can effectively explain many phenomena occurring in neural networks, for example, the standard supervised training dynamics, linear mode connectivity, and the performance of label smoothing and pruning. Additionally, we use MIR and HDR to gain insights into the dynamics of grokking, which is an intriguing phenomenon observed in supervised training, where the model demonstrates generalization capabilities long after it has learned to fit the training data. Furthermore, we introduce MIR and HDR as loss terms in supervised and semi-supervised learning to optimize the information interactions among samples and classification heads. The empirical results provide evidence of the method's effectiveness, demonstrating that the utilization of MIR and HDR not only aids in comprehending the dynamics throughout the training process but can also enhances the training procedure itself.


title: Stochastic logic in biased coupled photonic probabilistic bits

abstract: Optical computing often employs tailor-made hardware to implement specific algorithms, trading generality for improved performance in key aspects like speed and power efficiency. An important computing approach that is still missing its corresponding optical hardware is probabilistic computing, used e.g. for solving difficult combinatorial optimization problems. In this study, we propose an experimentally viable photonic approach to solve arbitrary probabilistic computing problems. Our method relies on the insight that coherent Ising machines composed of coupled and biased optical parametric oscillators can emulate stochastic logic. We demonstrate the feasibility of our approach by using numerical simulations equivalent to the full density matrix formulation of coupled optical parametric oscillators.


title: Benign Nonconvex Landscapes in Optimal and Robust Control, Part II: Extended Convex Lifting

abstract: Many optimal and robust control problems are nonconvex and potentially nonsmooth in their policy optimization forms. In Part II of this paper, we introduce a new and unified Extended Convex Lifting (ECL) framework to reveal hidden convexity in classical optimal and robust control problems from a modern optimization perspective. Our ECL offers a bridge between nonconvex policy optimization and convex reformulations, enabling convex analysis for nonconvex problems. Despite non-convexity and non-smoothness, the existence of an ECL not only reveals that minimizing the original function is equivalent to a convex problem but also certifies a class of first-order non-degenerate stationary points to be globally optimal. Therefore, no spurious stationarity exists in the set of non-degenerate policies. This ECL framework can cover many benchmark control problems, including state feedback linear quadratic regulator (LQR), dynamic output feedback linear quadratic Gaussian (LQG) control, and $\mathcal{H}_\infty$ robust control. ECL can also handle a class of distributed control problems when the notion of quadratic invariance (QI) holds. We further show that all static stabilizing policies are non-degenerate for state feedback LQR and $\mathcal{H}_\infty$ control under standard assumptions. We believe that the new ECL framework may be of independent interest for analyzing nonconvex problems beyond control.


title: 3rd Place Solution for PVUW Challenge 2024: Video Panoptic Segmentation

abstract: Video panoptic segmentation is an advanced task that extends panoptic segmentation by applying its concept to video sequences. In the hope of addressing the challenge of video panoptic segmentation in diverse conditions, We utilize DVIS++ as our baseline model and enhance it by introducing a comprehensive approach centered on the query-wise ensemble, supplemented by additional techniques. Our proposed approach achieved a VPQ score of 57.01 on the VIPSeg test set, and ranked 3rd in the VPS track of the 3rd Pixel-level Video Understanding in the Wild Challenge.


title: High contrast at short separation with VLTI/GRAVITY: Bringing Gaia companions to light

abstract: Since 2019, GRAVITY has provided direct observations of giant planets and brown dwarfs at separations of down to 95 mas from the host star. Some of these observations have provided the first direct confirmation of companions previously detected by indirect techniques (astrometry and radial velocities). We want to improve the observing strategy and data reduction in order to lower the inner working angle of GRAVITY in dual-field on-axis mode. We also want to determine the current limitations of the instrument when observing faint companions with separations in the 30-150 mas range. To improve the inner working angle, we propose a fiber off-pointing strategy during the observations to maximize the ratio of companion-light-to-star-light coupling in the science fiber. We also tested a lower-order model for speckles to decouple the companion light from the star light. We then evaluated the detection limits of GRAVITY using planet injection and retrieval in representative archival data. We compare our results to theoretical expectations. We validate our observing and data-reduction strategy with on-sky observations; first in the context of brown dwarf follow-up on the auxiliary telescopes with HD 984 B, and second with the first confirmation of a substellar candidate around the star Gaia DR3 2728129004119806464. With synthetic companion injection, we demonstrate that the instrument can detect companions down to a contrast of $8\times 10^{-4}$ ($\Delta \mathrm{K}= 7.7$ mag) at a separation of 35 mas, and a contrast of $3\times 10^{-5}$ ($\Delta \mathrm{K}= 11$ mag) at 100 mas from a bright primary (K<6.5), for 30 min exposure time. With its inner working angle and astrometric precision, GRAVITY has a unique reach in direct observation parameter space. This study demonstrates the promising synergies between GRAVITY and Gaia for the confirmation and characterization of substellar companions.


title: T-Count Optimizing Genetic Algorithm for Quantum State Preparation

abstract: Quantum state preparation is a crucial process within numerous quantum algorithms, and the need for efficient initialization of quantum registers is ever increasing as demand for useful quantum computing grows. The problem arises as the number of qubits to be initialized grows, the circuits required to implement the desired state also exponentially increase in size leading to loss of fidelity to noise. This is mainly due to the susceptibility to environmental effects of the non-Clifford T gate, whose use should thus be reduced as much as possible. In this paper, we present and utilize a genetic algorithm for state preparation circuits consisting of gates from the Clifford + T gate set and optimize them in T-Count as to reduce the impact of noise. Whilst the method presented here does not always produce the most accurate circuits in terms of fidelity, it can generate high-fidelity, non-trivial quantum states such as quantum Fourier transform states. In addition, our algorithm does automatically generate fault tolerantly implementable solutions where the number of the most error prone components is reduced. We present an evaluation of the algorithm when trialed against preparing random, Poisson probability distribution, W, GHZ, and quantum Fourier transform states. We also experimentally demonstrate the scalability issues as qubit count increases, which highlights the need for further optimization of the search process.


title: The Failed Migration of Academic Twitter

abstract: Following change in Twitter's ownership and subsequent changes to content moderation policies, many in academia looked to move their discourse elsewhere and migration to Mastodon was pursued by some. Our study looks at the dynamics of this migration. Utilizing publicly available user account data, we track the posting activity of academics on Mastodon over a one year period. Our analyses reveal significant challenges sustaining user engagement on Mastodon due to its decentralized structure as well as competition from other platforms such as Bluesky and Threads. The movement lost momentum after an initial surge of enthusiasm as most users did not maintain their activity levels, and those who did faced lower levels of engagement compared to Twitter. Our findings highlight the challenges involved in transitioning professional communities to decentralized platforms, emphasizing the need for focusing on migrating social connections for long-term user engagement.


title: Fe-MoS$_2$ nanoenzyme with photothermal enhanced enzyme activity for glucose colorimetric detection

abstract: With the development of nanotechnology, it has been discovered that some nanomaterials have the activity of mimicking enzymes. This type of inorganic nanomaterial with characteristics similar to natural enzymes is called nanoenzyme. Compared with natural enzymes, nanoenzymes have advantages such as low deactivation, good stability, low production and storage costs, surface modification, and large-scale preparation. They have a wide range of applications in fields such as human health, environmental safety, and biosensing. MoS$_2$ can replace natural peroxidase to catalyze the decomposition of H$_2$O$_2$ and is considered to have peroxidase like activity, making it a typical nanoenzyme material. In addition, the Fenton reaction between Fe$_2^+$ and H$_2$O$_2$ can also cause H$_2$O$_2$ to decompose. Both MoS$_2$ and Fe$_2^+$ can cause the decomposition of H$_2$O$_2$, resulting in the production of hydroxyl radicals (OH). Hydroxyl radicals can catalyze the oxidation of chromogenic substrates 3,3',5,5'-tetramethylbenzidine (TMB), generating blue single electron oxidation products (oxTMB) and characteristic absorption peaks at 652 nm. Based on this characteristic, we doped Fe$_2^+$ into MoS$_2$ to obtain Fe-MoS$_2$ composite materials. Firstly, natural glucose oxidase is used to decompose glucose into glucose lactone and hydrogen peroxide. Then, Fe-MoS$_2$ composite material is added, and TMB is added dropwise to observe the blue turning of the mixed solution. Based on the above principle, colorimetric detection of glucose can be achieved. In addition, under infrared irradiation, the activity of peroxidase like enzymes in Fe-MoS$_2$ is enhanced.


title: Modeling the spatial resolution of magnetic solitons in Magnetic Force Microscopy and the effect on their sizes

abstract: In this work, we explored theoretically the spatial resolution of magnetic solitons and the variations of their sizes when subjected to a Magnetic Force Microscopy (MFM) measurement. Next to tip-sample separation, we considered reversal in the magnetization direction of the tip, showing that the magnetic soliton size measurement can be strongly affected by the magnetization direction of the tip. In addition to previous studies that only consider thermal fluctuations, we developed a theoretical method to obtain the minimum observable length of a magnetic soliton and its length variation due to the influence of the MFM tip by minimizing the soliton's magnetic energy. Our model uses analytical and numerical calculations and prevents overestimating the characteristic length scales from MFM images. We compared our method with available data from MFM measurements of domain wall widths, and we performed micromagnetic simulations of a skyrmion-tip system, finding a good agreement for both attractive and repulsive domain wall profile signals and for the skyrmion diameter in the presence of the magnetic tip. Our results provide significant insights for a better interpretation of MFM measurements of different magnetic solitons and will be helpful in the design of potential reading devices based on magnetic solitons as information carriers.


title: A Versatile Collage Visualization Technique

abstract: Collage techniques are commonly used in visualization to organize a collection of geometric shapes, facilitating the representation of visual features holistically, as seen in word clouds or circular packing diagrams. Typically, packing methods rely on object-space optimization techniques, which often necessitate customizing the optimization process to suit the complexity of geometric primitives and the specific application requirements. In this paper, we introduce a versatile image-space collage technique designed to pack geometric elements into a given shape. Leveraging a differential renderer and image-space losses, our optimization process is highly efficient and can easily accommodate various loss functions. We demonstrate the diverse visual expressiveness of our approach across various visualization applications. The evaluation confirmed the benefits of our method in terms of both visual quality and time performance. The project page is https://szuviz.github.io/pixel-space-collage-technique/.


title: Beyond Diagonal RIS-Aided Networks: Performance Analysis and Sectorization Tradeoff

abstract: Reconfigurable intelligent surfaces (RISs) have emerged as a spectrum- and energy-efficient technology to enhance the coverage of wireless communications within the upcoming 6G networks. Recently, novel extensions of this technology, referred to as multi-sector beyond diagonal RIS (BD-RIS), have been proposed, where the configurable elements are divided into $L$ sectors $(L \geq 2)$ and arranged as a polygon prism, with each sector covering $1/L$ space. This paper presents a performance analysis of a multi-user communication system assisted by a multi-sector BD-RIS operating in time-switching (TS) mode. Specifically, we derive closed-form expressions for the moment-generating function (MGF), probability density function (PDF), and cumulative density function (CDF) of the signal-to-noise ratio (SNR) per user. Furthermore, closed-form expressions for the outage probability, achievable spectral and energy efficiency, symbol error probability, and diversity order for the proposed system model are derived. Moreover, a comparison is performed with the simultaneously transmitting and reflecting (STAR)-RISs, a special case of multi-sector BD-RIS with two sectors. Our analysis shows that for a fixed number of elements, increasing the sectors improves outage performance at the expense of reduced diversity order compared to STAR-RIS. This trade-off is influenced by the Rician factors of the cascaded channel and the number of configurable elements per sector. However, this superiority in slope is observed at outage probability values below $10^{-5}$, which remains below practical operating ranges of communication systems. Additionally, simulations are provided to validate the accuracy of our theoretical analyses showing a notable $182\%$ increase in spectral efficiency and a $238\%$ increase in energy efficiency when transitioning from a 2-sector to a 6-sector configuration.


title: Positive definiteness of fourth order three dimensional symmetric tensors

abstract: For a 4th order 3-dimensional symmetric tensor with its entries $1$ or $-1$, we show the analytic sufficient and necessary conditions of its positive definiteness. By applying these conclusions, several strict inequalities is bulit for ternary quartic homogeneous polynomials.


title: The spanning number and the independence number of a subset of an abelian group

abstract: Let $A=\{a_1,a_2,\dots, a_m\}$ be a subset of a finite abelian group $G$. We call $A$ {\it $t$-independent} in $G$, if whenever $$\lambda_1a_1+\lambda_2a_2+\cdots +\lambda_m a_m=0$$ for some integers $\lambda_1, \lambda_2, \dots , \lambda_m$ with $$|\lambda_1|+|\lambda_2|+\cdots +|\lambda_m| \leq t,$$ we have $\lambda_1=\lambda_2= \cdots = \lambda_m=0$, and we say that $A$ is {\it $s$-spanning} in $G$, if every element $g$ of $G$ can be written as $$g=\lambda_1a_1+\lambda_2a_2+\cdots +\lambda_m a_m$$ for some integers $\lambda_1, \lambda_2, \dots , \lambda_m$ with $$|\lambda_1|+|\lambda_2|+\cdots +|\lambda_m| \leq s.$$ In this paper we give an upper bound for the size of a $t$-independent set and a lower bound for the size of an $s$-spanning set in $G$, and determine some cases when this extremal size occurs. We also discuss an interesting connection to spherical combinatorics.


title: Theoretical Guarantees for Variational Inference with Fixed-Variance Mixture of Gaussians

abstract: Variational inference (VI) is a popular approach in Bayesian inference, that looks for the best approximation of the posterior distribution within a parametric family, minimizing a loss that is typically the (reverse) Kullback-Leibler (KL) divergence. Despite its empirical success, the theoretical properties of VI have only received attention recently, and mostly when the parametric family is the one of Gaussians. This work aims to contribute to the theoretical study of VI in the non-Gaussian case by investigating the setting of Mixture of Gaussians with fixed covariance and constant weights. In this view, VI over this specific family can be casted as the minimization of a Mollified relative entropy, i.e. the KL between the convolution (with respect to a Gaussian kernel) of an atomic measure supported on Diracs, and the target distribution. The support of the atomic measure corresponds to the localization of the Gaussian components. Hence, solving variational inference becomes equivalent to optimizing the positions of the Diracs (the particles), which can be done through gradient descent and takes the form of an interacting particle system. We study two sources of error of variational inference in this context when optimizing the mollified relative entropy. The first one is an optimization result, that is a descent lemma establishing that the algorithm decreases the objective at each iteration. The second one is an approximation error, that upper bounds the objective between an optimal finite mixture and the target distribution.


title: On Dextral Symmetric Algebra

abstract: We define the notion of dextral symmetric algebras (not necessarily associative), motivated by the idea of symmetric rings. We derive a complete classification of dextral symmetric algebras of Leavitt path algebras, and right Leibniz algebras up to dimension $4$. We also obtain that a finite-dimensional dextral symmetric right Leibniz algebra is solvable if and only if it satisfies a weaker notion of nilpotency.


title: Interactive zoom display in smartphone-based digital holographic microscope for 3D imaging

abstract: Digital holography has applications in bio-imaging because it can simultaneously obtain the amplitude and phase information of a microscopic sample in a single shot, thus facilitating non-contact, noninvasive observation of the 3D shape of transparent objects (phase objects, which can be mapped with the phase information,) and moving objects. The combination of digital holography and microscopy is called digital holographic microscopy (DHM). In this study, we propose a smartphone-based DHM system for 3D imaging that is compact, inexpensive, and capable of observing objects in real time; this system includes an optical system comprising a 3D printer using commercially available image sensors and semiconductor lasers; further, an Android-based application is used to reconstruct the holograms acquired by this optical system, thus outlining the amplitude and phase information of the observed object. Also, by utilizing scalable diffraction calculation methods and touchscreen interaction, we implemented zoom functionality through pinch-in gestures. The study results showed that the DHM system successfully obtained the amplitude and phase information of the observed object via the acquired holograms in an almost real time manner. Thus, this study showed that it is possible to construct a low cost and compact DHM system that includes a 3D printer to construct the optical system and a smartphone application to reconstruct the holograms. Furthermore, this smartphone-based DHM system's ability to capture, reconstruct, and display holograms in real time demonstrates its superiority and novelty over existing systems. This system is also expected to contribute to biology fieldwork and pathological diagnosis in remote areas.


title: Identification of highly-forbidden optical transitions in highly charged ions

abstract: Optical clocks represent the most precise experimental devices, finding application in fields spanning from frequency metrology to fundamental physics. Recently, the first highly charged ions (HCI) based optical clock was demonstrated using Ar$^{13+}$, opening up a plethora of novel systems with advantageous atomic properties for high accuracy clocks. While numerous candidate systems have been explored theoretically, the considerable uncertainty of the clock transition frequency for most species poses experimental challenges. Here, we close this gap by exploring quantum logic-inspired experimental search techniques for sub-Hertz clock transitions in HCI confined to a linear Paul trap. These techniques encompass Rabi excitation, an optical dipole force (ODF) approach, and linear continuous sweeping (LCS) and their applicability for different types of HCI. Through our investigation, we provide tools to pave the way for the development of exceptionally precise HCI-based optical clocks.

categories: physics.atom-ph physics.ins-det physics.optics physics.plasm-ph quant-ph


title: Geometric Martingale Benamou-Brenier transport and geometric Bass martingales

abstract: We introduce and study geometric Bass martingales. Bass martingales were introduced in \cite{Ba83} and studied recently in a series of works, including \cite{BaBeHuKa20,BaBeScTs23}, where they appear as solutions to the martingale version of the Benamou-Brenier optimal transport formulation. These arithmetic, as well as our novel geometric, Bass martingales are continuous martingale on $[0,1]$ with prescribed initial and terminal distributions. An arithmetic Bass martingale is the one closest to Brownian motion: its quadratic variation is as close as possible to being linear in the averaged $L^2$ sense. Its geometric counterpart we develop here, is the one closest to a geometric Brownian motion: the quadratic variation of its logarithm is as close as possible to being linear. By analogy between Bachelier and Black-Scholes models in mathematical finance, the newly obtained geometric Bass martingales} have the potential to be of more practical importance in a number of applications. Our main contribution is to exhibit an explicit bijection between geometric Bass martingales and their arithmetic counterparts. This allows us, in particular, to translate fine properties of the latter into the new geometric setting. We obtain an explicit representation for a geometric Bass martingale for given initial and terminal marginals, we characterise it as a solution to an SDE, and we show that geometric Brownian motion is the only process which is both an arithmetic and a geometric Bass martingale. Finally, we deduce a dual formulation for our geometric martingale Benamou-Brenier problem. Our main proof is probabilistic in nature and uses a suitable change of measure, but we also provide PDE arguments relying on the dual formulation of the problem, which offer a rigorous proof under suitable regularity assumptions.


title: Self-resonance after inflation: The case of $\alpha$-attractor models

abstract: This work aims to explain the amplification of curvature perturbations on small scales arising from the phenomenon of self-resonance. By making a series expansion of the inflationary potential and employing perturbative techniques to solve for the inflaton field, we reformulate the Mukhanov-Sasaki equation into a Hill equation. Then, we derive expressions for the Floquet exponents corresponding to a potential having both cubic and quartic terms in its expansion. Our analytical results are then compared with numerical computations. Moreover, we propose potential applications including the generation of Primordial Black Holes, Scalar-Induced Gravitational Waves, and Oscillons.


title: Inequalities involving the primorial counting function

abstract: Let $\varphi(n)$ denote the Euler totient function. In this paper, we first establish a new upper bound for $n/\varphi(n)$ involving $K(n)$, the function that counts the number of primorials not exceeding $n$. In particular, this leads to an answer to a question raised by Aoudjit, Berkane, and Dusart concerning an upper bound for the sum-of-divisors function $\sigma(n)$. Furthermore, we give some lower bounds for $N_k/\varphi(N_k)$ as well as for $\sigma(N_k)/N_k$, where $N_k$ denotes the $k$th primorial.


title: An investigation of anisotropy in the bubbly turbulent flow via direct numerical simulations

abstract: This study explores the dynamics of dispersed bubbly turbulent flow in a channel using interface-resolved direct numerical simulation (DNS) with an efficient Coupled Level-Set Volume-of-Fluid (CLSVOF) solver. The influence of number of bubbles (96 and 192), flow direction, and Eotvos number was examined across eight distinct cases. The results indicate that in upward flows, bubbles tend to accumulate near the wall, with smaller Eotvos numbers bringing them closer to the wall and enhancing energy dissipation through increased turbulence and vorticity. This proximity causes the liquid phase velocity to attenuate, and the bubbles, being more spherical, induce more isotropic turbulence. Conversely, in downward flows, bubbles cluster in the middle of the channel and induce additional pseudo-turbulence in the channel center, which induce additional turbulent kinetic energy in the channel center. The study further examines budget of Turbulent Kinetic Energy (TKE) and the exact balance equation for the Reynolds stresses, revealing that near-wall bubble motion generates substantial velocity gradients, particularly in the wall-normal direction, significantly impacting the turbulence structure.


title: Induced matching vs edge open packing: trees and product graphs

abstract: Given a graph $G$, the maximum size of an induced subgraph of $G$ each component of which is a star is called the edge open packing number, $\rho_{e}^{o}(G)$, of $G$. Similarly, the maximum size of an induced subgraph of $G$ each component of which is the star $K_{1,1}$ is the induced matching number, $\nu_I(G)$, of $G$. While the inequality $\rho_e^o(G)\geq \nu_{I}(G)$ clearly holds for all graphs $G$, we provide a structural characterization of those trees that attain the equality. We prove that the induced matching number of the lexicographic product $G\circ H$ of arbitrary two graphs $G$ and $H$ equals $\alpha(G)\nu_I(H)$. By similar techniques, we prove sharp lower and upper bounds on the edge open packing number of the lexicographic product of graphs, which in particular lead to NP-hardness results in triangular graphs for both invariants studied in this paper. For the direct product $G\times H$ of two graphs we provide lower bounds on $\nu_I(G\times H)$ and $\rho_{e}^{o}(G\times H)$, both of which are widely sharp. We also present sharp lower bounds for both invariants in the Cartesian and the strong product of two graphs. Finally, we consider the edge open packing number in hypercubes establishing the exact values of $\rho_e^o(Q_n)$ when $n$ is a power of $2$, and present a closed formula for the induced matching number of the rooted product of arbitrary two graphs over an arbitrary root vertex.


title: A Rydberg atom based system for benchmarking mmWave automotive radar chips

abstract: Rydberg atomic sensors and receivers have enabled sensitive and traceable measurements of RF fields at a wide range of frequencies. Here we demonstrate the detection of electric field amplitude in the extremely high frequency (EHF) band, at $131\ \mathrm{GHz}$. In our approach we propagate the EHF field in a beam, with control over its direction and polarization at the detector using photonic waveplates. This way, we take advantage of the highest detection sensitivity, registered for collinear propagation and circular polarization. To exhibit the potential for applications in this kind of Rydberg-atom based detection, we perform test measurements on the EHF field emitted from an on-chip radar, planned to be used in automotive industry as a vital sign detector. Our work elucidates practical applications of Rydberg-atom media as well as photonic metamaterial elements.


title: The SKA Galactic Centre Survey -- A White Paper

abstract: With its extreme density of stars and stellar remnants, dense young massive clusters, high specific star formation rate, intense radiation field, high magnetic field strength, and properties of the interstellar medium that resemble those in high redshift galaxies and starbursts, the Galactic Centre is the most extreme environment that we can observe in detail. It is also the only nucleus of a galaxy that we can observe with a resolution of just a few milli parsecs. This makes it a crucial target to understand the physics of galactic nuclei and star formation, as well as the connection between them. It enables studies of a large number of otherwise rare objects, such as extremely massive stars and stellar remnants, at a well-defined distance, thus facilitating the interpretation of their properties. The Galactic Centre has been and is being studied intensively with the most advanced facilities. In this White Paper, we advocate for a large-area, multi-wavelength survey with the Square Kilometre Array of an area of about 1.25x0.3 deg**2 (180x40 pc**2), centered on the massive black hole Sagittarius A* and for repeated deep observations of the nuclear star cluster over a decade, which will allow the community to address multiple science problems with a single data set.


title: Orbits of the hyperoctahedral group as Euclidean designs

abstract: The hyperoctahedral group $H$ in $n$ dimensions (the Weyl group of Lie type $B_n$) is the subgroup of the orthogonal group generated by all transpositions of coordinates and reflections with respect to coordinate hyperplanes. A finite set ${\cal X} \subset \mathbb{R}^n$ with a weight function $w: {\cal X} \rightarrow \mathbb{R}^+$ is called a Euclidean $t$-design, if $$\sum_{r \in R} W_r \overline{f}_{S_{r}} = \sum_{{\bf x} \in {\cal X}} w({\bf x}) f({\bf x})$$ holds for every polynomial $f$ of total degree at most $t$; here $R$ is the set of norms of the points in ${\cal X}$, $W_r$ is the total weight of all elements of ${\cal X}$ with norm $r$, $S_r$ is the $n$-dimensional sphere of radius $r$ centered at the origin, and $\overline{f}_{S_{r}}$ is the average of $f$ over $S_{r}$. Here we consider Euclidean designs which are supported by orbits of the hyperoctahedral group. Namely, we prove that any Euclidean design on a union of generalized hyperoctahedra has strength (maximum $t$ for which it is a Euclidean design) equal to 3, 5, or 7. We find explicit necessary and sufficient conditions for when this strength is 5 and for when it is 7. In order to establish our classification, we translate the above definition of Euclidean designs to a single equation for $t=5$, a set of three equations for $t=7$, and a set of seven equations for $t=9$. Neumaier and Seidel (1988), as well as Delsarte and Seidel (1989), proved a Fisher-type inequality $|{\cal X}| \geq N(n,p,t)$ for the minimum size of a Euclidean $t$-design in $\mathbb{R}^n$ on $p=|R|$ concentric spheres (assuming that the design is antipodal if $t$ is odd). A Euclidean design with exactly $N(n,p,t)$ points is called tight. We exhibit new examples of antipodal tight Euclidean designs, supported by orbits of the hyperoctahedral group, for $N(n,p,t)=$(3,2,5), (3,3,7), and (4,2,7).


title: American Sign Language Handshapes Reflect Pressures for Communicative Efficiency

abstract: Communicative efficiency is a key topic in linguistics and cognitive psychology, with many studies demonstrating how the pressure to communicate with minimal effort guides the form of natural language. However, this phenomenon is rarely explored in signed languages. This paper shows how handshapes in American Sign Language (ASL) reflect these efficiency pressures and provides new evidence of communicative efficiency in the visual-gestural modality. We focus on hand configurations in native ASL signs and signs borrowed from English to compare efficiency pressures from both ASL and English usage. First, we develop new methodologies to quantify the articulatory effort needed to produce handshapes and the perceptual effort required to recognize them. Then, we analyze correlations between communicative effort and usage statistics in ASL or English. Our findings reveal that frequent ASL handshapes are easier to produce and that pressures for communicative efficiency mostly come from ASL usage, rather than from English lexical borrowing.


title: The syntax-semantics interface in a child's path: A study of 3- to 11-year-olds' elicited production of Mandarin recursive relative clauses

abstract: There have been apparently conflicting claims over the syntax-semantics relationship in child acquisition. However, few of them have assessed the child's path toward the acquisition of recursive relative clauses (RRCs). The authors of the current paper did experiments to investigate 3- to 11-year-olds' most-structured elicited production of eight Mandarin RRCs in a 4 (syntactic types)*2 (semantic conditions) design. The four syntactic types were RRCs with a subject-gapped RC embedded in an object-gapped RC (SORRCs), RRCs with an object-gapped RC embedded in another object-gapped RC (OORRCs), RRCs with an object-gapped RC embedded in a subject-gapped RC (OSRRCs), and RRCs with a subject-gapped RC embedded in another subject-gapped RC (SSRRCs). Each syntactic type was put in two conditions differing in internal semantics: irreversible internal semantics (IIS) and reversible internal semantics (RIS). For example, "the balloon that [the girl that _ eats the banana] holds _" is SORRCs in the IIS condition; "the monkey that [the dog that _ bites the pig] hits_" is SORRCs in the RIS condition. For each target, the participants were provided with a speech-visual stimulus constructing a condition of irreversible external semantics (IES). The results showed that SSRRCs, OSRRCs and SORRCs in the IIS-IES condition were produced two years earlier than their counterparts in the RIS-IES condition. Thus, a 2-stage development path is proposed: the language acquisition device starts with the interface between (irreversible) syntax and IIS, and ends with the interface between syntax and IES, both abiding by the syntax-semantic interface principle.


title: Quantification of Collateral Supply with Local-AIF Dynamic Susceptibility Contrast MRI Predicts Infarct Growth

abstract: In ischemic stroke, leptomeningeal collaterals can provide compensatory blood flow to tissue at risk despite an occlusion, and impact treatment response and infarct growth. The purpose of this work is to test the hypothesis that local perfusion with an appropriate Local Arterial Input Function (AIF) is needed to quantify the degree of collateral blood supply in tissue distal to an occlusion. Seven experiments were conducted in a pre-clinical middle cerebral artery occlusion model. Magnetic resonance dynamic susceptibility contrast (DSC) was imaged and post-processed as cerebral blood flow maps with both a traditionally chosen single arterial input function (AIF) applied globally to the whole brain (i.e. "Global-AIF") and a novel automatic delay and dispersion corrected AIF (i.e. "Local AIF") that is sensitive to retrograde flow. Pial collateral recruitment was assessed from x-ray angiograms and infarct growth via serially acquired diffusion weighted MRI scans both blinded to DSC. The degree of collateralization at x-ray correlated strongly with quantitative perfusion determined using the Local AIF in the ischemic penumbra (R2=0.81) compared to a traditionally chosen Global-AIF (R2=0.05). Quantitative perfusion calculated using a Local-AIF was negatively correlated (less infarct progression as local perfusion increased) with infarct growth (R2 = 0.79) compared to Global-AIF (R2=0.02). Local DSC perfusion with a Local-AIF is more accurate for assessing tissue status and degree of leptomeningeal collateralization than traditionally chosen AIFs. These findings support use of a Local-AIF in determining quantitative tissue perfusion with collateral supply in occlusive disease.


title: PowerPeeler: A Precise and General Dynamic Deobfuscation Method for PowerShell Scripts

abstract: PowerShell is a powerful and versatile task automation tool. Unfortunately, it is also widely abused by cyber attackers. To bypass malware detection and hinder threat analysis, attackers often employ diverse techniques to obfuscate malicious PowerShell scripts. Existing deobfuscation tools suffer from the limitation of static analysis, which fails to simulate the real deobfuscation process accurately. In this paper, we propose PowerPeeler. To the best of our knowledge, it is the first dynamic PowerShell script deobfuscation approach at the instruction level. It utilizes expression-related Abstract Syntax Tree (AST) nodes to identify potential obfuscated script pieces. Then, PowerPeeler correlates the AST nodes with their corresponding instructions and monitors the script's entire execution process. Subsequently, PowerPeeler dynamically tracks the execution of these instructions and records their execution results. Finally, PowerPeeler stringifies these results to replace the corresponding obfuscated script pieces and reconstruct the deobfuscated script. To evaluate the effectiveness of PowerPeeler, we collect 1,736,669 real-world malicious PowerShell samples with diversity obfuscation methods. We compare PowerPeeler with five state-of-the-art deobfuscation tools and GPT-4. The evaluation results demonstrate that PowerPeeler can effectively handle all well-known obfuscation methods. Additionally, the deobfuscation correctness rate of PowerPeeler reaches 95%, significantly surpassing that of other tools. PowerPeeler not only recovers the highest amount of sensitive data but also maintains a semantic consistency over 97%, which is also the best. Moreover, PowerPeeler effectively obtains the largest quantity of valid deobfuscated results within a limited time frame. Furthermore, PowerPeeler is extendable and can be used as a helpful tool for other cyber security solutions.


title: Contrastive Sparse Autoencoders for Interpreting Planning of Chess-Playing Agents

abstract: AI led chess systems to a superhuman level, yet these systems heavily rely on black-box algorithms. This is unsustainable in ensuring transparency to the end-user, particularly when these systems are responsible for sensitive decision-making. Recent interpretability work has shown that the inner representations of Deep Neural Networks (DNNs) were fathomable and contained human-understandable concepts. Yet, these methods are seldom contextualised and are often based on a single hidden state, which makes them unable to interpret multi-step reasoning, e.g. planning. In this respect, we propose contrastive sparse autoencoders (CSAE), a novel framework for studying pairs of game trajectories. Using CSAE, we are able to extract and interpret concepts that are meaningful to the chess-agent plans. We primarily focused on a qualitative analysis of the CSAE features before proposing an automated feature taxonomy. Furthermore, to evaluate the quality of our trained CSAE, we devise sanity checks to wave spurious correlations in our results.


title: Pre-trained Transformer Uncovers Meaningful Patterns in Human Mobility Data

abstract: We empirically demonstrate that a transformer pre-trained on country-scale unlabeled human mobility data learns embeddings capable, through fine-tuning, of developing a deep understanding of the target geography and its corresponding mobility patterns. Utilizing an adaptation framework, we evaluate the performance of our pre-trained embeddings in encapsulating a broad spectrum of concepts directly and indirectly related to human mobility. This includes basic notions, such as geographic location and distance, and extends to more complex constructs, such as administrative divisions and land cover. Our extensive empirical analysis reveals a substantial performance boost gained from pre-training, reaching up to 38% in tasks such as tree-cover regression. We attribute this result to the ability of the pre-training to uncover meaningful patterns hidden in the raw data, beneficial for modeling relevant high-level concepts. The pre-trained embeddings emerge as robust representations of regions and trajectories, potentially valuable for a wide range of downstream applications.


title: Topological Phases in Half-Integer Higher Spin $J_1$-$J_2$ Heisenberg Chains

abstract: We study the ground state properties of antiferromagnetic $J_1$-$J_2$ chains with half-integer spins ranging from $S=\frac{3}{2}$ to $S=\frac{11}{2}$ using the density-matrix renormalization group method. We map out the ground-state phase diagrams as a function of $\frac{J_2}{J_1}$ containing topological phases with alternating $\frac{2S-1}{2}$ and $\frac{2S+1}{2}$ valence bonds. We identify these topological phases and their boundaries by calculating the string order parameter, the dimer order parameter, and the spin gap for those high-$S$ systems in thermodynamic limit (finite size scaling). We find that these topological regions narrow down inversely with $S$ and converge to a single point at $\frac{J_2}{J_1}=\frac{1}{4}$ in the classical limit -- a critical threshold between commensurate and incommensurate orders. In addition, we extend the discussion of the Majumder-Ghosh state, previously noted only for $S=\frac{1}{2}$, and speculate its possible presence as a ground state in half-integer high spin systems over a substantial range of $\frac{J_2}{J_1}$ values.


title: Jailbreak Vision Language Models via Bi-Modal Adversarial Prompt

abstract: In the realm of large vision language models (LVLMs), jailbreak attacks serve as a red-teaming approach to bypass guardrails and uncover safety implications. Existing jailbreaks predominantly focus on the visual modality, perturbing solely visual inputs in the prompt for attacks. However, they fall short when confronted with aligned models that fuse visual and textual features simultaneously for generation. To address this limitation, this paper introduces the Bi-Modal Adversarial Prompt Attack (BAP), which executes jailbreaks by optimizing textual and visual prompts cohesively. Initially, we adversarially embed universally harmful perturbations in an image, guided by a few-shot query-agnostic corpus (e.g., affirmative prefixes and negative inhibitions). This process ensures that image prompt LVLMs to respond positively to any harmful queries. Subsequently, leveraging the adversarial image, we optimize textual prompts with specific harmful intent. In particular, we utilize a large language model to analyze jailbreak failures and employ chain-of-thought reasoning to refine textual prompts through a feedback-iteration manner. To validate the efficacy of our approach, we conducted extensive evaluations on various datasets and LVLMs, demonstrating that our method significantly outperforms other methods by large margins (+29.03% in attack success rate on average). Additionally, we showcase the potential of our attacks on black-box commercial LVLMs, such as Gemini and ChatGLM.


title: Zero-Painter: Training-Free Layout Control for Text-to-Image Synthesis

abstract: We present Zero-Painter, a novel training-free framework for layout-conditional text-to-image synthesis that facilitates the creation of detailed and controlled imagery from textual prompts. Our method utilizes object masks and individual descriptions, coupled with a global text prompt, to generate images with high fidelity. Zero-Painter employs a two-stage process involving our novel Prompt-Adjusted Cross-Attention (PACA) and Region-Grouped Cross-Attention (ReGCA) blocks, ensuring precise alignment of generated objects with textual prompts and mask shapes. Our extensive experiments demonstrate that Zero-Painter surpasses current state-of-the-art methods in preserving textual details and adhering to mask shapes.


title: Enumerating Galois extensions of number fields

abstract: Let $k$ be a number field. We provide an asymptotic formula for the number of Galois extensions of $k$ with absolute discriminant bounded by some $X \geq 1$, as $X\to\infty$. We also provide an asymptotic formula for the closely related count of extensions $K/k$ whose normal closure has discriminant bounded by $X$. The key behind these results is a new upper bound on the number of Galois extensions of $k$ with a given Galois group $G$ and discriminant bounded by $X$; we show the number of such extensions is $O_{[k:\mathbb{Q}],G} (X^{ \frac{4}{\sqrt{|G|}}})$. This improves over the previous best bound $O_{k,G,\epsilon}(X^{\frac{3}{8}+\epsilon})$ due to Ellenberg and Venkatesh. In particular, ours is the first bound for general $G$ with an exponent that decays as $|G| \to \infty$.


title: The geometry of intersecting codes and applications to additive combinatorics and factorization theory

abstract: Intersecting codes are linear codes where every two nonzero codewords have non-trivially intersecting support. In this article we expand on the theory of this family of codes, by showing that nondegenerate intersecting codes correspond to sets of points (with multiplicites) in a projective space that are not contained in two hyperplanes. This correspondence allows the use of geometric arguments to demonstrate properties and provide constructions of intersecting codes. We improve on existing bounds on their length and provide explicit constructions of short intersecting codes. Finally, generalizing a link between coding theory and the theory of the Davenport constant (a combinatorial invariant of finite abelian groups), we provide new asymptotic bounds on the weighted $2$-wise Davenport constant. These bounds then yield results on factorizations in rings of algebraic integers and related structures.


title: STEMO: Early Spatio-temporal Forecasting with Multi-Objective Reinforcement Learning

abstract: Accuracy and timeliness are indeed often conflicting goals in prediction tasks. Premature predictions may yield a higher rate of false alarms, whereas delaying predictions to gather more information can render them too late to be useful. In applications such as wildfires, crimes, and traffic jams, timely forecasting are vital for safeguarding human life and property. Consequently, finding a balance between accuracy and timeliness is crucial. In this paper, we propose an early spatio-temporal forecasting model based on Multi-Objective reinforcement learning that can either implement an optimal policy given a preference or infer the preference based on a small number of samples. The model addresses two primary challenges: 1) enhancing the accuracy of early forecasting and 2) providing the optimal policy for determining the most suitable prediction time for each area. Our method demonstrates superior performance on three large-scale real-world datasets, surpassing existing methods in early spatio-temporal forecasting tasks.


title: A classification of nilpotent compatible Lie algebras

abstract: Working over an arbitrary field of characteristic different from $2$, we extend the Skjelbred-Sund method to compatible Lie algebras and give a full classification of nilpotent compatible Lie algebras up to dimension $4$. In case the base field is cubically closed, we find that there are three isomorphism classes and a one-parameter family in dimension $3$, and $10$ isomorphism classes, $7$ one-parameter families and two $2$-parameter families in dimension $4$


title: A Road-Map for Transferring Software Engineering methods for Model-Based Early V&V of Behaviour to Systems Engineering

abstract: In this paper we discuss the growing need for system behaviour to be validated and verified (V&V'ed) early in model-based systems engineering. Several aspects push companies towards integration of techniques, methods, and processes that promote specific and general V&V activities earlier to support more effective decision-making. As a result, there are incentives to introduce new technologies to remain competitive with the recently drastic changes in system complexity and heterogeneity. Performing V&V early on in development is a means of reducing risk for later error detection while moving key activities earlier in a process. We present a summary of the literature on early V&V and position existing challenges regarding potential solutions and future investigations. In particular, we reason that the software engineering community can act as a source for inspiration as many emerging technologies in the software domain are showing promise in the wider systems domain, and there already exist well formed methods for early V&V of software behaviour in the software modelling community. We conclude the paper with a road-map for future research and development for both researchers and practitioners to further develop the concepts discussed in the paper.


title: Road Network Representation Learning with the Third Law of Geography

abstract: Road network representation learning aims to learn compressed and effective vectorized representations for road segments that are applicable to numerous tasks. In this paper, we identify the limitations of existing methods, particularly their overemphasis on the distance effect as outlined in the First Law of Geography. In response, we propose to endow road network representation with the principles of the recent Third Law of Geography. To this end, we propose a novel graph contrastive learning framework that employs geographic configuration-aware graph augmentation and spectral negative sampling, ensuring that road segments with similar geographic configurations yield similar representations, and vice versa, aligning with the principles stated in the Third Law. The framework further fuses the Third Law with the First Law through a dual contrastive learning objective to effectively balance the implications of both laws. We evaluate our framework on two real-world datasets across three downstream tasks. The results show that the integration of the Third Law significantly improves the performance of road segment representations in downstream tasks.


title: Shaping History: Advanced Machine Learning Techniques for the Analysis and Dating of Cuneiform Tablets over Three Millennia

abstract: Cuneiform tablets, emerging in ancient Mesopotamia around the late fourth millennium BCE, represent one of humanity's earliest writing systems. Characterized by wedge-shaped marks on clay tablets, these artifacts provided insight into Mesopotamian civilization across various domains. Traditionally, the analysis and dating of these tablets rely on subjective assessment of shape and writing style, leading to uncertainties in pinpointing their exact temporal origins. Recent advances in digitization have revolutionized the study of cuneiform by enhancing accessibility and analytical capabilities. Our research uniquely focuses on the silhouette of tablets as significant indicators of their historical periods, diverging from most studies that concentrate on textual content. Utilizing an unprecedented dataset of over 94,000 images from the Cuneiform Digital Library Initiative collection, we apply deep learning methods to classify cuneiform tablets, covering over 3,000 years of history. By leveraging statistical, computational techniques, and generative modeling through Variational Auto-Encoders (VAEs), we achieve substantial advancements in the automatic classification of these ancient documents, focusing on the tablets' silhouettes as key predictors. Our classification approach begins with a Decision Tree using height-to-width ratios and culminates with a ResNet50 model, achieving a 61% macro F1-score for tablet silhouettes. Moreover, we introduce novel VAE-powered tools to enhance explainability and enable researchers to explore changes in tablet shapes across different eras and genres. This research contributes to document analysis and diplomatics by demonstrating the value of large-scale data analysis combined with statistical methods. These insights offer valuable tools for historians and epigraphists, enriching our understanding of cuneiform tablets and the cultures that produced them.


title: Precise measurement of light-quark electroweak couplings at future colliders

abstract: Electroweak Precision Measurements are stringent tests of the Standard Model and sensitive probes to New Physics. Accurate studies of the Z-boson couplings to the first-generation quarks could reveal potential discrepancies between the fundamental theory and experimental data. Future lepton colliders offering high statistics of Z bosons would be an excellent tool to perform such a measurement based on comparison of radiative and non-radiative hadronic decays of the Z boson. Due to the difference in quark charge, the relative contribution of the events with final-state radiation (FSR) directly reflects the ratio of up- and down-type quark decays. Such an analysis requires a proper distinction between photons coming from different sources, including initial-state radiation (ISR), FSR, parton showers and hadronisation. In our talk, we will show how to extract the values of the Z couplings to quarks and present preliminary results of the analysis for ILC.


title: Linear Opinion Pooling for Uncertainty Quantification on Graphs

abstract: We address the problem of uncertainty quantification for graph-structured data, or, more specifically, the problem to quantify the predictive uncertainty in (semi-supervised) node classification. Key questions in this regard concern the distinction between two different types of uncertainty, aleatoric and epistemic, and how to support uncertainty quantification by leveraging the structural information provided by the graph topology. Challenging assumptions and postulates of state-of-the-art methods, we propose a novel approach that represents (epistemic) uncertainty in terms of mixtures of Dirichlet distributions and refers to the established principle of linear opinion pooling for propagating information between neighbored nodes in the graph. The effectiveness of this approach is demonstrated in a series of experiments on a variety of graph-structured datasets.


title: Holographic stress tensor correlators on higher genus Riemann surfaces

abstract: In this work, we present a comprehensive study of holographic stress tensor correlators on general Riemann surfaces, extending beyond the previously well-studied torus cases to explore higher genus conformal field theories (CFTs) within the framework of the Anti-de Sitter/conformal field theory (AdS/CFT) correspondence. We develop a methodological approach to compute holographic stress tensor correlators, employing the Schottky uniformization technique to address the handlebody solutions for higher genus Riemann surfaces. Through rigorous calculations, we derive four-point stress tensor correlators, alongside recurrence relations for higher-point correlators, within the $\mathrm{AdS}_3/\mathrm{CFT}_2$ context. Additionally, our research delves into the holography of cutoff $\mathrm{AdS}_3$ spaces, offering novel insights into the lower-point correlators of the $T\bar{T}$-deformed theories on higher genus Riemann surfaces up to the first deformation order.


title: Energy-based Epistemic Uncertainty for Graph Neural Networks

abstract: In domains with interdependent data, such as graphs, quantifying the epistemic uncertainty of a Graph Neural Network (GNN) is challenging as uncertainty can arise at different structural scales. Existing techniques neglect this issue or only distinguish between structure-aware and structure-agnostic uncertainty without combining them into a single measure. We propose GEBM, an energy-based model (EBM) that provides high-quality uncertainty estimates by aggregating energy at different structural levels that naturally arise from graph diffusion. In contrast to logit-based EBMs, we provably induce an integrable density in the data space by regularizing the energy function. We introduce an evidential interpretation of our EBM that significantly improves the predictive robustness of the GNN. Our framework is a simple and effective post hoc method applicable to any pre-trained GNN that is sensitive to various distribution shifts. It consistently achieves the best separation of in-distribution and out-of-distribution data on 6 out of 7 anomaly types while having the best average rank over shifts on \emph{all} datasets.


title: Some differential inequalities and criteria for univalency in the unit disk

abstract: In this paper, Jack lemma is used for obtaining several differential inequalities over analytic functions that later on, lead to new criteria for univalency in the unit disk.


title: On the Diameter of Undirected Cayley Graphs of Finite Abelian Groups

abstract: Let $s$ be a positive integer. Our goal is to find all finite abelian groups $G$ that contain a $2$-subset $A$ for which the undirected Cayley graph $\Gamma(G,A)$ has diameter at most $s$. We provide a complete answer when $G$ is cyclic, and a conjecture and some partial answers when $G$ is noncyclic.


title: ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints

abstract: Reasoning about actions and change (RAC) has historically driven the development of many early AI challenges, such as the frame problem, and many AI disciplines, including non-monotonic and commonsense reasoning. The role of RAC remains important even now, particularly for tasks involving dynamic environments, interactive scenarios, and commonsense reasoning. Despite the progress of Large Language Models (LLMs) in various AI domains, their performance on RAC is underexplored. To address this gap, we introduce a new benchmark, ActionReasoningBench, encompassing 13 domains and rigorously evaluating LLMs across eight different areas of RAC. These include - Object Tracking, Fluent Tracking, State Tracking, Action Executability, Effects of Actions, Numerical RAC, Hallucination Detection, and Composite Questions. Furthermore, we also investigate the indirect effect of actions due to ramification constraints for every domain. Finally, we evaluate our benchmark using open-sourced and commercial state-of-the-art LLMs, including GPT-4o, Gemini-1.0-Pro, Llama2-7b-chat, Llama2-13b-chat, Llama3-8b-instruct, Gemma-2b-instruct, and Gemma-7b-instruct. Our findings indicate that these models face significant challenges across all categories included in our benchmark.


title: Slicing Mutual Information Generalization Bounds for Neural Networks

abstract: The ability of machine learning (ML) algorithms to generalize well to unseen data has been studied through the lens of information theory, by bounding the generalization error with the input-output mutual information (MI), i.e., the MI between the training data and the learned hypothesis. Yet, these bounds have limited practicality for modern ML applications (e.g., deep learning), due to the difficulty of evaluating MI in high dimensions. Motivated by recent findings on the compressibility of neural networks, we consider algorithms that operate by slicing the parameter space, i.e., trained on random lower-dimensional subspaces. We introduce new, tighter information-theoretic generalization bounds tailored for such algorithms, demonstrating that slicing improves generalization. Our bounds offer significant computational and statistical advantages over standard MI bounds, as they rely on scalable alternative measures of dependence, i.e., disintegrated mutual information and $k$-sliced mutual information. Then, we extend our analysis to algorithms whose parameters do not need to exactly lie on random subspaces, by leveraging rate-distortion theory. This strategy yields generalization bounds that incorporate a distortion term measuring model compressibility under slicing, thereby tightening existing bounds without compromising performance or requiring model compression. Building on this, we propose a regularization scheme enabling practitioners to control generalization through compressibility. Finally, we empirically validate our results and achieve the computation of non-vacuous information-theoretic generalization bounds for neural networks, a task that was previously out of reach.


title: Self-tunable approximated explicit MPC: Heat exchanger implementation and analysis

abstract: The tunable approximated explicit model predictive control (MPC) comes with the benefits of real-time tunability without the necessity of solving the optimization problem online. This paper provides a novel self-tunable control policy that does not require any interventions of the control engineer during operation in order to retune the controller subject to the changed working conditions. Based on the current operating conditions, the autonomous tuning parameter scales the control input using linear interpolation between the boundary optimal control actions. The adjustment of the tuning parameter depends on the current reference value, which makes this strategy suitable for reference tracking problems. Furthermore, a novel technique for scaling the tuning parameter is proposed. This extension provides to exploit different ranges of the tuning parameter assigned to specified operating conditions. The self-tunable explicit MPC was implemented on a laboratory heat exchanger with nonlinear and asymmetric behavior. The asymmetric behavior of the plant was compensated by tuning the controller's aggressiveness, as the negative or positive sign of reference change was considered in the tuning procedure. The designed self-tunable controller improved control performance by decreasing sum-of-squared control error, maximal overshoots/ undershoots, and settling time compared to the conventional control strategy based on a single (non-tunable) controller.


title: Unraveling the mysteries of wormhole formation in Rastall-Rainbow gravity: A comprehensive study using the embedding approach

abstract: The present work looks for the possible existence of static and spherically symmetric wormhole geometries in Rastall-Rainbow gravity. Since, the Rastall-Rainbow gravity model has been constructed with the combination of Rastall theory and the gravity's rainbow formalism. Taking advantage of the Karmarkar condition for embedding class one metrics, we solve the modified field equations analytically that describe wormholes for specific choice of redshift function. For specific parameter ranges, the solution represents a traversable wormhole that exhibits the violation of null energy condition and consequently the weak energy condition also. Furthermore, we focus on the wormhole stability via adiabatic sound velocity analysis. This model establishes a strong connection between two model parameters, namely, the Rastall parameters and the Rainbow functions, and how it affects the wormhole solution.


title: Semmeldetector: Application of Machine Learning in Commercial Bakeries

abstract: The Semmeldetector, is a machine learning application that utilizes object detection models to detect, classify and count baked goods in images. Our application allows commercial bakers to track unsold baked goods, which allows them to optimize production and increase resource efficiency. We compiled a dataset comprising 1151 images that distinguishes between 18 different types of baked goods to train our detection models. To facilitate model training, we used a Copy-Paste augmentation pipeline to expand our dataset. We trained the state-of-the-art object detection model YOLOv8 on our detection task. We tested the impact of different training data, model scale, and online image augmentation pipelines on model performance. Our overall best performing model, achieved an AP@0.5 of 89.1% on our test set. Based on our results, we conclude that machine learning can be a valuable tool even for unforeseen industries like bakeries, even with very limited datasets.


title: Continuously non-extendable mappings between generalized complex ellipsoids of different dimensions

abstract: There exists a proper holomorphic mapping between balls of different dimensions such that it does not extend continuously to the boundary. The aim of this paper is to show the same phenomenon occurs for pseudoconvex domains of different dimensions.


title: Multivector Neurons: Better and Faster O(n)-Equivariant Clifford Graph Neural Networks

abstract: Most current deep learning models equivariant to $O(n)$ or $SO(n)$ either consider mostly scalar information such as distances and angles or have a very high computational complexity. In this work, we test a few novel message passing graph neural networks (GNNs) based on Clifford multivectors, structured similarly to other prevalent equivariant models in geometric deep learning. Our approach leverages efficient invariant scalar features while simultaneously performing expressive learning on multivector representations, particularly through the use of the equivariant geometric product operator. By integrating these elements, our methods outperform established efficient baseline models on an N-Body simulation task and protein denoising task while maintaining a high efficiency. In particular, we push the state-of-the-art error on the N-body dataset to 0.0035 (averaged over 3 runs); an 8% improvement over recent methods. Our implementation is available on Github.


title: Floquet Theory in an Irradiated Nodal Surface Semimetal

abstract: A nodal surface semimetal (NSSM) features symmetry enforced band crossings along a surface within the three-dimensional (3D) Brillouin zone. The topological robustness of the same does not always come with nonzero Berry fluxes around nodal surfaces. Irrespective of that, however, light irradiation on such system can result in interesting dynamic behavior. We find that depending on the state of polarization, one can obtain additional Weyl points/ nodal surfaces in the Floquet Hamiltonian that the time periodic system gives rise to. For simplicity we only consider two band spinless models without any spin orbit coupling, the main emphasis being to understand the low energy behavior close to the band crossings and its evolution in a Floquet system in the high frequency limit. There we find the nodal surfaces to perish or get duplicated or triplicated for different polarization scenario or different NSSM Hamiltonians. One findings open up important directions on what out of equilibrium NSSM systems has to offer in many active fields including quantum computations.


title: Dynamics-based halo model for large scale structure

abstract: Accurate modelling of the one-to-two halo transition has long been difficult to achieve. We demonstrate that physically motivated halo definitions that respect the bimodal phase-space distribution of dark matter particles near halos resolves this difficulty. Specifically, the two phase-space components are overlapping and correspond to: 1) particles \it orbiting \rm the halo; and 2) particles \it infalling \rm into the halo for the first time. Motivated by this decomposition, Garc\'ia [R. Garc\'ia et. al., MNRAS 521, 2464 (2023)] advocated for defining haloes as the collection of particles orbiting their self-generated potential. This definition identifies the traditional one-halo term of the halo--mass correlation function with the distribution of orbiting particles around a halo, while the two-halo term governs the distribution of infalling particles. We use dark matter simulations to demonstrate that the distribution of orbiting particles is finite and can be characterised by a single physical scale $r_{\rm h}$, which we refer to as the \it halo radius. \rm The two-halo term is described using a simple yet accurate empirical model based on the Zel'dovich correlation function. We further demonstrate that the halo radius imprints itself on the distribution of infalling particles at small scales. Our final model for the halo--mass correlation function is accurate at the $\approx 2\%$ level for $r \in [0.1,50]\ h^{-1}\ Mpc$. The Fourier transform of our best fit model describes the halo--mass power spectrum with comparable accuracy for $k\in [0.06, 6.0]\ h\ Mpc^{-1}$.


title: Leveraging SPD Matrices on Riemannian Manifolds in Quantum Classical Hybrid Models for Structural Health Monitoring

abstract: Realtime finite element modeling of bridges assists modern structural health monitoring systems by providing comprehensive insights into structural integrity. This capability is essential for ensuring the safe operation of bridges and preventing sudden catastrophic failures. However, FEM computational cost and the need for realtime analysis pose significant challenges. Additionally, the input data is a 7 dimensional vector, while the output is a 1017 dimensional vector, making accurate and efficient analysis particularly difficult. In this study, we propose a novel hybrid quantum classical Multilayer Perceptron pipeline leveraging Symmetric Positive Definite matrices and Riemannian manifolds for effective data representation. To maintain the integrity of the qubit structure, we utilize SPD matrices, ensuring data representation is well aligned with the quantum computational framework. Additionally, the method leverages polynomial feature expansion to capture nonlinear relationships within the data. The proposed pipeline combines classical fully connected neural network layers with quantum circuit layers to enhance model performance and efficiency. Our experiments focused on various configurations of such hybrid models to identify the optimal structure for accurate and efficient realtime analysis. The best performing model achieved a Mean Squared Error of 0.00031, significantly outperforming traditional methods.