title: Estimating treatment effects from single-arm trials via latent-variable modeling

abstract: Randomized controlled trials (RCTs) are the accepted standard for treatment effect estimation but they can be infeasible due to ethical reasons and prohibitive costs. Single-arm trials, where all patients belong to the treatment group, can be a viable alternative but require access to an external control group. We propose an identifiable deep latent-variable model for this scenario that can also account for missing covariate observations by modeling their structured missingness patterns. Our method uses amortized variational inference to learn both group-specific and identifiable shared latent representations, which can subsequently be used for {\em (i)} patient matching if treatment outcomes are not available for the treatment group, or for {\em (ii)} direct treatment effect estimation assuming outcomes are available for both groups. We evaluate the model on a public benchmark as well as on a data set consisting of a published RCT study and real-world electronic health records. Compared to previous methods, our results show improved performance both for direct treatment effect estimation as well as for effect estimation via patient matching.


title: Quantum distribution functions in systems with an arbitrary number of particles

abstract: Expressions for the entropy and equations for the quantum distribution functions in systems of non-interacting fermions and bosons with an arbitrary, including small, number of particles are obtained in the paper

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech math-ph math.MP


title: Breaking the Degrees-of-Freedom Limit of Holographic MIMO Communications: A 3-D Antenna Array Topology

abstract: The performance of holographic multiple-input multiple-output (MIMO) communications, employing two-dimensional (2-D) planar antenna arrays, is typically compromised by finite degrees-of-freedom (DOF) stemming from limited array size. The DOF constraint becomes significant when the element spacing approaches approximately half a wavelength, thereby restricting the overall performance of MIMO systems. To break this inherent limitation, we propose a novel three-dimensional (3-D) antenna array that strategically explores the untapped vertical dimension. We investigate the performance of MIMO systems utilizing 3-D arrays across different multi-path scenarios, encompassing Rayleigh channels with varying angular spreads and the 3rd generation partnership project (3GPP) channels. We subsequently showcase the advantages of these 3-D arrays over their 2-D counterparts with the same aperture sizes. As a proof of concept, a practical dipole-based 3-D array, facilitated by an electromagnetic band-gap (EBG) reflecting surface, is conceived, constructed, and evaluated. The experimental results align closely with full-wave simulations, and channel simulations substantiate that the DOF and capacity constraints of traditional holographic MIMO systems can be surpassed by adopting such a 3-D array configuration.


title: Massera's theorem for Asymptotically Periodic Scalar Differential Equations

abstract: The aim of this paper is studying the problem of existence of asymptotically periodic solutions of the scalar differential equation $x'=f(t,x),$ where $f:\mathbb R\times \mathbb R\to \mathbb R$ is a continuous asymptotically $\tau$-periodic function. We prove that every bounded on semi-axis $\mathbb R_{+}$ solution $\varphi$ of this equation is S-asymptotically $\tau$-periodic, i.e., $\lim\limits_{t\to +\infty}|\varphi(t+\tau)-\varphi(t)|=0$. This statement is a generalization of the well-known Massera's theorem for asymptotically periodic scalar differential equations. We also establish a similar statement for scalar difference equations.


title: Constraint maps with free boundaries: the Bernoulli case

abstract: In this manuscript, we delve into the study of maps that minimize the Alt-Caffarelli energy functional $$ \int_\Omega (|Du|^2 + q^2 \chi_{u^{-1}(M)})\,dx, $$ under the condition that the image $u(\Omega)$ is confined within $\overline M$. Here, $\Omega$ denotes a bounded domain in the ambient space $\mathbb{R}^n$ (with $n\geq 1$), and $M$ represents a smooth domain in the target space $\mathbb{R}^m$ (where $m\geq 2$). Since our minimizing constraint maps coincide with harmonic maps in the interior of the coincidence set, ${\rm int}(u^{-1}(\partial M))$, such maps are prone to developing discontinuities due to their inherent nature. This research marks the commencement of an in-depth analysis of potential singularities that might arise within and around the free boundary. Our first significant contribution is the validity of a $\varepsilon$-regularity theorem. This theorem is founded on a novel method of Lipschitz approximation near points exhibiting low energy. Utilizing this approximation and extending the analysis through a bootstrapping approach, we show Lipschitz continuity of our maps whenever the energy is small energy. Our subsequent key finding reveals that, whenever the complement of $M$ is uniformly convex and of class $C^3$, the maps minimizing the Alt-Caffarelli energy with a positive parameter $q$ exhibit Lipschitz continuity within a universally defined neighborhood of the non-coincidence set $u^{-1}(M)$. In particular, this Lipschitz continuity extends to the free boundary. A noteworthy consequence of our findings is the smoothness of flat free boundaries and of the resulting image maps.


title: Exploiting spatial group error and synchrony for a unicycle tracking controller

abstract: Trajectory tracking for the kinematic unicycle has been heavily studied for several decades. The unicycle admits a natural $\SE(2)$ symmetry, a key structure exploited in many of the most successful nonlinear controllers in the literature. To the author's knowledge however, all prior work has used a body-fixed, or left-invariant, group error formulation for the study of the tracking problem. In this paper, we consider the spatial, or right-invariant, group error in the design of a tracking controller for the kinematic unicycle. We provide a physical interpretation of the right-invariant error and go on to show that the associated error dynamics are drift-free, a property that is not true for the body-fixed error. We exploit this property to propose a simple nonlinear control scheme for the kinematic unicycle and prove almost-global asymptotic stability of this control scheme for a class of persistently exciting trajectories. We also verify performance of this control scheme in simulation for an example trajectory.


title: Exploring the Capability of Text-to-Image Diffusion Models with Structural Edge Guidance for Multi-Spectral Satellite Image Inpainting

abstract: The letter investigates the utility of text-to-image inpainting models for satellite image data. Two technical challenges of injecting structural guiding signals into the generative process as well as translating the inpainted RGB pixels to a wider set of MSI bands are addressed by introducing a novel inpainting framework based on StableDiffusion and ControlNet as well as a novel method for RGB-to-MSI translation. The results on a wider set of data suggest that the inpainting synthesized via StableDiffusion suffers from undesired artifacts and that a simple alternative of self-supervised internal inpainting achieves a higher quality of synthesis.


title: Parameter Estimation for Open Clusters using an Artificial Neural Network with a QuadTree-based Feature Extractor

abstract: With the unprecedented increase of known star clusters, quick and modern tools are needed for their analysis. In this work, we develop an artificial neural network trained on synthetic clusters to estimate the age, metallicity, extinction, and distance of $Gaia$ open clusters. We implement a novel technique to extract features from the colour-magnitude diagram of clusters by means of the QuadTree tool and we adopt a multi-band approach. We obtain reliable parameters for $\sim 5400$ clusters. We demonstrate the effectiveness of our methodology in accurately determining crucial parameters of $Gaia$ open clusters by performing a comprehensive scientific validation. In particular, with our analysis we have been able to reproduce the Galactic metallicity gradient as it is observed by high-resolution spectroscopic surveys. This demonstrates that our method reliably extracts information on metallicity from colour-magnitude diagrams (CMDs) of stellar clusters. For the sample of clusters studied, we find an intriguing systematic older age compared to previous analyses present in the literature. This work introduces a novel approach to feature extraction using a QuadTree algorithm, effectively tracing sequences in CMDs despite photometric errors and outliers. The adoption of ANNs, rather than Convolutional Neural Networks, maintains the full positional information and improves performance, while also demonstrating the potential for deriving clusters' parameters from simultaneous analysis of multiple photometric bands, beneficial for upcoming telescopes like the Vera Rubin Observatory. The implementation of ANN tools with robust isochrone fit techniques could provide further improvements in the quest for open clusters' parameters.


title: A New Extrapolation Economy Cascadic Multigrid Method for Image Restoration Problems

abstract: In this paper, a new extrapolation economy cascadic multigrid method is proposed to solve the image restoration model. The new method combines the new extrapolation formula and quadratic interpolation to design a nonlinear prolongation operator, which provides more accurate initial values for the fine grid level. An edge preserving denoising operator is constructed to remove noise and preserve image edges. The local smoothing operator reduces the influence of staircase effect. The experiment results show that the new method not only improves the computational efficiency but also ensures good recovery quality.


title: Full Grid Lattice Polygons with Maximal Sum of Squares of Edge-Lengths

abstract: Consider a subset [1,2,...,n]x[1,2,...,n] of the plane integer lattice. Take any non self-intersecting n^2-gon built on it (straight angles are allowed). The square of a side length is a positive integer. It is thus natural to ask how large the sum of square lengths of such an n^2-gon can be. This maximal value is a new integer sequence, labeled by A358212 in OEIS. In this note we give the lower bound and conjecture that this in fact is the correct answer. We further investigate proper n^2-gons (straight angles are not allowed) and present analogous results. Both sequences (conjecturally) have a different growth size.


title: The role of viscosity on drop impact forces

abstract: A liquid drop impacting a rigid substrate undergoes deformation and spreading due to normal reaction forces, which are counteracted by surface tension. On a non-wetting substrate, the drop subsequently retracts and takes off. Our recent work (Zhang et al., \textit{Phys. Rev. Lett.}, vol. 129, 2022, 104501) revealed two peaks in the temporal evolution of the normal force $F(t)$--one at impact and another at jump-off. The second peak coincides with a Worthington jet formation, which vanishes at high viscosities due to increased viscous dissipation affecting flow focusing. In this article, using experiments, direct numerical simulations, and scaling arguments, we characterize both the peak amplitude $F_1$ at impact and the one at take off ($F_2$) and elucidate their dependency on the control parameters: the Weber number $We$ (dimensionless impact velocity) and the Ohnesorge number $Oh$ (dimensionless viscosity). \VS{The first peak amplitude $F_1$ and the time $t_1$ to reach it depend on inertial timescales for low viscosity liquids, remaining nearly constant for viscosities up to 100 times that of water. For high viscosity liquids, we balance the rate of change in kinetic energy with viscous dissipation to obtain new scaling laws: $F_1/F_\rho \sim \sqrt{Oh}$ and $t_1/\tau_\rho \sim 1/\sqrt{Oh}$, where $F_\rho$ and $\tau_\rho$ are the inertial force and time scales, respectively, which are consistent with our data.} The time $t_2$ at which the amplitude $F_2$ appears is set by the inertio-capillary timescale $\tau_\gamma$, independent of both the viscosity and the impact velocity of the drop. However, these properties dictate the magnitude of this amplitude.


title: Generalizations of Koga's version of the Wiener-Ikehara theorem

abstract: We establish new versions of the Wiener-Ikehara theorem where only boundary assumptions on the real part of the Laplace transform are imposed. Our results generalize and improve a recent theorem of T. Koga [J. Fourier Anal. Appl. 27 (2021), Article No. 18]. As an application, we give a quick Tauberian proof of Blackwell's renewal theorem.


title: On real analytic functions on closed subanalytic domains

abstract: We show that a function $f : X \to \mathbb R$ defined on a closed uniformly polynomially cuspidal set $X$ in $\mathbb R^n$ is real analytic if and only if $f$ is smooth and all its composites with germs of polynomial curves in $X$ are real analytic. The degree of the polynomial curves needed for this is effectively related to the regularity of the boundary of $X$. For instance, if the boundary of $X$ is locally Lipschitz, then polynomial curves of degree $2$ suffice. In this Lipschitz case, we also prove that a function $f : X \to \mathbb R$ is real analytic if and only if all its composites with germs of quadratic polynomial maps in two variables with images in $X$ are real analytic; here it is not necessary to assume that $f$ is smooth.


title: Higher order Kirk invariants of link maps

abstract: We define numerical link-homotopy invariants of link maps of any number of components, which naturally generalize the Kirk invariant. The Kirk invariant is a link-homotopy invariant of 2-component link maps given by linking numbers of loops based at self-singularities of each component with the other spherical component; our invariants use instead ingredients from Milnor's higher order link invariants, and are extracted from the reduced fundamental groups of the exterior. We provide practical algorithms to compute these invariants from an appropriate cross-section, as well as families of examples that are therewith detected. The main proofs use the combinatorial theory of cut-diagrams previously developed by the authors.


title: Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools

abstract: Combinatorial testing is a widely adopted technique for efficiently detecting faults in software. The quality of combinatorial test generators plays a crucial role in achieving effective test coverage. Evaluating combinatorial test generators remains a challenging task that requires diverse and representative benchmarks. Having such benchmarks might help developers to test their tools, and improve their performance. For this reason, in this paper, we present BenCIGen, a highly configurable generator of benchmarks to be used by combinatorial test generators, empowering users to customize the type of benchmarks generated, including constraints and parameters, as well as their complexity. An initial version of such a tool has been used during the CT-Competition, held yearly during the International Workshop on Combinatorial Testing. This paper describes the requirements, the design, the implementation, and the validation of BenCIGen. Tests for the validation of BenCIGen are derived from its requirements by using a combinatorial interaction approach. Moreover, we demonstrate the tool's ability to generate benchmarks that reflect the characteristics of real software systems. BenCIGen not only facilitates the evaluation of existing generators but also serves as a valuable resource for researchers and practitioners seeking to enhance the quality and effectiveness of combinatorial testing methodologies.


title: COLA: COarse-LAbel multi-source LiDAR semantic segmentation for autonomous driving

abstract: LiDAR semantic segmentation for autonomous driving has been a growing field of interest in the past few years. Datasets and methods have appeared and expanded very quickly, but methods have not been updated to exploit this new availability of data and continue to rely on the same classical datasets. Different ways of performing LIDAR semantic segmentation training and inference can be divided into several subfields, which include the following: domain generalization, the ability to segment data coming from unseen domains ; source-to-source segmentation, the ability to segment data coming from the training domain; and pre-training, the ability to create re-usable geometric primitives. In this work, we aim to improve results in all of these subfields with the novel approach of multi-source training. Multi-source training relies on the availability of various datasets at training time and uses them together rather than relying on only one dataset. To overcome the common obstacles found for multi-source training, we introduce the coarse labels and call the newly created multi-source dataset COLA. We propose three applications of this new dataset that display systematic improvement over single-source strategies: COLA-DG for domain generalization (up to +10%), COLA-S2S for source-to-source segmentation (up to +5.3%), and COLA-PT for pre-training (up to +12%).


title: Topology Optimization for Microwave Control With Reconfigurable Intelligent Metasurfaces In Complex Media

abstract: Reconfigurable intelligent metasurfaces have been proposed as an efficient solution for improving wireless telecommunication systems in multiple scattering or reverberating media. Concurrently, topology optimization has been successfully employed as an inverse design technique in many fields, and particularly in electromagnetics. In this work, we apply a gradient-based topology optimization for tuning the binary elements of a metasurface for a focusing goal in a complex environment. First, the metasurface unit-cells are approximated as point sources and, then, the optimization problem is formulated. Afterwards, the proposed method is applied to find the optimal parameter sets on three distinct environments of an ascending complexity and the resulting focus for each case is demonstrated via simulations. The combination of reverberating cavity and a metasurface inside the latter reveals very powerful since everything can be solved analytically for focusing outside the cavity.


title: Optimal Control of Linear Cost Networks

abstract: We present a method for optimal control with respect to a linear cost function for positive linear systems with coupled input constraints. We show that the optimal cost function and resulting sparse state feedback for these systems can be computed by linear programming. Our framework admits a range of network routing problems with underlying linear dynamics. These dynamics can be used to model traditional graph-theoretical problems like shortest path as a special case, but can also capture more complex behaviors. We provide an asynchronous and distributed value iteration algorithm for obtaining the optimal cost function and control law.


title: Study the isomeric ratios in photonuclear experiments on the LUE-40 linac RDC "Accelerator" NSC KIPT

abstract: The results of the photoproduction of isomeric pairs from the ({\gamma},xn) and ({\gamma},pxn) reactions on nuclei from Zr up to Ta at the bremsstrahlung end-point energy range 30-100 MeV are systematized. Measurements were performed at the electron beam of the LUE-40 linac RDC "Accelerator" NSC KIPT using the activation method and off-line {\gamma}-ray spectrometric technique. The theoretical isomeric ratios IR for the nuclei-products of studied reactions were calculated using the cross-sections {\sigma}(E) from the TALYS1.95 code for six different level density models. The data from the international databases were additionally used to compare experimental results and theoretical predictions. The obtained results let us make conclusions about trends of values and energy dependence of IR in studied photonuclear reactions. Further directions of experimental research in the RDC "Accelerator" NSC KIPT are discussed.


title: Detecting agreement in multi-party dialogue: evaluating speaker diarisation versus a procedural baseline to enhance user engagement

abstract: Conversational agents participating in multi-party interactions face significant challenges in dialogue state tracking, since the identity of the speaker adds significant contextual meaning. It is common to utilise diarisation models to identify the speaker. However, it is not clear if these are accurate enough to correctly identify specific conversational events such as agreement or disagreement during a real-time interaction. This study uses a cooperative quiz, where the conversational agent acts as quiz-show host, to determine whether diarisation or a frequency-and-proximity-based method is more accurate at determining agreement, and whether this translates to feelings of engagement from the players. Experimental results show that our procedural system was more engaging to players, and was more accurate at detecting agreement, reaching an average accuracy of 0.44 compared to 0.28 for the diarised system.


title: Janus microswimmers are poor hydrodynamic mixers

abstract: The generation of fluid flows by autophoretic microswimmers has been proposed as a mechanism to enhance mass transport and mixing at the micro- and nanoscale. Here, we experimentally investigate the ability of model 2-D "active baths" of photocatalytic silica-titania Janus microspheres to enhance the diffusivity of tracer particles at different microswimmer densities below the onset of collective behaviour. Inspired by the similarities between our experimental findings and previous results for biological microorganisms, we then model our Janus microswimmers using a general squirmer framework, specifically treating them as neutral squirmers. The numerical simulations faithfully capture our observations, offer an insight into the microscopic mechanism underpinning tracer transport, and allow us to expand the parameter space beyond our experimental system. We find strong evidence that near-field interactions dominate enhancements in tracer diffusivity in active Janus baths, leading to the identification of an operating window for enhanced tracer transport by chemical microswimmers based on scaling arguments. Based on this argumentation, we suggest that for many chemically active colloidal systems, hydrodynamics alone is likely to be insufficient to induce appreciable mixing of passive components with large diffusion coefficients.


title: Transient RFI environment of LOFAR-LBA at 72-75 MHz: Impact on ultra-widefield AARTFAAC Cosmic Explorer observations of the redshifted 21-cm signal

abstract: Measurement of the redshifted 21-cm signal of neutral hydrogen from the Cosmic Dawn (CD) and Epoch of Reionisation (EoR) promises to unveil a wealth of information about the astrophysical processes during the first billion years of evolution of the universe. The AARTFAAC Cosmic Explorer (ACE) utilises the AARTFAAC wide-field imager of LOFAR to measure the power spectrum of the intensity fluctuations of the redshifted 21-cm signal from the CD at z~18. The RFI from various sources contaminates the observed data and it is crucial to exclude the RFI-affected data in the analysis for reliable detection. In this work, we investigate the impact of non-ground-based transient RFI using cross-power spectra and cross-coherence metrics to assess the correlation of RFI over time and investigate the level of impact of transient RFI on the ACE 21-cm power spectrum estimation. We detected moving sky-based transient RFI sources that cross the field of view within a few minutes and appear to be mainly from aeroplane communication beacons at the location of the LOFAR core in the 72-75 MHz band, by inspecting filtered images. This transient RFI is mostly uncorrelated over time and is only expected to dominate over the thermal noise for an extremely deep integration time of 3000 hours or more with a hypothetical instrument that is sky temperature dominated at 75 MHz. We find no visible correlation over different k-modes in Fourier space in the presence of noise for realistic thermal noise scenarios. We conclude that the sky-based transient RFI from aeroplanes, satellites and meteorites at present does not pose a significant concern for the ACE analyses at the current level of sensitivity and after integrating over the available 500 hours of observed data. However, it is crucial to mitigate or filter such transient RFI for more sensitive experiments aiming for significantly deeper integration.


title: Non Deterministic Pseudorandom Generator for Quantum Key Distribution

abstract: Quantum Key Distribution(QKD) thrives to achieve perfect secrecy of One time Pad (OTP) through quantum processes. One of the crucial components of QKD are Quantum Random Number Generators(QRNG) for generation of keys. Unfortunately, these QRNG does not immediately produce usable bits rather it produces raw bits with high entropy but low uniformity which can be hardly used by any cryptographic system. A lot of pre-processing is required before the random numbers generated by QRNG to be usable. This causes a bottle neck in random number generation rate as well as QKD system relying on it. To avoid this lacuna of post-processing methods employed as a central part of Quantum Random Number Generators alternative approaches that satisfy the entropy(non determinism) and quantum security is explored. Pseudorandom generators based on quantum secure primitives could be an alternative to the post-processing problem as PRNGs are way more faster than any random number generator employing physical randomness (quantum mechanical process in QRNG) as well as it can provide uniform bits required for cryptography application. In this work we propose a pseudorandom generator based on post quantum primitives. The central theme of this random number generator is designing PRNG with non deterministic entropy generated through hard lattice problem - Learning with errors. We leverage the non determinism by Gaussian errors of LWE to construct non-deterministic PRNG satisfying the entropy requirement of QKD. Further, the paper concludes by evaluating the PRNG through Die-Harder Test.


title: Nucleonic models at finite temperature with in-medium effective fields

abstract: We perform a calculation of dense and hot nuclear matter where the mean interaction between nucleons is described by in-medium effective fields and where we employ analytical approximations of the Fermi integrals. We generalize a previous work where we have addressed the case of the Fermi gas model with in-medium effective mass. In the present work, we fully treat the in-medium interaction by considering both its contribution to the in-medium effective fields, which can be subsumed by the mass in some cases, and to the potential term. Our formalism is general and could be applied to relativistic and nonrelativistic approaches. It is illustrated for different popular models -- Skyrme, nonlinear, and density-dependent relativistic mean-field models --, but also for the metamodel, and it provides a clear understanding of the in-medium correction to the pressure, which is present in the case of the Skyrme and metamodel but is not for the relativistic ones. For the Fermi integrals, we compare the analytical approximation to the, so-called, ``exact'' numerical calculations in order to quantitatively estimate the accuracy of the approximation.


title: Detecting Agreement in Multi-party Conversational AI

abstract: Today, conversational systems are expected to handle conversations in multi-party settings, especially within Socially Assistive Robots (SARs). However, practical usability remains difficult as there are additional challenges to overcome, such as speaker recognition, addressee recognition, and complex turn-taking. In this paper, we present our work on a multi-party conversational system, which invites two users to play a trivia quiz game. The system detects users' agreement or disagreement on a final answer and responds accordingly. Our evaluation includes both performance and user assessment results, with a focus on detecting user agreement. Our annotated transcripts and the code for the proposed system have been released open-source on GitHub.


title: Interplay of crystal symmetries and light's topology in high harmonic spectroscopy

abstract: Structured ultrafast laser beams offer unique opportunities to explore the interplay of the angular momentum of light with matter at the femtosecond scale. Linearly polarized vector beams are paradigmatic examples of structured beams whose topology is characterized by a well-defined Poincar\'e index. It has been demonstrated that the Poincar\'e index is a topological invariant during high-order harmonic generation from isotropic targets, such as noble gases. As a result, harmonics are produced as extreme-ultraviolet vector beams, with the same topology as the driver. We demonstrate that this simple conservation rule does not apply to crystalline solids, characterized by their anisotropic non-linear response to the driving excitation. In this context, we identify the topological properties of the harmonic field as unique probes, sensitive to both the microscopic and macroscopic features of the target's complex non-linear response. Our simulations, performed in single-layer graphene but extendable to other solid targets, show that the harmonic field is split into a multi-beam structure whose topology -- different from that of the driver -- encodes information about laser-driven electronic dynamics. Our work opens the route towards using the topological analysis of the high-order harmonic field as a novel spectroscopic tool to reveal the coupling of light and target symmetries in the non-linear response of matter.


title: A cosmic glitch in gravity

abstract: We investigate a model that modifies general relativity on cosmological scales, specifically by having a `glitch' in the gravitational constant between the cosmological (super-horizon) and Newtonian (sub-horizon) regimes, as motivated e.g. in the Ho\v{r}ava-Lifshitz proposal or in the Einstein-aether framework. This gives a single-parameter extension to the standard $\Lambda$CDM model, which is equivalent to adding a dark energy component, but where the energy density of this component can have either sign. Fitting to data from the Planck satellite, we find that negative contributions are, in fact, preferred. Additionally, we find that roughly one percent weaker superhorizon gravity can somewhat ease the Hubble and clustering tensions in a range of cosmological observations, although at the expense of spoiling fits to the baryonic acoustic oscillation scale in galaxy surveys. Therefore, the extra parametric freedom offered by our model deserves further exploration, and we discuss how future observations may elucidate this potential cosmic glitch in gravity, through a four-fold reduction in statistical uncertainties.


title: Obstacle- and Occlusion-Responsive Visual Tracking Control for Redundant Manipulators using Reachability Measure

abstract: A vision system attached to a manipulator excels at tracing a moving target object while effectively handling obstacles, overcoming limitations arising from the camera's confined field of view and occluded line of sight. Meanwhile, the manipulator may encounter certain challenges, including restricted motion due to kinematic constraints and the risk of colliding with external obstacles. These challenges are typically addressed by assigning multiple task objectives to the manipulator. However, doing so can cause an increased risk of driving the manipulator to its kinematic limits, leading to failures in object tracking or obstacle avoidance. To address this issue, we propose a novel visual tracking control method for a redundant manipulator that takes the kinematic constraints into account via a reachability measure. Our method employs an optimization-based controller that considers object tracking, occlusion avoidance, collision avoidance, and the kinematic constraints represented by the reachability measure. Subsequently, it determines a suitable joint configuration through real-time inverse kinematics, accounting for dynamic obstacle avoidance and the continuity of joint configurations. To validate our approach, we conducted simulations and hardware experiments involving a moving target and dynamic obstacles. The results of our evaluations highlight the significance of incorporating the reachability measure.


title: Resilient Mobile Multi-Target Surveillance Using Multi-Hop Autonomous UAV Networks for Extended Lifetime

abstract: Cooperative utilization of Unmanned Aerial Vehicles (UAVs) in public and military surveillance applications has attracted significant attention in recent years. Most UAVs are equipped with sensors that have bounded coverage and wireless communication equipment with limited range. Such limitations pose challenging problems to monitor mobile targets. This paper examines fulfilling surveillance objectives to achieve better coverage while building a resilient network between UAVs with an extended lifetime. The multiple target tracking problem is studied by including a relay UAV within the fleet whose trajectory is autonomously calculated in order to achieve a reliable connected network among all UAVs. Optimization problems are formulated for single-hop and multi-hop communications among UAVs. Three heuristic algorithms are proposed for multi-hop communications and their performances are evaluated. A hybrid algorithm, which dynamically switches between single-hop and multi-hop communications is also proposed. The effect of the time horizon considered in the optimization problem is studied. Performance evaluation results show that the trajectories generated for the relay UAV by the hybrid algorithm can achieve network lifetimes that are within 5% of the maximum possible network lifetime which can be obtained if the entire trajectories of all targets were known a priori.


title: The O(N) Monolith reloaded: Sum rules and Form Factor Bootstrap

abstract: We revisit the space of gapped quantum field theories with a global O(N) symmetry in two spacetime dimensions. Previous works using S-matrix bootstrap revealed a rich space in which integrable theories such as the non-linear sigma model appear at special points on the boundary, along with an abundance of unknown models hinting at a non conventional UV behaviour. We extend the S-matrix set-up by including into the bootstrap form factors and spectral functions for the stress-energy tensor and conserved O(N) currents. Sum rules allow us to put bounds on the central charges of the conformal field theory (CFT) in the UV. We find that a big portion of the boundary can only flow from CFTs with infinite central charges. We track this result down to a particular behaviour of the amplitudes in physical kinematics and discuss its physical implications.


title: Reconfigurable, Transformable Soft Pneumatic Actuator with Tunable 3D Deformations for Dexterous Soft Robotics Applications

abstract: Numerous soft actuators based on PneuNet design have already been proposed and extensively employed across various soft robotics applications in recent years. Despite their widespread use, a common limitation of most existing designs is that their action is pre-determined during the fabrication process, thereby restricting the ability to modify or alter their function during operation. To address this shortcoming, in this article the design of a Reconfigurable, Transformable Soft Pneumatic Actuator (RT-SPA) is proposed. The working principle of the RT-SPA is analogous to the conventional PneuNet. The key distinction between the two lies in the ability of the RT-SPA to undergo controlled transformations, allowing for more versatile bending and twisting motions in various directions. Furthermore, the unique reconfigurable design of the RT-SPA enables the selection of actuation units with different sizes to achieve a diverse range of three-dimensional deformations. This versatility enhances the potential of the RT-SPA for adaptation to a multitude of tasks and environments, setting it apart from traditional PneuNet. The paper begins with a detailed description of the design and fabrication of the RT-SPA. Following this, a series of experiments are conducted to evaluate the performance of the RT-SPA. Finally, the abilities of the RT-SPA for locomotion, gripping, and object manipulation are demonstrated to illustrate the versatility of the RT-SPA across different aspects.


title: Beyond Words: A Mathematical Framework for Interpreting Large Language Models

abstract: Large language models (LLMs) are powerful AI tools that can generate and comprehend natural language text and other complex information. However, the field lacks a mathematical framework to systematically describe, compare and improve LLMs. We propose Hex a framework that clarifies key terms and concepts in LLM research, such as hallucinations, alignment, self-verification and chain-of-thought reasoning. The Hex framework offers a precise and consistent way to characterize LLMs, identify their strengths and weaknesses, and integrate new findings. Using Hex, we differentiate chain-of-thought reasoning from chain-of-thought prompting and establish the conditions under which they are equivalent. This distinction clarifies the basic assumptions behind chain-of-thought prompting and its implications for methods that use it, such as self-verification and prompt programming. Our goal is to provide a formal framework for LLMs that can help both researchers and practitioners explore new possibilities for generative AI. We do not claim to have a definitive solution, but rather a tool for opening up new research avenues. We argue that our formal definitions and results are crucial for advancing the discussion on how to build generative AI systems that are safe, reliable, fair and robust, especially in domains like healthcare and software engineering.


title: Byzantine Consensus in Abstract MAC Layer

abstract: This paper studies the design of Byzantine consensus algorithms in an \textit{asynchronous }single-hop network equipped with the "abstract MAC layer" [DISC09], which captures core properties of modern wireless MAC protocols. Newport [PODC14], Newport and Robinson [DISC18], and Tseng and Zhang [PODC22] study crash-tolerant consensus in the model. In our setting, a Byzantine faulty node may behave arbitrarily, but it cannot break the guarantees provided by the underlying abstract MAC layer. To our knowledge, we are the first to study Byzantine faults in this model. We harness the power of the abstract MAC layer to develop a Byzantine approximate consensus algorithm and a Byzantine randomized binary consensus algorithm. Both of our algorithms require \textit{only} the knowledge of the upper bound on the number of faulty nodes $f$, and do \textit{not} require the knowledge of the number of nodes $n$. This demonstrates the "power" of the abstract MAC layer, as consensus algorithms in traditional message-passing models require the knowledge of \textit{both} $n$ and $f$. Additionally, we show that it is necessary to know $f$ in order to reach consensus. Hence, from this perspective, our algorithms require the minimal knowledge. The lack of knowledge of $n$ brings the challenge of identifying a quorum explicitly, which is a common technique in traditional message-passing algorithms. A key technical novelty of our algorithms is to identify "implicit quorums" which have the necessary information for reaching consensus. The quorums are implicit because nodes do not know the identity of the quorums -- such notion is only used in the analysis.


title: GTP-ViT: Efficient Vision Transformers via Graph-based Token Propagation

abstract: Vision Transformers (ViTs) have revolutionized the field of computer vision, yet their deployments on resource-constrained devices remain challenging due to high computational demands. To expedite pre-trained ViTs, token pruning and token merging approaches have been developed, which aim at reducing the number of tokens involved in the computation. However, these methods still have some limitations, such as image information loss from pruned tokens and inefficiency in the token-matching process. In this paper, we introduce a novel Graph-based Token Propagation (GTP) method to resolve the challenge of balancing model efficiency and information preservation for efficient ViTs. Inspired by graph summarization algorithms, GTP meticulously propagates less significant tokens' information to spatially and semantically connected tokens that are of greater importance. Consequently, the remaining few tokens serve as a summarization of the entire token graph, allowing the method to reduce computational complexity while preserving essential information of eliminated tokens. Combined with an innovative token selection strategy, GTP can efficiently identify image tokens to be propagated. Extensive experiments have validated GTP's effectiveness, demonstrating both efficiency and performance improvements. Specifically, GTP decreases the computational complexity of both DeiT-S and DeiT-B by up to 26% with only a minimal 0.3% accuracy drop on ImageNet-1K without finetuning, and remarkably surpasses the state-of-the-art token merging method on various backbones at an even faster inference speed. The source code is available at https://github.com/Ackesnal/GTP-ViT.


title: On regularized polynomial functional regression

abstract: This article offers a comprehensive treatment of polynomial functional regression, culminating in the establishment of a novel finite sample bound. This bound encompasses various aspects, including general smoothness conditions, capacity conditions, and regularization techniques. In doing so, it extends and generalizes several findings from the context of linear functional regression as well. We also provide numerical evidence that using higher order polynomial terms can lead to an improved performance.


title: Validity problems in clinical machine learning by indirect data labeling using consensus definitions

abstract: We demonstrate a validity problem of machine learning in the vital application area of disease diagnosis in medicine. It arises when target labels in training data are determined by an indirect measurement, and the fundamental measurements needed to determine this indirect measurement are included in the input data representation. Machine learning models trained on this data will learn nothing else but to exactly reconstruct the known target definition. Such models show perfect performance on similarly constructed test data but will fail catastrophically on real-world examples where the defining fundamental measurements are not or only incompletely available. We present a general procedure allowing identification of problematic datasets and black-box machine learning models trained on them, and exemplify our detection procedure on the task of early prediction of sepsis.


title: Cross-section of the ${^{95\rm}\rm{Nb}}$ production on natural molybdenum at the bremsstrahlung end-point energy up to 95 MeV

abstract: The photoproduction of $^{95\rm m}$Nb on ${^{\rm nat}\rm{Mo}}$ was studied using the electron beam of the LUE-40 linac RDC "Accelerator" NSC KIPT. Measurements were performed using activation and off-line $\gamma$-ray spectrometric techniques. The experimental flux-averaged cross-section $\langle{\sigma(E_{\rm{\gamma max}})}\rangle_{\rm{m}}$ for the ${^{\rm nat}\rm{Mo}}(\gamma,x\rm np)^{95\rm m}$Nb reaction at the bremsstrahlung end-point energy range of 38--93 MeV has been first time obtained. The estimated values $\langle{\sigma(E_{\rm{\gamma max}})}\rangle_{\rm{g}}$ for the formation of $^{95}$Nb in the ground state and total cross-sections $\langle{\sigma(E_{\rm{\gamma max}})}\rangle_{\rm{tot}}$ for the studied reaction were determined. The theoretical values of the yields $Y_{\rm m,g,tot}(E_{\rm{\gamma max}})$ and flux-averaged cross-sections $\langle{\sigma(E_{\rm{\gamma max}})}\rangle_{\rm{m,g,tot}}$ for the ${^{\rm nat}\rm{Mo}}(\gamma,x\rm np)^{95\rm m,g,tot}$Nb reactions were calculated using the cross-sections $\sigma(E)$ from the TALYS1.95 code for six different level density models. The comparison showed a significant excess of the experimental results over the theoretical $\langle{\sigma(E_{\rm{\gamma max}})}\rangle_{\rm{m,g,tot}}$ values.


title: Bridging the gap between agent based models and continuous opinion dynamics

abstract: There is a rich literature on microscopic models for opinion dynamics; most of them fall into one of two categories - agent-based models or differential equation models - with a general understanding that the two are connected in certain scaling limits. In this paper we show rigorously this is indeed the case. In particular we show that DEMs can be obtained from ABMs by simultaneously rescaling time and the distance an agent updates their opinion after an interaction. This approach provides a pathway to analyse much more diverse modelling paradigms, for example: the motivation behind several possible multiplicative noise terms in stochastic differential equation models; the connection between selection noise and the mollification of the discontinuous bounded confidence interaction function; and how the method for selecting interacting pairs can determine the normalisation in the corresponding differential equation. Our computational experiments confirm our findings, showing excellent agreement of solutions to the two classes of models in a variety of settings.


title: Grouping Local Process Models

abstract: In recent years, process mining emerged as a proven technology to analyze and improve operational processes. An expanding range of organizations using process mining in their daily operation brings a broader spectrum of processes to be analyzed. Some of these processes are highly unstructured, making it difficult for traditional process discovery approaches to discover a start-to-end model describing the entire process. Therefore, the subdiscipline of Local Process Model (LPM) discovery tries to build a set of LPMs, i.e., smaller models that explain sub-behaviors of the process. However, like other pattern mining approaches, LPM discovery algorithms also face the problems of model explosion and model repetition, i.e., the algorithms may create hundreds if not thousands of models, and subsets of them are close in structure or behavior. This work proposes a three-step pipeline for grouping similar LPMs using various process model similarity measures. We demonstrate the usefulness of grouping through a real-life case study, and analyze the impact of different measures, the gravity of repetition in the discovered LPMs, and how it improves after grouping on multiple real event logs.


title: On the unitary representation theory of locally compact contraction groups

abstract: The unitary representation theory of locally compact contraction groups and their semi-direct products with $\mathbb{Z}$ is studied. We put forward the problem of completely characterising such groups which are type I or CCR and this article provides a stepping stone towards a solution to this problem. In particular, we determine new examples of type I and non-type-I groups in this class, and we completely classify the irreducible unitary representations of the torsion-free groups, which are shown to be type I. When these groups are totally disconnected, they admit a faithful action by automorphisms on an infinite locally-finite regular tree; this work thus provides new examples of automorphism groups of regular trees with interesting representation theory, adding to recent work on this topic.


title: Progress in the Partial-Wave Analysis Methods at COMPASS

abstract: We study the excitation spectrum of light and strange mesons in diffractive scattering. We identify different hadron resonances through partial wave analysis, which inherently relies on analysis models. Besides statistical uncertainties, the model dependence of the analysis introduces dominant systematic uncertainties. We discuss several of their sources for the $\pi^-\pi^-\pi^+$ and $K^0_S K^-$ final states and present methods to reduce them. We have developed a new approach exploiting a-priori knowledge of signal continuity over adjacent final-state-mass bins to stably fit a large pool of partial-waves to our data, allowing a clean identification of very small signals in our large data sets. For two-body final states of scalar particles, such as $K^0_S K^-$, mathematical ambiguities in the partial-wave decomposition lead to the same intensity distribution for different combinations of amplitude values. We will discuss these ambiguities and present solutions to resolve or at least reduce the number of possible solutions. Resolving these issues will allow for a complementary analysis of the $a_J$-like resonance sector in these two final states.


title: Topological phases of many-body non-Hermitian systems

abstract: We show that many-body fermionic non-Hermitian systems require two distinct sets of topological invariants to describe the topology of energy bands and quantum states respectively, with the latter yet to be explored. We identify 10 symmetry classes -- determined by particle-hole, linearized time-reversal, and linearized chiral symmetries. Each class has topological invariant associated with each dimension, dictating the topology of quantum states. These findings pave the way for deeper understanding of the topological phases of many-body non-Hermitian systems.


title: Reinforcement Learning for Inverse Linear-quadratic Dynamic Non-cooperative Games

abstract: In this paper, we address the inverse problem in the case of linear-quadratic discrete-time dynamic non-cooperative games. Given feedback laws of players that are known to be a Nash equilibrium pair for a discrete-time linear system, we want find cost function parameters for which the observed feedback laws are optimal and stabilizing. Using the given feedback laws, we introduce a model-based algorithm that generates cost function parameters solving the problem. We provide theoretical results that guarantee the convergence and stability of the algorithm as well as the way to generate new games with necessary properties without requiring to run the complete algorithm repeatedly . Then the algorithm is extended to a model-free version that uses data samples generated by unknown dynamics and has the same properties as the model-based version. Simulation results validate the effectiveness of the proposed algorithms.


title: Lipschitz cutset for fractal graphs and applications to the spread of infections

abstract: We consider the fractal Sierpi\'{n}ski gasket or carpet graph in dimension $d\geq 2,$ denoted by $G$. At time $0$, we place a Poisson point process of particles onto the graph and let them perform independent simple random walks, which in this setting exhibit sub-diffusive behaviour. We generalise the concept of particle process dependent Lipschitz percolation to the (coarse graining of the) space-time graph $G\times \mathbb{R}$, where the opened/closed state of space-time cells is measurable with respect to the particle process inside the cell. We then provide an application of this generalised framework and prove the following: if particles can spread an infection when they share a site of $G$, and if they recover independently at some rate $\gamma>0$, then if $\gamma$ is sufficiently small, the infection started with a single infected particle survives indefinitely with positive probability.


title: Antenna Positioning and Beamforming Design for Fluid-Antenna Enabled Multi-user Downlink Communications

abstract: This paper investigates a multiple input single output (MISO) downlink communication system in which users are equipped with fluid antennas (FAs). First, we adopt a field-response based channel model to characterize the downlink channel with respect to FAs' positions. Then, we aim to minimize the total transmit power by jointly optimizing the FAs' positions and beamforming matrix. To solve the resulting non-convex problem, we employ an alternating optimization (AO) algorithm based on penalty method and successive convex approximation (SCA) to obtain a sub-optimal solution. Numerical results demonstrate that the FA-assisted communication system performs better than conventional fixed position antennas system.


title: Hole spin coherence in InAs/InAlGaAs self-assembled quantum dots emitting at telecom wavelengths

abstract: We report measurements of the longitudinal and transverse spin relaxation times of holes in an ensemble of self-assembled InAs/InAlGaAs quantum dots (QDs), emitting in the telecom spectral range. The spin coherence of a single carrier is determined using spin mode-locking in the inhomogeneous ensemble of QDs. Modeling the signal allows us to extract the hole spin coherence time to be in the range of T$_2 = 0.02-0.4$ $\mu$s. The longitudinal spin relaxation time T$_1 = 0.5$ $\mu$s is measured using the spin inertia method.


title: Modelling cross-correlations of ultra-high-energy cosmic rays and galaxies

abstract: The astrophysical engines that power ultra-high-energy cosmic rays (UHECRs) remain to date unknown. Since the propagation horizon of UHECRs is limited to the local, anisotropic Universe, the distribution of UHECR arrival directions should be anisotropic. In this paper we expand the analysis of the potential for the angular, harmonic cross-correlation between UHECRs and galaxies to detect such anisotropies. We do so by studying simulations performed assuming proton, oxygen and silicon injection models, each simulation containing a number of events comparable to a conservative estimate of currently available datasets, as well as by extending the analytic treatment of the magnetic deflections. Quantitatively, we find that, while the correlations for each given multipole are generally weak, (1) the total harmonic power summed over multipoles is detectable with signal-to-noise ratios well above~5 for both the auto-correlation and the cross-correlation (once optimal weights are applied) in most cases studied here, with peaks of signal-to-noise ratio around between~8 and~10 at the highest energies; (2) if we combine the UHECR auto-correlation and the cross-correlation we are able to reach detection levels of (3\sigma) and above for individual multipoles at the largest scales, especially for heavy composition. In particular, we predict that the combined-analysis quadrupole could be detected already with existing data.


title: Arboricity and Acyclic Chromatic Number

abstract: A theorem of Hakimi, Mitchem and Schmeichel from 1996 states that the edge arboricity arb(G) of a graph is bounded above by the acyclic chromatic number acy(G). We can improve this HMS inequality by 1, if acy(G) is even. We review also results about acyclic chromatic numbers in the context of a Gr\"unbaum conjecture from 1973.


title: Modelling of spacecraft apparent brightness: a study on OneWeb constellation satellites

abstract: Artificial satellites orbiting around the Earth, under certain conditions, result to be visible even to the naked eye. The phenomenon of light pollution jeopardises the researching activities of the astronomical community: traces left by the objects are clear and evident and images for scientific purposes are damaged and deteriorated. The development of a mathematical model able to estimate the satellite's brightness is required and it represents a first step to catch all the aspects of the reflection phenomenon. The brightness model (by Politecnico di Milano) will be exploited to implement a realistic simulation of the apparent magnitude evolution and it could be used to develop an archetype of new-generation spacecraft at low light-pollution impact. Starting from classical photometry theory, which provides the expressions of radiant flux density of natural spherical bodies, the global laws describing flux densities and the associated apparent magnitude are exploited to generalise the analysis. The study is finally focused on three-dimensional objects of whatever shape which can be the best representation of the spacecraft geometry. To obtain representative results of the satellite brightness, a validation process has been carried on. The observation data of OneWeb satellites have been collected by GAL Hassin astronomical observatory, settled in Isnello, near Palermo. The observations were carried out in order to map the satellites brightness at various illumination conditions, also targeting a single satellite across its different positions on the sky (i.e., during its rise, culmination and setting).


title: Coulomb impurities in graphene driven by ultrashort electromagnetic pulses: Excitation, ionization, and pair creation

abstract: We provide a theory for electronic transitions induced by ultrashort electromagnetic pulses in two-dimensional artificial relativistic atoms which are created by a charged impurity in a gapped graphene monolayer. Using a non-perturbative sudden-perturbation approximation, we derive and discuss analytical expressions for the probabilities for excitation, ionization and electron-hole pair creation in this system.


title: MixUp-MIL: A Study on Linear & Multilinear Interpolation-Based Data Augmentation for Whole Slide Image Classification

abstract: For classifying digital whole slide images in the absence of pixel level annotation, typically multiple instance learning methods are applied. Due to the generic applicability, such methods are currently of very high interest in the research community, however, the issue of data augmentation in this context is rarely explored. Here we investigate linear and multilinear interpolation between feature vectors, a data augmentation technique, which proved to be capable of improving the generalization performance classification networks and also for multiple instance learning. Experiments, however, have been performed on only two rather small data sets and one specific feature extraction approach so far and a strong dependence on the data set has been identified. Here we conduct a large study incorporating 10 different data set configurations, two different feature extraction approaches (supervised and self-supervised), stain normalization and two multiple instance learning architectures. The results showed an extraordinarily high variability in the effect of the method. We identified several interesting aspects to bring light into the darkness and identified novel promising fields of research.


title: Masking Hyperspectral Imaging Data with Pretrained Models

abstract: The presence of undesired background areas associated with potential noise and unknown spectral characteristics degrades the performance of hyperspectral data processing. Masking out unwanted regions is key to addressing this issue. Processing only regions of interest yields notable improvements in terms of computational costs, required memory, and overall performance. The proposed processing pipeline encompasses two fundamental parts: regions of interest mask generation, followed by the application of hyperspectral data processing techniques solely on the newly masked hyperspectral cube. The novelty of our work lies in the methodology adopted for the preliminary image segmentation. We employ the Segment Anything Model (SAM) to extract all objects within the dataset, and subsequently refine the segments with a zero-shot Grounding Dino object detector, followed by intersection and exclusion filtering steps, without the need for fine-tuning or retraining. To illustrate the efficacy of the masking procedure, the proposed method is deployed on three challenging applications scenarios that demand accurate masking; shredded plastics characterization, drill core scanning, and litter monitoring. The numerical evaluation of the proposed masking method on the three applications is provided along with the used hyperparameters. The scripts for the method will be available at https://github.com/hifexplo/Masking.


title: AnyText: Multilingual Visual Text Generation And Editing

abstract: Diffusion model based Text-to-Image has achieved impressive achievements recently. Although current technology for synthesizing images is highly advanced and capable of generating images with high fidelity, it is still possible to give the show away when focusing on the text area in the generated image. To address this issue, we introduce AnyText, a diffusion-based multilingual visual text generation and editing model, that focuses on rendering accurate and coherent text in the image. AnyText comprises a diffusion pipeline with two primary elements: an auxiliary latent module and a text embedding module. The former uses inputs like text glyph, position, and masked image to generate latent features for text generation or editing. The latter employs an OCR model for encoding stroke data as embeddings, which blend with image caption embeddings from the tokenizer to generate texts that seamlessly integrate with the background. We employed text-control diffusion loss and text perceptual loss for training to further enhance writing accuracy. AnyText can write characters in multiple languages, to the best of our knowledge, this is the first work to address multilingual visual text generation. It is worth mentioning that AnyText can be plugged into existing diffusion models from the community for rendering or editing text accurately. After conducting extensive evaluation experiments, our method has outperformed all other approaches by a significant margin. Additionally, we contribute the first large-scale multilingual text images dataset, AnyWord-3M, containing 3 million image-text pairs with OCR annotations in multiple languages. Based on AnyWord-3M dataset, we propose AnyText-benchmark for the evaluation of visual text generation accuracy and quality. Our project will be open-sourced on https://github.com/tyxsspa/AnyText to improve and promote the development of text generation technology.


title: DRAUC: An Instance-wise Distributionally Robust AUC Optimization Framework

abstract: The Area Under the ROC Curve (AUC) is a widely employed metric in long-tailed classification scenarios. Nevertheless, most existing methods primarily assume that training and testing examples are drawn i.i.d. from the same distribution, which is often unachievable in practice. Distributionally Robust Optimization (DRO) enhances model performance by optimizing it for the local worst-case scenario, but directly integrating AUC optimization with DRO results in an intractable optimization problem. To tackle this challenge, methodically we propose an instance-wise surrogate loss of Distributionally Robust AUC (DRAUC) and build our optimization framework on top of it. Moreover, we highlight that conventional DRAUC may induce label bias, hence introducing distribution-aware DRAUC as a more suitable metric for robust AUC learning. Theoretically, we affirm that the generalization gap between the training loss and testing error diminishes if the training set is sufficiently large. Empirically, experiments on corrupted benchmark datasets demonstrate the effectiveness of our proposed method. Code is available at: https://github.com/EldercatSAM/DRAUC.


title: LitSumm: Large language models for literature summarisation of non-coding RNAs

abstract: Motivation: Curation of literature in life sciences is a growing challenge. The continued increase in the rate of publication, coupled with the relatively fixed number of curators worldwide presents a major challenge to developers of biomedical knowledgebases. Very few knowledgebases have resources to scale to the whole relevant literature and all have to prioritise their efforts. Results: In this work, we take a first step to alleviating the lack of curator time in RNA science by generating summaries of literature for non-coding RNAs using large language models (LLMs). We demonstrate that high-quality, factually accurate summaries with accurate references can be automatically generated from the literature using a commercial LLM and a chain of prompts and checks. Manual assessment was carried out for a subset of summaries, with the majority being rated extremely high quality. We also applied the most commonly used automated evaluation approaches, finding that they do not correlate with human assessment. Finally, we apply our tool to a selection of over 4,600 ncRNAs and make the generated summaries available via the RNAcentral resource. We conclude that automated literature summarization is feasible with the current generation of LLMs, provided careful prompting and automated checking are applied. Availability: Code used to produce these summaries can be found here: https://github.com/RNAcentral/litscan-summarization and the dataset of contexts and summaries can be found here: https://huggingface.co/datasets/RNAcentral/litsumm-v1. Summaries are also displayed on the RNA report pages in RNAcentral (https://rnacentral.org/)


title: GLEN: Generative Retrieval via Lexical Index Learning

abstract: Generative retrieval shed light on a new paradigm of document retrieval, aiming to directly generate the identifier of a relevant document for a query. While it takes advantage of bypassing the construction of auxiliary index structures, existing studies face two significant challenges: (i) the discrepancy between the knowledge of pre-trained language models and identifiers and (ii) the gap between training and inference that poses difficulty in learning to rank. To overcome these challenges, we propose a novel generative retrieval method, namely Generative retrieval via LExical iNdex learning (GLEN). For training, GLEN effectively exploits a dynamic lexical identifier using a two-phase index learning strategy, enabling it to learn meaningful lexical identifiers and relevance signals between queries and documents. For inference, GLEN utilizes collision-free inference, using identifier weights to rank documents without additional overhead. Experimental results prove that GLEN achieves state-of-the-art or competitive performance against existing generative retrieval methods on various benchmark datasets, e.g., NQ320k, MS MARCO, and BEIR. The code is available at https://github.com/skleee/GLEN.


title: Zero-shot Bilingual App Reviews Mining with Large Language Models

abstract: App reviews from app stores are crucial for improving software requirements. A large number of valuable reviews are continually being posted, describing software problems and expected features. Effectively utilizing user reviews necessitates the extraction of relevant information, as well as their subsequent summarization. Due to the substantial volume of user reviews, manual analysis is arduous. Various approaches based on natural language processing (NLP) have been proposed for automatic user review mining. However, the majority of them requires a manually crafted dataset to train their models, which limits their usage in real-world scenarios. In this work, we propose Mini-BAR, a tool that integrates large language models (LLMs) to perform zero-shot mining of user reviews in both English and French. Specifically, Mini-BAR is designed to (i) classify the user reviews, (ii) cluster similar reviews together, (iii) generate an abstractive summary for each cluster and (iv) rank the user review clusters. To evaluate the performance of Mini-BAR, we created a dataset containing 6,000 English and 6,000 French annotated user reviews and conducted extensive experiments. Preliminary results demonstrate the effectiveness and efficiency of Mini-BAR in requirement engineering by analyzing bilingual app reviews. (Replication package containing the code, dataset, and experiment setups on https://github.com/Jl-wei/mini-bar )


title: Maximal Consistent Subsystems of Max-T Fuzzy Relational Equations

abstract: In this article, we study the inconsistency of a system of $\max-T$ fuzzy relational equations of the form $A \Box_{T}^{\max} x = b$, where $T$ is a t-norm among $\min$, the product or Lukasiewicz's t-norm. For an inconsistent $\max-T$ system, we directly construct a canonical maximal consistent subsystem (w.r.t the inclusion order). The main tool used to obtain it is the analytical formula which compute the Chebyshev distance $\Delta = \inf_{c \in \mathcal{C}} \Vert b - c \Vert$ associated to the inconsistent $\max-T$ system, where $\mathcal{C}$ is the set of second members of consistent systems defined with the same matrix $A$. Based on the same analytical formula, we give, for an inconsistent $\max-\min$ system, an efficient method to obtain all its consistent subsystems, and we show how to iteratively get all its maximal consistent subsystems.


title: Proposal for Observing Nonclassicality in Highly Excited Mechanical Oscillators by Single Photon Detection

abstract: The preparation of pure quantum states with high degrees of macroscopicity is a central goal of ongoing experimental efforts to control quantum systems. We present a state preparation protocol which renders a mechanical oscillator with an arbitrarily large coherent amplitude in a manifestly nonclassical state. The protocol relies on coherent state preparation followed by a projective measurement of a single Raman scattered photon, making it particularly suitable for cavity optomechanics. The nonclassicality of the state is reflected by sub-Poissonian phonon statistics, which can be accessed by measuring the statistics of subsequently emitted Raman sideband photons. The proposed protocol would facilitate the observation of nonclassicality of a mechanical oscillator that moves macroscopically relative to motion at the single-phonon level.


title: Learned layered coding for Successive Refinement in the Wyner-Ziv Problem

abstract: We propose a data-driven approach to explicitly learn the progressive encoding of a continuous source, which is successively decoded with increasing levels of quality and with the aid of correlated side information. This setup refers to the successive refinement of the Wyner-Ziv coding problem. Assuming ideal Slepian-Wolf coding, our approach employs recurrent neural networks (RNNs) to learn layered encoders and decoders for the quadratic Gaussian case. The models are trained by minimizing a variational bound on the rate-distortion function of the successively refined Wyner-Ziv coding problem. We demonstrate that RNNs can explicitly retrieve layered binning solutions akin to scalable nested quantization. Moreover, the rate-distortion performance of the scheme is on par with the corresponding monolithic Wyner-Ziv coding approach and is close to the rate-distortion bound.


title: Imaging through multimode fibres with physical prior

abstract: Imaging through perturbed multimode fibres based on deep learning has been widely researched. However, existing methods mainly use target-speckle pairs in different configurations. It is challenging to reconstruct targets without trained networks. In this paper, we propose a physics-assisted, unsupervised, learning-based fibre imaging scheme. The role of the physical prior is to simplify the mapping relationship between the speckle pattern and the target image, thereby reducing the computational complexity. The unsupervised network learns target features according to the optimized direction provided by the physical prior. Therefore, the reconstruction process of the online learning only requires a few speckle patterns and unpaired targets. The proposed scheme also increases the generalization ability of the learning-based method in perturbed multimode fibres. Our scheme has the potential to extend the application of multimode fibre imaging.


title: Multi-Step Optimal Tracking Control of Unknown Nonzero-Sum Games based on Least Squares and Linear Programming: An Application to a Fully-Automated, Dual-Hormone Artificial Pancreas

abstract: We consider the problem of optimal tracking control of unknown discrete-time nonlinear nonzero-sum games. The related state-of-art literature is mostly focused on Policy Iteration algorithms and multiple neural network approximation, which may lead to practical implementation challenges and high computational burden. To overcome these problems, we propose a novel Q-function-based multi-step Value Iteration algorithm, which provides the potential to accelerate convergence speed and improve the quality of solutions, with an easy-to-realize initialization condition. A critic-only least squares implementation approach is then employed, which alleviates the computational complexity of commonly used multiple neural network-based methods. Afterwards, by introducing the coupled Bellman operator, a novel linear programming approach is derived, based on which Nash equilibria can be approximately computed by solving a set of tractable finite-dimensional optimization problems. We evaluate the tracking control capabilities of the proposed algorithms to the problem of fully-automated dual-hormone (i.e., insulin and glucagon) glucose control in Type 1 Diabetes Mellitus. The U.S. FDA-accepted DMMS.R simulator from the Epsilon Group is used to conduct extensive in-silico clinical studies on virtual patients under a variety of completely unannounced meal and exercise scenarios. Simulation results demonstrate the high reliability and exceptional performance of the proposed multi-step algorithmic framework to critical complex systems.


title: Slicely countably determined points in Banach spaces

abstract: We introduce slicely countably determined points (SCD points) of a bounded and convex subset of a Banach space which extends the notions of denting points, strongly regular points and much more. We completely characterize SCD points in the unit balls of $L_1$-preduals. We study SCD points in direct sums of Banach spaces and obtain that an infinite sum of Banach spaces may have an SCD point despite the fact that none of its components have it. We then prove sufficient conditions to get that an elementary tensor $x\otimes y$ is an SCD point in the unit ball of the projective tensor product $X \widehat{\otimes}_\pi Y$. Regarding Lipschitz-free spaces on compact metric spaces, we show that norm one SCD points of their unit balls are exactly the ones that can be approximated by convex combinations of strongly exposed points of the unit ball. Finally, as applications, we prove a new inheritance result for the Daugavet property to its subspaces, we show that separable Banach spaces for which every convex series of slices intersects the unit sphere must contain an isomorphic copy of $\ell_1$, and we get pointwise conditions on an operator on a Banach space with the Daugavet property to satisfy the Daugavet equation.


title: Statistical analysis of vortex condensate motion in two-dimensional turbulence

abstract: An inverse turbulent cascade in a periodic square box produces a coherent system-sized vortex dipole. We study the statistics of its motion by carrying out direct numerical simulations performed for various bottom friction $\alpha$, pumping intensity $\varepsilon$, and fluid hyperviscosity $\nu$. In the main approximation, coherent vortices can be considered as point vortices, and within this model, they drift at the same dipole velocity, which is determined by their circulation and mutual arrangement. The characteristic value of the dipole velocity is more than an order of magnitude smaller than the polar velocity inside coherent vortices. Turbulent fluctuations give rise to a relative velocity between the vortices, which changes the distance between them. We found that for a strong condensate, the probability density function of the vector $\bf \rho$, describing the difference in the mutual arrangement of coherent vortices from half the diagonal of the computational domain, has the form of a ring. The radius of the ring weakly depends on control parameters and the width of the ring is proportional to the dimensionless parameter $\delta = \epsilon^{-1/3} L^{2/3} \alpha$, where $\epsilon$ is the inverse energy flux and $L$ is the system size. The random walk around the ring, caused by turbulent fluctuations, has superdiffusion behavior at intermediate times. It results in a finite correlation time of the dipole velocity, which turns out to be of the order of turnover time $\tau_K = L^{2/3} \epsilon^{-1/3}$ of system-size eddies produced by an inverse turbulent cascade. The results obtained deepen the understanding of the processes governing the motion of coherent vortices.


title: Triaxial nuclei and analytical solutions of the conformable fractional Bohr Hamiltonian with some exponential-type potentials

abstract: New approximate analytical solutions have been obtained for the conformable fractional collective Bohr Hamiltonian suitable for triaxial nuclei, with the harmonic oscillator in {\gamma}-part of the collective potential and different exponential-type potentials (namely Morse, Tietz-Hua, and multi-parameter exponential-type potential) in \b{eta}-part. The conformable fractional Nikiforov-Uvarov approach is used to derive closed analytical formulas for energy spectra and wave functions. The relation between the conformable fractional spectra of the three potentials and the Z(5) spectrum has been studied. The evolution of the energy spectra as a function of the potential parameters has been investigated for the three potentials. The normalized B(E2) transition rates and spectra have been calculated and compared with the experimental data and theoretical predictions of Kratzer potential. The predictions can describe well the experimental results for 114,116Pd, 126,128Xe, and 192,194Pt isotopes.


title: Forest aboveground biomass estimation using GEDI and earth observation data through attention-based deep learning

abstract: Accurate quantification of forest aboveground biomass (AGB) is critical for understanding carbon accounting in the context of climate change. In this study, we presented a novel attention-based deep learning approach for forest AGB estimation, primarily utilizing openly accessible EO data, including: GEDI LiDAR data, C-band Sentinel-1 SAR data, ALOS-2 PALSAR-2 data, and Sentinel-2 multispectral data. The attention UNet (AU) model achieved markedly higher accuracy for biomass estimation compared to the conventional RF algorithm. Specifically, the AU model attained an R2 of 0.66, RMSE of 43.66 Mg ha-1, and bias of 0.14 Mg ha-1, while RF resulted in lower scores of R2 0.62, RMSE 45.87 Mg ha-1, and bias 1.09 Mg ha-1. However, the superiority of the deep learning approach was not uniformly observed across all tested models. ResNet101 only achieved an R2 of 0.50, an RMSE of 52.93 Mg ha-1, and a bias of 0.99 Mg ha-1, while the UNet reported an R2 of 0.65, an RMSE of 44.28 Mg ha-1, and a substantial bias of 1.84 Mg ha-1. Moreover, to explore the performance of AU in the absence of spatial information, fully connected (FC) layers were employed to eliminate spatial information from the remote sensing data. AU-FC achieved intermediate R2 of 0.64, RMSE of 44.92 Mgha-1, and bias of -0.56 Mg ha-1, outperforming RF but underperforming AU model using spatial information. We also generated 10m forest AGB maps across Guangdong for the year 2019 using AU and compared it with that produced by RF. The AGB distributions from both models showed strong agreement with similar mean values; the mean forest AGB estimated by AU was 102.18 Mg ha-1 while that of RF was 104.84 Mg ha-1. Additionally, it was observed that the AGB map generated by AU provided superior spatial information. Overall, this research substantiates the feasibility of employing deep learning for biomass estimation based on satellite data.


title: Suppression of water vapor condensation by glycerol droplets on hydrophobic surfaces

abstract: Vapor sink is an effective strategy to suppress the formation of water vapor condensation around hygroscopic materials, and consequently reduce frosting and icing. However, traditionally used materials, such as salt solutions, fibers, exhibit insufficient condensation inhibition or pose safety concerns, such as corrosiveness. In this study, we highlight the remarkable anti-condensation properties of glycerol droplets, attributed to their strong hygroscopicity. We compared the anti-condensation capabilities of glycerol droplets with commonly used salt solutions and hygroscopic alcohols. The results indicated that glycerol droplets establish a relatively expansive dry zone where the condensation is effectively inhibited, while also offering safety compared to other materials. Furthermore, we conducted a systematic study of the anti-condensation properties of glycerol droplets with experiments and theoretical analysis. We explored the varying trends of the dry zone ratio concerning temperature, cooling time, humidity, and droplet volume on hydrophobic surfaces. To provide a comprehensive understanding, we propose a straightforward yet robust theoretical model that elucidates the relationship between this ratio and temperature, aligning well with the experimental data. Our study not only sheds light on the superior anti-condensation qualities of glycerol but also offers insights and guidelines for the development of effective anti-icing and anti-frost materials.


title: Analytical approximations of Lotka-Volterra integrals

abstract: In this note we derive simple analytical bounds for solutions of $x - \ln x = y -\ln y$ and use them for estimating trajectories following Lotka-Volterra-type integrals. We show how our results imply estimates for the Lambert $W$ function as well as for trajectories of general predator-prey systems, including e.g. Rosenzweig-MacArthur equations.


title: Floating bodies and duality in spaces of constant curvature

abstract: We investigate a natural analog to Lutwak's $p$-affine surface area in $d$-dimensional spherical, hyperbolic and de Sitter space. In particular, we show that these curvature measures appear naturally as the volume derivative of floating bodies of non-Euclidean convex bodies conjugated by duality, such as spherical, hyperbolic and de Sitter convex bodies. We provide a unifying framework by establishing a real-analytic version of this relation controlled by the constant curvature of the $d$-dimensional real space form. These new curvature measures relate in two distinctly different ways to curvature measures on Euclidean space, one of which is Lutwak's centro-affine invariant $p$-affine surface area, and the other is related to a rigid-motion invariant curvature measure that appears naturally as the volume derivative of Schneider's mean-width separation body.


title: OrthoNets: Orthogonal Channel Attention Networks

abstract: Designing an effective channel attention mechanism implores one to find a lossy-compression method allowing for optimal feature representation. Despite recent progress in the area, it remains an open problem. FcaNet, the current state-of-the-art channel attention mechanism, attempted to find such an information-rich compression using Discrete Cosine Transforms (DCTs). One drawback of FcaNet is that there is no natural choice of the DCT frequencies. To circumvent this issue, FcaNet experimented on ImageNet to find optimal frequencies. We hypothesize that the choice of frequency plays only a supporting role and the primary driving force for the effectiveness of their attention filters is the orthogonality of the DCT kernels. To test this hypothesis, we construct an attention mechanism using randomly initialized orthogonal filters. Integrating this mechanism into ResNet, we create OrthoNet. We compare OrthoNet to FcaNet (and other attention mechanisms) on Birds, MS-COCO, and Places356 and show superior performance. On the ImageNet dataset, our method competes with or surpasses the current state-of-the-art. Our results imply that an optimal choice of filter is elusive and generalization can be achieved with a sufficiently large number of orthogonal filters. We further investigate other general principles for implementing channel attention, such as its position in the network and channel groupings. Our code is publicly available at https://github.com/hady1011/OrthoNets/


title: Persistent Currents in Atomtronic Circuits of SU(N) Fermions

abstract: Ultracold atomic systems have emerged as strong contenders amongst the various quantum systems relevant for developing and implementing quantum technologies due to their enhanced control and flexibility of the operating conditions. In this thesis, we explore persistent currents generated in a ring-shaped quantum gas of strongly interacting \textit{N}-component fermions, specifically the so-called SU(\textit{N}) fermions. Our results, apart from being a relevant contribution to many-body physics, prove the `primum mobile' for a new concept of matter-wave circuits based on SU(\textit{N}) fermionic platforms, opening an exciting chapter in the field of atomtronics. Indeed, the specific properties of quantization are expected to provide the core to fabricate quantum devices with enhanced sensitivity like interferometers. At the same time, SU(\textit{N}) fermionic circuits show promise in engineering cold atoms quantum simulators with this artificial fermionic matter.


title: Y-frieze patterns

abstract: Motivated by cluster ensembles, we introduce a new variant of frieze patterns associated to acyclic cluster algebras, which we call ${\bf Y}\textit{-frieze patterns}$. Using the mutation rules for ${\bf Y}$-variables, we define a large class of ${\bf Y}$-frieze patterns called $\textit{unitary }{\bf Y}\textit{-frieze patterns}$, and show that the ensemble map induces a map from (unitary) frieze patterns to (unitary) ${\bf Y}$-frieze patterns. In rank 2, we show that ${\bf Y}$-frieze patterns are (associated to) friezes of generalised cluster algebras. In finite type (not necessarily rank 2), we show that ${\bf Y}$-frieze patterns share the same symmetries as frieze patterns, and prove that their number is finite.


title: A Two-Stage Generative Model with CycleGAN and Joint Diffusion for MRI-based Brain Tumor Detection

abstract: Accurate detection and segmentation of brain tumors is critical for medical diagnosis. However, current supervised learning methods require extensively annotated images and the state-of-the-art generative models used in unsupervised methods often have limitations in covering the whole data distribution. In this paper, we propose a novel framework Two-Stage Generative Model (TSGM) that combines Cycle Generative Adversarial Network (CycleGAN) and Variance Exploding stochastic differential equation using joint probability (VE-JP) to improve brain tumor detection and segmentation. The CycleGAN is trained on unpaired data to generate abnormal images from healthy images as data prior. Then VE-JP is implemented to reconstruct healthy images using synthetic paired abnormal images as a guide, which alters only pathological regions but not regions of healthy. Notably, our method directly learned the joint probability distribution for conditional generation. The residual between input and reconstructed images suggests the abnormalities and a thresholding method is subsequently applied to obtain segmentation results. Furthermore, the multimodal results are weighted with different weights to improve the segmentation accuracy further. We validated our method on three datasets, and compared with other unsupervised methods for anomaly detection and segmentation. The DSC score of 0.8590 in BraTs2020 dataset, 0.6226 in ITCS dataset and 0.7403 in In-house dataset show that our method achieves better segmentation performance and has better generalization.


title: SoK: Memorisation in machine learning

abstract: Quantifying the impact of individual data samples on machine learning models is an open research problem. This is particularly relevant when complex and high-dimensional relationships have to be learned from a limited sample of the data generating distribution, such as in deep learning. It was previously shown that, in these cases, models rely not only on extracting patterns which are helpful for generalisation, but also seem to be required to incorporate some of the training data more or less as is, in a process often termed memorisation. This raises the question: if some memorisation is a requirement for effective learning, what are its privacy implications? In this work we unify a broad range of previous definitions and perspectives on memorisation in ML, discuss their interplay with model generalisation and their implications of these phenomena on data privacy. Moreover, we systematise methods allowing practitioners to detect the occurrence of memorisation or quantify it and contextualise our findings in a broad range of ML learning settings. Finally, we discuss memorisation in the context of privacy attacks, differential privacy (DP) and adversarial actors.


title: SugarViT -- Multi-objective Regression of UAV Images with Vision Transformers and Deep Label Distribution Learning Demonstrated on Disease Severity Prediction in Sugar Beet

abstract: Remote sensing and artificial intelligence are pivotal technologies of precision agriculture nowadays. The efficient retrieval of large-scale field imagery combined with machine learning techniques shows success in various tasks like phenotyping, weeding, cropping, and disease control. This work will introduce a machine learning framework for automatized large-scale plant-specific trait annotation for the use case disease severity scoring for Cercospora Leaf Spot (CLS) in sugar beet. With concepts of Deep Label Distribution Learning (DLDL), special loss functions, and a tailored model architecture, we develop an efficient Vision Transformer based model for disease severity scoring called SugarViT. One novelty in this work is the combination of remote sensing data with environmental parameters of the experimental sites for disease severity prediction. Although the model is evaluated on this special use case, it is held as generic as possible to also be applicable to various image-based classification and regression tasks. With our framework, it is even possible to learn models on multi-objective problems as we show by a pretraining on environmental metadata.


title: Symplectic K-theory and a problem of Murthy

abstract: We compute low-dimensional K-groups of certain rings associated with the study of the Hermite ring conjecture. This includes a monoid ring whose low-dimensional K-groups were recently computed by Krishna and Sarwar in the case where the base ring is a regular ring containing the rationals. We are able to extend their result to an arbitrary regular base ring, thereby completing an answer to a question of Gubeladze. Our computation only relies on certain conveniently chosen analytic patching diagrams. These patching diagrams also allow us to investigate stably free modules appearing in a problem posed by Murthy. They make it possible to relate Murthy's problem to a stable question (about the relationship between symplectic and ordinary K-theory). More precisely, we show that Murthy's problem has a solution if the stable question has an affirmative answer, while a negative answer to the stable question implies that there are counterexamples to the Hermite ring conjecture. Since the module appearing in Murthy's problem has rank 2, the above mentioned argument relies on some theorems about patching with 2-by-2 matrices. These use so-called pseudoelementary 2-by-2 matrices, a notion we introduce which makes it possible to extend certain results valid for larger matrices to the case of 2-by-2 matrices (if we use pseudoelementary instead of elementary matrices). For example, we prove that the analogue of Vorst's theorem about matrices over polynomial extensions over a regular ring containing a field holds for 2-by-2 matrices.


title: BanLemma: A Word Formation Dependent Rule and Dictionary Based Bangla Lemmatizer

abstract: Lemmatization holds significance in both natural language processing (NLP) and linguistics, as it effectively decreases data density and aids in comprehending contextual meaning. However, due to the highly inflected nature and morphological richness, lemmatization in Bangla text poses a complex challenge. In this study, we propose linguistic rules for lemmatization and utilize a dictionary along with the rules to design a lemmatizer specifically for Bangla. Our system aims to lemmatize words based on their parts of speech class within a given sentence. Unlike previous rule-based approaches, we analyzed the suffix marker occurrence according to the morpho-syntactic values and then utilized sequences of suffix markers instead of entire suffixes. To develop our rules, we analyze a large corpus of Bangla text from various domains, sources, and time periods to observe the word formation of inflected words. The lemmatizer achieves an accuracy of 96.36% when tested against a manually annotated test dataset by trained linguists and demonstrates competitive performance on three previously published Bangla lemmatization datasets. We are making the code and datasets publicly available at https://github.com/eblict-gigatech/BanLemma in order to contribute to the further advancement of Bangla NLP.


title: CogVLM: Visual Expert for Pretrained Language Models

abstract: We introduce CogVLM, a powerful open-source visual language foundation model. Different from the popular shallow alignment method which maps image features into the input space of language model, CogVLM bridges the gap between the frozen pretrained language model and image encoder by a trainable visual expert module in the attention and FFN layers. As a result, CogVLM enables deep fusion of vision language features without sacrificing any performance on NLP tasks. CogVLM-17B achieves state-of-the-art performance on 10 classic cross-modal benchmarks, including NoCaps, Flicker30k captioning, RefCOCO, RefCOCO+, RefCOCOg, Visual7W, GQA, ScienceQA, VizWiz VQA and TDIUC, and ranks the 2nd on VQAv2, OKVQA, TextVQA, COCO captioning, etc., surpassing or matching PaLI-X 55B. Codes and checkpoints are available at https://github.com/THUDM/CogVLM.


title: Isogeometric collocation for solving the biharmonic equation over planar multi-patch domains

abstract: We present an isogeometric collocation method for solving the biharmonic equation over planar bilinearly parameterized multi-patch domains. The developed approach is based on the use of the globally $C^4$-smooth isogeometric spline space [34] to approximate the solution of the considered partial differential equation, and proposes as collocation points two different choices, namely on the one hand the Greville points and on the other hand the so-called superconvergent points. Several examples demonstrate the potential of our collocation method for solving the biharmonic equation over planar multi-patch domains, and numerically study the convergence behavior of the two types of collocation points with respect to the $L^2$-norm as well as to equivalents of the $H^s$-seminorms for $1 \leq s \leq 4$. In the studied case of spline degree $p=9$, the numerical results indicate in case of the Greville points a convergence of order $\mathcal{O}(h^{p-3})$ independent of the considered (semi)norm, and show in case of the superconvergent points an improved convergence of order $\mathcal{O}(h^{p-2})$ for all (semi)norms except for the equivalent of the $H^4$-seminorm, where the order $\mathcal{O}(h^{p-3})$ is anyway optimal.


title: List of Problems

abstract: The study of the Lefschetz properties of Artinian graded algebras was motivated by the hard Lefschetz theorem for a smooth complex projective variety, a breakthrough in algebraic topology and geometry. Over the last few years, this topic has attracted increasing attention from mathematicians in various areas. Here, we suggest some important open problems about or related to Lefschetz properties of Artinian graded algebras with the ultimate aim to attract the attention of young researchers from different areas.


title: A survey and classification of face alignment methods based on face models

abstract: A face model is a mathematical representation of the distinct features of a human face. Traditionally, face models were built using a set of fiducial points or landmarks, each point ideally located on a facial feature, i.e., corner of the eye, tip of the nose, etc. Face alignment is the process of fitting the landmarks in a face model to the respective ground truth positions in an input image containing a face. Despite significant research on face alignment in the past decades, no review analyses various face models used in the literature. Catering to three types of readers - beginners, practitioners and researchers in face alignment, we provide a comprehensive analysis of different face models used for face alignment. We include the interpretation and training of the face models along with the examples of fitting the face model to a new face image. We found that 3D-based face models are preferred in cases of extreme face pose, whereas deep learning-based methods often use heatmaps. Moreover, we discuss the possible future directions of face models in the field of face alignment.