title: The SOUL view of IRAS20126+4104. Kinematics and variability of the H$_2$ jet from a massive protostar

abstract: We exploit the increased sensitivity of the recently installed AO SOUL at the LBT to obtain new high-spatial-resolution NIR images of the massive young stellar object IRAS20126+4104 and its outflow. We aim to derive the jet proper motions and kinematics, as well as to study its photometric variability by combining the novel performances of SOUL together with previous NIR images. We used both broad-band ($K_{s}$, $K'$) and narrow-band (Br$\gamma$, H2) observations from a number of NIR cameras (UKIRT/UFTI,SUBARU/CIAO,TNG/NICS,LBT/PISCES,and LBT/LUCI1) to derive maps of the continuum and the H$_2$ emission in the 2.12 $\mu$m line. Three sets of images, obtained with AO systems (CIAO,2003; FLAO,2012; SOUL,2020), allowed us to derive the proper motions of a large number of H$_2$ knots along the jet. Photometry from all images was used to study the jet variability. We derived knot proper motions in the range of 1.7-20.3 mas yr$^{-1}$ (i.e. 13-158 km s$^{-1}$ at 1.64 kpc, avg. outflow tangential velocity $\sim$ 80 km s$^{-1}$). The derived knot dynamical age spans a $\sim$ 200-4000 yr interval. A ring-like H$_2$ feature near the protostar location exhibits peculiar kinematics and may represent the outcome of a wide-angle wind impinging on the outflow cavity. Both H$_2$ geometry and velocities agree with those inferred from proper motions of the H$_2$O masers, located at a smaller distance from the protostar. Although the total H$_2$ line emission from the knots does not exhibit time variations at a $\widetilde{>}$ 0.3 mag level, we have found a clear continuum flux variation (radiation scattered by the dust in the cavity opened by the jet) which is anti-correlated between the blue-shifted and red-shifted lobes and may be periodic (with a period of $\sim$ 12-18 yr). We suggest that the continuum variability might be related to inner-disc oscillations which have also caused the jet precession.


title: Lorentz Violation, CPT violation, and Spectroscopy Experiments

abstract: This presentation discusses some of the signals for Lorentz violation potentially observable in atomic spectroscopy and clock-comparison experiments. The emphasis of the discussion is on how the angular-momentum quantum numbers of the states involved in the transition determine the properties of the possible sidereal variation of the transition frequency.


title: Knowledge Acquisition and Completion for Long-Term Human-Robot Interactions using Knowledge Graph Embedding

abstract: In Human-Robot Interaction (HRI) systems, a challenging task is sharing the representation of the operational environment, fusing symbolic knowledge and perceptions, between users and robots. With the existing HRI pipelines, users can teach the robots some concepts to increase their knowledge base. Unfortunately, the data coming from the users are usually not enough dense for building a consistent representation. Furthermore, the existing approaches are not able to incrementally build up their knowledge base, which is very important when robots have to deal with dynamic contexts. To this end, we propose an architecture to gather data from users and environments in long-runs of continual learning. We adopt Knowledge Graph Embedding techniques to generalize the acquired information with the goal of incrementally extending the robot's inner representation of the environment. We evaluate the performance of the overall continual learning architecture by measuring the capabilities of the robot of learning entities and relations coming from unknown contexts through a series of incremental learning sessions.


title: Measurement of the $^{236}$U fission cross section and angular distributions of fragments from fission of $^{235}$U and $^{236}$U in the neutron energy range of 0.3-500 MeV

abstract: The $^{236}$U fission cross section and the angular distributions of fragments from fission of $^{235}$U and $^{236}$U were measured for incident neutron energies from 0.3 MeV to 500 MeV on the time-of-flight spectrometer of the neutron complex GNEIS at the NRC "Kurchatov Institute" -- PNPI. Fission fragments were registered using position-sensitive low-pressure multiwire counters. In the neutron energy range above 20 MeV, the angular distributions of $^{236}$U fission fragments were measured for the first time. The fission cross section of $^{236}$U$(n,f)$ was measured relative to the fission cross section of $^{235}$U$(n,f)$, which is an accepted international standard. The obtained data are compared with the results of other experimental works. Theoretical calculations of the fission cross section and the anisotropy of angular distribution of fission fragments for the $^{236}$U$(n,f)$ reaction performed within the framework of our approach are presented and discussed.


title: Anisotropic solutions for $R^2$ gravity model with a scalar field

abstract: We study anisotropic solutions for the pure $R^2$ gravity model with a scalar field in the Bianchi I metric. The evolution equations have a singularity at zero value of the Ricci scalar $R$ for anisotropic solutions, whereas these equations are smooth for isotropic solutions. So, there is no anisotropic solution with the Ricci scalar smoothly changing its sign during evolution. We have found anisotropic solutions using the conformal transformation of the metric and the Einstein frame. The general solution in the Einstein frame has been found explicitly. The corresponding solution in the Jordan frame has been constructed in quadratures.


title: Low-energy constants in the chiral Lagrangian with baryon octet and decuplet fields from Lattice QCD data on CLS ensembles

abstract: We perform an analysis of Lattice QCD data on baryon octet and decuplet masses based on the chiral SU(3) Lagrangian. Low-energy constants (LEC) are adjusted to describe baryon masses from a large set of CLS ensembles, where finite-box and discretization effects are considered. The set is successfully compared against previous Lattice QCD data from ensembles generated with distinct QCD actions by the ETMC, QCDSF-UKQCD and HSC groups. Discretization effects are modelled by the use of action and lattice-scale dependent leading orders LEC, where uniform values are imposed in the limit of vanishing lattice scales. From the CLS data set we extract a pion-nucleon sigma term, $\sigma_{\pi N}= 58.7(1.2)$ MeV, compatible with its empirical value and a sizeable strangeness content of the nucleon with $\sigma_{sN} = -316(76)$ MeV.


title: Generalized Zurek's bound on the cost of an individual classical or quantum computation

abstract: We consider the minimal thermodynamic cost of an individual computation, where a single input $x$ is mapped to a single output $y$. In prior work, Zurek proposed that this cost was given by $K(x\vert y)$, the conditional Kolmogorov complexity of $x$ given $y$ (up to an additive constant which does not depend on $x$ or $y$). However, this result was derived from an informal argument, applied only to deterministic computations, and had an arbitrary dependence on the choice of protocol (via the additive constant). Here we use stochastic thermodynamics to derive a generalized version of Zurek's bound from a rigorous Hamiltonian formulation. Our bound applies to all quantum and classical processes, whether noisy or deterministic, and it explicitly captures the dependence on the protocol. We show that $K(x\vert y)$ is a minimal cost of mapping $x$ to $y$ that must be paid using some combination of heat, noise, and protocol complexity, implying a tradeoff between these three resources. Our result is a kind of "algorithmic fluctuation theorem" with implications for the relationship between the Second Law and the Physical Church-Turing thesis.

categories: cond-mat.stat-mech cs.IT math.IT quant-ph


title: Unconventional criticality, scaling breakdown, and diverse universality classes in the Wilson-Cowan model of neural dynamics

abstract: The Wilson-Cowan model constitutes a paradigmatic approach to understanding the collective dynamics of networks of excitatory and inhibitory units. It has been profusely used in the literature to analyze the possible phases of neural networks at a mean-field level, e.g., assuming large fully-connected networks. Moreover, its stochastic counterpart allows one to study fluctuation-induced phenomena, such as avalanches. Here, we revisit the stochastic Wilson-Cowan model paying special attention to the possible phase transitions between quiescent and active phases. We unveil eight possible types of phase transitions, including continuous ones with scaling behavior belonging to known universality classes -- such as directed percolation and tricritical directed percolation -- as well as novel ones. In particular, we show that under some special circumstances, at a so-called Hopf tricritical directed percolation transition, rather unconventional behavior including an anomalous breakdown of scaling emerges. These results broaden our knowledge of the possible types of critical behavior in networks of excitatory and inhibitory units and are of relevance to understanding avalanche dynamics in actual neuronal recordings. From a more general perspective, these results help extend the theory of non-equilibrium phase transitions into quiescent or absorbing states.


title: On the Interaction between Ultralight Bosons and Quantum-Corrected Black Holes

abstract: Both ultralight dark matter and exploring the quantum nature of black holes are all topics of great interest in gravitational wave astronomy at present. The superradiant instability allows an exotic compact object (ECO) to be surrounded by an ultralight boson cloud, which leads to the emission of gravitational waves and further triggers rich dynamical effects. In this paper, we study the gravitational effects of superradiant instabilities by calculating the energy fluxes of gravitational waves emitted from ultralight scalar dark matter fields by solving the Teukolsky equation in the background of a massive ECO phenomenologically described by a Kerr geometry with a reflective boundary condition at its physical boundary. We find that both the amplitude and phase of the reflectivity will either suppress or enhance the energy flux of GWs by several orders of magnitude if $M\mu \gtrsim 0.5$ where $M$ and $\mu$ are the mass of ECO and boson, respectively. However, the modifications to energy flux are negligible if $M \mu \lesssim 0.5$. Our results suggest that reflectivity will play a significant role in the near-horizon physics of ECO.


title: Syntactically Robust Training on Partially-Observed Data for Open Information Extraction

abstract: Open Information Extraction models have shown promising results with sufficient supervision. However, these models face a fundamental challenge that the syntactic distribution of training data is partially observable in comparison to the real world. In this paper, we propose a syntactically robust training framework that enables models to be trained on a syntactic-abundant distribution based on diverse paraphrase generation. To tackle the intrinsic problem of knowledge deformation of paraphrasing, two algorithms based on semantic similarity matching and syntactic tree walking are used to restore the expressionally transformed knowledge. The training framework can be generally applied to other syntactic partial observable domains. Based on the proposed framework, we build a new evaluation set called CaRB-AutoPara, a syntactically diverse dataset consistent with the real-world setting for validating the robustness of the models. Experiments including a thorough analysis show that the performance of the model degrades with the increase of the difference in syntactic distribution, while our framework gives a robust boundary. The source code is publicly available at https://github.com/qijimrc/RobustOIE.


title: On Some Lie Groups in Degenerate Clifford Geometric Algebras

abstract: In this paper, we introduce and study five families of Lie groups in degenerate Clifford geometric algebras. These Lie groups preserve the even and odd subspaces and some other subspaces under the adjoint representation and the twisted adjoint representation. The considered Lie groups contain degenerate spin groups, Lipschitz groups, and Clifford groups as subgroups in the case of arbitrary dimension and signature. The considered Lie groups can be of interest for various applications in physics, engineering, and computer science.


title: Relaxation of the kinematic dynamo equations

abstract: We compute the exact relaxation and $\Lambda$-convex hull of the kinematic dynamo equations and show that they coincide. We also find the relaxation in the stationary case.


title: USER: Unified Semantic Enhancement with Momentum Contrast for Image-Text Retrieval

abstract: As a fundamental and challenging task in bridging language and vision domains, Image-Text Retrieval (ITR) aims at searching for the target instances that are semantically relevant to the given query from the other modality, and its key challenge is to measure the semantic similarity across different modalities. Although significant progress has been achieved, existing approaches typically suffer from two major limitations: (1) It hurts the accuracy of the representation by directly exploiting the bottom-up attention based region-level features where each region is equally treated. (2) It limits the scale of negative sample pairs by employing the mini-batch based end-to-end training mechanism. To address these limitations, we propose a Unified Semantic Enhancement Momentum Contrastive Learning (USER) method for ITR. Specifically, we delicately design two simple but effective Global representation based Semantic Enhancement (GSE) modules. One learns the global representation via the self-attention algorithm, noted as Self-Guided Enhancement (SGE) module. The other module benefits from the pre-trained CLIP module, which provides a novel scheme to exploit and transfer the knowledge from an off-the-shelf model, noted as CLIP-Guided Enhancement (CGE) module. Moreover, we incorporate the training mechanism of MoCo into ITR, in which two dynamic queues are employed to enrich and enlarge the scale of negative sample pairs. Meanwhile, a Unified Training Objective (UTO) is developed to learn from mini-batch based and dynamic queue based samples. Extensive experiments on the benchmark MSCOCO and Flickr30K datasets demonstrate the superiority of both retrieval accuracy and inference efficiency. Our source code will be released at https://github.com/zhangy0822/USER.


title: Causal Models with Constraints

abstract: Causal models have proven extremely useful in offering formal representations of causal relationships between a set of variables. Yet in many situations, there are non-causal relationships among variables. For example, we may want variables $LDL$, $HDL$, and $TOT$ that represent the level of low-density lipoprotein cholesterol, the level of lipoprotein high-density lipoprotein cholesterol, and total cholesterol level, with the relation $LDL+HDL=TOT$. This cannot be done in standard causal models, because we can intervene simultaneously on all three variables. The goal of this paper is to extend standard causal models to allow for constraints on settings of variables. Although the extension is relatively straightforward, to make it useful we have to define a new intervention operation that $disconnects$ a variable from a causal equation. We give examples showing the usefulness of this extension, and provide a sound and complete axiomatization for causal models with constraints.


title: Rapid quantum approaches for combinatorial optimisation inspired by optimal state-transfer

abstract: We propose a new design heuristic to tackle combinatorial optimisation problems, inspired by Hamiltonians for optimal state-transfer. The result is a rapid approximate optimisation algorithm. We provide numerical evidence of the success of this new design heuristic. We find this approach results in a better approximation ratio than the Quantum Approximate Optimisation Algorithm at lowest depth for the majority of problem instances considered, while utilising comparable resources. This opens the door to investigating new approaches for tackling combinatorial optimisation problems, distinct from adiabatic-influenced approaches.


title: Power Utility Maximization with Expert Opinions at Fixed Arrival Times in a Market with Hidden Gaussian Drift

abstract: In this paper we study optimal trading strategies in a financial market in which stock returns depend on a hidden Gaussian mean reverting drift process. Investors obtain information on that drift by observing stock returns. Moreover, expert opinions in the form of signals about the current state of the drift arriving at fixed and known dates are included in the analysis. Drift estimates are based on Kalman filter techniques. They are used to transform a power utility maximization problem under partial information into an optimization problem under full information where the state variable is the filter of the drift. The dynamic programming equation for this problem is studied and closed-form solutions for the value function and the optimal trading strategy of an investor are derived. They allow to quantify the monetary value of information delivered by the expert opinions. We illustrate our theoretical findings by results of extensive numerical experiments.


title: Noncommutative Vieta Theorem in Clifford Geometric Algebras

abstract: In this paper, we discuss a generalization of Vieta theorem (Vieta's formulas) to the case of Clifford geometric algebras. We compare the generalized Vieta's formulas with the ordinary Vieta's formulas for characteristic polynomial containing eigenvalues. We discuss Gelfand--Retakh noncommutative Vieta theorem and use it for the case of geometric algebras of small dimensions. We introduce the notion of a simple basis-free formula for a determinant in geometric algebra and prove that a formula of this type exists in the case of arbitrary dimension. Using this notion, we present and prove generalized Vieta theorem in geometric algebra of arbitrary dimension. The results can be used in symbolic computation and various applications of geometric algebras in computer science, computer graphics, computer vision, physics, and engineering.


title: Ising Model on the Fibonacci Sphere

abstract: We formulate the ferromagnetic Ising model on a two-dimensional sphere using the Delaunay triangulation of the Fibonacci covering. The Fibonacci approach generates a uniform isotropic covering of the sphere with approximately equal-area triangles, thus potentially supporting a smooth thermodynamic limit. In the absence of a magnetic field, the model exhibits a spontaneous magnetization phase transition at a critical temperature that depends on the connectivity properties of the underlying lattice. While in the standard triangular lattice, every site is connected to 6 neighboring sites, the triangulated Fibonacci lattice of the curved surface contains a substantial density of the 5- and 7-vertices. As the number of sites in the Fibonacci sphere increases, the triangular cover of the sphere experiences a series of singular transitions that reflect a sudden change in its connectivity properties. These changes substantially influence the statistical features of the system leading to a series of first-order-like discontinuities as the radius of the sphere increases. We found that the Ising model on a uniform, Fibonacci-triangulated sphere in a large-radius limit possesses the phase transition at the critical temperature $T_c \simeq 3.33(3) J$, which is slightly lower than the thermodynamic result for an equilaterally triangulated planar lattice. This mismatch is a memory effect: the planar Fibonacci lattice remembers its origin from the curved space.


title: BRST and Related Superfield Approach to 1D and 2D Diffeomorphism Invariant Models of Particles and a Bosonic String: A Brief Review

abstract: In this brief review-cum-research article, we discuss the off-shell nilpotent (anti-)BRST symmetry transformations, (anti-)BRST invariant Curci-Ferrari (CF) type restriction(s), coupled Lagrangians/Lagrangian densities, etc., for the 1D diffeomorphism (i.e. reparameterization) invariant models of $(i)$ a non-relativistic and non-SUSY free particle, $(ii)$ a scalar (i.e. non-SUSY) relativistic free particle, $(iii)$ a spinning (i.e. SUSY) relativistic free particle, and $(iv)$ a 2D diffeomorphism invariant model of a specific bosonic string theory within the framework of BRST and related supervariable/superfield approach. We take up a new 1D diffeomorphism (i.e. reparameterization) invariant model of an interacting scalar relativistic particle with the electromagnetic field. The latter is treated as a constant background variable and is, therefore, independent of the evolution parameter of the trajectory of the above interacting scalar relativistic particle. We show that the universal nature of the CF-type restriction is maintained in the case of this new model, too. The universal nature of the CF-type restriction(s) is proven by using the modified Bonora-Tonin supervariable/superfield approach (MBTSA) to BRST formalism in the context of 1D and 2D diffeomorphism invariant theories. We further demonstrate that the 1D diffeomorphism invariant models of all kinds of particles are described by the singular Lagrangians. Thus, they also respect the infinitesimal gauge symmetry transformations that are generated by the first-class constraints that exist on them. The equivalence of the 1D diffeomorphism and gauge symmetries is explicitly clarified under specific conditions.


title: A 2022 $\tau$-Herculid meteor cluster from an airborne experiment: automated detection, characterization, and consequences for meteoroids

abstract: Context. The existence of meteor clusters has long since been a subject of speculation and so far only seven events have been reported, among which two involve less than five meteors, and three were seen during the Leonid storms. Aims. The 1995 outburst of Comet 73P/Schwassmann-Wachmann was predicted to result in a meteor shower in May 2022. We detected the shower, proved this to be the result of this outburst, and detected another meteor cluster during the same observation mission. Methods. The {\tau}-Herculids meteor shower outburst on 31 May 2022 was continuously monitored for 4 hours during an airborne campaign. The video data were analyzed using a recently developed computer-vision processing chain for meteor real-time detection. Results. We report and characterize the detection of a meteor cluster involving 38 fragments, detected at 06:48 UT for a total duration of 11.3 s. The derived cumulative size frequency distribution index is relatively shallow: s = 3.1. Our open-source computer-vision processing chain (named FMDT) detects 100% of the meteors that a human eye is able to detect in the video. Classical automated motion detection assuming a static camera was not suitable for the stabilized camera setup because of residual motion. Conclusions. From all reported meteor clusters, we crudely estimate their occurrence to be less than one per million observed meteors. Low heliocentric distance enhances the probability of such meteoroid self-disruption in the interplanetary space.


title: Heat kernel asymptotics for scaling limits of isoradial graphs

abstract: We consider the asymptotics of the discrete heat kernel on isoradial graphs for the case where the time and the edge lengths tend to zero simultaneously. Depending on the asymptotic ratio between time and edge lengths, we show that two different regimes arise: (i) a Gaussian regime and (ii) a Poissonian regime, which resemble the short-time asymptotics of the heat kernel on (i) Euclidean spaces and (ii) graphs, respectively.


title: The BMO-discrepancy suffers from the curse of dimensionality

abstract: We show that the minimal discrepancy of a point set in the $d$-dimensional unit cube with respect to the BMO seminorm suffers from the curse of dimensionality.


title: Generalised Legendrian racks of Legendrian links

abstract: A generalised Legendrian rack is a rack equipped with a Legendrian structure, which is a pair of maps encoding the information of Legendrian Reidemeister moves together with up and down cusps in the front diagram of an oriented Legendrian link. Employing a purely rack theoretic approach, we associate a generalised Legendrian rack (or a GL-rack) to an oriented Legendrian link, and prove that it is an invariant under Legendrian isotopy. As immediate applications, we prove that this invariant distinguishes infinitely many oriented Legendrian unknots and oriented Legendrian trefoils. To comprehend their algebraic structure, we prove that every GL-rack admits a homogeneous representation. Further, using the idea of trunks, we define modules over GL-racks, and prove the equivalence of the category of GL-rack modules and the category of Beck modules over a fixed GL-rack.


title: Event-based Shape from Polarization

abstract: State-of-the-art solutions for Shape-from-Polarization (SfP) suffer from a speed-resolution tradeoff: they either sacrifice the number of polarization angles measured or necessitate lengthy acquisition times due to framerate constraints, thus compromising either accuracy or latency. We tackle this tradeoff using event cameras. Event cameras operate at microseconds resolution with negligible motion blur, and output a continuous stream of events that precisely measures how light changes over time asynchronously. We propose a setup that consists of a linear polarizer rotating at high-speeds in front of an event camera. Our method uses the continuous event stream caused by the rotation to reconstruct relative intensities at multiple polarizer angles. Experiments demonstrate that our method outperforms physics-based baselines using frames, reducing the MAE by 25% in synthetic and real-world dataset. In the real world, we observe, however, that the challenging conditions (i.e., when few events are generated) harm the performance of physics-based solutions. To overcome this, we propose a learning-based approach that learns to estimate surface normals even at low event-rates, improving the physics-based approach by 52% on the real world dataset. The proposed system achieves an acquisition speed equivalent to 50 fps (>twice the framerate of the commercial polarization sensor) while retaining the spatial resolution of 1MP. Our evaluation is based on the first large-scale dataset for event-based SfP


title: Multi-component states for trapped spin-1 Bose-Einstein Condensates in the presence of magnetic field

abstract: In presence of a magnetic field, multi-component ground states appear in trapped spin-1 Bose-Einstein condensates for both ferromagnetic and anti-ferromagnetic types of spin-spin interaction. We aim to produce an accurate analytical description of the multi-component states which is of fundamental importance. Despite being in the so-called regime of Thomas-Fermi approximation (condensates with large particle number), the scenario of multi-component states is problematic under this approximation due to large variation in densities of the sub-components. We generalize the variational method that we have introduced in the article [Eur. Phys. J. Plus 137, 547 (2022)] to overcome the limitations of T-F approximation. We demonstrate that the variational method is crucial in identifying multi-component ground states. A comparison of the results of the variational method, which is multi-modal by construction, with that of single-mode approximation is also presented in this paper to demonstrate a marked improvement in accuracy over single-mode approximation. We have also looked into the phase transition between the phase-matched and polar state in a trapped condensate using the variational method and have identified substantial change in the phase boundary. The correspondence of the phase diagram of the trapped case with the homogeneous one identifies other limitations of T-F approximation as opposed to the more accurate variational method.


title: Faster Algorithms for Evacuation Problems in Networks with the Single Sink of Small Degree

abstract: In this paper, we propose new algorithms for evacuation problems defined on dynamic flow networks. A dynamic flow network is a directed graph in which source nodes are given supplies (i.e., the number of evacuees) and a single sink node is given a demand (i.e., the maximum number of acceptable evacuees). The evacuation problem seeks a dynamic flow that sends all supplies from sources to the sink such that its demand is satisfied in the minimum feasible time horizon. For this problem, the current best algorithms are developed by Schl\"oter (2018) and Kamiyama (2019), which run in strongly polynomial time but with highorder polynomial time complexity because they use submodular function minimization as a subroutine. In this paper, we propose new algorithms that do not explicitly execute submodular function minimization, and we prove that they are faster than those by Schl\"oter (2018) and Kamiyama (2019) when an input network is restricted such that the sink has a small in-degree and every edge has the same capacity.


title: Design, Modeling and Control of a Top-loading Fully-Actuated Cargo Transportation Multirotor

abstract: Existing multirotor-based cargo transportation does not maintain a constant cargo attitude due to underactuation; however, fragile payloads may require a consistent posture. The conventional method is also cumbersome when loading cargo, and the size of the cargo to be loaded is limited. To overcome these issues, we propose a new fully-actuated multirotor unmanned aerial vehicle platform capable of translational motion while maintaining a constant attitude. Our newly developed platform has a cubic exterior and can freely place cargo at any point on the flat top surface. However, the center-of-mass (CoM) position changes when cargo is loaded, leading to undesired attitudinal motion due to unwanted torque generation. To address this problem, we introduce a new model-free center-of-mass position estimation method inspired by the extremum-seeking control (ESC) technique. Experimental results are presented to validate the performance of the proposed estimation method, effectively estimating the CoM position and showing satisfactory constant-attitude flight performance.


title: Methodological reflections for AI alignment research using human feedback

abstract: The field of artificial intelligence (AI) alignment aims to investigate whether AI technologies align with human interests and values and function in a safe and ethical manner. AI alignment is particularly relevant for large language models (LLMs), which have the potential to exhibit unintended behavior due to their ability to learn and adapt in ways that are difficult to predict. In this paper, we discuss methodological challenges for the alignment problem specifically in the context of LLMs trained to summarize texts. In particular, we focus on methods for collecting reliable human feedback on summaries to train a reward model which in turn improves the summarization model. We conclude by suggesting specific improvements in the experimental design of alignment studies for LLMs' summarization capabilities.


title: Error estimates for completely discrete FEM in energy-type and weaker norms

abstract: The paper presents error estimates within a unified abstract framework for the analysis of FEM for boundary value problems with linear diffusion-convection-reaction equations and boundary conditions of mixed type. Since neither conformity nor consistency properties are assumed, the method is called completely discrete. We investigate two different stabilized discretizations and obtain stability and optimal error estimates in energy-type norms and, by generalizing the Aubin-Nitsche technique, optimal error estimates in weaker norms.


title: Boundless metamaterial experimentation: physical realization of a virtual periodic boundary condition

abstract: We experimentally implement a virtual geometric periodicity in an elastic metamaterial. First, unwanted boundary reflections at the domain ends are cancelled through the iterative injection of the polarity reversed, reflected wavefield. The resulting boundless experimental state allows for a much better analysis of the metamaterials influence on the propagating wavefield. Subsequently, the propagating wavefield exiting on one end of the structure is reintroduced at the opposite end, creating a virtual geometric periodicity. We find that the experimentally observed band gap converges to the analytical solution through the introduction of the virtual periodicity. The established workflow introduces a novel approach to the experimental investigation and validation of metamaterial prototypes in the presence of strongly dispersive wave propagation and internal scattering. The fully data driven, ad-hoc treatment of boundary conditions in metamaterial experimentation with arbitrary mechanical properties enables reflection suppression, virtual periodicity, and the introduction of more general fictitious boundaries.


title: Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcs

abstract: Weighted finite-state automata (WSFAs) are commonly used in NLP. Failure transitions are a useful extension for compactly representing backoffs or interpolation in $n$-gram models and CRFs, which are special cases of WFSAs. The pathsum in ordinary acyclic WFSAs is efficiently computed by the backward algorithm in time $O(|E|)$, where $E$ is the set of transitions. However, this does not allow failure transitions, and preprocessing the WFSA to eliminate failure transitions could greatly increase $|E|$. We extend the backward algorithm to handle failure transitions directly. Our approach is efficient when the average state has outgoing arcs for only a small fraction $s \ll 1$ of the alphabet $\Sigma$. We propose an algorithm for general acyclic WFSAs which runs in $O{\left(|E| + s |\Sigma| |Q| T_\text{max} \log{|\Sigma|}\right)}$, where $Q$ is the set of states and $T_\text{max}$ is the size of the largest connected component of failure transitions. When the failure transition topology satisfies a condition exemplified by CRFs, the $T_\text{max}$ factor can be dropped, and when the weight semiring is a ring, the $\log{|\Sigma|}$ factor can be dropped. In the latter case (ring-weighted acyclic WFSAs), we also give an alternative algorithm with complexity $\displaystyle O{\left(|E| + |\Sigma| |Q| \min(1,s\pi_\text{max}) \right)}$, where $\pi_\text{max}$ is the size of the longest failure path.


title: A reinforcement learning path planning approach for range-only underwater target localization with autonomous vehicles

abstract: Underwater target localization using range-only and single-beacon (ROSB) techniques with autonomous vehicles has been used recently to improve the limitations of more complex methods, such as long baseline and ultra-short baseline systems. Nonetheless, in ROSB target localization methods, the trajectory of the tracking vehicle near the localized target plays an important role in obtaining the best accuracy of the predicted target position. Here, we investigate a Reinforcement Learning (RL) approach to find the optimal path that an autonomous vehicle should follow in order to increase and optimize the overall accuracy of the predicted target localization, while reducing time and power consumption. To accomplish this objective, different experimental tests have been designed using state-of-the-art deep RL algorithms. Our study also compares the results obtained with the analytical Fisher information matrix approach used in previous studies. The results revealed that the policy learned by the RL agent outperforms trajectories based on these analytical solutions, e.g. the median predicted error at the beginning of the target's localisation is 17% less. These findings suggest that using deep RL for localizing acoustic targets could be successfully applied to in-water applications that include tracking of acoustically tagged marine animals by autonomous underwater vehicles. This is envisioned as a first necessary step to validate the use of RL to tackle such problems, which could be used later on in a more complex scenarios


title: Show me what you want: Inverse reinforcement learning to automatically design robot swarms by demonstration

abstract: Automatic design is a promising approach to generating control software for robot swarms. So far, automatic design has relied on mission-specific objective functions to specify the desired collective behavior. In this paper, we explore the possibility to specify the desired collective behavior via demonstrations. We develop Demo-Cho, an automatic design method that combines inverse reinforcement learning with automatic modular design of control software for robot swarms. We show that, only on the basis of demonstrations and without the need to be provided with an explicit objective function, Demo-Cho successfully generated control software to perform four missions. We present results obtained in simulation and with physical robots.


title: The automorphism group of the quantum grassmannian

abstract: We calculate the automorphism group of the generic quantum grassmannian.


title: Building Scalable Video Understanding Benchmarks through Sports

abstract: Existing benchmarks for evaluating long video understanding falls short on two critical aspects, either lacking in scale or quality of annotations. These limitations arise from the difficulty in collecting dense annotations for long videos, which often require manually labeling each frame. In this work, we introduce an automated Annotation and Video Stream Alignment Pipeline (abbreviated ASAP). We demonstrate the generality of ASAP by aligning unlabeled videos of four different sports with corresponding freely available dense web annotations (i.e. commentary). We then leverage ASAP scalability to create LCric, a large-scale long video understanding benchmark, with over 1000 hours of densely annotated long Cricket videos (with an average sample length of ~50 mins) collected at virtually zero annotation cost. We benchmark and analyze state-of-the-art video understanding models on LCric through a large set of compositional multi-choice and regression queries. We establish a human baseline that indicates significant room for new research to explore. Our human studies indicate that ASAP can align videos and annotations with high fidelity, precision, and speed. The dataset along with the code for ASAP and baselines can be accessed here: https://asap-benchmark.github.io/.


title: Performance of the RF-detectors of the Astroneu Array

abstract: Since 2014, the University Campus of the Hellenic Open University (HOU) hosts the Astroneu array which is dedicated to the detection of Extensive Air Showers (EAS) induced by high energy Cosmic Rays (CR). The Astroneu array incorporates 9 large particle scintillation detectors and 6 antennas sensitive in the Radio Frequency (RF) range 1-200 MHz. The detectors are adjusted in three autonomous stations operating in an environment with strong electromagnetic background. As shown by previous studies, EAS radio detection in such environments is possible using innovative noise rejection methods, as well as advanced analysis techniques. In this work, we present the analysis of the collected radio data corresponding to an operational period of approximately four years. We present the performance of the Astroneu radio array in reconstructing the EAS axis direction using different RF detector geometrical layouts and a technique for the estimation of the shower core by comparing simulation and experimental data. Moreover, we measure the relative amplitudes of the two mechanisms that give rise to RF emission (Askaryan effect and Geomagnetic emission) and show that they are in good agreement with previous studies as well as with the simulation predictions.


title: Expansivity and periodicity in algebraic subshifts

abstract: A d-dimensional configuration c : Z^d -> A is a coloring of the d-dimensional infinite grid by elements of a finite alphabet A \subseteq Z. The configuration c has an annihilator if a non-trivial linear combination of finitely many translations of c is the zero configuration. Writing c as a d-variate formal power series, the annihilator is conveniently expressed as a d-variate Laurent polynomial f whose formal product with c is the zero power series. More generally, if the formal product is a strongly periodic configuration, we call the polynomial f a periodizer of c. A common annihilator (periodizer) of a set of configurations is called an annihilator (periodizer, respectively) of the set. In particular, we consider annihilators and periodizers of d-dimensional subshifts, that is, sets of configurations defined by disallowing some local patterns. We show that a (d-1)-dimensional linear subspace S \subseteq R^d is expansive for a subshift if the subshift has a periodizer whose support contains exactly one element of S. As a subshift is known to be finite if all (d-1)-dimensional subspaces are expansive, we obtain a simple necessary condition on the periodizers that guarantees finiteness of a subshift or, equivalently, strong periodicity of a configuration. We provide examples in terms of tilings of Z^d by translations of a single tile.


title: SAT: Size-Aware Transformer for 3D Point Cloud Semantic Segmentation

abstract: Transformer models have achieved promising performances in point cloud segmentation. However, most existing attention schemes provide the same feature learning paradigm for all points equally and overlook the enormous difference in size among scene objects. In this paper, we propose the Size-Aware Transformer (SAT) that can tailor effective receptive fields for objects of different sizes. Our SAT achieves size-aware learning via two steps: introduce multi-scale features to each attention layer and allow each point to choose its attentive fields adaptively. It contains two key designs: the Multi-Granularity Attention (MGA) scheme and the Re-Attention module. The MGA addresses two challenges: efficiently aggregating tokens from distant areas and preserving multi-scale features within one attention layer. Specifically, point-voxel cross attention is proposed to address the first challenge, and the shunted strategy based on the standard multi-head self attention is applied to solve the second. The Re-Attention module dynamically adjusts the attention scores to the fine- and coarse-grained features output by MGA for each point. Extensive experimental results demonstrate that SAT achieves state-of-the-art performances on S3DIS and ScanNetV2 datasets. Our SAT also achieves the most balanced performance on categories among all referred methods, which illustrates the superiority of modelling categories of different sizes. Our code and model will be released after the acceptance of this paper.


title: Learning to solve arithmetic problems with a virtual abacus

abstract: Acquiring mathematical skills is considered a key challenge for modern Artificial Intelligence systems. Inspired by the way humans discover numerical knowledge, here we introduce a deep reinforcement learning framework that allows to simulate how cognitive agents could gradually learn to solve arithmetic problems by interacting with a virtual abacus. The proposed model successfully learn to perform multi-digit additions and subtractions, achieving an error rate below 1% even when operands are much longer than those observed during training. We also compare the performance of learning agents receiving a different amount of explicit supervision, and we analyze the most common error patterns to better understand the limitations and biases resulting from our design choices.


title: Denoising Diffusion Probabilistic Models as a Defense against Adversarial Attacks

abstract: Neural Networks are infamously sensitive to small perturbations in their inputs, making them vulnerable to adversarial attacks. This project evaluates the performance of Denoising Diffusion Probabilistic Models (DDPM) as a purification technique to defend against adversarial attacks. This works by adding noise to an adversarial example before removing it through the reverse process of the diffusion model. We evaluate the approach on the PatchCamelyon data set for histopathologic scans of lymph node sections and find an improvement of the robust accuracy by up to 88\% of the original model's accuracy, constituting a considerable improvement over the vanilla model and our baselines. The project code is located at https://github.com/ankile/Adversarial-Diffusion.


title: The Sub-Exponential Critical Slowing Down at Floquet Time Crystal Phase Transition

abstract: Critical slowing down (CSD) has been a trademark of critical dynamics for equilibrium phase transitions of a many-body system, where the relaxation time for the system to reach thermal equilibrium or quantum ground state diverges with system size. The time crystal phase transition has attracted much attention in recent years for it provides a scenario of phase transition of quantum dynamics, unlike conventional equilibrium phase transitions. Here, we study critical dynamics near the Floquet time crystal phase transition. Its critical behavior is described by introducing a space-time coarse grained correlation function, whose relaxation time diverges at the critical point revealing the CSD. This is demonstrated by investigating the Floquet dynamics of one-dimensional disordered spin chain. Through finite-size scaling analysis, we show the relaxation time has a universal sub-exponential scaling near the critical point, in sharp contrast to the standard power-law behavior for CSD in equilibrium phase transitions. This prediction can be readily tested in present quantum simulation experiments.


title: GJ 806 (TOI-4481): A bright nearby multi-planetary system with a transiting hot, low-density super-Earth

abstract: One of the main scientific goals of the TESS mission is the discovery of transiting small planets around the closest and brightest stars in the sky. Here, using data from the CARMENES, MAROON-X, and HIRES spectrographs, together with TESS, we report the discovery and mass determination of a planetary system around the M1.5 V star GJ 806 (TOI-4481). GJ 806 is a bright (V=10.8 mag, J=7.3 mag) and nearby (d=12 pc) M dwarf that hosts at least two planets. The innermost planet, GJ 806 b, is transiting and has an ultra-short orbital period of 0.93 d, a radius of 1.331+-0.023 Re, a mass of 1.90+-0.17 Me, a mean density of 4.40+-0.45 g/cm3, and an equilibrium temperature of 940+-10 K. We detect a second, non-transiting, super-Earth planet in the system, GJ 806c, with an orbital period of 6.6 d, a minimum mass of 5.80+-0.30 Me, and an equilibrium temperature of 490+-5 K. The radial velocity data also shows evidence for a third periodicity at 13.6 d, although the current dataset does not provide sufficient evidence to unambiguously distinguish between a third super-Earth mass (Msin(i)=8.50+-0.45 Me) planet or stellar activity. Additionally, we report one transit observation of GJ 806 b taken with CARMENES in search for a possible extended atmosphere of H or He, but we can only place upper limits to its existence. This is not surprising as our evolutionary models support the idea that any possible primordial H/He atmosphere that GJ 806 b might have had, would long have been lost. However, GJ 806b's bulk density makes it likely that the planet hosts some type of volatile atmosphere. In fact, with a transmission spectroscopy metrics (TSM) of 44 and an emission spectroscopy metrics (ESM) of 24, GJ 806 b the third-ranked terrestrial planet around an M dwarf suitable for transmission spectroscopy studies, and the most promising terrestrial planet for emission spectroscopy studies.


title: Training Methods of Multi-label Prediction Classifiers for Hyperspectral Remote Sensing Images

abstract: With their combined spectral depth and geometric resolution, hyperspectral remote sensing images embed a wealth of complex, non-linear information that challenges traditional computer vision techniques. Yet, deep learning methods known for their representation learning capabilities prove more suitable for handling such complexities. Unlike applications that focus on single-label, pixel-level classification methods for hyperspectral remote sensing images, we propose a multi-label, patch-level classification method based on a two-component deep-learning network. We use patches of reduced spatial dimension and a complete spectral depth extracted from the remote sensing images. Additionally, we investigate three training schemes for our network: Iterative, Joint, and Cascade. Experiments suggest that the Joint scheme is the best-performing scheme; however, its application requires an expensive search for the best weight combination of the loss constituents. The Iterative scheme enables the sharing of features between the two parts of the network at the early stages of training. It performs better on complex data with multi-labels. Further experiments showed that methods designed with different architectures performed well when trained on patches extracted and labeled according to our sampling method.


title: Effect of phase and time coupling on NMR relaxation rate by random walk in phase space

abstract: The phase time coupling effect on NMR relaxation is investigated based on coupled and uncoupled phase diffusion. The results indicate that phase and time coupling could significantly impact the NMR relaxation time. The spectral density term in the relaxation time expression is modified with an apparent angular frequency, which could be twice the conventional angular frequency when the phase-time coupling is strong. A phase-time coupling constant is proposed to modify the conventional angular frequency to the apparent angular frequency. The modified NMR relaxation time can successfully fit the experimental data taken from Ref. [6]. The results could improve our understanding and analysis of NMR relaxation.


title: CS-lol: a Dataset of Viewer Comment with Scene in E-sports Live-streaming

abstract: Billions of live-streaming viewers share their opinions on scenes they are watching in real-time and interact with the event, commentators as well as other viewers via text comments. Thus, there is necessary to explore viewers' comments with scenes in E-sport live-streaming events. In this paper, we developed CS-lol, a new large-scale dataset containing comments from viewers paired with descriptions of game scenes in E-sports live-streaming. Moreover, we propose a task, namely viewer comment retrieval, to retrieve the viewer comments for the scene of the live-streaming event. Results on a series of baseline retrieval methods derived from typical IR evaluation methods show our task as a challenging task. Finally, we release CS-lol and baseline implementation to the research community as a resource.


title: \"Offentliche Daten auf die n\"achste Stufe heben -- Vom RESTful Webservice f\"ur Pflanzenschutzmittelregistrierungsdaten zur anwendungsunabh\"angigen Ontologie (erweiterte Version)

abstract: During the application of chemical pesticides, distance requirements have to be considered. However, these have to be determined and considered by the farmer manually. To support the farmer the Pesticide Application Manager (PAM)-Projects were conducted and a decision support system was developed. A part of this system, the distance requirements service was developed at the KTBL. To provide this service, the PAM-prozess is conducted: the pesticide registration data provided via REST-API is crawled, then the data is mapped into an ontology using rmlmapper and made availabe in a machine readable and application-independent form via a SPARQL-Endpoint.


title: Phenomenological analysis of simple ion channel block in large populations of uncoupled cardiomyocytes

abstract: Current understanding of arrhythmia mechanisms and design of anti-arrhythmic drug therapies hinges on the assumption that myocytes from the same region of a single heart have similar, if not identical, action potential waveforms and drug responses. On the contrary, recent experiments reveal significant heterogeneity in uncoupled healthy myocytes both from different hearts as well as from identical regions within a single heart. In this work, a methodology is developed for quantifying the individual electrophysiological properties of large numbers of uncoupled cardiomyocytes under ion channel block in terms of the parameters values of a conceptual fast-slow model of electrical excitability. The approach is applied to a population of nearly 500 rabbit ventricular myocytes for which action potential duration (APD) before and after the application of the drug nifedipine was experimentally measured (Lachaud et al., 2022, Cardiovasc. Res.). To this end, drug action is represented by a multiplicative factor to an effective ion conductance, a closed form asymptotic expression for APD is derived and inverted to determine model parameters as functions of APD and dAPD (drug-induced change in APD) for each myocyte. Two free protocol-related quantities are calibrated to experiment using an adaptive-domain procedure based on an original assumption of optimal excitability. The explicit APD expression and the resulting set of model parameter values allow (a) direct evaluation of conditions necessary to maintain fixed APD or dAPD, (b) predictions of the proportion of cells remaining excitable after drug application, (c) predictions of stimulus period dependency and (d) predictions of dose-response curves, the latter being in agreement with additional experimental data.

categories: physics.med-ph q-bio.CB q-bio.QM q-bio.TO


title: Mass formulas for individual black holes in merging binaries

abstract: We give formulas for individual black hole masses in a merger, by using Newtonian physics, in terms of the three measured quantities in the detector: the initial wave frequency $f_1$, the maximum detected frequency (chirp frequency) $f_2$, and the time elapse $\tau$ between these two frequencies. Newtonian gravity provides an excellent pedagogical tool to understand the basic features of gravitational wave observations, but it must be augmented with the assumption of gravitational radiation from General Relativity for accelerating masses as there is no gravitational wave in Newtonian gravity. The simplest approach would be to consider a binary system of two non-spinning masses (two black holes) circling their common center of mass. All the computations can be done within Newtonian physics, but the General Relativistic formula for the power carried by gravitational waves is required in this scheme. It turns out there is a subtle point: for the consistency of this simple, yet pedagogical computation, taking the lowest order power formula from General Relativity leads to complex individual masses. Here we remedy this problem and {suggest} a way to write down an average power formula coming from perturbative General Relativity.


title: On computational properties of Cauchy problems generated by accretive operators

abstract: In this paper, we provide quantitative versions of results on the asymptotic behavior of nonlinear semigroups generated by an accretive operator due to O. Nevanlinna and S. Reich as well as H.-K. Xu. These results themselves rely on a particular assumption on the underlying operator introduced by A. Pazy under the name of `convergence condition'. Based on logical techniques from `proof mining', a subdiscipline of mathematical logic, we derive various notions of a `convergence condition with modulus' which provide quantitative information on this condition in different ways. These techniques then also facilitate the extraction of quantitative information on the convergence results of Nevanlinna and Reich as well as Xu, in particular also in the form of rates of convergence which depend on these moduli for the convergence condition.


title: Solving both $H_0$ and $\sigma_8$ tensions in $f(T)$ gravity

abstract: We report how to alleviate both the $H_0$ and $\sigma_8$ tensions simultaneously within $f(T)$ gravity. In particular, we consider the parametrization $f(T)=-T-2\Lambda/M_P^2+\alpha T^\beta$, where two out of the three parameters are independent. This model can efficiently fit observations solving the two tensions. To our knowledge, this is the first time where a modified gravity theory can alleviate both $H_0$ and $\sigma_8$ tensions simultaneously, hence, offering an additional argument in favor of gravitational modification.


title: Multi-Biometric Fuzzy Vault based on Face and Fingerprints

abstract: The fuzzy vault scheme has been established as cryptographic primitive suitable for privacy-preserving biometric authentication. To improve accuracy and privacy protection, biometric information of multiple characteristics can be fused at feature level prior to locking it in a fuzzy vault. We construct a multi-biometric fuzzy vault based on face and multiple fingerprints. On a multi-biometric database constructed from the FRGCv2 face and the MCYT-100 fingerprint databases, a perfect recognition accuracy is achieved at a false accept security above 30 bits. Further, we provide a formalisation of feature-level fusion in multi-biometric fuzzy vaults, on the basis of which relevant security issues are elaborated. Said security issues, for which we define countermeasures, are commonly ignored and may impair the overall system's security.


title: The quantum cost function concentration dependency on the parametrization expressivity

abstract: Although we are currently in the era of noisy intermediate scale quantum devices, several studies are being conducted with the aim of bringing machine learning to the quantum domain. Currently, quantum variational circuits are one of the main strategies used to build such models. However, despite its widespread use, we still do not know what are the minimum resources needed to create a quantum machine learning model. In this article, we analyze how the expressiveness of the parametrization affects the cost function. We analytically show that the more expressive the parametrization is, the more the cost function will tend to concentrate around a value that depends both on the chosen observable and on the number of qubits used. For this, we initially obtain a relationship between the expressiveness of the parametrization and the mean value of the cost function. Afterwards, we relate the expressivity of the parametrization with the variance of the cost function. Finally, we show some numerical simulation results that confirm our theoretical-analytical predictions. To the best of our knowledge, this is the first time that these two important aspects of quantum neural networks are explicitly connected.


title: Distilling Accurate Descriptors from Multi-Source Experimental Data for Discovering Highly Active Perovskite OER Catalysts

abstract: Perovskite oxides are promising catalysts for oxygen evolution reaction (OER), yet the huge chemical space remains largely unexplored due to the lack of effective approaches. Here, we report the distilling of accurate descriptors from multi-source experimental data for accelerated catalysts discovery by using the new method SCMT-SISSO that overcomes the challenge of data inconsistency between different sources. While many previous descriptors for the catalytic activity were proposed based on respective small datasets, we obtained the new 2D descriptor (d_B, n_B) based on 13 experimental datasets collected from different publications and the SCMT-SISSO. Great universality and predictive accuracy, and the bulk-surface correspondence, of this descriptor have been demonstrated. With this descriptor, hundreds of unreported candidate perovskites with activity greater than the benchmark catalyst Ba0.5Sr0.5Co0.8Fe0.2O3 were identified from a large chemical space. Our experimental validations on five candidates confirmed the three highly active new perovskite catalysts SrCo0.6Ni0.4O3, Rb0.1Sr0.9Co0.7Fe0.3O3, and Cs0.1Sr0.9Co0.4Fe0.6O3.


title: Computer Science for Future -- Sustainability and Climate Protection in the Computer Science Courses of the HAW Hamburg

abstract: Computer Science for Future (CS4F) is an initiative in the Department of Computer Science at HAW Hamburg. The aim of the initiative is a paradigm shift in the discipline of computer science, thus establishing sustainability goals as a primary leitmotif for teaching and research. The focus is on teaching since the most promising multipliers are the students of a university. The change in teaching influences our research, the transfer to business and civil society as well as the change in our own institution. In this article, we present the initiative CS4F and reflect primarily on the role of students as amplifiers in the transformation process of computer science.


title: Backreaction in cosmic screening approach

abstract: We investigate the backreaction of nonlinear perturbations on the global evolution of the Universe within the cosmic screening approach. To this end, we have considered the second-order scalar perturbations. An analytical study of these perturbations followed by a numerical evaluation shows that, first, the corresponding average values have a negligible backreaction effect on the Friedmann equations and, second, the second-order correction to the gravitational potential is much less than the first-order quantity. Consequently, the expansion of perturbations into orders of smallness in the cosmic screening approach is correct.


title: Hybrid single-pair charge-2 Weyl semimetals

abstract: Intuitively, the dispersion characteristics of Weyl nodes with opposite charges in single-pair charge-2 Weyl semimetals are the same, quadratic or linear. We theoretically predicted that single-pair hybrid charge-2 Weyl semimetals (the nodes with opposite charges show quadratic Weyl and linear charge-2 Dirac characteristics, respectively) can be protected by specific nonsymmorphic symmetries in spinless systems. Moreover, the symmetries force the pair of Weyl points locate at the center and corners of the first Brillouin zone (FBZ), respectively. Consequently, nontrivial surface states run through the entire FBZ of the system fascinating for future experimental detection and device applications. The hybrid phase is further verified with the help of first-principles calculations for the phonon states in realistic material of Na$_2$Zn$_2$O$_3$. The new phase will not only broaden the understanding of the Weyl semimetals, but also provide an interesting platform to investigate the interaction between the two types of Weyl fermions with different dispersions.


title: Gravitational wave spectral synthesis

abstract: We study the LISA sources that arise from isolated binary evolution, and how these depend on age and metallicity, using model stellar populations from BPASS. We model these as single-aged populations which are analogous to star clusters. We calculate the combined GW spectrum of all the binaries within these model clusters, including all types of compact binaries as well as those with living stars. These results allow us to evaluate the detectability of star clusters with LISA. We find at late times the dominant sources are WD-WD binaries by factors of 50-200, but at times between $10^8$ and $10^9$ years we find a significant population of NS-WD and BH-WD binaries (2-40 per $10^6$ M$_{\odot}$), which is related to the treatment of mass transfer and common envelope events in BPASS, wherein mass transfer is relatively likely to be stable. Metallicity also has an effect on the GW spectrum and on the relative dominance of different types of binaries. Using the information about known star clusters will aid the identification of sky locations where one could expect LISA to find GW sources.


title: Mean-Field Control based Approximation of Multi-Agent Reinforcement Learning in Presence of a Non-decomposable Shared Global State

abstract: Mean Field Control (MFC) is a powerful approximation tool to solve large-scale Multi-Agent Reinforcement Learning (MARL) problems. However, the success of MFC relies on the presumption that given the local states and actions of all the agents, the next (local) states of the agents evolve conditionally independent of each other. Here we demonstrate that even in a MARL setting where agents share a common global state in addition to their local states evolving conditionally independently (thus introducing a correlation between the state transition processes of individual agents), the MFC can still be applied as a good approximation tool. The global state is assumed to be non-decomposable i.e., it cannot be expressed as a collection of local states of the agents. We compute the approximation error as $\mathcal{O}(e)$ where $e=\frac{1}{\sqrt{N}}\left[\sqrt{|\mathcal{X}|} +\sqrt{|\mathcal{U}|}\right]$. The size of the agent population is denoted by the term $N$, and $|\mathcal{X}|, |\mathcal{U}|$ respectively indicate the sizes of (local) state and action spaces of individual agents. The approximation error is found to be independent of the size of the shared global state space. We further demonstrate that in a special case if the reward and state transition functions are independent of the action distribution of the population, then the error can be improved to $e=\frac{\sqrt{|\mathcal{X}|}}{\sqrt{N}}$. Finally, we devise a Natural Policy Gradient based algorithm that solves the MFC problem with $\mathcal{O}(\epsilon^{-3})$ sample complexity and obtains a policy that is within $\mathcal{O}(\max\{e,\epsilon\})$ error of the optimal MARL policy for any $\epsilon>0$.


title: AI-Based Affective Music Generation Systems: A Review of Methods, and Challenges

abstract: Music is a powerful medium for altering the emotional state of the listener. In recent years, with significant advancement in computing capabilities, artificial intelligence-based (AI-based) approaches have become popular for creating affective music generation (AMG) systems that are empowered with the ability to generate affective music. Entertainment, healthcare, and sensor-integrated interactive system design are a few of the areas in which AI-based affective music generation (AI-AMG) systems may have a significant impact. Given the surge of interest in this topic, this article aims to provide a comprehensive review of AI-AMG systems. The main building blocks of an AI-AMG system are discussed, and existing systems are formally categorized based on the core algorithm used for music generation. In addition, this article discusses the main musical features employed to compose affective music, along with the respective AI-based approaches used for tailoring them. Lastly, the main challenges and open questions in this field, as well as their potential solutions, are presented to guide future research. We hope that this review will be useful for readers seeking to understand the state-of-the-art in AI-AMG systems, and gain an overview of the methods used for developing them, thereby helping them explore this field in the future.


title: Has the dust clump in the debris disk of Beta Pictoris moved?

abstract: The edge-on debris disk of the nearby young star Beta Pictoris shows an unusual brightness asymmetry in the form of a clump. The clump has been detected in both the mid-IR and CO and its origin has so far remained uncertain. Here we present new mid-IR observations of Beta Pic to track any motion of the dust clump. Together with previous observations, the data span a period of 12 years. We measured any projected displacement of the dust clump over the 12-yr period to be $0.2^{+1.3}_{-1.4}$ au away from the star based on the median and 1$\sigma$ uncertainty, and constrain this displacement to be <11 au at the 3$\sigma$ level. This implies that the observed motion is incompatible with Keplerian motion at the 2.8$\sigma$ level. It has been posited that a planet migrating outwards may trap planetesimals into a 2:1 resonance, resulting in the observed clump at pericentre of their orbits that trails the planet. The observed motion is also incompatible with such resonant motion at the 2.6$\sigma$ level. While Keplerian motion and resonant motion is still possible, the data suggest that the dust clump is more likely stationary. Such a stationary dust clump could originate from the collision or tidal disruption of a planet-sized body, or from secular perturbations due to a planet that create regions with enhanced densities in the disk.


title: Cooperation Learning Enhanced Colonic Polyp Segmentation Based on Transformer-CNN Fusion

abstract: Traditional segmentation methods for colonic polyps are mainly designed based on low-level features. They could not accurately extract the location of small colonic polyps. Although the existing deep learning methods can improve the segmentation accuracy, their effects are still unsatisfied. To meet the above challenges, we propose a hybrid network called Fusion-Transformer-HardNetMSEG (i.e., Fu-TransHNet) in this study. Fu-TransHNet uses deep learning of different mechanisms to fuse each other and is enhanced with multi-view collaborative learning techniques. Firstly, the Fu-TransHNet utilizes the Transformer branch and the CNN branch to realize the global feature learning and local feature learning, respectively. Secondly, a fusion module is designed to integrate the features from two branches. The fusion module consists of two parts: 1) the Global-Local Feature Fusion (GLFF) part and 2) the Dense Fusion of Multi-scale features (DFM) part. The former is built to compensate the feature information mission from two branches at the same scale; the latter is constructed to enhance the feature representation. Thirdly, the above two branches and fusion modules utilize multi-view cooperative learning techniques to obtain their respective weights that denote their importance and then make a final decision comprehensively. Experimental results showed that the Fu-TransHNet network was superior to the existing methods on five widely used benchmark datasets. In particular, on the ETIS-LaribPolypDB dataset containing many small-target colonic polyps, the mDice obtained by Fu-TransHNet were 12.4% and 6.2% higher than the state-of-the-art methods HardNet-MSEG and TransFuse-s, respectively.


title: Repurposing ROACH-1 boards for prototyping of readout systems for optical-NIR MKIDs

abstract: Microwave Kinetic Inductance Detectors (MKIDs) are cryogenic photon detectors and are attractive because they permit simultaneous time, energy and spatial resolution of faint astronomical sources. We present a cost-effective alternative to dedicated (e.g. analogue) electronics for prototyping readout of single-pixel Optical/NIR MKIDs by repurposing existing and well-known ROACH-1 boards. We also present a pipeline that modernises previously-developed software and data frameworks to allow for extensiblity to new applications and portability to new hardware (e.g. Xilinx ZCU111 or 2x2 RFSoC boards).


title: Arithmeticity of the Kontsevich--Zorich monodromies of certain families of square-tiled surfaces II

abstract: In this note, we extend the scope of our previous work joint with Bonnafoux, Kattler, Ni\~no, Sedano-Mendoza, Valdez and Weitze-Schmith\"usen by showing the arithmeticity of the Kontsevich--Zorich monodromies of infinite families of square-tiled surfaces of genera four, five and six.


title: Characterization of the second order random fields subject to linear distributional PDE constraints

abstract: Let $L$ be a linear differential operator acting on functions defined over an open set $\mathcal{D}\subset \mathbb{R}^d$. In this article, we characterize the measurable second order random fields $U = (U(x))_{x\in\mathcal{D}}$ whose sample paths all verify the partial differential equation (PDE) $L(u) = 0$, solely in terms of their first two moments. When compared to previous similar results, the novelty lies in that the equality $L(u) = 0$ is understood in the sense of distributions, which is a powerful functional analysis framework mostly designed to study linear PDEs. This framework enables to reduce to the minimum the required differentiability assumptions over the first two moments of $(U(x))_{x\in\mathcal{D}}$ as well as over its sample paths in order to make sense of the PDE $L(U_{\omega})=0$. In view of Gaussian process regression (GPR) applications, we show that when $(U(x))_{x\in\mathcal{D}}$ is a Gaussian process (GP), the sample paths of $(U(x))_{x\in\mathcal{D}}$ conditioned on pointwise observations still verify the constraint $L(u)=0$ in the distributional sense. We finish by deriving a simple but instructive example, a GP model for the 3D linear wave equation, for which our theorem is applicable and where the previous results from the literature do not apply in general.


title: Position prediction using disturbance observer for planar pushing

abstract: The position and the orientation of a rigid body object pushed by a robot on a planar surface are extremely difficult to predict. In this paper, the prediction problem is formulated as a disturbance observer design problem. The disturbance observer provides accurate estimation of the total sum of model errors and external disturbances acting on the object. From the estimation results, it is revealed that there is a strong linear relationship between the applied force or torque and the estimated disturbances. The proposed prediction algorithm has two phases: the identification & the prediction. During the identification phase, the linear relationship is identified from the observer output using a recursive least-square algorithm. In the prediction phase, the identified linear relationship is used with a force plan, which would be provided by a mission planner, to predict the position and the orientation of an object. The algorithm is tested for six different push experimental data available from the MIT MCube Lab. The proposed algorithm shows improved performance in reducing the prediction error compared to a simple correction algorithm.


title: Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems

abstract: In this paper, we investigate the global well-posedness of reaction-diffusion systems with transport noise on the $d$-dimensional torus. We show new global well-posedness results for a large class of scalar equations (e.g. the Allen-Cahn equation), and dissipative systems (e.g. equations in coagulation dynamics). Moreover, we prove global well-posedness for two weakly dissipative systems: Lotka-Volterra equations for $d\in\{1, 2, 3, 4\}$ and the Brusselator for $d\in \{1, 2, 3\}$. Many of the results are also new without transport noise. The proofs are based on maximal regularity techniques, positivity results, and sharp blow-up criteria developed in our recent works, combined with energy estimates based on It\^o's formula and stochastic Gronwall inequalities. Key novelties include the introduction of new $L^{\zeta}$-coercivity/dissipativity conditions and the development of an $L^p(L^q)$-framework for systems of reaction-diffusion equations, which are needed when treating dimensions $d\in \{2, 3\}$ in the case of cubic or higher order nonlinearities.


title: Online Filtering over Expanding Graphs

abstract: Data processing tasks over graphs couple the data residing over the nodes with the topology through graph signal processing tools. Graph filters are one such prominent tool, having been used in applications such as denoising, interpolation, and classification. However, they are mainly used on fixed graphs although many networks grow in practice, with nodes continually attaching to the topology. Re-training the filter every time a new node attaches is computationally demanding; hence an online learning solution that adapts to the evolving graph is needed. We propose an online update of the filter, based on the principles of online machine learning. To update the filter, we perform online gradient descent, which has a provable regret bound with respect to the filter computed offline. We show the performance of our method for signal interpolation at the incoming nodes. Numerical results on synthetic and graph-based recommender systems show that the proposed approach compares well to the offline baseline filter while outperforming competitive approaches. These findings lay the foundation for efficient filtering over expanding graphs.


title: Exceptional points in parity-time symmetric plasmonic Huygens metasurfaces

abstract: Parity-Time (PT) symmetric optical structures exhibit several unique and interesting characteristics with the most popular being exceptional points. While the emerging concept of PT-symmetry has been extensively investigated in bulky photonic designs, its exotic functionalities in nanophotonic non-Hermitian plasmonic systems still remain relatively unexplored. Towards this goal, in this work we analyze the unusual properties of a plasmonic Huygens metasurface composed of an array of active metal-dielectric core-shell nanoparticles. By calculating the reflection and transmission coefficients of the metasurface under various levels of gain, we demonstrate the existence of reflectionless transmission when an exceptional point is formed. The proposed new active metasurface design has subwavelength thickness and can be used to realize ultracompact perfect transmission optical filters.


title: A generalized index theory for non-Hamiltonian system

abstract: Morse index theory provides an elegant and useful tool for describing several aspects of a Lagrangian system in terms of its variational properties. In the classical framework it provides an equality between the spectral properties of a second order selfadjoint differential operator arising by the second variation of the Lagrangian action functional and the oscillation properties of the space of solutions of the associated boundary value problem. These oscillation properties are described by means of the Maslov index, which is a symplectic invariant intimately related to the Hamiltonian nature of the problem. Driven by the desire to get an analogous result in the non-Hamiltonian context for the investigation of the dynamical properties of dissipative systems, in this paper we start to introduce a new topological invariant, the so-called degree-index, defined in terms of the Brouwer degree of a suitable determinant map of a boundary matrix, which provides one possible substitute of the Maslov index in this non-Hamiltonian framework and finally we prove the equality between the Morse index and the degree-index in this non-selfadjoint setting through a new abstract trace formula. In the last part of the paper we apply our theoretical results to some 1D reaction-diffusion systems.


title: Graph-based Keyword Planning for Legal Clause Generation from Topics

abstract: Generating domain-specific content such as legal clauses based on minimal user-provided information can be of significant benefit in automating legal contract generation. In this paper, we propose a controllable graph-based mechanism that can generate legal clauses using only the topic or type of the legal clauses. Our pipeline consists of two stages involving a graph-based planner followed by a clause generator. The planner outlines the content of a legal clause as a sequence of keywords in the order of generic to more specific clause information based on the input topic using a controllable graph-based mechanism. The generation stage takes in a given plan and generates a clause. The pipeline consists of a graph-based planner followed by text generation. We illustrate the effectiveness of our proposed two-stage approach on a broad set of clause topics in contracts.


title: TA-DA: Topic-Aware Domain Adaptation for Scientific Keyphrase Identification and Classification (Student Abstract)

abstract: Keyphrase identification and classification is a Natural Language Processing and Information Retrieval task that involves extracting relevant groups of words from a given text related to the main topic. In this work, we focus on extracting keyphrases from scientific documents. We introduce TA-DA, a Topic-Aware Domain Adaptation framework for keyphrase extraction that integrates Multi-Task Learning with Adversarial Training and Domain Adaptation. Our approach improves performance over baseline models by up to 5% in the exact match of the F1-score.


title: Conformal Lie 2-algebras and conformal omni-Lie algebras

abstract: The notions of conformal Lie 2-algebras and conformal omni-Lie algebras are introduced and studied. It is proved that the category of conformal Lie 2-algebras and the category of 2-term conformal $L_{\infty}$-algebras are equivalent. We construct conformal Lie 2-algebras from conformal omni-Lie algebras and Leibniz conformal algebras.


title: Small time expansion for a strictly hypoelliptic kernel

abstract: We consider the kernel of a hypoelliptic diffusion beyond the case of sub-ellipticity or polynomial coefficients. We get a full asymptotic expansion for small times, based on a Duhamel-type comparison with an approximate polynomial kernel. As in the sub-elliptic case, some change of scale based on the geometry of some Lie brackets yields a non-trivial limit for the kernel as time goes to zero. Remarkably, a different scale is needed to observe a non-trivial large deviation principle.


title: Bijecting the BKT transition

abstract: We consider the classical XY model (or classical rotor model) on the two-dimensional square lattice graph as well as its dual model, which is a model of height functions. The XY model has a phase transition called the Berezinskii-Kosterlitz-Thouless transition. There is a heuristic which predicts that this phase transition should coincide with the localisation-delocalisation transition for height functions: the primal and dual model share the same partition function, and the phase transition of either model should coincide with the unique non-analytic point of the partition function when expressed in terms of the inverse temperature. We use probabilistic arguments to prove that the correlation length (the reciprocal of the mass) of the XY model is exactly twice the correlation length of the height function, which implies in particular that the prediction of this heuristic is correct: namely, that the BKT phase for the XY model coincides exactly with the delocalised phase of the dual height function.


title: The exponential Orlicz space in quantum information geometry

abstract: We review the construction of a quantum version of the exponential statistical manifold over the set of all faithful normal positive functionals on a von Neumann algebra. The construction is based on the relative entropy approach to state perturbation. We construct a quantum version of the exponential Orlicz space and discuss the properties of this space and its dual with respect to Kosaki $L_p$-spaces. We show that the constructed manifold admits a canonical divergence satisfying a Pythagorean relation. We also prove that the manifold structure is invariant under sufficient channels.


title: Deep Conditional Measure Quantization

abstract: Quantization of a probability measure means representing it with a finite set of Dirac masses that approximates the input distribution well enough (in some metric space of probability measures). Various methods exists to do so, but the situation of quantizing a conditional law has been less explored. We propose a method, called DCMQ, involving a Huber-energy kernel-based approach coupled with a deep neural network architecture. The method is tested on several examples and obtains promising results.


title: MAFUS: a Framework to predict mortality risk in MAFLD subjects

abstract: Metabolic (dysfunction) associated fatty liver disease (MAFLD) establishes new criteria for diagnosing fatty liver disease independent of alcohol consumption and concurrent viral hepatitis infection. However, the long-term outcome of MAFLD subjects is sparse. Few articles are focused on mortality in MAFLD subjects, and none investigate how to predict a fatal outcome. In this paper, we propose an artificial intelligence-based framework named MAFUS that physicians can use for predicting mortality in MAFLD subjects. The framework uses data from various anthropometric and biochemical sources based on Machine Learning (ML) algorithms. The framework has been tested on a state-of-the-art dataset on which five ML algorithms are trained. Support Vector Machines resulted in being the best model. Furthermore, an Explainable Artificial Intelligence (XAI) analysis has been performed to understand the SVM diagnostic reasoning and the contribution of each feature to the prediction. The MAFUS framework is easy to apply, and the required parameters are readily available in the dataset.


title: Strangeness thermodynamic instabilities in hot and dense nuclear matter

abstract: We explore the presence of thermodynamic instabilities and, con\-se\-quen\-tly, the realization of a pure hadronic phase transition in the hot and finite baryon density nuclear matter. The analysis is performed by means of an effective relativistic mean-field model with the inclusion of hyperons, $\Delta$-isobars, and the lightest pseudoscalar and vector meson degrees of freedom. The Gibbs conditions on the global conservation of baryon number and zero net strangeness in symmetric nuclear matter are required. Similarly to the liquid-gas phase transition, we show that a phase transition, characterized by mechanical instabilities (due to fluctuations on the baryon number) and chemical-diffusive instabilities (due to fluctuations on the strangeness number), can take place for a finite range of $\Delta$-meson coupling constants, compatible with different experimental constraints. The hadronic phase transition, which presents similar features to the quark-hadron phase transition, is characterized by different strangeness content during the mixed phase and, consequently, by a sensible variation of the strange anti-particle to particle ratios.


title: BSNet: Lane Detection via Draw B-spline Curves Nearby

abstract: Curve-based methods are one of the classic lane detection methods. They learn the holistic representation of lane lines, which is intuitive and concise. However, their performance lags behind the recent state-of-the-art methods due to the limitation of their lane representation and optimization. In this paper, we revisit the curve-based lane detection methods from the perspectives of the lane representations' globality and locality. The globality of lane representation is the ability to complete invisible parts of lanes with visible parts. The locality of lane representation is the ability to modify lanes locally which can simplify parameter optimization. Specifically, we first propose to exploit the b-spline curve to fit lane lines since it meets the locality and globality. Second, we design a simple yet efficient network BSNet to ensure the acquisition of global and local features. Third, we propose a new curve distance to make the lane detection optimization objective more reasonable and alleviate ill-conditioned problems. The proposed methods achieve state-of-the-art performance on the Tusimple, CULane, and LLAMAS datasets, which dramatically improved the accuracy of curve-based methods in the lane detection task while running far beyond real-time (197FPS).


title: Joint ergodicity for functions of polynomial growth

abstract: We provide necessary and sufficient conditions for joint ergodicity results for systems of commuting measure preserving transformations for an iterated Hardy field function of polynomial growth. Our method builds on and improves recent techniques due to Frantzikinakis and Tsinas, who dealt with multiple ergodic averages along Hardy field functions; it also enhances an approach introduced by the authors and Ferr\'e Moragues to study polynomial iterates. The more general expression, in which the iterate is a linear combination of a Hardy field function of polynomial growth and a tempered function, is studied as well.


title: Asymptotic immersions of conic reductions

abstract: Consider a Hodge manifold and assume that a torus acts on it in a Hamiltonian and holomorphic manner and that this action linearises on a given quantizing line bundle. Then, there is an associated unitary representation on the Hardy space of the circle bundle inside the dual of the line one. We introduce maps which are asymptotic immersions of conic reductions making use of the corresponding equivariant Szeg\H{o} projector.


title: The Effect of Symmetry-preserving Operations on 3-Connectivity

abstract: In 2017, Brinkmann, Goetschalckx and Schein introduced a very general way of describing operations on embedded graphs that preserve all orientation-preserving symmetries of the graph. This description includes all well-known operations such as Dual, Truncation and Ambo. As these operations are applied locally, they are called local orientation-preserving symmetry-preserving operations (lopsp-operations). In this text we will use the general description of these operations to determine their effect on 3-connectivity. Recently it was proved that all lopsp-operations preserve 3-connectivity of graphs that have face-width at least three. We present a simple condition that characterises exactly which lopsp-operations preserve 3-connectivity for all embedded graphs, even for those with face-width less than three.


title: Solving a new application of asymmetric TSP by modified migrating birds optimization algorithm

abstract: In this study, we first introduce a new application of the asymmetric traveling salesman problem (ATSP) which is about a small restaurant with one cook and a single stove. Once a meal has started cooking on the stove, the cook prepares the next meal on the table where the preparation time is dependent on the previous meal prepared. For the solution of this problem, besides several simple construction algorithms and a new version of the simulated annealing algorithm, we focus on enhanced versions of the recently introduced migrating birds optimization (MBO) algorithm. The original MBO algorithm might suffer from early convergence. Here we introduce several different ways of handling this problem. The extensive numerical experimentation conducted shows the superiority of the enhanced MBO over the original MBO (about 2.62 per cent) and over the simulated annealing algorithm (about 1.05 per cent).


title: Ferroelectric nematic -- isotropic critical end point

abstract: A critical end point above which an isotropic phase continuously evolves into a polar (ferroelectric) nematic phase with an increasing electric field is found in a ferroelectric nematic liquid crystalline material. The critical end point is approximately 30 K above the zero-field transition temperature from the isotropic to nematic phase and at an electric field of the order of 10 V/micron. Such systems are interesting from the application point of view because a strong birefringence can be induced in a broad temperature range in an optically isotropic phase.


title: Automated speech- and text-based classification of neuropsychiatric conditions in a multidiagnostic setting

abstract: Speech patterns have been identified as potential diagnostic markers for neuropsychiatric conditions. However, most studies only compare a single clinical group to healthy controls, whereas clinical practice often requires differentiating between multiple potential diagnoses (multiclass settings). To address this, we assembled a dataset of repeated recordings from 420 participants (67 with major depressive disorder, 106 with schizophrenia and 46 with autism, as well as matched controls), and tested the performance of a range of conventional machine learning models and advanced Transformer models on both binary and multiclass classification, based on voice and text features. While binary models performed comparably to previous research (F1 scores between 0.54-0.75 for autism spectrum disorder, ASD; 0.67-0.92 for major depressive disorder, MDD; and 0.71-0.83 for schizophrenia); when differentiating between multiple diagnostic groups performance decreased markedly (F1 scores between 0.35-0.44 for ASD, 0.57-0.75 for MDD, 0.15-0.66 for schizophrenia, and 0.38-0.52 macro F1). Combining voice and text-based models yielded increased performance, suggesting that they capture complementary diagnostic information. Our results indicate that models trained on binary classification may learn to rely on markers of generic differences between clinical and non-clinical populations, or markers of clinical features that overlap across conditions, rather than identifying markers specific to individual conditions. We provide recommendations for future research in the field, suggesting increased focus on developing larger transdiagnostic datasets that include more fine-grained clinical features, and that can support the development of models that better capture the complexity of neuropsychiatric conditions and naturalistic diagnostic assessment.


title: Deformations and abelian extensions on anti-pre-Lie algebras

abstract: In this paper, we introduce the representation of anti-pre-Lie algebras and give the second cohomology group of anti-pre-Lie algebras. As applications, first, we study linear deformations of anti-pre-Lie algebras. The notion of a Nijenhuis operator on an anti-pre-Lie algebra is introduced which can generate a trivial linear deformation of an anti-pre-Lie algebra. Then, we study formal deformations of anti-pre-Lie algebras. We show that the infinitesimal of a formal deformation is a 2-cocycle with the coefficients in the regular representation and depends only on its cohomology class. Moreover, if the second cohomology group $H^2(A;A)$ is trivial, then the anti-pre-Lie algebra is rigid. Finally, we introduce the notion of abelian extensions. We show that abelian extensions are classified by the second cohomology group $H^2(A;V)$.


abstract: Linear programming on the Stiefel manifold (LPS) is studied for the first time. It aims at minimizing a linear objective function over the set of all $p$-tuples of orthonormal vectors in ${\mathbb R}^n$ satisfying $k$ additional linear constraints. Despite the classical polynomial-time solvable case $k=0$, general (LPS) is NP-hard. According to the Shapiro-Barvinok-Pataki theorem, (LPS) admits an exact semidefinite programming (SDP) relaxation when $p(p+1)/2\le n-k$, which is tight when $p=1$. Surprisingly, we can greatly strengthen this sufficient exactness condition to $p\le n-k$, which covers the classical case $p\le n$ and $k=0$. Regarding (LPS) as a smooth nonlinear programming problem, we reveal a nice property that under the linear independence constraint qualification, the standard first- and second-order {\it local} necessary optimality conditions are sufficient for {\it global} optimality when $p+1\le n-k$.


title: Blockchain based Resource Governance for Decentralized Web Environments

abstract: Decentralization initiatives such as Solid and ActivityPub aim to give data owners more control over their data and to level the playing field by enabling small companies and individuals to gain access to data, thus stimulating innovation. However, these initiatives typically employ access control mechanisms that cannot verify compliance with usage conditions after access has been granted to others. In this paper, we extend the state of the art by proposing a resource governance conceptual framework, entitled ReGov, that facilitates usage control in decentralized web environments. We subsequently demonstrate how our framework can be instantiated by combining blockchain and trusted execution environments. Through blockchain technologies, we record policies expressing the usage conditions associated with resources and monitor their compliance. Our instantiation employs trusted execution environments to enforce said policies, inside data consumers' devices.} We evaluate the framework instantiation through a detailed analysis of requirements derived from a data market motivating scenario, as well as an assessment of the security, privacy, and affordability aspects of our proposal.


title: Revisiting the antiferromagnetic structure of $\rm Tb_{14}Ag_{51}$. The importance of distinguishing alternative symmetries for a multidimensional order parameter

abstract: We revisit the antiferromagnetic structure of $\rm Tb_{14}Ag_{51}$ [P. Fischer., $et\, al$. (2005). PRB, 72 134413] with the propagation vector $[{1\over3},{1\over3},{0}] $ and parent space group $P6/m$ using both magnetic symmetry and irreducible representation arguments. We have found a new magnetic structure under the hexagonal Shubnikov magnetic space group $P\bar{6}'$, which fits much better the experimental data. This new solution was obtained by constraining the spin arrangement to one of the three possible magnetic space groups of maximal symmetry that can be realised by a magnetic ordering transforming according to the 4-dimensional physically irreducible representation that is known to be relevant in this magnetic phase. The refined model, parameterised under $P\bar{6}'$, implicitly includes the presence of a third harmonic with the propagation vector at the gamma point $[0,0,0]$, which has an important weight in the final result. The structure consists of 13 symmetry-independent Tb magnetic moments with the same size of $8.48(2)\mu_B$, propagating cycloidally in the $ab$-plane. The modulation has a substantial deviation from being purely sinusoidal due to the contribution of the mentioned third harmonic.