title: On Pimsner-Popa orthonormal basis and Popa's relative dimension of projections

abstract: We show that any depth 2 subfactor with a simple first relative commutant has a unitary orthonormal basis. As a pleasant consequence, we produce new elements in the set of Popa's relative dimension of projections for such subfactors. We also construct infinitely many new elements in the set of relative dimension of projections for subfactors arising from complex Hadamard matrices and bi-unitary matrices.


title: HypUC: Hyperfine Uncertainty Calibration with Gradient-boosted Corrections for Reliable Regression on Imbalanced Electrocardiograms

abstract: The automated analysis of medical time series, such as the electrocardiogram (ECG), electroencephalogram (EEG), pulse oximetry, etc, has the potential to serve as a valuable tool for diagnostic decisions, allowing for remote monitoring of patients and more efficient use of expensive and time-consuming medical procedures. Deep neural networks (DNNs) have been demonstrated to process such signals effectively. However, previous research has primarily focused on classifying medical time series rather than attempting to regress the continuous-valued physiological parameters central to diagnosis. One significant challenge in this regard is the imbalanced nature of the dataset, as a low prevalence of abnormal conditions can lead to heavily skewed data that results in inaccurate predictions and a lack of certainty in such predictions when deployed. To address these challenges, we propose HypUC, a framework for imbalanced probabilistic regression in medical time series, making several contributions. (i) We introduce a simple kernel density-based technique to tackle the imbalanced regression problem with medical time series. (ii) Moreover, we employ a probabilistic regression framework that allows uncertainty estimation for the predicted continuous values. (iii) We also present a new approach to calibrate the predicted uncertainty further. (iv) Finally, we demonstrate a technique to use calibrated uncertainty estimates to improve the predicted continuous value and show the efficacy of the calibrated uncertainty estimates to flag unreliable predictions. HypUC is evaluated on a large, diverse, real-world dataset of ECGs collected from millions of patients, outperforming several conventional baselines on various diagnostic tasks, suggesting a potential use-case for the reliable clinical deployment of deep learning models.


title: Critical temperature and thermodynamic properties of a homogeneous dilute weakly interacting Bose gas within the improved Hartree-Fock approximation at finite temperature

abstract: By means of Cornwall-Jackiw-Tomboulis effective action approach we investigate a homogeneous dilute weakly interacting Bose gas at finite temperature in vicinity of critical region. A longstanding debate, the shift of critical temperature, is considered and obtained in the universal form $\Delta T_C/T_C^{(0)} = cn_0^{1/3}a_s$ with constants $c$ and $a$. The non-condensate fraction is contributed by quantum fluctuations as well as thermal exitations and can be expressed in sum of three terms. These terms correspond to the quantum fluctuations, thermal fluctuations and both. Indeed, the specific heat capacity and critical exponents are calculated and in excellent agreement with those in previous works and experimental data.


title: Periodic unique codings of fat Sierpinski gasket

abstract: For $\beta>1$ let $S_\beta$ be the Sierpinski gasket generated by the iterated function system \[\left\{f_{\alpha_0}(x,y)=\Big(\frac{x}{\beta},\frac{y}{\beta}\Big), \quad f_{\alpha_1}(x,y)=\Big(\frac{x+1}{\beta}, \frac{y}{\beta}\Big), \quad f_{\alpha_2}(x,y)=\Big(\frac{x}{\beta}, \frac{y+1}{\beta}\Big)\right\}.\] If $\beta\in(1,2]$, then the overlap region $O_\beta:=\bigcup_{i\ne j}f_{\alpha_i}(\Delta_\beta)\cap f_{\alpha_j}(\Delta_\beta)$ is nonempty, where $\Delta_\beta$ is the convex hull of $S_\beta$. In this paper we study the periodic codings of the univoque set \[ \mathbf U_\beta:=\left\{(d_i)_{i=1}^\infty\in\{(0,0), (1,0), (0,1)\}^\mathbb N: \sum_{i=1}^\infty d_{n+i}\beta^{-i}\in S_\beta\setminus O_\beta~\forall n\ge 0\right\}. \] More precisely, we determine for each $k\in\mathbb N$ the smallest base $\beta_k\in(1,2]$ such that for any $\beta>\beta_k$ the set $\mathbf U_\beta$ contains a sequence of smallest period $k$. We show that each $\beta_k$ is a Perron number, and the sequence $(\beta_k)$ has infinitely many accumulation points. Furthermore, we show that $\beta_{3k}>\beta_{3\ell}$ if and only if $k$ is larger than $\ell$ in the Sharkovskii ordering; and the sequences $ (\beta_{3\ell+1}), (\beta_{3\ell+2})$ decreasingly converge to the same limit point $\beta_a\approx 1.55898$, respectively. In particular, we find that $\beta_{6m+4}=\beta_{3m+2}$ for all $m\ge 0$. Consequently, we prove that if $\mathbf U_\beta$ contains a sequence of smallest period $2$ or $4$, then $\mathbf U_\beta$ contains a sequence of smallest period $k$ for any $k\in\mathbb N$.


title: Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems

abstract: As the use of autonomous robotic systems expands in tasks that are complex and challenging to model, the demand for robust data-driven control methods that can certify safety and stability in uncertain conditions is increasing. However, the practical implementation of these methods often faces scalability issues due to the growing amount of data points with system complexity, and a significant reliance on high-quality training data. In response to these challenges, this study presents a scalable data-driven controller that efficiently identifies and infers from the most informative data points for implementing data-driven safety filters. Our approach is grounded in the integration of a model-based certificate function-based method and Gaussian Process (GP) regression, reinforced by a novel online data selection algorithm that reduces time complexity from quadratic to linear relative to dataset size. Empirical evidence, gathered from successful real-world cart-pole swing-up experiments and simulated locomotion of a five-link bipedal robot, demonstrates the efficacy of our approach. Our findings reveal that our efficient online data selection algorithm, which strategically selects key data points, enhances the practicality and efficiency of data-driven certifying filters in complex robotic systems, significantly mitigating scalability concerns inherent in nonparametric learning-based control methods.


title: Online Prediction of Extreme Conditional Quantiles via B-Spline Interpolation

abstract: Extreme quantiles are critical for understanding the behavior of data in the tail region of a distribution. It is challenging to estimate extreme quantiles, particularly when dealing with limited data in the tail. In such cases, extreme value theory offers a solution by approximating the tail distribution using the Generalized Pareto Distribution (GPD). This allows for the extrapolation beyond the range of observed data, making it a valuable tool for various applications. However, when it comes to conditional cases, where estimation relies on covariates, existing methods may require computationally expensive GPD fitting for different observations. This computational burden becomes even more problematic as the volume of observations increases, sometimes approaching infinity. To address this issue, we propose an interpolation-based algorithm named EMI. EMI facilitates the online prediction of extreme conditional quantiles with finite offline observations. Combining quantile regression and GPD-based extrapolation, EMI formulates as a bilevel programming problem, efficiently solvable using classic optimization methods. Once estimates for offline observations are obtained, EMI employs B-spline interpolation for covariate-dependent variables, enabling estimation for online observations with finite GPD fitting. Simulations and real data analysis demonstrate the effectiveness of EMI across various scenarios.


title: Poisson Dialgebras

abstract: The notion of Poisson dialgebras was introduced by Loday. In this article, we propose a new definition with some modifications that is supported by several canonical examples coming from Poisson algebra modules, averaging operators on Poisson algebras, and differential Poisson algebras. We show that a Poisson object in the category of linear maps has an associated Poisson dialgebra structure. Conversely, starting from a Poisson dialgebra we describe a Poisson object in the category of linear maps. These constructions yield a pair of adjoint functors between the category of Poisson objects in the category of linear maps and the category of Poisson dialgebras. There is a Lie $2$-algebra associated with any Leibniz algebra. Here, we first obtain an associative $2$-algebra starting from a dialgebra. Then, for a Poisson dialgebra, we construct a graded space that inherits both a Lie $2$-algebra and an associative $2$-algebra structure. In a particular case of Poisson dialgebras, which we call `reduced Poisson dialgebra', we obtain an associated $2$-term homotopy Poisson algebra (of degree $0$).


title: Stability and L2-penalty in Model Averaging

abstract: Model averaging has received much attention in the past two decades, which integrates available information by averaging over potential models. Although various model averaging methods have been developed, there are few literatures on the theoretical properties of model averaging from the perspective of stability, and the majority of these methods constrain model weights to a simplex. The aim of this paper is to introduce stability from statistical learning theory into model averaging. Thus, we define the stability, asymptotic empirical risk minimizer, generalization, and consistency of model averaging and study the relationship among them. Our results indicate that stability can ensure that model averaging has good generalization performance and consistency under reasonable conditions, where consistency means model averaging estimator can asymptotically minimize the mean squared prediction error. We also propose a L2-penalty model averaging method without limiting model weights and prove that it has stability and consistency. In order to reduce the impact of tuning parameter selection, we use 10-fold cross-validation to select a candidate set of tuning parameters and perform a weighted average of the estimators of model weights based on estimation errors. The Monte Carlo simulation and an illustrative application demonstrate the usefulness of the proposed method.


title: All-antiferromagnetic electrically controlled memory on silicon featuring large tunneling magnetoresistance

abstract: Antiferromagnetic (AFM) materials are a pathway to spintronic memory and computing devices with unprecedented speed, energy efficiency, and bit density. Realizing this potential requires AFM devices with simultaneous electrical writing and reading of information, which are also compatible with established silicon-based manufacturing. Recent experiments have shown tunneling magnetoresistance (TMR) readout in epitaxial AFM tunnel junctions. However, these TMR structures were not grown using a silicon-compatible deposition process, and controlling their AFM order required external magnetic fields. Here we show three-terminal AFM tunnel junctions based on the noncollinear antiferromagnet PtMn3, sputter-deposited on silicon. The devices simultaneously exhibit electrical switching using electric currents, and electrical readout by a large room-temperature TMR effect. First-principles calculations explain the TMR in terms of the momentum-resolved spin-dependent tunneling conduction in tunnel junctions with noncollinear AFM electrodes.


title: On Shimura curves generated by families of Galois $G$-covers of curves

abstract: In this paper we prove there are no families of cyclic $\Z_n$-covers of elliptic curves which generate non-compact Shimura (special) curves that lie generically in the Torelli locus $T_g$ of abelian varieties with $g\geq 8$ when $n$ has a proper prime factor $p\geq 7$. This non-existence is also shown for families of $\Z_n$-covers of curves of any genus $s$ and when $n$ has a large enough prime number $p$ (depending on $s$). We achieve these results by applying the theory of Higgs bundles and the Viehweg-Zuo characterization of Shimura curves in the moduli space of principally polarized abelian varieties.


title: Self-organized biodiversity in biotic resource systems

abstract: What determines biodiversity in nature is a prominent issue in ecology, especially in biotic resource systems that are typically devoid of cross-feeding. Here, we show that by incorporating pairwise encounters among consumer individuals within the same species, a multitude of consumer species can self-organize to coexist in a well-mixed system with one or a few biotic resource species. The coexistence modes can manifest as either stable steady states or self-organized oscillations. Importantly, all coexistence states are robust to stochasticity, whether employing the stochastic simulation algorithm or individual-based modeling. Our model quantitatively illustrates species distribution patterns across a wide range of ecological communities and can be broadly used to explain biodiversity in many biotic resource systems.

categories: q-bio.PE cond-mat.stat-mech nlin.AO physics.bio-ph


title: Posterior Distillation Sampling

abstract: We introduce Posterior Distillation Sampling (PDS), a novel optimization method for parametric image editing based on diffusion models. Existing optimization-based methods, which leverage the powerful 2D prior of diffusion models to handle various parametric images, have mainly focused on generation. Unlike generation, editing requires a balance between conforming to the target attribute and preserving the identity of the source content. Recent 2D image editing methods have achieved this balance by leveraging the stochastic latent encoded in the generative process of diffusion models. To extend the editing capabilities of diffusion models shown in pixel space to parameter space, we reformulate the 2D image editing method into an optimization form named PDS. PDS matches the stochastic latents of the source and the target, enabling the sampling of targets in diverse parameter spaces that align with a desired attribute while maintaining the source's identity. We demonstrate that this optimization resembles running a generative process with the target attribute, but aligning this process with the trajectory of the source's generative process. Extensive editing results in Neural Radiance Fields and Scalable Vector Graphics representations demonstrate that PDS is capable of sampling targets to fulfill the aforementioned balance across various parameter spaces.


title: Dynamic Operating Envelopes Embedded Peer-to-Peer-to-Grid Energy Trading

abstract: A novel decentralized peer-to-peer-to-grid (P2P2G) trading mechanism considering distribution network integrity is proposed. In order to direct prosumers' peer-to-peer (P2P) trading behavior to be grid-friendly, the proposed method incorporates Dynamic Operating Envelopes (DOEs) into the existing P2P2G trading. Moreover, DOEs are determined through negotiations between the distribution system operator (DSO) and prosumers alongside the process of P2P trading, avoiding compromising prosumers' privacy and network parameters leakage. To reduce communication costs during P2P trading, a variant of the alternating direction method of multipliers (ADMM), i.e., communication-censored ADMM (COCA) is used to solve the P2P2G trading problem. Finally, the DOE price is shown to be comprised of several economically interpretable components. Simulations validate the effectiveness of the proposed mechanism.


title: Lego: Learning to Disentangle and Invert Concepts Beyond Object Appearance in Text-to-Image Diffusion Models

abstract: Diffusion models have revolutionized generative content creation and text-to-image (T2I) diffusion models in particular have increased the creative freedom of users by allowing scene synthesis using natural language. T2I models excel at synthesizing concepts such as nouns, appearances, and styles. To enable customized content creation based on a few example images of a concept, methods such as Textual Inversion and DreamBooth invert the desired concept and enable synthesizing it in new scenes. However, inverting more general concepts that go beyond object appearance and style (adjectives and verbs) through natural language, remains a challenge. Two key characteristics of these concepts contribute to the limitations of current inversion methods. 1) Adjectives and verbs are entangled with nouns (subject) and can hinder appearance-based inversion methods, where the subject appearance leaks into the concept embedding and 2) describing such concepts often extends beyond single word embeddings (being frozen in ice, walking on a tightrope, etc.) that current methods do not handle. In this study, we introduce Lego, a textual inversion method designed to invert subject entangled concepts from a few example images. Lego disentangles concepts from their associated subjects using a simple yet effective Subject Separation step and employs a Context Loss that guides the inversion of single/multi-embedding concepts. In a thorough user study, Lego-generated concepts were preferred over 70% of the time when compared to the baseline. Additionally, visual question answering using a large language model suggested Lego-generated concepts are better aligned with the text description of the concept.


title: Asymptotically Tight Bayesian Cram\'{e}r-Rao Bound

abstract: Performance bounds for parameter estimation play a crucial role in statistical signal processing theory and applications. Two widely recognized bounds are the Cram\'{e}r-Rao bound (CRB) in the non-Bayesian framework, and the Bayesian CRB (BCRB) in the Bayesian framework. However, unlike the CRB, the BCRB is asymptotically unattainable in general, and its equality condition is restrictive. This paper introduces an extension of the Bobrovsky--Mayer-Wolf--Zakai class of bounds, also known as the weighted BCRB (WBCRB). The WBCRB is optimized by tuning the weighting function in the scalar case. Based on this result, we propose an asymptotically tight version of the bound called AT-BCRB. We prove that the AT-BCRB is asymptotically attained by the maximum {\it a-posteriori} probability (MAP) estimator. Furthermore, we extend the WBCRB and the AT-BCRB to the case of vector parameters. The proposed bounds are evaluated in several fundamental signal processing examples, such as variance estimation of white Gaussian process, direction-of-arrival estimation, and mean estimation of Gaussian process with unknown variance and prior statistical information. It is shown that unlike the BCRB, the proposed bounds are asymptotically attainable and coincide with the expected CRB (ECRB). The ECRB, which imposes uniformly unbiasedness, cannot serve as a valid lower bound in the Bayesian framework, while the proposed bounds are valid for any estimator.


title: Effect of multi-layering and crystal orientation on spin-orbit torque efficiency in Ni/Pt layer stacking

abstract: We study spin-orbit torques (SOTs) in Ni/Pt bi-layers and multi-layers by ferromagnetic resonance (FMR) and harmonic-Hall measurements. The effect of multi-layering and crystal orientation on field-like (FL) and damping-like (DL) torque efficiencies is examined by exploiting the samples with different crystal orientations: epitaxial and poly-crystalline structures on Sapphire and SiO$_2$ substrates, respectively. We find that both DL and FL torque efficiencies are larger in multi-layer samples and there is no complete cancellation of torque efficiencies that is generally expected for ideal symmetric stacking structures. The results of SOT-FMR indicate that the epitaxial samples show higher efficiency for SOT generation compared to the poly-crystalline samples, suggesting that SOT generation is modified depending on the interfacial contribution. In addition, the spin Hall conductivity of the epitaxial multi-layer is the largest among the samples. The present results signify the importance of crystal orientation, multi-layering and interface-quality in improving the efficiency of SOTs generation combined with larger spin hall angle for developing future spintronic devices.


title: A Theorem of the Heart for K-theory of Endomorphisms

abstract: We show that Quillen's resolution theorem for K-theory also applies to exact $\infty$-categories. We introduce heart structures on a stable $\infty$-category, generalizing weight structures, and using resolution ideas, we show that the category of stable $\infty$-categories equipped with a heart structure fully-faithfully embeds into the category of exact $\infty$-categories. Consequently, we show a generalized theorem of the heart for K-theory, which is equivalent to its invariance under passage to the stable envelope of exact $\infty$-category in the image of the heart functor. Finally, leveraging the above, we show that K-theory of endomorphisms satisfies the theorem of the heart for weight structures, even allowing coefficients in a suitable bimodule.


title: Non-axisymmetric modes in ultrathin annular liquid films coating a cylindrical fibre

abstract: This paper presents a detailed analysis of the three-dimensional stability properties of an annular liquid film coating a cylindrical fibre in the presence of van der Waals (vdW) interactions, whose influence depends on the wettability of the solid by the liquid. Under wetting conditions, vdW interactions can stabilise a uniform annular film when its thickness is smaller than a critical value that depends only on the fibre radius, the Hamaker constant, and the surface tension coefficient. In contrast, under non-wetting conditions, both surface tension and vdW forces contribute to destabilise the interface, and non-axisymmetric modes may become dominant depending on the thickness of the film and the relative strength of the surface tension and vdW forces. We perform temporal stability analyses of both the Stokes and lubrication equations of motion, allowing us to reveal the dominant azimuthal mode, as well as the optimal axial wavenumber and the corresponding temporal growth rate, as a function of the relevant governing parameters.


title: Primal subgradient methods with predefined stepsizes

abstract: In this paper, we suggest a new framework for analyzing primal subgradient methods for nonsmooth convex optimization problems. We show that the classical step-size rules, based on normalization of subgradient, or on the knowledge of optimal value of the objective function, need corrections when they are applied to optimization problems with constraints. Their proper modifications allow a significant acceleration of these schemes when the objective function has favorable properties (smoothness, strong convexity). We show how the new methods can be used for solving optimization problems with functional constraints with possibility to approximate the optimal Lagrange multipliers. One of our primal-dual methods works also for unbounded feasible set.


title: Circular orbits and accretion disk around AdS black holes surrounded by dark fluid with Chaplygin-like equation of state

abstract: In the present work we study the geodesic motion and accretion process of a test particle near an Anti-de Sitter (ADS) BH surrounded by a dark fluid with a Chaplygin-like equation. Within the defined paradigm, we investigate on the equatorial plane and examine circular geodesics along with their features related to stabilities, radiation energy flux, oscillations and orbits. The general form of the fluid accretion onto the AdS BH through dynamical analysis and mass expansion also has discussed in a depth. Additionally, a few more interesting topics, e.g. the effective potential, angular momentum, specific energy, radiation energy and epicyclic frequencies have also been examined thoroughly. All the attributes are physically acceptable within the observational signatures and ranges.


title: Confirmation of TiO absorption and tentative detection of MgH and CrH in the atmosphere of HAT-P-41b

abstract: Understanding the role of optical absorbers is critical for linking the properties of the day-side and terminator atmospheres of hot Jupiters. This study aims to identify the signatures of optical absorbers in the atmosphere of the hot Jupiter HAT-P-41b. We conducted five transit observations of this planet to obtain its optical transmission spectra using the Gran Telescopio Canarias (GTC). We performed atmospheric retrievals assuming free abundances of 12 chemical species. Our Bayesian model comparisons revealed strong evidence for TiO absorption ($\Delta\ln \mathcal{Z}=21.02$), modest evidence for CrH ($\Delta\ln \mathcal{Z}=3.73$), and weak evidence for MgH ($\Delta\ln \mathcal{Z}=2.32$). When we combined the GTC transmission spectrum with previously published Hubble Space Telescope (HST) and Spitzer data, the retrieval results and model inferences remained consistent. In conclusion, HAT-P-41b has a metal-rich atmosphere with no high-altitude clouds or hazes. Further observations of its day-side atmosphere should be made to confirm the hints of a thermal inversion in the upper atmosphere suggested by our results.


title: Adversarial defense based on distribution transfer

abstract: The presence of adversarial examples poses a significant threat to deep learning models and their applications. Existing defense methods provide certain resilience against adversarial examples, but often suffer from decreased accuracy and generalization performance, making it challenging to achieve a trade-off between robustness and generalization. To address this, our paper interprets the adversarial example problem from the perspective of sample distribution and proposes a defense method based on distribution shift, leveraging the distribution transfer capability of a diffusion model for adversarial defense. The core idea is to exploit the discrepancy between normal and adversarial sample distributions to achieve adversarial defense using a pretrained diffusion model. Specifically, an adversarial sample undergoes a forward diffusion process, moving away from the source distribution, followed by a reverse process guided by the protected model (victim model) output to map it back to the normal distribution. Experimental evaluations on CIFAR10 and ImageNet30 datasets are conducted, comparing with adversarial training and input preprocessing methods. For infinite-norm attacks with 8/255 perturbation, accuracy rates of 78.1% and 83.5% are achieved, respectively. For 2-norm attacks with 128/255 perturbation, accuracy rates are 74.3% and 82.5%. Additional experiments considering perturbation amplitude, diffusion iterations, and adaptive attacks also validate the effectiveness of the proposed method. Results demonstrate that even when the attacker has knowledge of the defense, the proposed distribution-based method effectively withstands adversarial examples. It fills the gaps of traditional approaches, restoring high-quality original samples and showcasing superior performance in model robustness and generalization.


title: Fast neutrino-flavor swap in high-energy astrophysical environments

abstract: We assert that non-linear features of fast neutrino-flavor conversion (FFC) can be qualitatively different between core-collapse supernovae (CCSNe) and binary neutron star mergers (BNSMs). This argument arises from recent global FFC simulations in BNSM, in which fast flavor swap (FFS) emerges in very narrow spatial regions, whereas neutrinos in CCSN tend to evolve towards flavor equipartition. In this {\it Letter}, we provide the physical mechanism of FFS based on a colliding neutrino beam model. Neutrinos/antineutrinos can undergo FFS when they propagate in ambient neutrino gas that propagates in the opposite direction and also has the opposite sign of ELN-XLN, where ELN and XLN denote electron- and heavy-leptonic neutrino number, respectively. Such environments can be naturally realized in BNSMs, whereas they are unlikely in CCSNe unless the neutrino sphere is strongly deformed aspherically. Our study exhibits the diversity of non-linear dynamics of FFC.


title: Exact Combinatorial Optimization with Temporo-Attentional Graph Neural Networks

abstract: Combinatorial optimization finds an optimal solution within a discrete set of variables and constraints. The field has seen tremendous progress both in research and industry. With the success of deep learning in the past decade, a recent trend in combinatorial optimization has been to improve state-of-the-art combinatorial optimization solvers by replacing key heuristic components with machine learning (ML) models. In this paper, we investigate two essential aspects of machine learning algorithms for combinatorial optimization: temporal characteristics and attention. We argue that for the task of variable selection in the branch-and-bound (B&B) algorithm, incorporating the temporal information as well as the bipartite graph attention improves the solver's performance. We support our claims with intuitions and numerical results over several standard datasets used in the literature and competitions. Code is available at: https://developer.huaweicloud.com/develop/aigallery/notebook/detail?id=047c6cf2-8463-40d7-b92f-7b2ca998e935


title: Multiwavelength observations of KS 1947+300

abstract: KS 1947+300 is a Be/X-ray binary. Despite its nearly circular orbit, it displays both giant and regular less intense X-ray outbursts. According to the viscous decretion disk model, such low eccentric binaries should not show periodic outbursts. We have studied the long-term optical variability of KS 1947+300 and its relationship with X-ray activity. Our objective is to investigate the origin of this variability. KS 1947+300 exhibits changes in brightness and H$\alpha$ emission on time scales from months to years. The optical and IR variability shows small amplitude changes during the active X-ray state, and a long, smooth decrease during the quiescent state. The fact that the amplitude of variability increased with wavelength suggests that the long-term decrease of the optical emission is due to the weakening of the circumstellar disk. Structural changes in the disk may also be the origin of the periodic signals with periods $\sim200$ days detected in the ZTF-{\it g} and {\it r} band light curves. We speculate that these changes are related to the mechanism that ejects matter from the photosphere of the Be star into the disk. We have also studied the X-ray variability that manifested as a series of type I outbursts after the two giant outburst in 2000 and 2013 and found that the intensity and peak orbital phase differ from outburst to outburst. The type I outbursts in KS 1947+300 are not strictly periodic. This irregularity could result from precession of the interacting points between the neutron star and the disk, namely the disk apastron and the two nodes of the disk. The long-term changes in optical continuum and line emission and the X-ray variability patterns are attributed to an evolving and distorted decretion disk.


title: Touring sampling with pushforward maps

abstract: The number of sampling methods could be daunting for a practitioner looking to cast powerful machine learning methods to their specific problem. This paper takes a theoretical stance to review and organize many sampling approaches in the ``generative modeling'' setting, where one wants to generate new data that are similar to some training examples. By revealing links between existing methods, it might prove useful to overcome some of the current challenges in sampling with diffusion models, such as long inference time due to diffusion simulation, or the lack of diversity in generated samples.


title: Progressive Learning with Visual Prompt Tuning for Variable-Rate Image Compression

abstract: In this paper, we propose a progressive learning paradigm for transformer-based variable-rate image compression. Our approach covers a wide range of compression rates with the assistance of the Layer-adaptive Prompt Module (LPM). Inspired by visual prompt tuning, we use LPM to extract prompts for input images and hidden features at the encoder side and decoder side, respectively, which are fed as additional information into the Swin Transformer layer of a pre-trained transformer-based image compression model to affect the allocation of attention region and the bits, which in turn changes the target compression ratio of the model. To ensure the network is more lightweight, we involves the integration of prompt networks with less convolutional layers. Exhaustive experiments show that compared to methods based on multiple models, which are optimized separately for different target rates, the proposed method arrives at the same performance with 80% savings in parameter storage and 90% savings in datasets. Meanwhile, our model outperforms all current variable bitrate image methods in terms of rate-distortion performance and approaches the state-of-the-art fixed bitrate image compression methods trained from scratch.


title: Perceptual Image Compression with Cooperative Cross-Modal Side Information

abstract: The explosion of data has resulted in more and more associated text being transmitted along with images. Inspired by from distributed source coding, many works utilize image side information to enhance image compression. However, existing methods generally do not consider using text as side information to enhance perceptual compression of images, even though the benefits of multimodal synergy have been widely demonstrated in research. This begs the following question: How can we effectively transfer text-level semantic dependencies to help image compression, which is only available to the decoder? In this work, we propose a novel deep image compression method with text-guided side information to achieve a better rate-perception-distortion tradeoff. Specifically, we employ the CLIP text encoder and an effective Semantic-Spatial Aware block to fuse the text and image features. This is done by predicting a semantic mask to guide the learned text-adaptive affine transformation at the pixel level. Furthermore, we design a text-conditional generative adversarial networks to improve the perceptual quality of reconstructed images. Extensive experiments involving four datasets and ten image quality assessment metrics demonstrate that the proposed approach achieves superior results in terms of rate-perception trade-off and semantic distortion.


title: Grammatical Error Correction via Mixed-Grained Weighted Training

abstract: The task of Grammatical Error Correction (GEC) aims to automatically correct grammatical errors in natural texts. Almost all previous works treat annotated training data equally, but inherent discrepancies in data are neglected. In this paper, the inherent discrepancies are manifested in two aspects, namely, accuracy of data annotation and diversity of potential annotations. To this end, we propose MainGEC, which designs token-level and sentence-level training weights based on inherent discrepancies in accuracy and potential diversity of data annotation, respectively, and then conducts mixed-grained weighted training to improve the training effect for GEC. Empirical evaluation shows that whether in the Seq2Seq or Seq2Edit manner, MainGEC achieves consistent and significant performance improvements on two benchmark datasets, demonstrating the effectiveness and superiority of the mixed-grained weighted training. Further ablation experiments verify the effectiveness of designed weights of both granularities in MainGEC.


title: Linear stability of ultrathin spherical coatings

abstract: We unravel the linear stability properties of an otherwise stagnant ultrathin non-wetting liquid film of thickness $h_o$ coating a spherical substrate of radius $R$. The configuration is known to be unstable due to the competition of the destabilizing van der Waals (vdW) forces and the stabilizing surface tension force. The governing equations of motion written in the Stokes limit of negligible liquid inertia and an accompanying lubrication model are linearised about the zero-velocity base state and decomposed into normal modes in order to obtain the temporal dispersion relation. Discrete unstable modes are identified and tracked as a function of a capillary number $Ca$ measuring the relative importance of surface tension to vdW forces and the film aspect ratio $\eta = R/h_o$. For small enough values of the capillary number only the first polar mode is unstable, and the corresponding maximum growth rate is shown to be a universal function of $\eta$. Lubrication theory is seen to provide a good quantitative prediction of the film stability properties for $\eta\gg 1$.


title: Weak secondary cyclotron line in eclipsing High Mass X-ray Binary Cen X-3

abstract: We report the time resolved spectroscopy result from two observations of Cen X-3, over one binary orbit with ASTROSAT and two binary orbit with NuSTAR. NuSTAR covered two intensity states where the light curve showed transition in count rate from first to second binary orbit by a factor of $\sim$ 3. A phenomenological model comprising of partially absorbed powerlaw with smoothed high energy cutoff, cyclotron absorption $\sim$ 24 keV and 6.4 keV iron emission gave good fit for ASTROSAT observation. NuSTAR spectra required two additional emission components, a broad one $\sim$ 5.7 keV and a narrow one $\sim$ 6.9 keV. A weak secondary absorption feature at $\sim$ 11.6 keV and $\sim$ 14.5 keV was seen in the residuals of the spectral fit for ASTROSAT and NuSTAR data respectively. The secondary absorption energy showed no correlation with the cutoff energy. Its strength varied within 0.1 to 0.6 keV with its width $\sim$ 1.6 keV. Its energy and optical depth showed linear positive correlation with the fundamental cyclotron line energy and depth respectively. The cyclotron line energy showed anti-correlation to flux described by a powerlaw with negative index and the secondary absorption also showed similar trend to flux. Depth of secondary absorption was $\sim$ 45 \% and centroid energy was $\sim$ 54 \% of fundamental. Depth and energy ratio of secondary to fundamental lied within 2$\sigma$ deviation from 0.5. We suggest this secondary absorption to be a redshifted dipolar cyclotron resonance feature exhibiting sub-harmonic behaviour.


title: Hydrodynamically Induced Aggregation in Two-Dimensional Active Systems

abstract: We investigate a system of co-oriented active particles interacting only via hydrodynamic and steric interactions. We offer a new method of calculating the flow created by any active particle in a 2D fluid, focusing on the dynamics of flow fields with a high-order spatial decay, which we analyze using a geometric Hamiltonian. We show that when orientational degrees of freedom are quenched, and the flow has a single, odd power decay, such many-particle systems lead to stable, fractal-like aggregation, with the only exceptions being the force dipole. We discuss how our results can easily be generalized to more complicated force distributions and to other effective two-dimensional systems.


title: A Cross Attention Approach to Diagnostic Explainability using Clinical Practice Guidelines for Depression

abstract: The lack of explainability using relevant clinical knowledge hinders the adoption of Artificial Intelligence-powered analysis of unstructured clinical dialogue. A wealth of relevant, untapped Mental Health (MH) data is available in online communities, providing the opportunity to address the explainability problem with substantial potential impact as a screening tool for both online and offline applications. We develop a method to enhance attention in popular transformer models and generate clinician-understandable explanations for classification by incorporating external clinical knowledge. Inspired by how clinicians rely on their expertise when interacting with patients, we leverage relevant clinical knowledge to model patient inputs, providing meaningful explanations for classification. This will save manual review time and engender trust. We develop such a system in the context of MH using clinical practice guidelines (CPG) for diagnosing depression, a mental health disorder of global concern. We propose an application-specific language model called ProcesS knowledge-infused cross ATtention (PSAT), which incorporates CPGs when computing attention. Through rigorous evaluation on three expert-curated datasets related to depression, we demonstrate application-relevant explainability of PSAT. PSAT also surpasses the performance of nine baseline models and can provide explanations where other baselines fall short. We transform a CPG resource focused on depression, such as the Patient Health Questionnaire (e.g. PHQ-9) and related questions, into a machine-readable ontology using SNOMED-CT. With this resource, PSAT enhances the ability of models like GPT-3.5 to generate application-relevant explanations.


title: Universal Free-Fall Law for Liquid Jets under Fully Developed Injection Conditions

abstract: We show that vertical slender jets of liquid injected in air with a fully-developed outlet velocity profile have a universal shape in the common case in which the viscous force is much smaller than the gravitational force. The theory of ideal flows with vorticity provides an analytical solution that, under negligible surface tension forces, predicts $R_j(Z)=[(1+Z/4)^{1/2}-(Z/4)^{1/2}]^{1/2}$, where $R_j$ is the jet radius scaled with the injector radius and $Z$ is the vertical distance scaled with the gravitational length, $l_g=u_o^2/2g$, where $u_o$ is the mean velocity at the injector outlet and $g$ is the gravitational acceleration. In contrast with Mariotte's law, $R_j=(1+Z)^{-1/4}$, previously reported experiments employing long injectors collapse almost perfectly onto the new solution.


title: A diluted version of the problem of the existence of the Hofstadter sequence

abstract: We investigate the conditions on an integer sequence f(n), n 2 N, with f(1) = 0, such that the sequence q(n), computed recursively via q(n) = q(n - q(n - 1)) + f(n), with q(1) = 1, exists. We prove that f(n + 1) - f(n) in {0,1}, n > 0, is a sufficient but not necessary condition for the existence of sequence q. Sequences q defined in this way typically display non-trivial dynamics: in particular, they are generally aperiodic with no obvious patterns. We discuss and illustrate this behaviour with some examples.


title: The influence of an outer bath on the dewetting of an ultrathin liquid film

abstract: We report a theoretical and numerical investigation of the linear and nonlinear dynamics of a thin liquid film of viscosity $\mu$ sandwiched between a solid substrate and an unbounded liquid bath of viscosity $\lambda \mu$. In the limit of negligible inertia, the flow depends on two non-dimensional parameters, namely $\lambda$ and a dimensionless measure of the relative strengths of the stabilizing surface tension force and the destabilizing van der Waals force between the substrate and the film. We first analyze the linear stability of the film, providing an analytical dispersion relation. When the viscosity of the outer bath is much larger than that of the film, $\lambda \gg 1$, the most amplified wavenumber decreases as $k_{\textrm{m}} \sim \lambda^{-1/3}$, indicating that very slender dewetting structures are expected when $\lambda$ becomes large. We then perform fully nonlinear simulations of the complete Stokes equations to investigate the spatial structure of the flow close to rupture revealing that the flow becomes self-similar with the minimum film thickness scaling as $h_{min} = K(\lambda) \tau^{1/3}$ when $\tau \to 0$, where $\tau$ is the time remaining before the singularity. It is demonstrated that the presence of an outer liquid bath affects the self-similar structure through the prefactor of the film thinning law, $K(\lambda)$, and the opening angle of the self-similar film shape, which is shown to decrease with $\lambda$.


title: Contagion dynamics in time-varying metapopulation networks with node's activity and attractiveness

abstract: The metapopulation network model is effectively used to study the spatial spread of epidemics with individuals mobility. Considering the time-varying nature of individual activity and the preferences for attractive destinations in population mobility, this paper develops a time-varying network model in which activity of a population is correlated with its attractiveness. Based on the model, the spreading processes of the SIR disease on different correlated networks are studied, and global migration thresholds are derived. It is observed that increasing the correlation between activity and attractiveness results in a reduced outbreak threshold but suppresses the disease outbreak size and introduces greater heterogeneity in the spatial distribution of infected individuals. We also investigate the impact of non-pharmacological interventions (self-isolation and self-protection) on the spread of epidemics in different correlation networks. The results show that the simultaneous implementation of these measures is more effective in negatively correlated networks than in positively correlated or non-correlated networks, and the prevalence is reduced significantly. In addition, both self-isolation and self-protection strategies increase the migration threshold of the spreading and thus slow the spread of the epidemic. However, the effectiveness of each strategy in reducing the density of infected populations varies depending on different correlated networks. Self-protection is more effective in positively correlated networks, whereas self-isolation is more effective in negatively correlated networks. These findings contribute to a better understanding of epidemic spreading in large-scale time-varying metapopulation networks and provide insights for epidemic prevention and control.


title: Challenges of Large Language Models for Mental Health Counseling

abstract: The global mental health crisis is looming with a rapid increase in mental disorders, limited resources, and the social stigma of seeking treatment. As the field of artificial intelligence (AI) has witnessed significant advancements in recent years, large language models (LLMs) capable of understanding and generating human-like text may be used in supporting or providing psychological counseling. However, the application of LLMs in the mental health domain raises concerns regarding the accuracy, effectiveness, and reliability of the information provided. This paper investigates the major challenges associated with the development of LLMs for psychological counseling, including model hallucination, interpretability, bias, privacy, and clinical effectiveness. We explore potential solutions to these challenges that are practical and applicable to the current paradigm of AI. From our experience in developing and deploying LLMs for mental health, AI holds a great promise for improving mental health care, if we can carefully navigate and overcome pitfalls of LLMs.


title: Isoclinism of Algebras With Bracket

abstract: We introduce the notion of isoclinism between central extensions in the category of algebras with bracket. We provide several equivalent conditions under which algebras with bracket are isoclinic. We also study the connection between isoclinism and the Schur multiplier of algebras with bracket. It is shown that for finite-dimensional central extensions of algebras with bracket with same dimension, the notion of isoclinism and isomorphism are equivalent. Furthermore, we indicate that all stem covers of an algebra with bracket are isoclinic.


title: A TETRA-based System for Remote-Health Monitoring of First Responders: Peak AoI Assessment in Direct and Trunked Mode

abstract: In this paper, we study peak age of information (PAoI) performance of a novel IoT solution for remote health-monitoring of first responders over TErrestrial Trunked RAdio (TETRA) links. The solution features a set of sensors embedded in a smart garment that periodically record and send physiological parameters of first responders to a remote agent. The received data is analyzed by the remote agent, which feeds back notifications and warnings to the first responders in the form of electrotactile stimuli. The communication in the system is performed over the TETRA Short Data Service (SDS), which is the default option for the development of third-party applications and which has rather limited capabilities. The choice of the PAoI as the parameter of interest is motivated by its suitable to measure data freshness in IoT applications with periodic monitoring. We derive closed-form expressions of PAoI for different packet-management schemes allowed by the TETRA standard, and verify the analytical results through extensive simulations under varying message generation rates. Our results provide important insights on the expected PAoI performance, which can be used for the system design guidelines. To the best of our knowledge, this is the first work that analyzes AoI performance of TETRA networks.


title: Detection of vibrationally excited C6H in the cold prestellar core TMC-1 with the QUIJOTE line survey

abstract: In this work, we present the detection of twelve doublets with quantum numbers of N=12-11 to N=17-16 of the v11 vibrationally excited state of C6H towards TMC-1. This marks the first time that an excited vibrational state of a molecule has been detected in a cold starless core. The data are part of the QUIJOTE line survey gathered with the Yebes 40m radio telescope. The line intensities have been aptly reproduced with a rotational temperature of 6.2 +/- 0.4K and a column density of (1.2+/-0.2)e11 cm-2. We also analysed the ground state transitions of C6H, detecting fourteen lines with quantum numbers of J = 23/2-21/2 to J = 35/2 for each of the two 2Pi_3/2 and 2Pi_1/2 ladders. It is not possible to model the intensities of all the transitions of the ground state simultaneously using a single column density. We considered the two ladders as two different species and found that the rotational temperature is the same for both ladders, Trot(2Pi_3/2)=Trot(2Pi_1/2)=6.2+/-0.2, achieving a result that is comparable to that of the v11 state. The derived column densities are N(2Pi_3/2)(6.2+/-0.3)e12cm-2 and N(2Pi_1/2)=(8.0+/-0.4)e10cm-2. The fraction of C6H molecules in its 2Pi_3/2, 2Pi_1/2, and v11 states is 96.8 %, 1.3 %, and 1.9 %, respectively. Finally, we report that this vibrational mode has also been detected towards the cold cores Lupus-1A and L1495B, as well as the low-mass star forming cores L1527 and L483, with fractions of C6H molecules in this mode of 3.8%, 4.1%, 14.8%, and 6%, respectively.


title: A Deep Reinforcement Learning Approach for Improving Age of Information in Mission-Critical IoT

abstract: The emerging mission-critical Internet of Things (IoT) play a vital role in remote healthcare, haptic interaction, and industrial automation, where timely delivery of status updates is crucial. The Age of Information (AoI) is an effective metric to capture and evaluate information freshness at the destination. A system design based solely on the optimization of the average AoI might not be adequate to capture the requirements of mission-critical applications, since averaging eliminates the effects of extreme events. In this paper, we introduce a Deep Reinforcement Learning (DRL)-based algorithm to improve AoI in mission-critical IoT applications. The objective is to minimize an AoI-based metric consisting of the weighted sum of the average AoI and the probability of exceeding an AoI threshold. We utilize the actor-critic method to train the algorithm to achieve optimized scheduling policy to solve the formulated problem. The performance of our proposed method is evaluated in a simulated setup and the results show a significant improvement in terms of the average AoI and the AoI violation probability compared to the related-work.


title: A reduced basis warm-start iterative solver for the parameterized linear systems

abstract: This paper proposes and tests the first-ever reduced basis warm-start iterative method for the parametrized linear systems, exemplified by those discretizing the parametric partial differential equations. Traditional iterative methods are usually used to obtain the high-fidelity solutions of these linear systems. However, they typically come with a significant computational cost which becomes challenging if not entirely untenable when the parametrized systems need to be solved a large number of times (e.g. corresponding to different parameter values or time steps). Classical techniques for mitigating this cost mainly include acceleration approaches such as preconditioning. This paper advocates for the generation of an initial prediction with controllable fidelity as an alternative approach to achieve the same goal. The proposed reduced basis warm-start iterative method leverages the mathematically rigorous and efficient reduced basis method to generate a high-quality initial guess thereby decreasing the number of iterative steps. Via comparison with the iterative method initialized with a zero solution and the RBM preconditioned and initialized iterative method tested on two 3D steady-state diffusion equations, we establish the efficacy of the proposed reduced basis warm-start approach.


title: A rate-independent model for geomaterials under compression coupling strain gradient plasticity and damage

abstract: We study a strain gradient-enhanced version of a model for geomaterials under compression by Marigo and Kazymyrenko (2019) coupling damage and small-strain associative plasticity. We prove that the jumps in time of the plastic variable may happen only along jumps of the damage variable. Moreover, we perform a vanishing-viscosity analysis showing existence of Balanced Viscosity quasistatic solutions \`a la Mielke-Rossi-Savar\'e.


title: Which Matters Most in Making Fund Investment Decisions? A Multi-granularity Graph Disentangled Learning Framework

abstract: In this paper, we highlight that both conformity and risk preference matter in making fund investment decisions beyond personal interest and seek to jointly characterize these aspects in a disentangled manner. Consequently, we develop a novel M ulti-granularity Graph Disentangled Learning framework named MGDL to effectively perform intelligent matching of fund investment products. Benefiting from the well-established fund graph and the attention module, multi-granularity user representations are derived from historical behaviors to separately express personal interest, conformity and risk preference in a fine-grained way. To attain stronger disentangled representations with specific semantics, MGDL explicitly involve two self-supervised signals, i.e., fund type based contrasts and fund popularity. Extensive experiments in offline and online environments verify the effectiveness of MGDL.


title: Language-guided Few-shot Semantic Segmentation

abstract: Few-shot learning is a promising way for reducing the label cost in new categories adaptation with the guidance of a small, well labeled support set. But for few-shot semantic segmentation, the pixel-level annotations of support images are still expensive. In this paper, we propose an innovative solution to tackle the challenge of few-shot semantic segmentation using only language information, i.e.image-level text labels. Our approach involves a vision-language-driven mask distillation scheme, which contains a vision-language pretraining (VLP) model and a mask refiner, to generate high quality pseudo-semantic masks from text prompts. We additionally introduce a distributed prototype supervision method and complementary correlation matching module to guide the model in digging precise semantic relations among support and query images. The experiments on two benchmark datasets demonstrate that our method establishes a new baseline for language-guided few-shot semantic segmentation and achieves competitive results to recent vision-guided methods.


title: Data-Driven Robot Fault Detection and Diagnosis Using Generative Models: A Modified SFDD Algorithm

abstract: This paper presents a modification of the data-driven sensor-based fault detection and diagnosis (SFDD) algorithm for online robot monitoring. Our version of the algorithm uses a collection of generative models, in particular restricted Boltzmann machines, each of which represents the distribution of sliding window correlations between a pair of correlated measurements. We use such models in a residual generation scheme, where high residuals generate conflict sets that are then used in a subsequent diagnosis step. As a proof of concept, the framework is evaluated on a mobile logistics robot for the problem of recognising disconnected wheels, such that the evaluation demonstrates the feasibility of the framework (on the faulty data set, the models obtained 88.6% precision and 75.6% recall rates), but also shows that the monitoring results are influenced by the choice of distribution model and the model parameters as a whole.


title: Hessian estimates for Lagrangian mean curvature equation with sharp Lipschitz phase

abstract: We establish a prior interior $C^{1,1}$ estimates for convex solutions and supercritical phase solutions to the Lagrangian mean curvature equation with sharp Lipschitz phase. Counter-examples exist when the phase is H\"{o}lder continuous but not Lipschitz. As an application we obtain interior $C^{2,\alpha}$ regularity for $C^0$ viscosity solutions on the first phase interval $((n-2)\frac\pi2,n\frac\pi2)$.


title: To Transmit or Not to Transmit: Optimal Sensor Schedule for Remote State Estimation of Discrete-Event Systems

abstract: This paper considers the problem of optimal sensor schedules for remote state estimation of discrete-event systems. In this setting, the sensors observe information from the plant and transmit the observable information to the receiver or estimator selectively. A transmission mechanism decides whether the observable information is transmitted or not, according to an information transmission policy, such that the receiver has sufficient information to satisfy the purpose of decision-making. To construct such a transmission mechanism, we first construct a non-deterministic dynamic observer that contains all feasible information transmission policies. Then, we show that the information updating rule of the dynamic observer indeed yields the state estimate from the receiver's point of view. Finally, we propose an approach to extract a specific information transmission policy, realized by a finite-state automaton, from the dynamic observer while satisfying some desired observation properties. To reduce transmission-related costs, we also require that the sensors transmit events as few as possible. A running example is provided to illustrate the proposed procedures.


title: Rate- and temperature-dependent ductile-to-brittle fracture transition: Experimental investigation and phase-field analysis for toffee

abstract: The mechanical behaviour of many materials, including polymers or natural materials, significantly depends on the rate of deformation. As a consequence, a rate-dependent ductile-to-brittle fracture transition may be observed. For toffee-like caramel, this effect is particularly pronounced. At room temperature, this confectionery may be extensively deformed at low strain rates, while it can behave highly brittle when the rate of deformation is raised. Likewise, the material behaviour does significantly depend on temperature, and even a slight cooling may cause a significant embrittlement. In this work, a thorough experimental investigation of the rate-dependent deformation and fracture behaviour is presented. In addition, the influence of temperature on the material response is studied. The experimental results form the basis for a phase-field modelling of fracture. In order to derive the governing equations of the model, an incremental variational principle is introduced. By means of the validated model, an analysis of the experimentally observed ductile-to-brittle fracture transition is performed. In particular, the coupling between the highly dissipative deformation behaviour of the bulk material and the rate-dependent fracture resistance is discussed.


title: Multi-intention Inverse Q-learning for Interpretable Behavior Representation

abstract: In advancing the understanding of natural decision-making processes, inverse reinforcement learning (IRL) methods have proven instrumental in reconstructing animal's intentions underlying complex behaviors. Given the recent development of a continuous-time multi-intention IRL framework, there has been persistent inquiry into inferring discrete time-varying rewards with IRL. To address this challenge, we introduce the class of hierarchical inverse Q-learning (HIQL) algorithms. Through an unsupervised learning process, HIQL divides expert trajectories into multiple intention segments, and solves the IRL problem independently for each. Applying HIQL to simulated experiments and several real animal behavior datasets, our approach outperforms current benchmarks in behavior prediction and produces interpretable reward functions. Our results suggest that the intention transition dynamics underlying complex decision-making behavior is better modeled by a step function instead of a smoothly varying function. This advancement holds promise for neuroscience and cognitive science, contributing to a deeper understanding of decision-making and uncovering underlying brain mechanisms.


title: Legal Requirements Analysis

abstract: Modern software has been an integral part of everyday activities in many disciplines and application contexts. Introducing intelligent automation by leveraging artificial intelligence (AI) led to break-throughs in many fields. The effectiveness of AI can be attributed to several factors, among which is the increasing availability of data. Regulations such as the general data protection regulation (GDPR) in the European Union (EU) are introduced to ensure the protection of personal data. Software systems that collect, process, or share personal data are subject to compliance with such regulations. Developing compliant software depends heavily on addressing legal requirements stipulated in applicable regulations, a central activity in the requirements engineering (RE) phase of the software development process. RE is concerned with specifying and maintaining requirements of a system-to-be, including legal requirements. Legal agreements which describe the policies organizations implement for processing personal data can provide an additional source to regulations for eliciting legal requirements. In this chapter, we explore a variety of methods for analyzing legal requirements and exemplify them on GDPR. Specifically, we describe possible alternatives for creating machine-analyzable representations from regulations, survey the existing automated means for enabling compliance verification against regulations, and further reflect on the current challenges of legal requirements analysis.


title: On the equivalence of static and dynamic weak optimal transport

abstract: We show that there is a PDE formulation in terms of Fokker-Planck equations for weak optimal transport problems. The main novelty is that we introduce a minimization problem involving Fokker-Planck equations in the extended sense of measure-valued solutions and prove that it is equal to the associated weak transport problem.


title: Revisiting the TeV flare of PKS 2155-304 in 2006

abstract: Blazars, a subclass of active galactic nuclei (AGN), are known to be bright $\gamma$-ray sources, frequently exhibiting active (flaring) periods. The blazar PKS~2155-304 is a high synchrotron-peaked BL Lac object located at redshift $z=0.116$. On 2006 July 28, an extremely remarkable outburst of VHE $\gamma$-ray emission from this blazar was reported by the H.E.S.S. experiment, with an average flux more than 10 times the low-state level. The variability timescale of this extraordinary flare was as short as approximately 200~s. In order to guarantee the transparency of the emission region for TeV photons, the fast variability demands an extremely high Doppler factor $\delta_{\rm D}>50$ of the jet within the classical one-zone model, leading to the so-called "Doppler factor crisis". Here we demonstrate that the stochastic dissipation model, which is a multi-blob scenario for blazars, can self-consistently explain the giant TeV flares of PKS~2155-304 and the low-state emission before and after the flares, in terms of both multi-wavelength spectral and variability characteristics. The required Doppler factor in this model can be as low as 20, which is a reasonable and typical value for blazar jets. The obtained model parameters may shed some light on the physical properties of the relativistic jet.


title: Transitive inference as probabilistic preference learning

abstract: Transitive Inference (TI) is a cognitive task that assesses an organism's ability to infer novel relations between items based on previously acquired knowledge. TI is known for exhibiting various behavioral and neural signatures, such as the Serial Position Effect (SPE), Symbolic Distance Effect (SDE), and the brain's capacity to maintain and merge separate ranking models. We propose a novel framework that casts TI as a probabilistic preference learning task, using one-parameter Mallows models. We present a series of simulations that highlight the effectiveness of our novel approach. We show that the Mallows ranking model natively reproduces SDE and SPE. Furthermore, extending the model using Bayesian selection showcases its capacity to generate and merge ranking hypotheses as pairs with connecting symbols are encountered. Finally, we employ neural networks to replicate Mallows models, demonstrating how this framework aligns with observed prefrontal neural activity during TI. Our innovative approach sheds new light on the nature of TI, emphasizing the potential of probabilistic preference learning for unraveling its underlying neural mechanisms.


title: Max-Min SINR Analysis of STAR-RIS Assisted Massive MIMO Systems with Hardware Impairments

abstract: Reconfigurable intelligent surface (RIS) has emerged as a cost-effective solution to improve wireless communication performance through just passive reflection. Recently, the concept of simultaneously transmitting and reflecting RIS (STAR-RIS) has appeared but the study of minimum signal-to-interference-plus-noise ratio (SINR) and the impact of hardware impairments (HWIs) remain open. In addition to previous works on STAR-RIS, we consider a massive multiple-input multiple-output (mMIMO) base station (BS) serving multiple user equipments (UEs) at both sides of the RIS. Specifically, in this work, focusing on the downlink of a single cell, we derive the minimum SINR obtained by the optimal linear precoder (OLP) with HWIs in closed form. The OLP maximises the minimum SINR subject to a given power constraint for any given passive beamforming matrix (PBM). Next, we obtain deterministic equivalents (DEs) for the OLP and the minimum SINR, which are then used to optimise the PBM. Notably, based on the DEs and statistical channel state information (CSI), we optimise simultaneously the amplitude and phase shift by using a projected gradient ascent algorithm (PGAM) for both energy splitting (ES) and mode switching (MS) STAR-RIS operation protocols with reduced feedback, \textcolor{black}{which is quite crucial for STAR-RIS systems that include the double number or variables compared to reflecting only RIS.} Simulations verify the analytical results, shed light on the impact of HWIs, and demonstrate the better performance of STAR-RIS compared to conventional RIS.


title: EEG Connectivity Analysis Using Denoising Autoencoders for the Detection of Dyslexia

abstract: The Temporal Sampling Framework (TSF) theorizes that the characteristic phonological difficulties of dyslexia are caused by an atypical oscillatory sampling at one or more temporal rates. The LEEDUCA study conducted a series of Electroencephalography (EEG) experiments on children listening to amplitude modulated (AM) noise with slow-rythmic prosodic (0.5-1 Hz), syllabic (4-8 Hz) or the phoneme (12-40 Hz) rates, aimed at detecting differences in perception of oscillatory sampling that could be associated with dyslexia. The purpose of this work is to check whether these differences exist and how they are related to children's performance in different language and cognitive tasks commonly used to detect dyslexia. To this purpose, temporal and spectral inter-channel EEG connectivity was estimated, and a denoising autoencoder (DAE) was trained to learn a low-dimensional representation of the connectivity matrices. This representation was studied via correlation and classification analysis, which revealed ability in detecting dyslexic subjects with an accuracy higher than 0.8, and balanced accuracy around 0.7. Some features of the DAE representation were significantly correlated ($p<0.005$) with children's performance in language and cognitive tasks of the phonological hypothesis category such as phonological awareness and rapid symbolic naming, as well as reading efficiency and reading comprehension. Finally, a deeper analysis of the adjacency matrix revealed a reduced bilateral connection between electrodes of the temporal lobe (roughly the primary auditory cortex) in DD subjects, as well as an increased connectivity of the F7 electrode, placed roughly on Broca's area. These results pave the way for a complementary assessment of dyslexia using more objective methodologies such as EEG.


title: Locally Optimal Descent for Dynamic Stepsize Scheduling

abstract: We introduce a novel dynamic learning-rate scheduling scheme grounded in theory with the goal of simplifying the manual and time-consuming tuning of schedules in practice. Our approach is based on estimating the locally-optimal stepsize, guaranteeing maximal descent in the direction of the stochastic gradient of the current step. We first establish theoretical convergence bounds for our method within the context of smooth non-convex stochastic optimization, matching state-of-the-art bounds while only assuming knowledge of the smoothness parameter. We then present a practical implementation of our algorithm and conduct systematic experiments across diverse datasets and optimization algorithms, comparing our scheme with existing state-of-the-art learning-rate schedulers. Our findings indicate that our method needs minimal tuning when compared to existing approaches, removing the need for auxiliary manual schedules and warm-up phases and achieving comparable performance with drastically reduced parameter tuning.


title: Minimizing Factual Inconsistency and Hallucination in Large Language Models

abstract: Large Language Models (LLMs) are widely used in critical fields such as healthcare, education, and finance due to their remarkable proficiency in various language-related tasks. However, LLMs are prone to generating factually incorrect responses or "hallucinations," which can lead to a loss of credibility and trust among users. To address this issue, we propose a multi-stage framework that generates the rationale first, verifies and refines incorrect ones, and uses them as supporting references to generate the answer. The generated rationale enhances the transparency of the answer and our framework provides insights into how the model arrived at this answer, by using this rationale and the references to the context. In this paper, we demonstrate its effectiveness in improving the quality of responses to drug-related inquiries in the life sciences industry. Our framework improves traditional Retrieval Augmented Generation (RAG) by enabling OpenAI GPT-3.5-turbo to be 14-25% more faithful and 16-22% more accurate on two datasets. Furthermore, fine-tuning samples based on our framework improves the accuracy of smaller open-access LLMs by 33-42% and competes with RAG on commercial models.


title: Relativity of spacetime ontology: When correlations in space become correlata in time

abstract: Challenging Mermin's perspective that ``correlations have physical reality; that which they correlate does not'' we argue that correlations and correlata are not fundamentally distinct. These are dual concepts depending on the tensor product decomposition defining subsystems. Since the same quantum states may be either entangled or separable, but with respect to alternative tensor product structures, a spatial correlation in one context can become a temporal correlatum in another, and vice versa. In consequence, 2-qubit states invariant under $V\otimes V$ can be either entangled or unentangled, in conflict with the well known uniqueness theorem about the singlet state, a fact with possible implications for the quantum measurement theory.


title: PointPCA+: Extending PointPCA objective quality assessment metric

abstract: A computationally-simplified and descriptor-richer Point Cloud Quality Assessment (PCQA) metric, namely PointPCA+, is proposed in this paper, which is an extension of PointPCA. PointPCA proposed a set of perceptually-relevant descriptors based on PCA decomposition that were applied to both the geometry and texture data of point clouds for full reference PCQA. PointPCA+ employs PCA only on the geometry data while enriching existing geometry and texture descriptors, that are computed more efficiently. Similarly to PointPCA, a total quality score is obtained through a learning-based fusion of individual predictions from geometry and texture descriptors that capture local shape and appearance properties, respectively. Before feature fusion, a feature selection module is introduced to choose the most effective features from a proposed super-set. Experimental results show that PointPCA+ achieves high predictive performance against subjective ground truth scores obtained from publicly available datasets. The code is available at \url{https://github.com/cwi-dis/pointpca_suite/}.


title: A Multi-solution Study on GDPR AI-enabled Completeness Checking of DPAs

abstract: Specifying legal requirements for software systems to ensure their compliance with the applicable regulations is a major concern to requirements engineering (RE). Personal data which is collected by an organization is often shared with other organizations to perform certain processing activities. In such cases, the General Data Protection Regulation (GDPR) requires issuing a data processing agreement (DPA) which regulates the processing and further ensures that personal data remains protected. Violating GDPR can lead to huge fines reaching to billions of Euros. Software systems involving personal data processing must adhere to the legal obligations stipulated in GDPR and outlined in DPAs. Requirements engineers can elicit from DPAs legal requirements for regulating the data processing activities in software systems. Checking the completeness of a DPA according to the GDPR provisions is therefore an essential prerequisite to ensure that the elicited requirements are complete. Analyzing DPAs entirely manually is time consuming and requires adequate legal expertise. In this paper, we propose an automation strategy to address the completeness checking of DPAs against GDPR. Specifically, we pursue ten alternative solutions which are enabled by different technologies, namely traditional machine learning, deep learning, language modeling, and few-shot learning. The goal of our work is to empirically examine how these different technologies fare in the legal domain. We computed F2 score on a set of 30 real DPAs. Our evaluation shows that best-performing solutions yield F2 score of 86.7% and 89.7% are based on pre-trained BERT and RoBERTa language models. Our analysis further shows that other alternative solutions based on deep learning (e.g., BiLSTM) and few-shot learning (e.g., SetFit) can achieve comparable accuracy, yet are more efficient to develop.


title: Optimal divisions of a convex body

abstract: For a convex body $C$ in $\mathbb{R}^d$ and a division of $C$ into convex subsets $C_1,\ldots,C_n$, we can consider $max\{F(C_1),\ldots, F(C_n)\}$ (respectively, $min\{F(C_1),\ldots, F(C_n)\}$), where $F$ represents one of these classical geometric magnitudes: the diameter, the minimal width, or the inradius. In this work we study the divisions of $C$ minimizing (respectively, maximizing) the previous value, as well as other related questions.


title: Leveraging Optimal Transport via Projections on Subspaces for Machine Learning Applications

abstract: Optimal Transport has received much attention in Machine Learning as it allows to compare probability distributions by exploiting the geometry of the underlying space. However, in its original formulation, solving this problem suffers from a significant computational burden. Thus, a meaningful line of work consists at proposing alternatives to reduce this burden while still enjoying its properties. In this thesis, we focus on alternatives which use projections on subspaces. The main such alternative is the Sliced-Wasserstein distance, which we first propose to extend to Riemannian manifolds in order to use it in Machine Learning applications for which using such spaces has been shown to be beneficial in the recent years. We also study sliced distances between positive measures in the so-called unbalanced OT problem. Back to the original Euclidean Sliced-Wasserstein distance between probability measures, we study the dynamic of gradient flows when endowing the space with this distance in place of the usual Wasserstein distance. Then, we investigate the use of the Busemann function, a generalization of the inner product in metric spaces, in the space of probability measures. Finally, we extend the subspace detour approach to incomparable spaces using the Gromov-Wasserstein distance.


title: Controlling Large Language Model-based Agents for Large-Scale Decision-Making: An Actor-Critic Approach

abstract: The remarkable progress in Large Language Models (LLMs) opens up new avenues for addressing planning and decision-making problems in Multi-Agent Systems (MAS). However, as the number of agents increases, the issues of hallucination in LLMs and coordination in MAS have become increasingly prominent. Additionally, the efficient utilization of tokens emerges as a critical consideration when employing LLMs to facilitate the interactions among a substantial number of agents. In this paper, we develop a modular framework called LLaMAC to mitigate these challenges. LLaMAC implements a value distribution encoding similar to that found in the human brain, utilizing internal and external feedback mechanisms to facilitate collaboration and iterative reasoning among its modules. Through evaluations involving system resource allocation and robot grid transportation, we demonstrate the considerable advantages afforded by our proposed approach.


title: Can Physics Informed Neural Operators Self Improve?

abstract: Self-training techniques have shown remarkable value across many deep learning models and tasks. However, such techniques remain largely unexplored when considered in the context of learning fast solvers for systems of partial differential equations (Eg: Neural Operators). In this work, we explore the use of self-training for Fourier Neural Operators (FNO). Neural Operators emerged as a data driven technique, however, data from experiments or traditional solvers is not always readily available. Physics Informed Neural Operators (PINO) overcome this constraint by utilizing a physics loss for the training, however the accuracy of PINO trained without data does not match the performance obtained by training with data. In this work we show that self-training can be used to close this gap in performance. We examine canonical examples, namely the 1D-Burgers and 2D-Darcy PDEs, to showcase the efficacy of self-training. Specifically, FNOs, when trained exclusively with physics loss through self-training, approach 1.07x for Burgers and 1.02x for Darcy, compared to FNOs trained with both data and physics loss. Furthermore, we discover that pseudo-labels can be used for self-training without necessarily training to convergence in each iteration. A consequence of this is that we are able to discover self-training schedules that improve upon the baseline performance of PINO in terms of accuracy as well as time.


title: On transitions in water wave propagation through consolidated to broken sea ice covers

abstract: A theoretical model is used to study water waves propagating into and through a region containing thin floating ice, for ice covers transitioning from consolidated (large floe sizes) to fully broken (small floe sizes). The degree of breaking is simulated by a mean floe length. It is shown that there are deterministic limits for consolidated and fully broken ice covers where the wave fields do not depend on the particular realisation of the ice cover for a given mean floe length. The consolidated ice limit is consistent with classic flexural-gravity wave theory, and the fully broken limit is well modelled by Bloch waves in a periodic ice cover. In the transition between the limits, the wave field depends on the ice cover realisation, as multiple wave scattering is a dominant process. The effects of the ice cover on the wave field are quantified using a wavelength, attenuation rate, and a transferred amplitude measuring the amplitude drop at the ice edge. It is shown that as the ice cover breaks up (mean floe size gets smaller), the wavelength and amplitude drop decreases (transferred amplitude increases) and the attenuation rate increases. The results provide a new interpretation of field observations.


title: Unsupervised Learning for Topological Classification of Transportation Networks

abstract: With increasing urbanization, transportation plays an increasingly critical role in city development. The number of studies on modeling, optimization, simulation, and data analysis of transportation systems is on the rise. Many of these studies utilize transportation test networks to represent real-world transportation systems in urban areas, examining the efficacy of their proposed approaches. Each of these networks exhibits unique characteristics in their topology, making their applications distinct for various study objectives. Despite their widespread use in research, there is a lack of comprehensive study addressing the classification of these networks based on their topological characteristics. This study aims to fill this gap by employing unsupervised learning methods, particularly clustering. We present a comprehensive framework for evaluating various topological network characteristics. Additionally, we employ two dimensionality reduction techniques, namely Principal Component Analysis (PCA) and Isometric Feature Mapping (ISOMAP), to reduce overlaps of highly correlated features and enhance the interpretability of the subsequent classification results. We then utilize two clustering algorithms, K-means and HDBSCAN, to classify 14 transportation networks. The PCA method, followed by the K-means clustering approach, outperforms other alternatives with a Silhouette score of $0.510$, enabling the classification of transportation networks into five clusters. We also provide a detailed discussion on the resulting classification.


title: On the robustness of high-order upwind summation-by-parts methods for nonlinear conservation laws

abstract: We use the framework of upwind summation-by-parts (SBP) operators developed by Mattsson (2017, doi:10.1016/j.jcp.2017.01.042) and study different flux vector splittings in this context. To do so, we introduce discontinuous-Galerkin-like interface terms for multi-block upwind SBP methods applied to nonlinear conservation laws. We investigate the behavior of the upwind SBP methods for flux vector splittings of varying complexity on Cartesian as well as unstructured curvilinear multi-block meshes. Moreover, we analyze the local linear/energy stability of these methods following Gassner, Sv\"ard, and Hindenlang (2022, doi:10.1007/s10915-021-01720-8). Finally, we investigate the robustness of upwind SBP methods for challenging examples of shock-free flows of the compressible Euler equations such as a Kelvin-Helmholtz instability and the inviscid Taylor-Green vortex.


title: SIMBa: System Identification Methods leveraging Backpropagation

abstract: This manuscript details and extends the SIMBa toolbox (System Identification Methods leveraging Backpropagation) presented in previous work, which uses well-established Machine Learning tools for discrete-time linear multi-step-ahead state-space System Identification (SI). SIMBa leverages linear-matrix-inequality-based free parametrizations of Schur matrices to guarantee the stability of the identified model by design. In this paper, backed up by novel free parametrizations of Schur matrices, we extend the toolbox to show how SIMBa can incorporate known sparsity patterns or true values of the state-space matrices to identify without jeopardizing stability. We extensively investigate SIMBa's behavior when identifying diverse systems with various properties from both simulated and real-world data. Overall, we find it consistently outperforms traditional stable subspace identification methods, and sometimes significantly, especially when enforcing desired model properties. These results hint at the potential of SIMBa to pave the way for generic structured nonlinear SI. The toolbox is open-sourced on https://github.com/Cemempamoi/simba.


title: Numerical bounds on the Crouzeix ratio for a class of matrices

abstract: We provide numerical bounds on the Crouzeix ratiofor KLS matrices $A$ which have a line segment on the boundary of the numerical range. The Crouzeix ratio is the supremum over all polynomials $p$ of the spectral norm of $p(A)$ dividedby the maximum absolute value of $p$ on the numerical range of $A$.Our bounds confirm the conjecture that this ratiois less than or equal to $2$. We also give a precise description of these numerical ranges.


title: Additively stable sets, critical sets for the 3k-4 theorem in $\mathbb{Z}$ and $\mathbb{R}$

abstract: We describe in this paper additively left stable sets, i.e. sets satisfying $(A+A)-\inf(A)\cap[\inf(A),\sup(A)]=A$ (meaning that $A-\inf{A}$ is stable by addition with itself on its own support), when $A$ is a finite subset of integers and when $A$ is a bounded subset of real numbers. More precisely we give a sharp upper bound for the size of $A\cap[\inf(A),x]$ for $x\le\sup(A)$, and construct sets reaching this bound for any given $x$ in this range. This implies a precise characterization of the structure of some critical sets in Freiman's $3k-4$ theorem in both cases.


title: General Phrase Debiaser: Debiasing Masked Language Models at a Multi-Token Level

abstract: The social biases and unwelcome stereotypes revealed by pretrained language models are becoming obstacles to their application. Compared to numerous debiasing methods targeting word level, there has been relatively less attention on biases present at phrase level, limiting the performance of debiasing in discipline domains. In this paper, we propose an automatic multi-token debiasing pipeline called \textbf{General Phrase Debiaser}, which is capable of mitigating phrase-level biases in masked language models. Specifically, our method consists of a \textit{phrase filter stage} that generates stereotypical phrases from Wikipedia pages as well as a \textit{model debias stage} that can debias models at the multi-token level to tackle bias challenges on phrases. The latter searches for prompts that trigger model's bias, and then uses them for debiasing. State-of-the-art results on standard datasets and metrics show that our approach can significantly reduce gender biases on both career and multiple disciplines, across models with varying parameter sizes.


title: Beamforming Design for Hybrid IRS-aided AF Relay Wireless Networks

abstract: In this paper, a hybrid IRS-aided amplify-and-forward (AF) relay wireless network is put forward, where the hybrid IRS is made up of passive and active elements. For maximum signal-to-noise ratio (SNR), a low-complexity method based on successive convex approximation and fractional programming (LC-SCA-FP) is proposed to jointly optimize the beamforming matrix at AF relay and the reflecting coefficient matrices at IRS. Simulation results verify that the rate achieved by the proposed LC-SCA-FP method surpass those of the benchmark schemes, namely the passive IRS-aided AF relay and only AF relay network.


title: A first step towards an ecosystem meta-model for humancentered design in case of disabled users

abstract: The involvement of the ecosystem or social environment of the disabled user is considered as very useful and even essential for the human-centered design of assistive technologies. In the era of model-based approaches, the modeling of the ecosystem is therefore to be considered. The first version of a metamodel of ecosystem is proposed. It is illustrated through a first case study. It concerns a project aiming at a communication aid for people with cerebral palsy. A conclusion and research perspectives end this paper.


title: Query by Activity Video in the Wild

abstract: This paper focuses on activity retrieval from a video query in an imbalanced scenario. In current query-by-activity-video literature, a common assumption is that all activities have sufficient labelled examples when learning an embedding. This assumption does however practically not hold, as only a portion of activities have many examples, while other activities are only described by few examples. In this paper, we propose a visual-semantic embedding network that explicitly deals with the imbalanced scenario for activity retrieval. Our network contains two novel modules. The visual alignment module performs a global alignment between the input video and fixed-sized visual bank representations for all activities. The semantic module performs an alignment between the input video and fixed-sized semantic activity representations. By matching videos with both visual and semantic activity representations that are of equal size over all activities, we no longer ignore infrequent activities during retrieval. Experiments on a new imbalanced activity retrieval benchmark show the effectiveness of our approach for all types of activities.


title: Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing

abstract: We study the steady states of a system of cross-diffusion equations arising from the modeling of chemotaxis with local sensing, where the motility is a decreasing function of the concentration of the chemical. In order to capture the many different equilibria that sometimes co-exist, we use computer-assisted proofs: Given an approximate solution obtained numerically, we apply a fixed-point argument in a small neighborhood of this approximate solution to prove the existence of an exact solution nearby. This allows us to rigorously study the steady states of this crossdiffusion system much more extensively than what previously possible with purely pen-and-paper techniques. Our computer-assisted argument makes use of Fourier series decomposition, which is common in the literature, but usually restricted to systems with polynomial nonlinearities. This is not the case for the model considered in this paper, and we develop a new way of dealing with some nonpolynomial nonlinearities in the context of computer-assisted proofs with Fourier series.


title: Super-resolution capacity of variance-based stochastic fluorescence microscopy

abstract: Improving the resolution of fluorescence microscopy beyond the diffraction limit can be achievedby acquiring and processing multiple images of the sample under different illumination conditions.One of the simplest techniques, Random Illumination Microscopy (RIM), forms the super-resolvedimage from the variance of images obtained with random speckled illuminations. However, thevalidity of this process has not been fully theorized. In this work, we characterize mathematicallythe sample information contained in the variance of diffraction-limited speckled images as a functionof the statistical properties of the illuminations. We show that an unambiguous two-fold resolutiongain is obtained when the speckle correlation length coincides with the width of the observationpoint spread function. Last, we analyze the difference between the variance-based techniques usingrandom speckled illuminations (as in RIM) and those obtained using random fluorophore activation(as in Super-resolution Optical Fluctuation Imaging, SOFI).


title: HandiMathKey-Device

abstract: Typing mathematics is sometimes difficult with text editor functions for students with motor impairment and other associated impairments (visual, cognitive). Based on the HandiMathKey software keyboard, a user-centred design method involving the ecosytem of disabled students was applied to design the HMK-D physical keyboard for mathematical input. We opted for the Stream Deck device because of its multimedia features and its appeal to young students to the HMK-D. Preliminary tests with 8 students (5 in secondary school and 3 in high school) shows that HMK-D is highly accepted, accessible and fun for mathematical input by students with impairments. A longitudinal study of the usability and acceptability of HMK-D is planned for the 2023-2024 school year.


title: On the inverse theorem for Gowers norms in abelian groups of bounded torsion

abstract: In recent work, Jamneshan, Shalom and Tao proved an inverse theorem for the Gowers $U^{k+1}$-norm on finite abelian groups of fixed torsion $m$, where the final correlating harmonic is a polynomial phase function of degree at most $C(k,m)$. They also posed a related central question, namely, whether the bound $C$ can be reduced to the optimal value $k$ for every $m$. We make progress on this question using nilspace theory. First we connect the question to the study of finite nilspaces whose structure groups have torsion $m$. Then we prove one of the main results of this paper: a primary decomposition theorem for finite nilspaces, extending the Sylow decomposition in group theory. Thus we give an analogue for nilspaces of an ergodic-theoretic Sylow decomposition in the aforementioned work of Jamneshan-Shalom-Tao. We deduce various consequences which illustrate the following general idea: the primary decomposition enables a reduction of higher-order Fourier analysis in the $m$-torsion setting to the case of abelian $p$-groups. These consequences include a positive answer to the question of Jamneshan-Shalom-Tao when $m$ is squarefree, and also a new relation between uniformity norms and certain generalized cut norms on products of abelian groups of coprime orders. Another main result in this paper is a positive answer to the above central question for the $U^3$-norm, proving that $C(2,m)=2$ for all $m$. Finally, we give a partial answer to the question for all $k$ and $m$, proving an inverse theorem involving extensions of polynomial phase functions which were introduced by the third-named author, known as projected phase polynomials of degree $k$. A notable aspect is that this inverse theorem implies that of Jamneshan-Shalom-Tao, while involving projected phase polynomials of degree $k$, which are genuine obstructions to having small $U^{k+1}$-norm.


title: Efficient generation and amplification of intense vortex and vector laser pulses via strongly coupled stimulated Brillouin scattering in plasmas

abstract: The past decade has seen tremendous progress in the production and utilization of vortex and vector laser pulses. Although both are considered as structured light beams, the vortex lasers have helical phase fronts and phase singularities, while the vector lasers have spatially variable polarization states and polarization singularities. In contrast to the vortex pulses that carry orbital angular momentum (OAM), the vector laser pulses have a complex spin angular momentum (SAM) and OAM coupling. Despite many potential applications enabled by such pulses, the generation of high-power/-intensity vortex and vector beams remains challenging. Here, we demonstrate using theory and three-dimensional simulations that the strongly-coupled stimulated Brillouin scattering (SC-SBS) process in plasmas can be used as a promising amplification technique with up to 65% energy transfer efficiency from the pump beam to the seed beam for both vortex and vector pulses. We also show that SC-SBS is strongly polarization-dependent in plasmas, enabling an all-optical polarization control of the amplified seed beam. Additionally, the interaction of such structured lasers with plasmas leads to various angular momentum couplings and decouplings that produce intense new light structures with controllable OAM and SAM. This scheme paves the way for novel optical devices such as plasma-based amplifiers and light field manipulators.