title: Semi-Supervised Disentanglement of Tactile Contact~Geometry from Sliding-Induced Shear

abstract: The sense of touch is fundamental to human dexterity. When mimicked in robotic touch, particularly by use of soft optical tactile sensors, it suffers from distortion due to motion-dependent shear. This complicates tactile tasks like shape reconstruction and exploration that require information about contact geometry. In this work, we pursue a semi-supervised approach to remove shear while preserving contact-only information. We validate our approach by showing a match between the model-generated unsheared images with their counterparts from vertically tapping onto the object. The model-generated unsheared images give faithful reconstruction of contact-geometry otherwise masked by shear, along with robust estimation of object pose then used for sliding exploration and full reconstruction of several planar shapes. We show that our semi-supervised approach achieves comparable performance to its fully supervised counterpart across all validation tasks with an order of magnitude less supervision. The semi-supervised method is thus more computational and labeled sample-efficient. We expect it will have broad applicability to wide range of complex tactile exploration and manipulation tasks performed via a shear-sensitive sense of touch.


title: Geostatistics for large datasets on Riemannian manifolds: a matrix-free approach

abstract: Large or very large spatial (and spatio-temporal) datasets have become common place in many environmental and climate studies. These data are often collected in non-Euclidean spaces (such as the planet Earth) and they often present non-stationary anisotropies. This paper proposes a generic approach to model Gaussian Random Fields (GRFs) on compact Riemannian manifolds that bridges the gap between existing works on non-stationary GRFs and random fields on manifolds. This approach can be applied to any smooth compact manifolds, and in particular to any compact surface. By defining a Riemannian metric that accounts for the preferential directions of correlation, our approach yields an interpretation of the ''local anisotropies'' as resulting from ''local'' deformations of the domain. We provide scalable algorithms for the estimation of the parameters and for optimal prediction by kriging and simulation able to tackle very large grids. Stationary and non-stationary illustrations are provided.


title: Underground Measurements of Nuclear Reaction Cross-Sections Relevant to AGB Stars

abstract: Nuclear reaction cross sections are essential ingredients to predict the evolution of AGB stars and understand their impact on the chemical evolution of our Galaxy. Unfortunately, the cross sections of the reactions involved are often very small and challenging to measure in laboratories on Earth. In this context, major steps forward were made with the advent of underground nuclear astrophysics, pioneered by the Laboratory for Underground Nuclear Astrophysics (LUNA). The present paper reviews the contribution of LUNA to our understanding of the evolution of AGB stars and related nucleosynthesis.


title: On the convergence of discontinuous Galerkin/Hermite spectral methods for the Vlasov-Poisson system

abstract: We prove the convergence of discontinuous Galerkin approximations for the Vlasov-Poisson system written as an hyperbolic system using Hermite polynomials in velocity. To obtain stability properties, we introduce a suitable weighted L 2 space, with a time dependent weight, and first prove global stability for the weighted L 2 norm and propagation of regularity. Then we prove error estimates between the numerical solution and the smooth solution to the Vlasov-Poisson system.


title: Spatial Symmetries in Multipolar Metasurfaces: From Asymmetric Angular Transmittance to Multipolar Extrinsic Chirality

abstract: We propose a framework that connects the spatial symmetries of a metasurface to its material parameter tensors and its scattering matrix. This provides a simple yet effective way to effortlessly determine properties of a metasurface scattering response, such as chirality or asymmetric transmission, and which of its effective material parameters should be taken into account in the prospect of a homogenization procedure. In contrast to existing techniques, this approach does not require any a priori knowledge of group theory or complicated numerical simulation schemes, hence making it fast, easy to use and accessible. Its working principle consists in recursively solving symmetry-invariance conditions that apply to dipolar and quadrupolar material parameters, which include nonlocal interactions, as well as the metasurface scattering matrix. The overall process thus only requires listing the spatial symmetries of the metasurface. Using the proposed framework, we demonstrate the existence of multipolar extrinsic chirality, which is a form of chiral response that is achieved in geometrically achiral structures sensitive to field gradients even at normal incidence.


title: AiM: Taking Answers in Mind to Correct Chinese Cloze Tests in Educational Applications

abstract: To automatically correct handwritten assignments, the traditional approach is to use an OCR model to recognize characters and compare them to answers. The OCR model easily gets confused on recognizing handwritten Chinese characters, and the textual information of the answers is missing during the model inference. However, teachers always have these answers in mind to review and correct assignments. In this paper, we focus on the Chinese cloze tests correction and propose a multimodal approach (named AiM). The encoded representations of answers interact with the visual information of students' handwriting. Instead of predicting 'right' or 'wrong', we perform the sequence labeling on the answer text to infer which answer character differs from the handwritten content in a fine-grained way. We take samples of OCR datasets as the positive samples for this task, and develop a negative sample augmentation method to scale up the training data. Experimental results show that AiM outperforms OCR-based methods by a large margin. Extensive studies demonstrate the effectiveness of our multimodal approach.


title: EGFR Mutation Prediction of Lung Biopsy Images using Deep Learning

abstract: The standard diagnostic procedures for targeted therapies in lung cancer treatment involve histological subtyping and subsequent detection of key driver mutations, such as EGFR. Even though molecular profiling can uncover the driver mutation, the process is often expensive and time-consuming. Deep learning-oriented image analysis offers a more economical alternative for discovering driver mutations directly from whole slide images (WSIs). In this work, we used customized deep learning pipelines with weak supervision to identify the morphological correlates of EGFR mutation from hematoxylin and eosin-stained WSIs, in addition to detecting tumor and histologically subtyping it. We demonstrate the effectiveness of our pipeline by conducting rigorous experiments and ablation studies on two lung cancer datasets - TCGA and a private dataset from India. With our pipeline, we achieved an average area under the curve (AUC) of 0.964 for tumor detection, and 0.942 for histological subtyping between adenocarcinoma and squamous cell carcinoma on the TCGA dataset. For EGFR detection, we achieved an average AUC of 0.864 on the TCGA dataset and 0.783 on the dataset from India. Our key learning points include the following. Firstly, there is no particular advantage of using a feature extractor layers trained on histology, if one is going to fine-tune the feature extractor on the target dataset. Secondly, selecting patches with high cellularity, presumably capturing tumor regions, is not always helpful, as the sign of a disease class may be present in the tumor-adjacent stroma.


title: Surface Vacancy Generation by STM Tunneling Electrons in the Presence of Indigo Molecules on Cu(111)

abstract: Herein, we invesgate the consequence of local voltage pulses on the adsorption state of single indigo molecules on the Cu(111) surface as well as on the atomic structure underneath the molecule. With a scanning tunneling microscope, at 5 K, intact molecules are imaged as two lobes corresponding to the electron density of each indoxyl moiety of the molecule which are connected by a carbon double bond. Then, two short successive voltage pulses with the tip placed above the molecule generate irreversible modifications, as revealed by consecutive scanning tunneling microscopy (STM) imaging. Density-functional theory calculations coupled to STM image calculations indicate the creation of a double surface vacancy of copper surface atoms below the oxygen atom of the indigo molecule as the most plausible scenario. These extracted copper atoms are stabilized as adatoms by the indigo oxygens, oxidizing each copper adatom to 0.32 electron.


title: Violent suicide attempt history in elderly patients with bipolar disorder: The role of sex, abdominal obesity, and verbal memory: Results from the FACE-BD cohort (FondaMental Advanced center of Expertise for Bipolar Disorders)

abstract: Background: Bipolar disorder (BD) is a chronic, lifelong condition, associated with increased risk of obesity, cognitive impairment, and suicidal behaviors. Abdominal obesity and a higher risk of violent suicide attempt (SA) seem to be shared correlates with older age, BD, and male sex until middle age when menopause-related female body changes occur. This study aimed at assessing the role of abdominal obesity and cognition in the violent SA burden of individuals with BD.Methods: From the well-defined nationwide cohort FACE-BD (FondaMental Advanced center of Expertise for Bipolar Disorders), we extracted data on 619 euthymic BD patients that were 50 years or older at inclusion. Cross-sectional clinical, cognitive, and metabolic assessments were performed. SA history was based on self-report.Results: Violent SA, in contrast to non-violent and no SA, was associated with higher waist circumference, abdominal obesity and poorer California Verbal Learning Test short-delay free recall (CVLT-SDFR) (ANOVA, p < .001, p = .014, and p = .006). Waist circumference and abdominal obesity were associated with violent SA history independently of sex, BD type and anxiety disorder (Exp(B) 1.02, CI 1.00-1.05, p = .018; Exp(B) 2.16, CI 1.00-4.64, p = .009, accordingly). In an exploratory model, waist circumference and CVLT-SDFR performance mediated the association between male sex and violent SA.Limitations: Cross-sectional design and retrospective reporting.Conclusions: Violent SA history was associated with abdominal obesity and poorer verbal memory in older age BD patients. These factors were interlinked and might mediate the association between male sex and violent SA.


title: Bayesian design and analysis of two-arm cluster randomised trials using assurance

abstract: We consider the design of a two-arm superiority cluster randomised controlled trial (RCT) with a continuous outcome. We detail Bayesian inference for the analysis of the trial using a linear mixed-effects model. The treatment is compared to control using the posterior distribution for the treatment effect. We develop the form of the assurance to choose the sample size based on this analysis, and its evaluation using a two loop Monte Carlo sampling scheme. We assess the proposed approach, considering the effect of different forms of prior distribution, and the number of Monte Carlo samples needed in both loops for accurate determination of the assurance and sample size. Based on this assessment, we provide general advice on each of these choices. We apply the approach to the choice of sample size for a cluster RCT into post-stroke incontinence, and compare the resulting sample size to those from a power calculation and assurance based on a Wald test for the treatment effect. The Bayesian approach to design and analysis developed in this paper can offer advantages in terms of an increase in the robustness of the chosen sample size to parameter mis-specification and reduced sample sizes if prior information indicates the treatment effect is likely to be larger than the minimal clinically important difference.


title: Partially Relevant Video Retrieval

abstract: Current methods for text-to-video retrieval (T2VR) are trained and tested on video-captioning oriented datasets such as MSVD, MSR-VTT and VATEX. A key property of these datasets is that videos are assumed to be temporally pre-trimmed with short duration, whilst the provided captions well describe the gist of the video content. Consequently, for a given paired video and caption, the video is supposed to be fully relevant to the caption. In reality, however, as queries are not known a priori, pre-trimmed video clips may not contain sufficient content to fully meet the query. This suggests a gap between the literature and the real world. To fill the gap, we propose in this paper a novel T2VR subtask termed Partially Relevant Video Retrieval (PRVR). An untrimmed video is considered to be partially relevant w.r.t. a given textual query if it contains a moment relevant to the query. PRVR aims to retrieve such partially relevant videos from a large collection of untrimmed videos. PRVR differs from single video moment retrieval and video corpus moment retrieval, as the latter two are to retrieve moments rather than untrimmed videos. We formulate PRVR as a multiple instance learning (MIL) problem, where a video is simultaneously viewed as a bag of video clips and a bag of video frames. Clips and frames represent video content at different time scales. We propose a Multi-Scale Similarity Learning (MS-SL) network that jointly learns clip-scale and frame-scale similarities for PRVR. Extensive experiments on three datasets (TVR, ActivityNet Captions, and Charades-STA) demonstrate the viability of the proposed method. We also show that our method can be used for improving video corpus moment retrieval.


title: Lower Difficulty and Better Robustness: A Bregman Divergence Perspective for Adversarial Training

abstract: In this paper, we investigate on improving the adversarial robustness obtained in adversarial training (AT) via reducing the difficulty of optimization. To better study this problem, we build a novel Bregman divergence perspective for AT, in which AT can be viewed as the sliding process of the training data points on the negative entropy curve. Based on this perspective, we analyze the learning objectives of two typical AT methods, i.e., PGD-AT and TRADES, and we find that the optimization process of TRADES is easier than PGD-AT for that TRADES separates PGD-AT. In addition, we discuss the function of entropy in TRADES, and we find that models with high entropy can be better robustness learners. Inspired by the above findings, we propose two methods, i.e., FAIT and MER, which can both not only reduce the difficulty of optimization under the 10-step PGD adversaries, but also provide better robustness. Our work suggests that reducing the difficulty of optimization under the 10-step PGD adversaries is a promising approach for enhancing the adversarial robustness in AT.


title: The Glauber-Ising chain under low-temperature protocols

abstract: This work is devoted to an in-depth analysis of arbitrary temperature protocols applied to the ferromagnetic Glauber-Ising chain launched from a disordered initial state and evolving in the low-temperature scaling regime. We focus our study on the density of domain walls and the reduced susceptibility. Both the inverse of the former observable and the latter one provide two independent measures of the typical size of the growing ferromagnetic domains. Their product is thus a dimensionless form factor characterising the pattern of growing ordered domains and providing a measure of the distance of the system to thermal equilibrium. We apply this framework to a variety of protocols: everlasting slow quenches, where temperature decreases continuously to zero in the limit of infinitely long times, slow quenches of finite duration, where temperature reaches zero at some long but finite quenching time, time-periodic protocols with weak and strong modulations, and the two-temperature protocol leading to the memory effect found by Kovacs.


title: Perspective-1-Ellipsoid: Formulation, Analysis and Solutions of the Camera Pose Estimation Problem from One Ellipse-Ellipsoid Correspondence

abstract: In computer vision, camera pose estimation from correspondences between 3D geometric entities and their projections into the image has been a widely investigated problem. Although most state-of-the-art methods exploit low-level primitives such as points or lines, the emergence of very effective CNN-based object detectors in the recent years has paved the way to the use of higher-level features carrying semantically meaningful information. Pioneering works in that direction have shown that modelling 3D objects by ellipsoids and 2D detections by ellipses offers a convenient manner to link 2D and 3D data. However, the mathematical formalism most often used in the related litterature does not enable to easily distinguish ellipsoids and ellipses from other quadrics and conics, leading to a loss of specificity potentially detrimental in some developments. Moreover, the linearization process of the projection equation creates an over-representation of the camera parameters, also possibly causing an efficiency loss. In this paper, we therefore introduce an ellipsoid-specific theoretical framework and demonstrate its beneficial properties in the context of pose estimation. More precisely, we first show that the proposed formalism enables to reduce the pose estimation problem to a position or orientation-only estimation problem in which the remaining unknowns can be derived in closed-form. Then, we demonstrate that it can be further reduced to a 1 Degree-of-Freedom (1DoF) problem and provide the analytical derivations of the pose as a function of that unique scalar unknown. We illustrate our theoretical considerations by visual examples and include a discussion on the practical aspects. Finally, we release this paper along with the corresponding source code in order to contribute towards more efficient resolutions of ellipsoid-related pose estimation problems.


title: The lambda hyperon and the hyperon puzzle

abstract: Neutron stars provide unique conditions to study cold dense nuclear matter at extreme densities. Due to these extreme conditions additional hadronic degrees of freedom are expected to be populated,including hyperons. This talk will focus on the influence of hyperons on the neutron star equation ofstate. In particular the contribution of the lambda hyperon will be discussed, as a first approximation to describing exotic neutron star equations of state. The system under consideration is where the strong nuclear force is described by the exchange of mesons and applying the relativistic mean field theory to study dense nuclear matter. As expected, the inclusion of the lambda hyperon softens the neutron star equation of state (EoS). A softer EoS will reduce the maximum mass attainable by the modeled neutron star with such EoS. While hyperons are certainly not unexpected in high density systems, but there presence seems to be contradicted by observations of high mass neutron stars. This contradiction is known as the "hyperon puzzle". The expected influx of observational data from massive new radio-telescopes like the Square Kilometer Array (SKA) will provide observations that can be supported and evolve theoretical models of nuclear matter. Therefore, the study of hyperonic matter is not only relevant to nuclear theory, but also locally to Botswana as an African partner country of the SKA.


title: Constraining Gaussian Processes to Systems of Linear Ordinary Differential Equations

abstract: Data in many applications follows systems of Ordinary Differential Equations (ODEs). This paper presents a novel algorithmic and symbolic construction for covariance functions of Gaussian Processes (GPs) with realizations strictly following a system of linear homogeneous ODEs with constant coefficients, which we call LODE-GPs. Introducing this strong inductive bias into a GP improves modelling of such data. Using smith normal form algorithms, a symbolic technique, we overcome two current restrictions in the state of the art: (1) the need for certain uniqueness conditions in the set of solutions, typically assumed in classical ODE solvers and their probabilistic counterparts, and (2) the restriction to controllable systems, typically assumed when encoding differential equations in covariance functions. We show the effectiveness of LODE-GPs in a number of experiments, for example learning physically interpretable parameters by maximizing the likelihood.


title: A fully passive transmitter for decoy-state quantum key distribution

abstract: A passive quantum key distribution (QKD) transmitter generates the quantum states prescribed by a QKD protocol at random, combining a fixed quantum mechanism and a post-selection step. By avoiding the use of active optical modulators externally driven by random number generators, passive QKD transmitters offer immunity to modulator side channels and potentially enable higher frequencies of operation. Recently, the first linear optics setup suitable for passive decoy-state QKD has been proposed. In this work, we simplify the prototype and adopt sharply different approaches for BB84 polarization encoding and decoy-state generation. On top of it, we elaborate a tight custom-made security analysis surpassing an unnecessary assumption and a post-selection step that are central to the former proposal.


title: Enabling Massage Actions: An Interactive Parallel Robot with Compliant Joints

abstract: We propose a parallel massage robot with compliant joints based on the series elastic actuator (SEA), offering a unified force-position control approach. First, the kinematic and static force models are established for obtaining the corresponding control variables. Then, a novel force-position control strategy is proposed to separately control the force-position along the normal direction of the surface and another two-direction displacement, without the requirement of a robotic dynamics model. To evaluate its performance, we implement a series of robotic massage experiments. The results demonstrate that the proposed massage manipulator can successfully achieve desired forces and motion patterns of massage tasks, arriving at a high-score user experience.


title: On Randomization of Affine Diffusion Processes with Application to Pricing of Options on VIX and S&P 500

abstract: The class of Affine (Jump) Diffusion (AD) has, due to its closed form characteristic function (ChF), gained tremendous popularity among practitioners and researchers. However, there is clear evidence that a linearity constraint is insufficient for precise and consistent option pricing. Any non-affine model must pass the strict requirement of quick calibration -- which is often challenging. We focus here on Randomized AD (RAnD) models, i.e., we allow for exogenous stochasticity of the model parameters. Randomization of a pricing model occurs outside the affine model and, therefore, forms a generalization that relaxes the affinity constraints. The method is generic and can apply to any model parameter. It relies on the existence of moments of the so-called randomizer- a random variable for the stochastic parameter. The RAnD model allows flexibility while benefiting from fast calibration and well-established, large-step Monte Carlo simulation, often available for AD processes. The article will discuss theoretical and practical aspects of the RAnD method, like derivations of the corresponding ChF, simulation, and computations of sensitivities. We will also illustrate the advantages of the randomized stochastic volatility models in the consistent pricing of options on the S&P 500 and VIX.


title: Comparison of unknown unitary channels with multiple uses

abstract: Comparison of quantum objects is a task to determine whether two unknown quantum objects are the same or different. It is one of the most basic information processing tasks for learning property of quantum objects, and comparison of quantum states, quantum channels, and quantum measurements have been investigated. In general, repeated uses of quantum objects improve the success probability of comparison. The optimal strategy of pure-state comparison, the comparison of quantum states for the case of multiple copies of each unknown pure state, is known, but the optimal strategy of unitary comparison, the comparison of quantum channels for the case of multiple uses of each unknown unitary channel, was not known due to the complication of the varieties of causal order structures among the uses of each unitary channel. In this paper, we investigate unitary comparison with multiple uses of unitary channels based on the quantum tester formalism. We obtain the optimal minimum-error and the optimal unambiguous strategies of unitary comparison of two unknown $d$-dimensional unitary channels $U_1$ and $U_2$ when $U_1$ can be used $N_1$ times and $U_2$ can be used $N_2$ times for $N_2 \ge (d-1)N_1$. These optimal strategies are implemented by parallel uses of the unitary channels, even though all sequential and adaptive strategies implementable by the quantum circuit model are considered. When the number of the smaller uses of the unitary channels $N_1$ is fixed, the optimal averaged success probability cannot be improved by adding more uses of $U_2$ than $N_2 = (d-1) N_1$. This feature is in contrast to the case of pure-state comparison, where adding more copies of the unknown pure states always improves the optimal averaged success probability. It highlights the difference between corresponding tasks for states and channels, which has been previously shown for quantum discrimination tasks.


title: On a Strong Robust-Safety Notion for Differential Inclusions

abstract: A dynamical system is strongly robustly safe provided that it remains safe in the presence of a continuous and positive perturbation, named robustness margin, added to both the argument and the image of the right-hand side (the dynamics). Therefore, in comparison with existing robust-safety notions, where the continuous and positive perturbation is added only to the image of the right-hand side, the proposed notion is shown to be relatively stronger in the context of set-valued right-hand sides. Furthermore, we distinguish between strong robust safety and \textit{uniform strong robust safety}, which requires the existence of a constant robustness margin. The first part of the paper proposes sufficient conditions for strong robust safety in terms of barrier functions. The proposed conditions involve only the barrier function and the system's right-hand side. Furthermore, we establish the equivalence between strong robust safety and the existence of a smooth barrier certificate. The second part of the paper proposes scenarios, under which, strong robust safety implies uniform strong robust safety. Finally, we propose sufficient conditions for the latter notion in terms of barrier functions.


title: Quantum non-Gaussianity certification of photon-number-resolving detectors

abstract: We report on direct experimental certification of the quantum non-Gaussian character of a photon-number resolving detector. The certification protocol is based on an adaptation of the existing quantum non-Gaussianity criteria for quantum states to quantum measurements. In our approach, it suffices to probe the detector with a vacuum state and two different thermal states to test its quantum non-Gaussianity. The certification is experimentally demonstrated for the detector formed by a spatially multiplexed array of ten single-photon avalanche photodiodes. We confirm the quantum non-Gaussianity of POVM elements $\hat{\Pi}_m$ associated with the $m$-fold coincidence counts, up to $m=7$. The experimental ability to certify from the first principles the quantum non-Gaussian character of $\hat{\Pi}_m$ is for large $m$ limited by low probability of the measurement outcomes, especially for vacuum input state. We find that the injection of independent Gaussian background noise into the detector can be helpful and may reduce the measurement time required for reliable confirmation of quantum non-Gaussianity. In addition, we modified and experimentally verified the quantum non-Gaussianity certification protocol employing a third thermal state instead of a vacuum to speed up the whole measurement. Our findings demonstrate the existence of efficient tools for the practical characterization of fundamental non-classical properties and benchmarking of complex optical quantum detectors.


title: Splitting Method for Support Vector Machine with Lower Semi-continuous Loss

abstract: In this paper, we study the splitting method based on alternating direction method of multipliers for support vector machine in reproducing kernel Hilbert space with lower semi-continuous loss function. If the loss function is lower semi-continuous and subanalytic, we use the Kurdyka-Lojasiewicz inequality to show that the iterative sequence induced by the splitting method globally converges to a stationary point. The numerical experiments also demonstrate the effectiveness of the splitting method.


title: ESC-Rules: Explainable, Semantically Constrained Rule Sets

abstract: We describe a novel approach to explainable prediction of a continuous variable based on learning fuzzy weighted rules. Our model trains a set of weighted rules to maximise prediction accuracy and minimise an ontology-based 'semantic loss' function including user-specified constraints on the rules that should be learned in order to maximise the explainability of the resulting rule set from a user perspective. This system fuses quantitative sub-symbolic learning with symbolic learning and constraints based on domain knowledge. We illustrate our system on a case study in predicting the outcomes of behavioural interventions for smoking cessation, and show that it outperforms other interpretable approaches, achieving performance close to that of a deep learning model, while offering transparent explainability that is an essential requirement for decision-makers in the health domain.


title: Superradiant Phase Transition in the Strong Coupling Regime

abstract: The Dicke model can exhibit quantum phase transition between the normal and the superradiant phases when the strength of the light-matter coupling exceeds the ultrastrong coupling regime. However, it is challenging to observe this phase transition in practical systems due to limited coupling strength or finite two-photon $A^{2}$ terms. Here we show that by applying a periodic modulation to the frequency of the two-level systems in a standard Dicke model in the strong coupling regime, an anisotropic Dicke model with tunable rotating and counter-rotating terms in the ultrastrong coupling regime can be achieved. We calculate the ground state and the excitation spectrum of this model in terms of the modulation parameters. Our result shows that the superradiant phases can be observed in cavity- or circuit-quantum electrodynamics systems with strong coupling.


title: Visual processing in context of reinforcement learning

abstract: Although deep reinforcement learning (RL) has recently enjoyed many successes, its methods are still data inefficient, which makes solving numerous problems prohibitively expensive in terms of data. We aim to remedy this by taking advantage of the rich supervisory signal in unlabeled data for learning state representations. This thesis introduces three different representation learning algorithms that have access to different subsets of the data sources that traditional RL algorithms use: (i) GRICA is inspired by independent component analysis (ICA) and trains a deep neural network to output statistically independent features of the input. GrICA does so by minimizing the mutual information between each feature and the other features. Additionally, GrICA only requires an unsorted collection of environment states. (ii) Latent Representation Prediction (LARP) requires more context: in addition to requiring a state as an input, it also needs the previous state and an action that connects them. This method learns state representations by predicting the representation of the environment's next state given a current state and action. The predictor is used with a graph search algorithm. (iii) RewPred learns a state representation by training a deep neural network to learn a smoothed version of the reward function. The representation is used for preprocessing inputs to deep RL, while the reward predictor is used for reward shaping. This method needs only state-reward pairs from the environment for learning the representation. We discover that every method has their strengths and weaknesses, and conclude from our experiments that including unsupervised representation learning in RL problem-solving pipelines can speed up learning.


title: Cross-Lingual Cross-Modal Retrieval with Noise-Robust Learning

abstract: Despite the recent developments in the field of cross-modal retrieval, there has been less research focusing on low-resource languages due to the lack of manually annotated datasets. In this paper, we propose a noise-robust cross-lingual cross-modal retrieval method for low-resource languages. To this end, we use Machine Translation (MT) to construct pseudo-parallel sentence pairs for low-resource languages. However, as MT is not perfect, it tends to introduce noise during translation, rendering textual embeddings corrupted and thereby compromising the retrieval performance. To alleviate this, we introduce a multi-view self-distillation method to learn noise-robust target-language representations, which employs a cross-attention module to generate soft pseudo-targets to provide direct supervision from the similarity-based view and feature-based view. Besides, inspired by the back-translation in unsupervised MT, we minimize the semantic discrepancies between origin sentences and back-translated sentences to further improve the noise robustness of the textual encoder. Extensive experiments are conducted on three video-text and image-text cross-modal retrieval benchmarks across different languages, and the results demonstrate that our method significantly improves the overall performance without using extra human-labeled data. In addition, equipped with a pre-trained visual encoder from a recent vision-and-language pre-training framework, i.e., CLIP, our model achieves a significant performance gain, showing that our method is compatible with popular pre-training models. Code and data are available at https://github.com/HuiGuanLab/nrccr.


title: Unsupervised Spike Depth Estimation via Cross-modality Cross-domain Knowledge Transfer

abstract: Neuromorphic spike data, an upcoming modality with high temporal resolution, has shown promising potential in real-world applications due to its inherent advantage to overcome high-velocity motion blur. However, training the spike depth estimation network holds significant challenges in two aspects: sparse spatial information for dense regression tasks, and difficulties in achieving paired depth labels for temporally intensive spike streams. In this paper, we thus propose a cross-modality cross-domain (BiCross) framework to realize unsupervised spike depth estimation with the help of open-source RGB data. It first transfers cross-modality knowledge from source RGB to mediates simulated source spike data, then realizes cross-domain learning from simulated source spike to target spike data. Specifically, Coarse-to-Fine Knowledge Distillation (CFKD) is introduced to transfer cross-modality knowledge in global and pixel-level in the source domain, which complements sparse spike features by sufficient semantic knowledge of image features. We then propose Uncertainty Guided Teacher-Student (UGTS) method to realize cross-domain learning on spike target domain, ensuring domain-invariant global and pixel-level knowledge of teacher and student model through alignment and uncertainty guided depth selection measurement. To verify the effectiveness of BiCross, we conduct extensive experiments on three scenarios, including Synthetic to Real, Extreme Weather, and Scene Changing. The code and datasets will be released.


title: Data Assimilation to the Primitive Equations with $L^p$-$L^q$-based Maximal Regularity Approach

abstract: In this paper, we show mathematical justification of the data assimilation of nudging type in $L^p$-$L^q$ maximal regularity settings. We prove that the approximate solution of the primitive equations by data assimilation converges to the true solution with exponential order on the Besov space $B^{2/q}_{q,p}(\Omega)$ in the periodic layer domain $\Omega = \mathbb{T}^2 \times (-h, 0)$.


title: Transport measurement of fractional charges in topological models

abstract: The static topological fractional charge (TFC) in condensed matter systems is related to the band topology and thus has potential applications in topological quantum computation. However, the experimental measurement of these TFCs in electronic systems is quite challenging. We propose an electronic transport measurement scheme that both the charge amount and the spatial distribution of the TFC can be extracted from the differential conductance through a quantum dot coupled to the topological system being measured. For one-dimensional Su-Schrieffer-Heeger (SSH) model, both the $e/2$ charge of the TFC and its distribution can be verified. We also show that the Anderson disorder effect, which breaks certain symmetry related to the TFC, is significant in higher-dimensional systems while has little effect on the one-dimensional SSH chain. Nonetheless, our measurement scheme can still work well for specific higher-order topological insulator materials, for instance, the $2e/3$ TFC in the breathing kagome model could be confirmed even in the presence of disorder effect.


title: Microscopic Traffic Models, Accidents, and Insurance Losses

abstract: The paper develops a methodology to enable microscopic models of transportation systems to be accessible for a statistical study of traffic accidents. Our approach is intended to permit an understanding not only of historical losses, but also of incidents that may occur in altered, potential future systems. Through such a counterfactual analysis, it is possible, from an insurance, but also from an engineering perspective, to assess the impact of changes in the design of vehicles and transport systems in terms of their impact on road safety and functionality. Structurally, we characterize the total loss distribution approximatively as a mean-variance mixture. This also yields valuation procedures that can be used instead of Monte Carlo simulation. Specifically, we construct an implementation based on the open-source traffic simulator SUMO and illustrate the potential of the approach in counterfactual case studies.


title: Real-Time Distributed Model Predictive Control with Limited Communication Data Rates

abstract: The application of distributed model predictive controllers (DMPC) for multi-agent systems (MASs) necessitates communication between agents, yet the consequence of communication data rates is typically overlooked. This work focuses on developing stability-guaranteed control methods for MASs with limited data rates. Initially, a distributed optimization algorithm with dynamic quantization is considered for solving the DMPC problem. Due to the limited data rate, the optimization process suffers from inexact iterations caused by quantization noise and premature termination, leading to sub-optimal solutions. In response, we propose a novel real-time DMPC framework with a quantization refinement scheme that updates the quantization parameters on-line so that both the quantization noise and the optimization sub-optimality decrease asymptotically. To facilitate the stability analysis, we treat the sub-optimally controlled MAS, the quantization refinement scheme, and the optimization process as three interconnected subsystems. The cyclic-small-gain theorem is used to derive sufficient conditions on the quantization parameters for guaranteeing the stability of the system under a limited data rate. Finally, the proposed algorithm and theoretical findings are demonstrated in a multi-AUV formation control example.


title: Kinematical higher-twist corrections in $\gamma^* \gamma \to \pi \pi $

abstract: We apply the Braun-Manashov technique to improve the description of $\gamma^*(q_1) \gamma(q_2) \to M(p_1) M(p_2)$ amplitudes at large $Q^2=-q_1^2$ and small $s=(q_1+q_2)^2$. We derive the kinematical higher-twist contributions of order $s/Q^2$ and $m^2/Q^2$ to the helicity amplitudes and estimate their sizes in the kinematics accessible at Belle and Belle II.Since pion GPDs cannot be directly measured by experiment, $\pi \pi$ GDAs are the best way to investigate the energy-momentum tensor form factors for pions.


title: Non-standard Golay Complementary Sequence Pair over QAM

abstract: We generalize the three-stage process for constructing and enumerating Golay array and sequence pairs given in 2008 by Frank Fiedler et al. [A multi-dimensional approach to the construction and enumeration of Golay complementary sequences, Journal of Combinatorial Theory, Series A 115 (2008) 753-776] to $4^{q}$-QAM constellation based on para-unitary matrix method, which partly solves their open questions. Our work not only includes the main part of known results of Golay complementary sequences over $4^{q}$-QAM based on Boolean functions and standard Golay sequence pairs over QPSK, but also generates new Golay complementary arrays (sequences) over $4^{q}$-QAM based on non-standard Golay array pairs over QPSK.


title: Learning energy-efficient driving behaviors by imitating experts

abstract: The rise of vehicle automation has generated significant interest in the potential role of future automated vehicles (AVs). In particular, in highly dense traffic settings, AVs are expected to serve as congestion-dampeners, mitigating the presence of instabilities that arise from various sources. However, in many applications, such maneuvers rely heavily on non-local sensing or coordination by interacting AVs, thereby rendering their adaptation to real-world settings a particularly difficult challenge. To address this challenge, this paper examines the role of imitation learning in bridging the gap between such control strategies and realistic limitations in communication and sensing. Treating one such controller as an "expert", we demonstrate that imitation learning can succeed in deriving policies that, if adopted by 5% of vehicles, may boost the energy-efficiency of networks with varying traffic conditions by 15% using only local observations. Results and code are available online at https://sites.google.com/view/il-traffic/home.


title: Pluri-potential theory, submersions and calibrations

abstract: We present a systematic collection of results concerning interactions between convex, subharmonic and pluri-subharmonic functions on pairs of manifolds related by a Riemannian submersion. Our results are modelled on those known in the classical complex-analytic context and represent another step in the recent Harvey-Lawson pluri-potential theory for calibrated manifolds. In particular we study the case of K\"ahler and G2 manifolds, emphasizing both parallels and differences. We show that previous results concerning Lagrangian fibrations can be viewed as an application of this framework.


title: Very special special functions: Chebyshev polynomials of a discrete variable and their physical applications

abstract: Over nearly six decades, the Chebyshev polynomials of a discrete real variable have found applications in spin physics, spin tomography, in the development of operator expansions, and in defining tensor operator equivalents. The properties of these polynomials are discussed in detail, and then examples are provided to illustrate the diversity of their applications in magnetic resonance. These examples include the use of the Chebyshev polynomial operators as an orthonormal basis to expand rotation operators, projection operators, and the Stratonovich-Weyl operator. The duality of the Chebyshev polynomials of a discrete real variable as Clebsch-Gordan coupling coefficients is noted and exploited, and it is shown that the Chebyshev polynomial operators can be recoupled as a rank-zero composite tensor defined by the product of a spin and spatial tensor. These application examples demonstrate that the Chebyshev polynomials of a discrete real variable are a unique nexus for spin physics, special functions, angular momentum (re)coupling, and irreducible representations of the rotation group.


title: Homology Groups of Embedded Fractional Brownian Motion

abstract: A well-known class of non-stationary self-similar time series is the fractional Brownian motion (fBm) considered to model ubiquitous stochastic processes in nature. In this paper, we study the homology groups of high-dimensional point cloud data (PCD) constructed from synthetic fBm data. We covert the simulated fBm series to a PCD, a subset of unit $D$-dimensional cube, employing the time delay embedding method for a given embedding dimension and a time-delay parameter. In the context of persistent homology (PH), we compute topological measures for embedded PCD as a function of associated Hurst exponent, $H$, for different embedding dimensions, time-delays and amount of irregularity existed in the dataset in various scales. Our results show that for a regular synthetic fBm, the higher value of the embedding dimension leads to increasing the $H$-dependency of topological measures based on zeroth and first homology groups. To achieve a reliable classification of fBm, we should consider the small value of time-delay irrespective of the irregularity presented in the data. More interestingly, the value of scale for which the PCD to be path-connected and the post-loopless regime scale are more robust concerning irregularity for distinguishing the fBm signal. Such robustness becomes less for the higher value of embedding dimension.


title: Stochastic gravitational wave background phenomenology in a pulsar timing array

abstract: Pulsar timing offers an independent avenue to test general relativity and alternative gravity theories. This requires an understanding of how metric polarizations beyond the familiar transverse tensor ones imprint as a stochastic gravitational wave background and correlate the arrival time of radio pulses from a pair of millisecond pulsars. In this work, we focus on an isotropic stochastic gravitational wave background and present a straightforward, self-contained formalism for obtaining the power spectrum and the overlap reduction function, the relevant physical observable in a pulsar timing array, for generic gravitational degrees of freedom featuring both transverse and longitudinal modes off the light cone. We additionally highlight our consideration of finite pulsar distances, which we find significant in two ways: first, making all the modes well defined, and second, keeping the small scale power that is contained by pulsars of subdegree separations in the sky. We discuss this for tensor, vector, and scalar polarizations, for each one focusing on the angular power spectrum and the overlap reduction function for an isotropic stochastic gravitational wave background. Our results pave the road for an efficient numerical method for examining the gravitational wave induced spatial correlations across millisecond pulsars in a pulsar timing array.


title: Task-specific Pre-training and Prompt Decomposition for Knowledge Graph Population with Language Models

abstract: We present a system for knowledge graph population with Language Models, evaluated on the Knowledge Base Construction from Pre-trained Language Models (LM-KBC) challenge at ISWC 2022. Our system involves task-specific pre-training to improve LM representation of the masked object tokens, prompt decomposition for progressive generation of candidate objects, among other methods for higher-quality retrieval. Our system is the winner of track 1 of the LM-KBC challenge, based on BERT LM; it achieves 55.0% F-1 score on the hidden test set of the challenge.


title: Koszul modules of Kac-Moody Lie algebras

abstract: We introduce Koszul modules associated with (graded) Kac-Moody Lie algebras. We provide a precise criterion for when these modules are of finite length. As an exemplary application we deduce a bound on the dimension of the second graded component for a certain class of graded Kac-Moody Lie algebras. We also provide an exact description of all nilpotent Kac-Moody Koszul modules.


title: Corporate Environmental Management Accounting Practicing and Reporting in Bangladesh

abstract: In the management of environment the Environmental Management Accounting (EMA) is essential for corporate or companies because corporate sectors are the main parties of environmental humiliation as they are existed in the environment and for protecting environment a branch of accounting is emerged which is called environmental management accounting. The objective of the study is to develop a compliance framework for EMA and appraise the ER practices in selected industries in Bangladesh. In conducting the study, 50 environmental sensitive industries were selected from DSE. A compliance checklist was developed on 75 aspects of EMA and ER under 13 groups. In developing the compliance index binary method is used i.e. 1= if ER practices; 0= if not practices. Further the level of EMR/ER practices have been evaluated in terms of selected independent variables of the company viz. total assets, total sales, return on equity and size of board. The study found that the environmental management accounting in the manufacturing companies is in poor level. The maximum compliance is 67% and the lowest is 20%. The TA, TS BS and SP have been considered to find out the explanatory variables. In most of the cases board size does not play significant role in the practice of EMA in the sampled firms.


title: H4M: Heterogeneous, Multi-source, Multi-modal, Multi-view and Multi-distributional Dataset for Socioeconomic Analytics in the Case of Beijing

abstract: The study of socioeconomic status has been reformed by the availability of digital records containing data on real estate, points of interest, traffic and social media trends such as micro-blogging. In this paper, we describe a heterogeneous, multi-source, multi-modal, multi-view and multi-distributional dataset named "H4M". The mixed dataset contains data on real estate transactions, points of interest, traffic patterns and micro-blogging trends from Beijing, China. The unique composition of H4M makes it an ideal test bed for methodologies and approaches aimed at studying and solving problems related to real estate, traffic, urban mobility planning, social sentiment analysis etc. The dataset is available at: https://indigopurple.github.io/H4M/index.html


title: Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters

abstract: We investigate the parameterized complexity of Binary CSP parameterized by the vertex cover number and the treedepth of the constraint graph, as well as by a selection of related modulator-based parameters. The main findings are as follows: i) Binary CSP parameterized by the vertex cover number is $\mathrm{W}[3]$-complete. More generally, for every positive integer $d$, Binary CSP parameterized by the size of a modulator to a treedepth-d graph is $\mathrm{W}[2d+1]$-complete. This provides a new family of natural problems that are complete for odd levels of the W-hierarchy. ii) We introduce a new complexity class XSLP, defined so that Binary CSP parameterized by treedepth is complete for this class. We provide two equivalent characterizations of XSLP: the first one relates XSLP to a model of an alternating Turing machine with certain restrictions on conondeterminism and space complexity, while the second one links XSLP to the problem of model-checking first-order logic with suitably restricted universal quantification. Interestingly, the proof of the machine characterization of XSLP uses the concept of universal trees, which are prominently featured in the recent work on parity games iii) We describe a new complexity hierarchy sandwiched between the W-hierarchy and the A-hierarchy: For every odd $t$, we introduce a parameterized complexity class $\mathrm{S}[t]$ with $\mathrm{W}[t]\subseteq \mathrm{S}[t]\subseteq \mathrm{A}[t]$, defined using a parameter that interpolates between the vertex cover number and the treedepth. We expect that many of the studied classes will be useful in the future for pinpointing the complexity of various structural parameterizations of graph problems.


title: Deep learning-based denoising for fast time-resolved flame emission spectroscopy in high-pressure combustion environment

abstract: A deep learning strategy is developed for fast and accurate gas property measurements using flame emission spectroscopy (FES). Particularly, the short-gated fast FES is essential to resolve fast-evolving combustion behaviors. However, as the exposure time for capturing the flame emission spectrum gets shorter, the signal-to-noise ratio (SNR) decreases, and characteristic spectral features indicating the gas properties become relatively weaker. Then, the property estimation based on the short-gated spectrum is difficult and inaccurate. Denoising convolutional neural networks (CNN) can enhance the SNR of the short-gated spectrum. A new CNN architecture including a reversible down- and up-sampling (DU) operator and a loss function based on proper orthogonal decomposition (POD) coefficients is proposed. For training and testing the CNN, flame chemiluminescence spectra were captured from a stable methane-air flat flame using a portable spectrometer (spectral range: 250 - 850 nm, resolution: 0.5 nm) with varied equivalence ratio (0.8 - 1.2), pressure (1 - 10 bar), and exposure time (0.05, 0.2, 0.4, and 2 s). The long exposure (2 s) spectra were used as the ground truth when training the denoising CNN. A kriging model with POD is trained by the long-gated spectra for calibration, and then the prediction of the gas properties taking the denoised short-gated spectrum as the input: The property prediction errors of pressure and equivalence ratio were remarkably lowered in spite of the low SNR attendant with reduced exposure.


title: MORI-RAN: Multi-view Robust Representation Learning via Hybrid Contrastive Fusion

abstract: Multi-view representation learning is essential for many multi-view tasks, such as clustering and classification. However, there are two challenging problems plaguing the community: i)how to learn robust multi-view representation from mass unlabeled data and ii) how to balance the view consistency and the view specificity. To this end, in this paper, we proposed a hybrid contrastive fusion algorithm to extract robust view-common representation from unlabeled data. Specifically, we found that introducing an additional representation space and aligning representations on this space enables the model to learn robust view-common representations. At the same time, we designed an asymmetric contrastive strategy to ensure that the model does not obtain trivial solutions. Experimental results demonstrated that the proposed method outperforms 12 competitive multi-view methods on four real-world datasets in terms of clustering and classification. Our source code will be available soon at \url{https://github.com/guanzhou-ke/mori-ran}.


title: A generalized metric-type structure with some applications

abstract: The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss convergence, sequential continuity, first countability and T$_2$ separation. The topology of an O-metric space can be generated by an upward O-metric on the space hence the focus on upward O-metric spaces. A theorem on the existence and uniqueness of a fixed point of some contractive-like map is proved and related with some other well known fixed point results in literature. Applications to the estimation of distances, polygon inequalities, and optimization of entries in infinite symmetric matrices are also given.


title: Deep Hypergraph Structure Learning

abstract: Learning on high-order correlation has shown superiority in data representation learning, where hypergraph has been widely used in recent decades. The performance of hypergraph-based representation learning methods, such as hypergraph neural networks, highly depends on the quality of the hypergraph structure. How to generate the hypergraph structure among data is still a challenging task. Missing and noisy data may lead to "bad connections" in the hypergraph structure and destroy the hypergraph-based representation learning process. Therefore, revealing the high-order structure, i.e., the hypergraph behind the observed data, becomes an urgent but important task. To address this issue, we design a general paradigm of deep hypergraph structure learning, namely DeepHGSL, to optimize the hypergraph structure for hypergraph-based representation learning. Concretely, inspired by the information bottleneck principle for the robustness issue, we first extend it to the hypergraph case, named by the hypergraph information bottleneck (HIB) principle. Then, we apply this principle to guide the hypergraph structure learning, where the HIB is introduced to construct the loss function to minimize the noisy information in the hypergraph structure. The hypergraph structure can be optimized and this process can be regarded as enhancing the correct connections and weakening the wrong connections in the training phase. Therefore, the proposed method benefits to extract more robust representations even on a heavily noisy structure. Finally, we evaluate the model on four benchmark datasets for representation learning. The experimental results on both graph- and hypergraph-structured data demonstrate the effectiveness and robustness of our method compared with other state-of-the-art methods.


title: Testing Upward Planarity of Partial $2$-Trees

abstract: We present an $O(n^2)$-time algorithm to test whether an $n$-vertex directed partial $2$-tree is upward planar. This result improves upon the previously best known algorithm, which runs in $O(n^4)$ time.


title: Universality for non-linear convex variational problems

abstract: This article introduces an innovative mathematical framework designed to tackle non-linear convex variational problems in reflexive Banach spaces. Our approach employs a versatile technique that can handle a broad range of variational problems, including standard ones. To carry out the process effectively, we utilize specialized sets known as radial dictionaries, where these dictionaries encompass diverse data types, such as tensors in Tucker format with bounded rank and Neural Networks with fixed architecture and bounded parameters. The core of our method lies in employing a greedy algorithm through dictionary optimization defined by a multivalued map. Significantly, our analysis shows that the convergence rate achieved by our approach is comparable to the Method of Steepest Descend implemented in a reflexive Banach space, where the convergence rate follows the order of $O(m^{-1})$.


title: Training and Tuning Generative Neural Radiance Fields for Attribute-Conditional 3D-Aware Face Generation

abstract: Generative Neural Radiance Fields (GNeRF) based 3D-aware GANs have demonstrated remarkable capabilities in generating high-quality images while maintaining strong 3D consistency. Notably, significant advancements have been made in the domain of face generation. However, most existing models prioritize view consistency over disentanglement, resulting in limited semantic/attribute control during generation. To address this limitation, we propose a conditional GNeRF model incorporating specific attribute labels as input to enhance the controllability and disentanglement abilities of 3D-aware generative models. Our approach builds upon a pre-trained 3D-aware face model, and we introduce a Training as Init and Optimizing for Tuning (TRIOT) method to train a conditional normalized flow module to enable the facial attribute editing, then optimize the latent vector to improve attribute-editing precision further. Our extensive experiments demonstrate that our model produces high-quality edits with superior view consistency while preserving non-target regions. Code is available at https://github.com/zhangqianhui/TT-GNeRF.


abstract: As an important data mining technology, high utility itemset mining (HUIM) is used to find out interesting but hidden information (e.g., profit and risk). HUIM has been widely applied in many application scenarios, such as market analysis, medical detection, and web click stream analysis. However, most previous HUIM approaches often ignore the relationship between items in an itemset. Therefore, many irrelevant combinations (e.g., \{gold, apple\} and \{notebook, book\}) are discovered in HUIM. To address this limitation, many algorithms have been proposed to mine correlated high utility itemsets (CoHUIs). In this paper, we propose a novel algorithm called the Itemset Utility Maximization with Correlation Measure (CoIUM), which considers both a strong correlation and the profitable values of the items. Besides, the novel algorithm adopts a database projection mechanism to reduce the cost of database scanning. Moreover, two upper bounds and four pruning strategies are utilized to effectively prune the search space. And a concise array-based structure named utility-bin is used to calculate and store the adopted upper bounds in linear time and space. Finally, extensive experimental results on dense and sparse datasets demonstrate that CoIUM significantly outperforms the state-of-the-art algorithms in terms of runtime and memory consumption.


title: A New Hyperelastic Lookup Table for RT-DC

abstract: Real-time deformability cytometry (RT-DC) is an established method that quantifies features like size, shape, and stiffness for whole cell populations on a single-cell level in real time. To extract the cell stiffness, a lookup table (LUT) disentangles the experimentally derived steady state cell deformation and the projected area, yielding the Young's modulus. So far, two lookup tables exists, but are limited to simple linear material models and cylindrical channel geometries. Here, we present two new lookup tables for RT-DC based on a neo-Hookean hyperelastic material numerically derived by simulations based on the finite element method in square and cylindrical channel geometries. At the same time, we quantify the influence of the shear-thinning behaviour of the surrounding medium on the stationary deformation of cells in RT-DC and discuss the applicability and impact of the proposed LUTs regarding past and future RT-DC data analysis. Additionally, we provide insights about the cell strain and stresses, as well as the influence resulting from the rotational symmetric assumption on the cell deformation and volume estimation. The new lookup tables as well as the numerical cell shapes are made freely available.


title: I still know it's you! On Challenges in Anonymizing Source Code

abstract: The source code of a program not only defines its semantics but also contains subtle clues that can identify its author. Several studies have shown that these clues can be automatically extracted using machine learning and allow for determining a program's author among hundreds of programmers. This attribution poses a significant threat to developers of anti-censorship and privacy-enhancing technologies, as they become identifiable and may be prosecuted. An ideal protection from this threat would be the anonymization of source code. However, neither theoretical nor practical principles of such an anonymization have been explored so far. In this paper, we tackle this problem and develop a framework for reasoning about code anonymization. We prove that the task of generating a $k$-anonymous program -- a program that cannot be attributed to one of $k$ authors -- is not computable in the general case. As a remedy, we introduce a relaxed concept called $k$-uncertainty, which enables us to measure the protection of developers. Based on this concept, we empirically study candidate techniques for anonymization, such as code normalization, coding style imitation, and code obfuscation. We find that none of the techniques provides sufficient protection when the attacker is aware of the anonymization. While we observe a notable reduction in attribution performance on real-world code, a reliable protection is not achieved for all developers. We conclude that code anonymization is a hard problem that requires further attention from the research community.


title: Configuration-Constrained Tube MPC

abstract: This paper is about robust Model Predictive Control (MPC) for linear systems with additive and multiplicative uncertainty. A novel class of configuration-constrained polytopic robust forward invariant tubes is introduced, which admit a joint parameterization of their facets and vertices. They are the foundation for the development of novel Configuration-Constrained Tube MPC (CCTMPC) controllers that freely optimize the shape of their polytopic tube, subject to conic vertex configuration constraints, as well as associated vertex control laws by solving convex optimization problems online. It is shown that CCTMPC is -- under appropriate assumptions -- systematically less conservative than Rigid- and Homothetic- Tube MPC. Additionally, it is proven that there exist control systems for which CCTMPC is less conservative than Elastic Tube MPC, Disturbance Affine Feedback MPC, and Fully Parameterized Tube MPC.


title: Broadband control of group delay using the Brewster effect in metafilms

abstract: We propose and verify a method for controlling the frequency dependence of the group delay of electromagnetic waves over a broad frequency range using the Brewster effect in single-layer metamaterials with finite thickness, here referred to as metafilms. When the metafilm's reflectance vanishes regardless of the incident frequency, the group delay can be large near its resonance frequency while maintaining the transmittance close to unity regardless of the incident frequency. Furthermore, when several reflectionless metafilms are stacked together, the total group delay should be given as the sum of the individual group delays. In this study, we realize reflectionless metafilms by arranging the meta-atoms so that the Brewster effect occurs regardless of the incident frequency. We evaluate in numerical simulations and experiments the frequency dependence of the transmittance and of the group delay of a three-layer metamaterial composed of reflectionless metafilms with different resonance frequencies, and find that the total transmittance and group delay of this metamaterial agree respectively with the product of the transmittances and the sum of the group delays of the constituent metafilms.


title: Performance of the SRON Ti/Au Transition Edge Sensor X-ray Calorimeters

abstract: In the early 2030s, ESAs new X-ray observatory, Athena, is scheduled to be launched. It will carry two main instruments, one of which is the X-ray Integral Field Unit (X-IFU), an X-ray imaging spectrometer, which will consist of an array of several thousand transition-edge sensors (TESs) with a proposed energy resolution of 2.5 eV for photon energies up to 7 keV. At SRON we develop the backup TES array based on Ti/Au bilayers with a transition temperature just below 100 mK. In this contribution we will give a broad overview of the properties and capabilities of these state-of-the-art detectors. Over the years we have fabricated and studied a large number of detectors with various geometries, providing us with a good understanding of how to precisely control the properties of our detectors. We are able to accurately vary the most important detector properties, such as the normal resistance, thermal conductance and critical temperature. This allows us to finely tune our detectors to meet the demands of various applications. The detectors have demonstrated excellent energy resolutions of below 1.8 eV for 5.9 keV X-rays. By tuning the properties of the devices, they can be optimally matched to various read-out schemes using both AC and DC biasing. The next step is to increase the size of our TES arrays from our current kilo-pixel arrays towards the full-sized array for X-IFU.


title: Geometric representability of 1-cycles on rationally connected threefolds

abstract: We prove that for any rationally connected threefold $X$, there exists a smooth projective surface $S$ and a family of $1$-cycles on $X$ parameterized by $S$, inducing an Abel-Jacobi isomorphism ${\rm Alb}(S)\cong J^3(X)$. This statement was previously known for some classes of smooth Fano threefolds.


title: Rectilinear Planarity of Partial 2-Trees

abstract: A graph is rectilinear planar if it admits a planar orthogonal drawing without bends. While testing rectilinear planarity is NP-hard in general (Garg and Tamassia, 2001), it is a long-standing open problem to establish a tight upper bound on its complexity for partial 2-trees, i.e., graphs whose biconnected components are series-parallel. We describe a new O(n^2)-time algorithm to test rectilinear planarity of partial 2-trees, which improves over the current best bound of O(n^3 \log n) (Di Giacomo et al., 2022). Moreover, for partial 2-trees where no two parallel-components in a biconnected component share a pole, we are able to achieve optimal O(n)-time complexity. Our algorithms are based on an extensive study and a deeper understanding of the notion of orthogonal spirality, introduced several years ago (Di Battista et al, 1998) to describe how much an orthogonal drawing of a subgraph is rolled-up in an orthogonal drawing of the graph.


title: Physics-Aware Neural Networks for Boundary Layer Linear Problems

abstract: Physics-Informed Neural Networks (PINNs) are machine learning tools that approximate the solution of general partial differential equations (PDEs) by adding them in some form as terms of the loss/cost function of a Neural Network. Most pieces of work in the area of PINNs tackle non-linear PDEs. Nevertheless, many interesting problems involving linear PDEs may benefit from PINNs; these include parametric studies, multi-query problems, and parabolic (transient) PDEs. The purpose of this paper is to explore PINNs for linear PDEs whose solutions may present one or more boundary layers. More specifically, we analyze the steady-state reaction-advection-diffusion equation in regimes in which the diffusive coefficient is small in comparison with the reactive or advective coefficients. We show that adding information about these coefficients as predictor variables in a PINN results in better prediction models than in a PINN that only uses spatial information as predictor variables. This finding may be instrumental in multiscale problems where the coefficients of the PDEs present high variability in small spatiotemporal regions of the domain, and therefore PINNs may be employed together with domain decomposition techniques to efficiently approximate the PDEs locally at each partition of the spatiotemporal domain, without resorting to different learned PINN models at each of these partitions.


title: Gaussian likelihood geometry of projective varieties

abstract: We explore the maximum likelihood degree of a homogeneous polynomial $F$ on a projective variety $X$, $\mathrm{MLD}_F(X)$, which generalizes the concept of Gaussian maximum likelihood degree. We show that $\mathrm{MLD}_F(X)$ is equal to the count of critical points of a rational function on $X$, and give different geometric characterizations of it via topological Euler characteristic, dual varieties, and Chern classes.


title: Computing Maximum Fixed Point Solutions over Feasible Paths in Data Flow Analyses

abstract: The control flow graph (CFG) representation of a procedure used by virtually all flow-sensitive program analyses, admits a large number of infeasible control flow paths i.e., these paths do not occur in any execution of the program. Hence the information reaching along infeasible paths in an analysis is spurious. This affects the precision of the conventional maximum fixed point (MFP) solution of the data flow analysis, because it includes the information reaching along all control flow paths. The existing approaches for removing this imprecision are either specific to a data flow problem with no straightforward generalization or involve control flow graph restructuring which may exponentially blow up the size of the CFG. We lift the notion of MFP solution to define the notion of feasible path MFP (FPMFP) solutions that exclude the data flowing along known infeasible paths. The notion of FPMFP is generic and does not involve CFG restructuring. Instead, it takes externally supplied information about infeasible paths and lifts any data flow analysis to an analysis that maintains the distinctions between different paths where these distinctions are beneficial, and ignores them where they are not. Thus it gets the benefit of a path-sensitive analysis where it is useful without performing a conventional path-sensitive analysis. We evaluated the proposed feasible path MFP solutions for reaching definitions analysis and potentially uninitialized variable analysis on 30 benchmarks. The evaluation results indicate that precision improvement in these two analyses respectively reduce the number def-use pairs by up to 13.6% (average 2.87%, geometric mean 1.75%), and reduce the potentially uninitialized variable alarms by up to 100% (average 18.5%, geo. mean 3%). We found that the FPMFP computation time was 2.9X of MFP computation time on average.


title: Understanding Deep Learning using Topological Dynamical Systems, Index Theory, and Homology

abstract: In this paper we investigate Deep Learning Models using topological dynamical systems, index theory, and computational homology. These mathematical machinery was invented initially by Henri Poincare around 1900 and developed over time to understand shapes and dynamical systems whose structure and behavior is too complicated to solve for analytically but can be understood via global relationships. In particular, we show how individual neurons in a neural network can correspond to simplexes in a simplicial complex manifold approximation to the decision surface learned by the NN, and how these simplexes can be used to compute topological invariants from algebraic topology for the decision manifold with an explicit computation of homology groups by hand in a simple case. We also show how the gradient of the probability density function learned by the NN creates a dynamical system, which can be analyzed by a myriad of topological tools such as Conley Index Theory, Morse Theory, and Stable Manifolds. We solve analytically for associated the differential equation for a trained NN with a single hidden layer of 256 Neurons applied to the MINST digit dataset, and approximately numerically that it a sink and basin of attraction for each of the 10 classes, but the sinks and strong attracting manifolds lie in regions not corresponding to images of actual digits. Index theory implies the existence of saddles. Level sets of the probability functions are 783-dimensional manifolds which can only change topology at critical points of the dynamical system, and these changes in topology can be investigated with Morse Theory.


title: Ramsey theory constructions from hypergraph matchings

abstract: We give asymptotically optimal constructions in generalized Ramsey theory using results about conflict-free hypergraph matchings. For example, we present an edge-coloring of $K_{n,n}$ with $2n/3 + o(n)$ colors such that each $4$-cycle receives at least three colors on its edges. This answers a question of Axenovich, F\"uredi and the second author (On generalized Ramsey theory: the bipartite case, J. Combin. Theory Ser B 79 (2000), 66--86). We also exhibit an edge-coloring of $K_n$ with $5n/6+o(n)$ colors that assigns each copy of $K_4$ at least five colors. This gives an alternative very short solution to an old question of Erd\H{o}s and Gy\'arf\'as that was recently answered by Bennett, Cushman, Dudek, and Pralat by analyzing a colored modification of the triangle removal process.


title: Can a Hebbian-like learning rule be avoiding the curse of dimensionality in sparse distributed data?

abstract: It is generally assumed that the brain uses something akin to sparse distributed representations. These representations, however, are high-dimensional and consequently they affect classification performance of traditional Machine Learning models due to "the curse of dimensionality". In tasks for which there is a vast amount of labeled data, Deep Networks seem to solve this issue with many layers and a non-Hebbian backpropagation algorithm. The brain, however, seems to be able to solve the problem with few layers. In this work, we hypothesize that this happens by using Hebbian learning. Actually, the Hebbian-like learning rule of Restricted Boltzmann Machines learns the input patterns asymmetrically. It exclusively learns the correlation between non-zero values and ignores the zeros, which represent the vast majority of the input dimensionality. By ignoring the zeros "the curse of dimensionality" problem can be avoided. To test our hypothesis, we generated several sparse datasets and compared the performance of a Restricted Boltzmann Machine classifier with some Backprop-trained networks. The experiments using these codes confirm our initial intuition as the Restricted Boltzmann Machine shows a good generalization performance, while the Neural Networks trained with the backpropagation algorithm overfit the training data.


title: Generalized Bayes inference on a linear personalized minimum clinically important difference

abstract: Inference on the minimum clinically important difference, or MCID, is an important practical problem in medicine. The basic idea is that a treatment being statistically significant may not lead to an improvement in the patients' well-being. The MCID is defined as a threshold such that, if a diagnostic measure exceeds this threshold, then the patients are more likely to notice an improvement. Typical formulations use an underspecified model, which makes a genuine Bayesian solution out of reach. Here, for a challenging personalized MCID problem, where the practically-significant threshold depends on patients' profiles, we develop a novel generalized posterior distribution, based on a working binary quantile regression model, that can be used for estimation and inference. The advantage of this formulation is two-fold: we can theoretically control the bias of the misspecified model and it has a latent variable representation which we can leverage for efficient Gibbs sampling. To ensure that the generalized Bayes inferences achieve a level of frequentist reliability, we propose a variation on the so-called generalized posterior calibration algorithm to suitably tune the spread of our proposed posterior.


title: $I-$Love$-C$ relation for an anisotropic neutron star

abstract: One of the most common assumptions has been made that the pressure inside the star is isotropic in nature. However, the pressure is locally anisotropic in nature which is a more realistic case. In this study, we investigate certain properties of anisotropic neutron stars with the scalar pressure anisotropy model. Different perfect fluid conditions are tested within the star with the relativistic mean-field model equation of states (EOSs). The anisotropic neutron star properties such as mass ($M$), radius ($R$), compactness ($C$), Love number ($k_2$), dimensionless tidal deformability ($\Lambda$), and the moment of inertia ($I$) are calculated. The magnitude of the quantities as mentioned above increases (decreases) with the positive (negative) value of anisotropy except $k_2$ and $\Lambda$. The Universal relation $I-$Love$-C$ is calculated with almost 58 EOSs spans from relativistic to non-relativistic cases. We observed that the relations between them get weaker when we include anisotropicity. With the help of the GW170817 tidal deformability limit and radii constraints from different approaches, we find that the anisotropic parameter is less than 1.0 if one uses the BL model. Using the universal relation and the tidal deformability bound given by the GW170817, we put a theoretical limit for the canonical radius, $R_{1.4}=10.74_{-1.36}^{+1.84}$ km, and the moment of inertia, $I_{1.4} = 1.77_{-0.09}^{+0.17}\times10^{45}$ g cm$^2$ with 90\% confidence limit for isotropic stars. Similarly, for anisotropic stars with $\lambda_{\rm BL}=1.0$, the values are $R_{1.4}=11.74_{-1.54}^{+2.11}$ km, $I_{1.4} = 2.40_{-0.08}^{+0.17} \times10^{45}$ g cm$^2$ respectively.


title: Multiple-Objective Packet Routing Optimization for Aeronautical ad-hoc Networks

abstract: Providing Internet service above the clouds is of ever-increasing interest and in this context aeronautical {\it{ad-hoc}} networking (AANET) constitutes a promising solution. However, the optimization of packet routing in large ad hoc networks is quite challenging. In this paper, we develop a discrete $\epsilon$ multi-objective genetic algorithm ($\epsilon$-DMOGA) for jointly optimizing the end-to-end latency, the end-to-end spectral efficiency (SE), and the path expiration time (PET) that specifies how long the routing path can be relied on without re-optimizing the path. More specifically, a distance-based adaptive coding and modulation (ACM) scheme specifically designed for aeronautical communications is exploited for quantifying each link's achievable SE. Furthermore, the queueing delay at each node is also incorporated into the multiple-objective optimization metric. Our $\epsilon$-DMOGA assisted multiple-objective routing optimization is validated by real historical flight data collected over the Australian airspace on two selected representative dates.


title: RFID: Towards Low Latency and Reliable DAG Task Scheduling over Dynamic Vehicular Clouds

abstract: Vehicular cloud (VC) platforms integrate heterogeneous and distributed resources of moving vehicles to offer timely and cost-effective computing services. However, the dynamic nature of VCs (i.e., limited contact duration among vehicles), caused by vehicles' mobility, poses unique challenges to the execution of computation-intensive applications/tasks with directed acyclic graph (DAG) structure, where each task consists of multiple interdependent components (subtasks). In this paper, we study scheduling of DAG tasks over dynamic VCs, where multiple subtasks of a DAG task are dispersed across vehicles and then processed by cooperatively utilizing vehicles' resources. We formulate DAG task scheduling as a 0-1 integer programming, aiming to minimize the overall task completion time, while ensuring a high execution success rate, which turns out to be NP-hard. To tackle the problem, we develop a ranking and foresight-integrated dynamic scheduling scheme (RFID). RFID consists of (i) a dynamic downward ranking mechanism that sorts the scheduling priority of different subtasks, while explicitly taking into account for the sequential execution nature of DAG; (ii) a resource scarcity-based priority changing mechanism that overcomes possible performance degradations caused by the volatility of VC resources; and (iii) a degree-based weighted earliest finish time mechanism that assigns the subtask with the highest scheduling priority to the vehicle which offers rapid task execution along with reliable transmission links. Our simulation results reveal the effectiveness of our proposed scheme in comparison to benchmark methods.


title: FastQSL: A Fast Computation Method for Quasi-separatrix Layers

abstract: Magnetic reconnection preferentially takes place at the intersection of two separatrices or two quasi-separatrix layers, which can be quantified by the squashing factor Q, whose calculation is computationally expensive due to the need to trace as many field lines as possible. We developed a method (FastQSL) optimized for obtaining Q and the twist number in a 3D data cube. FastQSL utilizes the hardware acceleration of the graphic process unit (GPU) and adopts a step-size adaptive scheme for the most computationally intensive part: tracing magnetic field lines. As a result, it achieves a computational efficiency of 4.53 million Q values per second. FastQSL is open source, and user-friendly for data import, export, and visualization.


title: A Framework for Inherently Interpretable Optimization Models

abstract: With dramatic improvements in optimization software, the solution of large-scale problems that seemed intractable decades ago are now a routine task. This puts even more real-world applications into the reach of optimizers. At the same time, solving optimization problems often turns out to be one of the smaller difficulties when putting solutions into practice. One major barrier is that the optimization software can be perceived as a black box, which may produce solutions of high quality, but can create completely different solutions when circumstances change leading to low acceptance of optimized solutions. Such issues of interpretability and explainability have seen significant attention in other areas, such as machine learning, but less so in optimization. In this paper we propose an optimization framework that inherently comes with an easily interpretable optimization rule, that explains under which circumstances certain solutions are chosen. Focusing on decision trees to represent interpretable optimization rules, we propose integer programming formulations as well as a heuristic method that ensure applicability of our approach even for large-scale problems. Computational experiments using random and real-world data indicate that the costs of inherent interpretability can be very small.


title: Implied Open-circuit Voltage Imaging via a Single Bandpass Filter Method: Its First Application in Perovskite Solar Cells

abstract: A direct, camera-based implied open-circuit voltage (iVOC) imaging method via the novel use of a single bandpass filter (s-BPF) is developed for large-area photovoltaic solar cells and solar cell precursors. This method images the photoluminescence (PL) emission using a narrow BPF with centre energy in the high-energy tail of the PL emission taking advantage of the close-to-unity absorptivity of typical photovoltaic devices with low variability in this energy range. As a result, the exact value of the sample's absorptivity within the BPF transmission band is not required. The use of a s-BPF enables the adaptation of a fully contactless approach to calibrate the absolute PL photon flux for camera-based spectrally-integrated imaging tools. The method eliminates the need for knowledge of the imaging system spectral response and the use of the emission and excitation spectral shapes. Through an appropriate choice of the BPF centre energy, a range of absorber compositions or a single absorber with different surface morphologies (e.g., planar vs textured) can be imaged, all without the need for additional detection optics. The feasibility of this s-BPF method is first assessed using a high-quality Cs0.05FA0.79MA0.16Pb(I0.83Br0.17)3 perovskite neat film. The error in iVOC is determined to be less than 1.5%. The efficacy of the method is then demonstrated on device stacks with two different perovskite compositions commonly used in single-junction and monolithic tandem solar cells.


title: Analysis of ground level enhancement events of 29 September 1989; 15 April 2001 and 20 January 2005

abstract: We present the results of analyses of the ground level enhancements (GLEs) of cosmic ray (CR) events of 29 September 1989; 15 April 2001 and 20 January 2005. This involve examination of hourly raw CR counts of an array of neutron monitors (NMs) spread across different geographical latitudes and longitudes. Using awk script and computer codes implemented in R-software, the pressure corrected raw data plots of the NMs were grouped into low-, mid-, and, high-latitudes. The results show both similarities and differences in the structural patterns of the GLE signals. In an attempt to explain why the CR count during the decay phase of GLEs is always higher than the count before peak, we interpreted all counts prior to the peak as coming from direct solar neutrons and those in the decay phase including the peak as coming from secondary CR neutrons generated by the interactions of primary CRs with the atoms and molecules in the atmosphere. We identified NMs that detected these primary neutrons and found that they are close in longitudes. Previous authors seemingly identified these two species as impulsive and gradual events. Although there are a number of unexplained manifestations of GLE signals, some of the results suggest that geomagnetic rigidity effectively determines the intensity of CRs at low- and mid-latitudes. Its impact is apparently insignificant in high-latitude regions. Nevertheless, the results presented should be validated before making any firm statements. Principally, the contributions of the ever-present and intractable CR diurnal anisotropies to GLE signals should be accounted for in future work.


title: Efficient LiDAR Point Cloud Geometry Compression Through Neighborhood Point Attention

abstract: Although convolutional representation of multiscale sparse tensor demonstrated its superior efficiency to accurately model the occupancy probability for the compression of geometry component of dense object point clouds, its capacity for representing sparse LiDAR point cloud geometry (PCG) was largely limited. This is because 1) fixed receptive field of the convolution cannot characterize extremely and unevenly distributed sparse LiDAR points very well; and 2) pretrained convolutions with fixed weights are insufficient to dynamically capture information conditioned on the input. This work therefore suggests the neighborhood point attention (NPA) to tackle them, where we first use k nearest neighbors (kNN) to construct adaptive local neighborhood; and then leverage the self-attention mechanism to dynamically aggregate information within this neighborhood. Such NPA is devised as a NPAFormer to best exploit cross-scale and same-scale correlations for geometric occupancy probability estimation. Compared with the anchor using standardized G-PCC, our method provides >17% BD-rate gains for lossy compression, and >14% bitrate reduction for lossless scenario using popular LiDAR point clouds in SemanticKITTI and Ford datasets. Compared with the state-of-the-art (SOTA) solution using attention optimized octree coding method, our approach requires much less decoding runtime with about 640 times speedup on average, while still presenting better compression efficiency.


title: Common Fixed Point Theorems for Four Transformations in Vector S-metric Spaces

abstract: We establish some common fixed point results for four transformations in vector S-metric spaces by using the notion of weakly compatibility (WC) and occasionally weakly compatibility (OWC). The first theorem is proved by using the concept of CLR (p,q) property (common limit range property w.r.t. transformations p and q) and weakly compatiblity whereas second theorem is proved by using the concept of occasionally weakly compatiblity


title: Perov type T-contractive Mappings on Cone b-Metric Spaces with Generalized c-Distance

abstract: Fixed point results of Perov type mapping which satisfy generalized Tcontractive conditions in the setup of cone b-metric spaces associated with generalized c-distance are proved and illustrated by nontrivial examples.


title: Physical modeling of ribosomes along messenger RNA: estimating kinetic parameters from ribosome profiling experiments using a ballistic model

abstract: Gene expression consists in the synthesis of proteins from the information encoded on DNA. One of the two main steps of gene expression is the translation of messenger RNA (mRNA) into polypeptide sequences of amino acids. Here, by taking into account mRNA degradation, we model the motion of ribosomes along mRNA with a ballistic model where particles advance along a filament without excluded volume interactions. Unidirectional models of transport have previously been used to fit the average density of ribosomes obtained by the experimental ribo-sequencing (Ribo-seq) technique. In this case an inverse fit gives access to the kinetic rates: the position-dependent speeds and the entry rate of ribosomes onto mRNA. The degradation rate is not, however, accounted for and experimental data from different experiments are needed to have enough parameters for the fit. Here, we propose an entirely novel experimental setup and theoretical framework consisting in splitting the mRNAs into categories depending on the number of ribosomes from one to four. We solve analytically the ballistic model for a fixed number of ribosomes per mRNA, study the different regimes of degradation, and propose a criteria for the quality of the inverse fit. The proposed method provides a high sensitivity to the mRNA degradation rate. The additional equations coming from using the monosome (single ribosome) and polysome (arbitrary number) ribo-seq profiles enable us to determine all the kinetic rates in terms of the experimentally accessible mRNA degradation rate.


title: Magic Triangles

abstract: Magic squares are well-known arrangements of integers with common row, column, and diagonal sums. Various other magic shapes have been proposed, but triangles have been somewhat overlooked. We introduce certain triangular arrangements of integers with common sums in three directions, which we call magic triangles. For small sizes of these triangles, we count the number of unique magic triangles and examine distributions of integers at different positions within them. While we cannot enumerate the number of magic triangles at larger sizes, we offer a simulated annealing method for finding magic triangles.


title: Surfaces of coordinate finite type in the Lorentz-Minkowski 3-space

abstract: In this article, we study the class of surfaces of revolution in the 3-dimensional Lorentz-Minkowski space with nonvanishing Gauss curvature whose position vector x satisfies the condition {\Delta}IIIx = Ax, where A is a square matrix of order 3 and {\Delta}III denotes the Laplace operator of the second fundamental form III of the surface. We show that such surfaces are either minimal or pseudospheres of a real or imaginary radius.


title: On the factorization of numbers of the form $X^2+c$

abstract: We study the factorization of the numbers $N = X^2+c$, where $c$ is a fixed constant, and this independently of the value of gcd$(X,c)$. We prove the existence of a family of sequences with arithmetic difference $(U_n, Z_n)$ generating factorizations, i.e. such that: $(U_n)^2+c = Z_nZ_{n+1}$. The different properties demonstrated allow us to establish new factorization methods by a subset of prime numbers and to define a prime sieve. An algorithm is presented on this basis and leads to empirical results which suggest a positive answer to Landau's 4th problem.


title: Mathematical specification of hitomezashi designs

abstract: Two mathematical aspects of the centuries-old Japanese sashiko stitching form hitomezashi are discussed: the encoding of designs using words from a binary alphabet, and duality. Traditional hitomezashi designs are analysed using these two ideas. Self-dual hitomezashi designs related to Fibonacci snowflakes, which we term Pell persimmon polyomino patterns, are proposed. Both these designs and the binary words used to generate them appear to be new to their respective literatures.


title: A survey of the number of supersolvable subgroups of finite groups

abstract: In this paper we survey a new criteria for solvability of finite groups in terms of number of supersolvable (also known as polycyclic) and non-supersolvable subgroups. In particular, we present original examples of supersolvable groups such as non-abelian groups with two cyclic generators. Additionally, we present some examples and applications in GAP system providing some description about recent criteria for solvability and properties of finite groups based on the number of supersolvable and non-supersolvable subgroups of a finite group $G$.


title: Hamilton and Souplet-Zhang type estimations on semilinear parabolic system along geometric flow

abstract: In this article we derive both Hamilton type and Souplet-Zhang type gradient estimations for a system of semilinear equations along a geometric flow on a weighted Riemannian manifold.


title: On the computation of the SVD of Fourier submatrices

abstract: Contiguous submatrices of the Fourier matrix are known to be ill-conditioned. In a recent paper in SIAM Review A. Barnett has provided new bounds on the rate of ill-conditioning of the discrete Fourier submatrices. In this paper we focus on the corresponding singular value decomposition. The singular vectors go by the name of periodic discrete prolate spheroidal sequences (P-DPSS). The singular values exhibit an initial plateau, which depends on the dimensions of the submatrix, after which they decay rapidly. The latter regime is known as the plunge region and it is compatible with the submatrices being ill-conditioned. The discrete prolate sequences have received much less study than their continuous counterparts, prolate spheroidal wave functions, associated with continuous Fourier transforms and widely studied following the work of Slepian in the 1970's. In this paper we collect and expand known results on the stable numerical computation of the singular values and vectors of Fourier submatrices. We illustrate the computations and point out a few applications in which Fourier submatrices arise.