title: Continuous-stage symplectic adapted exponential methods for charged-particle dynamics with arbitrary electromagnetic fields

abstract: This paper is devoted to the numerical symplectic approximation of the charged-particle dynamics (CPD) with arbitrary electromagnetic fields. By utilizing continuous-stage methods and exponential integrators, a general class of symplectic methods is formulated for CPD under a homogeneous magnetic field. Based on the derived symplectic conditions, two practical symplectic methods up to order four are constructed where the error estimates show that the proposed second order scheme has a uniform accuracy in the position w.r.t. the strength of the magnetic field. Moreover, the symplectic methods are extended to CPD under non-homogeneous magnetic fields and three algorithms are formulated. Rigorous error estimates are investigated for the proposed methods and one method is proved to have a uniform accuracy in the position w.r.t. the strength of the magnetic field. Numerical experiments are provided for CPD under homogeneous and non-homogeneous magnetic fields, and the numerical results support the theoretical analysis and demonstrate the remarkable numerical behavior of our methods.


title: Features of a Splashing Drop on a Solid Surface and the Temporal Evolution extracted through Image-Sequence Classification using an Interpretable Feedforward Neural Network

abstract: This paper reports the features of a splashing drop on a solid surface and the temporal evolution, which are extracted through image-sequence classification using a highly interpretable feedforward neural network (FNN) with zero hidden layer. The image sequences used for training-validation and testing of the FNN show the early-stage deformation of milli-sized ethanol drops that impact a hydrophilic glass substrate with the Weber number ranges between 31-474 (splashing threshold about 173). Specific videographing conditions and digital image processing are performed to ensure the high similarity among the image sequences. As a result, the trained FNNs achieved a test accuracy higher than 96%. Remarkably, the feature extraction shows that the trained FNN identifies the temporal evolution of the ejected secondary droplets around the aerodynamically lifted lamella and the relatively high contour of the main body as the features of a splashing drop, while the relatively short and thick lamella as the feature of a nonsplashing drop. The physical interpretation for these features and their respective temporal evolution have been identified except for the difference in contour height of the main body between splashing and nonsplashing drops. The observation reported in this study is important for the development of a data-driven simulation for modeling the deformation of a splashing drop during the impact on a solid surface.


title: Suffix sorting via matching statistics

abstract: We introduce a new algorithm for constructing the generalized suffix array of a collection of highly similar strings. As a first step, we construct a compressed representation of the matching statistics of the collection with respect to a reference string. We then use this data structure to distribute suffixes into a partial order, and subsequently to speed up suffix comparisons to complete the generalized suffix array. Our experimental evidence with a prototype implementation (a tool we call sacamats) shows that on string collections with highly similar strings we can construct the suffix array in time competitive with or faster than the fastest available methods. Along the way, we describe a heuristic for fast computation of the matching statistics of two strings, which may be of independent interest.


title: Trichomonas Vaginalis Segmentation in Microscope Images

abstract: Trichomoniasis is a common infectious disease with high incidence caused by the parasite Trichomonas vaginalis, increasing the risk of getting HIV in humans if left untreated. Automated detection of Trichomonas vaginalis from microscopic images can provide vital information for the diagnosis of trichomoniasis. However, accurate Trichomonas vaginalis segmentation (TVS) is a challenging task due to the high appearance similarity between the Trichomonas and other cells (e.g., leukocyte), the large appearance variation caused by their motility, and, most importantly, the lack of large-scale annotated data for deep model training. To address these challenges, we elaborately collected the first large-scale Microscopic Image dataset of Trichomonas Vaginalis, named TVMI3K, which consists of 3,158 images covering Trichomonas of various appearances in diverse backgrounds, with high-quality annotations including object-level mask labels, object boundaries, and challenging attributes. Besides, we propose a simple yet effective baseline, termed TVNet, to automatically segment Trichomonas from microscopic images, including high-resolution fusion and foreground-background attention modules. Extensive experiments demonstrate that our model achieves superior segmentation performance and outperforms various cutting-edge object detection models both quantitatively and qualitatively, making it a promising framework to promote future research in TVS tasks. The dataset and results will be publicly available at: https://github.com/CellRecog/cellRecog.


title: NARRATE: A Normal Assisted Free-View Portrait Stylizer

abstract: In this work, we propose NARRATE, a novel pipeline that enables simultaneously editing portrait lighting and perspective in a photorealistic manner. As a hybrid neural-physical face model, NARRATE leverages complementary benefits of geometry-aware generative approaches and normal-assisted physical face models. In a nutshell, NARRATE first inverts the input portrait to a coarse geometry and employs neural rendering to generate images resembling the input, as well as producing convincing pose changes. However, inversion step introduces mismatch, bringing low-quality images with less facial details. As such, we further estimate portrait normal to enhance the coarse geometry, creating a high-fidelity physical face model. In particular, we fuse the neural and physical renderings to compensate for the imperfect inversion, resulting in both realistic and view-consistent novel perspective images. In relighting stage, previous works focus on single view portrait relighting but ignoring consistency between different perspectives as well, leading unstable and inconsistent lighting effects for view changes. We extend Total Relighting to fix this problem by unifying its multi-view input normal maps with the physical face model. NARRATE conducts relighting with consistent normal maps, imposing cross-view constraints and exhibiting stable and coherent illumination effects. We experimentally demonstrate that NARRATE achieves more photorealistic, reliable results over prior works. We further bridge NARRATE with animation and style transfer tools, supporting pose change, light change, facial animation, and style transfer, either separately or in combination, all at a photographic quality. We showcase vivid free-view facial animations as well as 3D-aware relightable stylization, which help facilitate various AR/VR applications like virtual cinematography, 3D video conferencing, and post-production.


title: Understanding Tieq Viet with Deep Learning Models

abstract: Deep learning is a powerful approach in recovering lost information as well as harder inverse function computation problems. When applied in natural language processing, this approach is essentially making use of context as a mean to recover information through likelihood maximization. Not long ago, a linguistic study called Tieq Viet was controversial among both researchers and society. We find this a great example to demonstrate the ability of deep learning models to recover lost information. In the proposal of Tieq Viet, some consonants in the standard Vietnamese are replaced. A sentence written in this proposal can be interpreted into multiple sentences in the standard version, with different meanings. The hypothesis that we want to test is whether a deep learning model can recover the lost information if we translate the text from Vietnamese to Tieq Viet.


title: On backward smoothing algorithms

abstract: In the context of state-space models, skeleton-based smoothing algorithms rely on a backward sampling step which by default has a $\mathcal O(N^2)$ complexity (where $N$ is the number of particles). Existing improvements in the literature are unsatisfactory: a popular rejection sampling -- based approach, as we shall show, might lead to badly behaved execution time; another rejection sampler with stopping lacks complexity analysis; yet another MCMC-inspired algorithm comes with no stability guarantee. We provide several results that close these gaps. In particular, we prove a novel non-asymptotic stability theorem, thus enabling smoothing with truly linear complexity and adequate theoretical justification. We propose a general framework which unites most skeleton-based smoothing algorithms in the literature and allows to simultaneously prove their convergence and stability, both in online and offline contexts. Furthermore, we derive, as a special case of that framework, a new coupling-based smoothing algorithm applicable to models with intractable transition densities. We elaborate practical recommendations and confirm those with numerical experiments.


title: Pressure induced antiferromagnetic-tetragonal to nonmagnetic-collapse-tetragonal insulator-metal transition in ThMnAsN

abstract: We report first principles numerical discovery of hydrostatic pressure driven tetragonal to collapsed tetragonal transition in 1111-type material ThMnAsN accompanied by simultaneous magneto-structural, insulator to metal transition together with complete collapse of Mn moment. We present detailed evolution of various structural parameters, magnetism and electronic structures of ThMnAsN with increasing hydrostatic pressure. All the structural parameters show anomalies at a critical pressure P$_c \sim$ 9 GPa; c-lattice parameter, out of plane As-As bond length, anion height (h$_{As}$) undergo drastic modification compared to the in-plane parameters which is manifested in an iso-structural phase transition from tetragonal to a collapsed tetragonal (cT) phase. These modifications in "local structural correlations" due to pressure destroys usually localized nature of Mn moments and gets completely quenched. Apart from that the elastic constant, the electronic structures also bear the finger prints of insulator-metal and magneto-structural transition at higher pressures accompanying a total collapse of magnetic moment at the vicinity of 9 GPa. The critical value of the pressure P$_c$ at which tetragonal to collapse tetragonal phase transition occurs, remains robust with respect to the on-site Hubbard correlation (U). The dynamical stability of the compound at higher pressures are affirmed through detailed computations of phonon dispersion curves endowed with positive phonon frequency through out the Brillouin zone. The effect of magnetic spin structure on the electronic band structures are obtained through band unfolding. The electronic structure of ThMnAsN at higher pressures "orbital selectively" influences bands, band gap and closely resembles with the electronic structure of Fe-based superconductors with the occurrences of orbital selective Lifshitz transition.


title: Renaissance Robot: Optimal Transport Policy Fusion for Learning Diverse Skills

abstract: Deep reinforcement learning (RL) is a promising approach to solving complex robotics problems. However, the process of learning through trial-and-error interactions is often highly time-consuming, despite recent advancements in RL algorithms. Additionally, the success of RL is critically dependent on how well the reward-shaping function suits the task, which is also time-consuming to design. As agents trained on a variety of robotics problems continue to proliferate, the ability to reuse their valuable learning for new domains becomes increasingly significant. In this paper, we propose a post-hoc technique for policy fusion using Optimal Transport theory as a robust means of consolidating the knowledge of multiple agents that have been trained on distinct scenarios. We further demonstrate that this provides an improved weights initialisation of the neural network policy for learning new tasks, requiring less time and computational resources than either retraining the parent policies or training a new policy from scratch. Ultimately, our results on diverse agents commonly used in deep RL show that specialised knowledge can be unified into a "Renaissance agent", allowing for quicker learning of new skills.


title: The structures of higher rank lattice actions on dendrites

abstract: Let $\Gamma$ be a higher rank lattice acting on a nondegenerate dendrite $X$ with no infinite order points. We show that there exists a nondegenerate subdendrite $Y$ which is $\Gamma$-invariant and satisfies the following items: (1) There is an inverse system of finite actions $\{(Y_i, \Gamma):i=1,2,3,\cdots\}$ with monotone bonding maps $\phi_i: Y_{i+1}\rightarrow Y_i$ and with each $Y_i$ being a dendrite, such that $(Y, \Gamma|Y)$ is topologically conjugate to the inverse limit $(\underset{\longleftarrow}{\lim}(Y_i, \Gamma), \Gamma)$. (2) The first point map $r:X\rightarrow Y$ is a factor map from $(X, \Gamma)$ to $(Y, \Gamma|Y)$; if $x\in X\setminus Y$, then $r(x)$ is an end point of $Y$ with infinite orbit; for each $y\in Y$, $r^{-1}(y)$ is contractible, that is there is a sequence $g_i\in \Gamma$ with ${\rm diam}(g_ir^{-1}(y))\rightarrow 0$.


title: Conditional Normalizing flow for Monte Carlo sampling in lattice scalar field theory

abstract: The cost of Monte Carlo sampling of lattice configurations is very high in the critical region of lattice field theory due to the high correlation between the samples. This paper suggests a Conditional Normalizing Flow (C-NF) model for sampling lattice configurations in the critical region to solve the problem of critical slowing down. We train the C-NF model using samples generated by Hybrid Monte Carlo (HMC) in non-critical regions with low simulation costs. The trained C-NF model is employed in the critical region to build a Markov chain of lattice samples with negligible autocorrelation. The C-NF model is used for both interpolation and extrapolation to the critical region of lattice theory. Our proposed method is assessed using the 1+1-dimensional scalar $\phi^4$ theory. This approach enables the construction of lattice ensembles for many parameter values in the critical region, which reduces simulation costs by avoiding the critical slowing down.


title: Topological types of actions on curves

abstract: We describe an algorithm that constructs a list of all topological types of holomorphic actions of a finite group on a compact Riemann surface $C$ of genus at least $g \geq 2$ with $C/G \cong \mathbb{P}^1$.


title: Linguistically inspired roadmap for building biologically reliable protein language models

abstract: Deep neural-network-based language models (LMs) are increasingly applied to large-scale protein sequence data to predict protein function. However, being largely black-box models and thus challenging to interpret, current protein LM approaches do not contribute to a fundamental understanding of sequence-function mappings, hindering rule-based biotherapeutic drug development. We argue that guidance drawn from linguistics, a field specialized in analytical rule extraction from natural language data, can aid with building more interpretable protein LMs that are more likely to learn relevant domain-specific rules. Differences between protein sequence data and linguistic sequence data require the integration of more domain-specific knowledge in protein LMs compared to natural language LMs. Here, we provide a linguistics-based roadmap for protein LM pipeline choices with regard to training data, tokenization, token embedding, sequence embedding, and model interpretation. Incorporating linguistic ideas into protein LMs enables the development of next-generation interpretable machine-learning models with the potential of uncovering the biological mechanisms underlying sequence-function relationships.


title: Reference-Invariant Inverse Covariance Estimation with Application to Microbial Network Recovery

abstract: The interactions between microbial taxa in microbiome data has been under great research interest in the science community. In particular, several methods such as SPIEC-EASI, gCoda, and CD-trace have been proposed to model the conditional dependency between microbial taxa, in order to eliminate the detection of spurious correlations. However, all those methods are built upon the central log-ratio (CLR) transformation, which results in a degenerate covariance matrix and thus an undefined inverse covariance matrix as the estimation of the underlying network. Jiang et al. (2021) and Tian et al. (2022) proposed bias-corrected graphical lasso and compositional graphical lasso based on the additive log-ratio (ALR) transformation, which first selects a reference taxon and then computes the log ratios of the abundances of all the other taxa with respect to that of the reference. One concern of the ALR transformation would be the invariance of the estimated network with respect to the choice of reference. In this paper, we first establish the reference-invariance property of a subnetwork of interest based on the ALR transformed data. Then, we propose a reference-invariant version of the compositional graphical lasso by modifying the penalty in its objective function, penalizing only the invariant subnetwork. We validate the reference-invariance property of the proposed method under a variety of simulation scenarios as well as through the application to an oceanic microbiome data set.


title: Compositional Graphical Lasso Resolves the Impact of Parasitic Infection on Gut Microbial Interaction Networks in a Zebrafish Model

abstract: Understanding how microbes interact with each other is key to revealing the underlying role that microorganisms play in the host or environment and to identifying microorganisms as an agent that can potentially alter the host or environment. For example, understanding how the microbial interactions associate with parasitic infection can help resolve potential drug or diagnostic test for parasitic infection. To unravel the microbial interactions, existing tools often rely on graphical models to infer the conditional dependence of microbial abundances to represent their interactions. However, current methods do not simultaneously account for the discreteness, compositionality, and heterogeneity inherent to microbiome data. Thus, we build a new approach called "compositional graphical lasso" upon existing tools by incorporating the above characteristics into the graphical model explicitly. We illustrate the advantage of compositional graphical lasso over current methods under a variety of simulation scenarios and on a benchmark study, the Tara Oceans Project. Moreover, we present our results from the analysis of a dataset from the Zebrafish Parasite Infection Study. Our approach identifies changes in interaction degree between infected and uninfected individuals for three taxa, Photobacterium, Gemmobacter, and Paucibacter, which are inversely predicted by other methods. Further investigation of these method-specific taxa interaction changes reveals their biological plausibility. In particular, we speculate on the potential pathobiotic roles of Photobacterium and Gemmobacter in the zebrafish gut, and the potential probiotic role of Paucibacter. Collectively, our analyses demonstrate that compositional graphical lasso provides a powerful means of accurately resolving interactions between microbiota and can thus drive novel biological discovery.


title: Linguistic Approach to Time Series Forecasting

abstract: This paper proposes methods of predicting dynamic time series (including non-stationary ones) based on a linguistic approach, namely, the study of occurrences and repetition of so-called N-grams. This approach is used in computational linguistics to create statistical translators, detect plagiarism and duplicate documents. However, the scope of application can be extended beyond linguistics by taking into account the correlations of sequences of stable word combinations, as well as trends. The proposed methods do not require a preliminary study and determination of the characteristics of time series or complex tuning of the input parameters of the forecasting model. They allow, with a high level of automation, to carry out short-term and medium-term forecasts of time series, characterized by trends and cyclicality, in particular, series of publication dynamics in content monitoring systems. Also, the proposed methods can be used to predict the values of the parameters of a large complex system with the aim of monitoring its state, when the number of such parameters is significant, and therefore a high level of automation of the forecasting process is desirable. A significant advantage of the approach is the absence of requirements for time series stationarity and a small number of tuning parameters. Further research may focus on the study of various criteria for the similarity of time series fragments, the use of nonlinear similarity criteria, the search for ways to automatically determine the rational step of quantization of the time series.


title: Stabilizing Off-Policy Deep Reinforcement Learning from Pixels

abstract: Off-policy reinforcement learning (RL) from pixel observations is notoriously unstable. As a result, many successful algorithms must combine different domain-specific practices and auxiliary losses to learn meaningful behaviors in complex environments. In this work, we provide novel analysis demonstrating that these instabilities arise from performing temporal-difference learning with a convolutional encoder and low-magnitude rewards. We show that this new visual deadly triad causes unstable training and premature convergence to degenerate solutions, a phenomenon we name catastrophic self-overfitting. Based on our analysis, we propose A-LIX, a method providing adaptive regularization to the encoder's gradients that explicitly prevents the occurrence of catastrophic self-overfitting using a dual objective. By applying A-LIX, we significantly outperform the prior state-of-the-art on the DeepMind Control and Atari 100k benchmarks without any data augmentation or auxiliary losses.


title: Architecture Augmentation for Performance Predictor Based on Graph Isomorphism

abstract: Neural Architecture Search (NAS) can automatically design architectures for deep neural networks (DNNs) and has become one of the hottest research topics in the current machine learning community. However, NAS is often computationally expensive because a large number of DNNs require to be trained for obtaining performance during the search process. Performance predictors can greatly alleviate the prohibitive cost of NAS by directly predicting the performance of DNNs. However, building satisfactory performance predictors highly depends on enough trained DNN architectures, which are difficult to obtain in most scenarios. To solve this critical issue, we propose an effective DNN architecture augmentation method named GIAug in this paper. Specifically, we first propose a mechanism based on graph isomorphism, which has the merit of efficiently generating a factorial of $\boldsymbol n$ (i.e., $\boldsymbol n!$) diverse annotated architectures upon a single architecture having $\boldsymbol n$ nodes. In addition, we also design a generic method to encode the architectures into the form suitable to most prediction models. As a result, GIAug can be flexibly utilized by various existing performance predictors-based NAS algorithms. We perform extensive experiments on CIFAR-10 and ImageNet benchmark datasets on small-, medium- and large-scale search space. The experiments show that GIAug can significantly enhance the performance of most state-of-the-art peer predictors. In addition, GIAug can save three magnitude order of computation cost at most on ImageNet yet with similar performance when compared with state-of-the-art NAS algorithms.


title: Exact output tracking in prescribed finite time via funnel control

abstract: Output reference tracking of unknown nonlinear systems is considered. The control objective is exact tracking in predefined finite time, while in the transient phase the tracking error evolves within a prescribed boundary. To achieve this, a novel high-gain feedback controller is developed that is similar to, but extends, existing high-gain feedback controllers. Feasibility and functioning of the proposed controller is proven rigorously. Examples for the particular control objective under consideration are, for instance, linking up two train sections, or docking of spaceships.


title: The tropical non-properness set of a polynomial map

abstract: We provide a polyhedral characterization for the Jelonek set of a polynomial map $f:K^n\to K^n$ over an algebraically closed field of characteristic zero. This is the set of points in $K^n$ at which $f$ is not finite. We study the tropical analogue for the Jelonek set and prove a correspondence theorem relating classical and tropical polynomial maps. Our description allows to re-prove $K$-uniruleness of the Jelonek set and to compute its tropical hypersurface via polyhedral means. Furthermore, we show how to use our results to recover the face-lattice of the Newton polytope of the Jelonek set for a large family of complex polynomial maps.


title: Uniqueness of trace and C*-simplicity beyond regular representation

abstract: A discrete group $\Gamma$ is C*-simple if the C*-algebra $C_\lambda^*(\Gamma)$ generated by the range of the left regular representation $\lambda$ on $\ell^2(\Gamma)$ is simple. In this case, $\Gamma$ acts faithfully on the Furstenberg boundary $\partial_F\Gamma$ and there is a unique trace on $C_\lambda^*(\Gamma)$. In this paper we study the unique trace property for the C*-algebra $C_\pi^*(\Gamma)$ generated by the range of an arbitrary unitary representation $\pi: \Gamma\to B(H_\pi) $ and relate it to the faithfulness of the action of $\Gamma$ on the Furstenberg-Hamana boundary $\mathcal B_\pi$. Similar relation is obtained between simplicity of $C_\pi^*(\Gamma)$ and (topological) freeness of the action of $\Gamma$ on $\mathcal B_\pi$. Along the way, we extend the Connes-Sullivan and Powers averaging properties for a unitary representation $\pi$ and relate them to simplicity and unique trace property of $C^*_\pi(\Gamma)$.


title: On weak(measure valued)-strong uniqueness for Navier-Stokes-Fourier system with Dirichlet boundary condition

abstract: In this paper, our goal is to define a measure valued solution of compressible Navier--Stokes--Fourier system for a heat conducting fluid with Dirichlet boundary condition for temperature in a bounded domain. The definition is based on the weak formulation of entropy inequality and ballistic energy inequality. Moreover, we obtain the weak(measure valued)-strong uniqueness property of this solution with the help of relative energy.


title: On the Potential Function of the Colored Jones Polynomial with Arbitrary Colors

abstract: We consider the potential function of the colored Jones polynomial for a link with arbitrary colors and obtain the cone-manifold structure for the link complement. In addition, we establish a relationship between a saddle point equation and hyperbolicity of the link complement. This provides evidence for the Chen-Yang conjecture on the link complement.


title: Towards Error-Resilient Neural Speech Coding

abstract: Neural audio coding has shown very promising results recently in the literature to largely outperform traditional codecs but limited attention has been paid on its error resilience. Neural codecs trained considering only source coding tend to be extremely sensitive to channel noises, especially in wireless channels with high error rate. In this paper, we investigate how to elevate the error resilience of neural audio codecs for packet losses that often occur during real-time communications. We propose a feature-domain packet loss concealment algorithm (FD-PLC) for real-time neural speech coding. Specifically, we introduce a self-attention-based module on the received latent features to recover lost frames in the feature domain before the decoder. A hybrid segment-level and frame-level frequency-domain discriminator is employed to guide the network to focus on both the generative quality of lost frames and the continuity with neighbouring frames. Experimental results on several error patterns show that the proposed scheme can achieve better robustness compared with the corresponding error-free and error-resilient baselines. We also show that feature-domain concealment is superior to waveform-domain counterpart as post-processing.


title: Spectroscopic evidence for engineered hadron formation in repulsive fermionic $\textrm{SU}(N)$ Hubbard Models

abstract: Particle formation represents a central theme in various branches of physics, often associated to confinement. Here we show that dynamical hadron formation can be spectroscopically detected in an ultracold atomic setting within the most paradigmatic and simplest model of condensed matter physics, the repulsive $\textrm{SU}(N)$ Hubbard model. By starting from an appropriately engineered initial state of the ${{\textrm{SU}(3)}}$ Hubbard model, not only mesons (doublons) but also baryons (trions) are naturally generated during the time evolution. In the strongly interacting limit, baryons become heavy and attract each other strongly, and their residual interaction with mesons generates meson diffusion, as captured by the evolution of the equal time density correlation function. Hadrons remain present in the long time limit, while the system thermalizes to a negative temperature state. Our conclusions extend to a large variety of initial conditions, all spatial dimensions, and for SU($N>2$) Hubbard models.


title: Tests of gravitational scalar polarization and constraints of chameleon $f(R)$ gravity from comprehensive analysis of binary pulsars

abstract: Chameleon $f(R)$ gravity is equivalent to a class of scalar-tensor theories of gravity with chameleon screening mechanism allowing the theory to satisfy local tests of gravity. Within the framework of chameleon $f(R)$, we study the impact of the chameleon mechanism on the orbital evolution of binary pulsars, and calculate in detail the post-Keplerian (PK) effects (periastron advance, Einstein delay, Shapiro delay, orbital period decay and eccentricity decay) of binary orbit. The differences in PK effects between general relativity (GR) and chameleon $f(R)$ are elegantly quantified by a combination of star's compactness and theory parameter. We use the mass-radius relation to break the degeneracy between these two parameters, thus allowing us to constrain the theory. We simulate the temporal evolution of the orbital period and eccentricity of neutron star (NS) - white dwarf (WD) binaries, and the results indicate that the orbital evolution is typically faster than in GR due to the emission of dipole radiation in chameleon $f(R)$. We use the observables of PK parameters from the three NS-WD binary pulsars to place constraints on chameleon $f(R)$ and possible deviations from GR by performing Monte-Carlo simulations. We find that PSR J1738$+$0333 is the most constraining test of chameleon $f(R)$ in these systems. Our results show no solid evidence of the existence of helicity-0 or helicity-1 polarization states inducing dipole radiation, exclude significant strong-field deviations and confirm that GR is still valid for strong-field asymmetric systems.


title: The gauge coupled two-body problem in a ring

abstract: We study the properties of two quantum particles which are confined in a ring. The particles interact via a long-range gauge potential proportional to the distance between the particles. It is found that the two-body ground state corresponds to a state with non-zero angular momentum provided that the interaction between the particles is strong enough. In addition, the particles are correlated in the sense that depending on the interaction strength there is a propensity to be found close together or separated in the ring. We discuss the effect of measuring the position of one of the particles and thereby removing the particle from the ring, where we show that the remaining particle can be prepared in a non-dispersive state with non-zero angular momentum.


title: Dynamic boxes fusion strategy in object detection

abstract: Object detection on microscopic scenarios is a popular task. As microscopes always have variable magnifications, the object can vary substantially in scale, which burdens the optimization of detectors. Moreover, different situations of camera focusing bring in the blurry images, which leads to great challenge of distinguishing the boundaries between objects and background. To solve the two issues mentioned above, we provide bags of useful training strategies and extensive experiments on Chula-ParasiteEgg-11 dataset, bring non-negligible results on ICIP 2022 Challenge: Parasitic Egg Detection and Classification in Microscopic Images, further more, we propose a new box selection strategy and an improved boxes fusion method for multi-model ensemble, as a result our method wins 1st place(mIoU 95.28%, mF1Score 99.62%), which is also the state-of-the-art method on Chula-ParasiteEgg-11 dataset.


title: The replicator coalescent

abstract: We consider a stochastic model, called the replicator coalescent, describing a system of blocks of $k$ different types which undergo pairwise mergers at rates depending on the block types: with rate $C_{i,j}$ blocks of type $i$ and $j$ merge, resulting in a single block of type $i$. The replicator coalescent can be seen as generalisation of Kingman's coalescent death chain in a multi-type setting, although without an underpinning exchangeable partition structure. The name is derived from a remarkable connection we uncover between the instantaneous dynamics of this multi-type coalescent when issued from an arbitrarily large number of blocks, and the so-called replicator equations from evolutionary game theory. By dilating time arbitrarily close to zero, we see that initially, on coming down from infinity, the replicator coalescent behaves like the solution to a certain replicator equation. Thereafter, stochastic effects are felt and the process evolves more in the spirit of a multi-type death chain.


title: Continuous-Time and Event-Triggered Online Optimization for Linear Multi-Agent Systems

abstract: This paper studies the decentralized online convex optimization problem for heterogeneous linear multi-agent systems. Agents have access to their time-varying local cost functions related to their own outputs, and there are also time-varying coupling inequality constraints among them. The goal of each agent is to minimize the global cost function by selecting appropriate local actions only through communication between neighbors. We design a distributed controller based on the saddle-point method which achieves constant regret bound and sublinear fit bound. In addition, to reduce the communication overhead, we propose an event-triggered communication scheme and show that the constant regret bound and sublinear fit bound are still achieved in the case of discrete communications with no Zeno behavior. A numerical example is provided to verify the proposed algorithms.with no Zeno behavior. A numerical example is provided to verify the proposed algorithms.


title: The rise and sink dependence on the shape of a horizontally wiggling intruder

abstract: We investigate the effect of shape and orientation for a horizontally oscillating intruder on its vertical dynamics in a granular medium via Discrete Element Method (DEM) simulations. Five distinct intruder shapes were considered in this study: a disk (OS1), a square (OS2), two rectangles with aspect ratio > 1 (OS3) and < 1 (OS4) respectively, and an equilateral triangle (OS5). The vertical velocity of the oscillating object was observed to be a function of amplitude and frequency (f) (inverse of time period (T)) of oscillation, and the shape of the object. The dynamics of the motion are modelled with the help of a cavity based model which can empirically produce the regimes observed by incorporating the free fall of the particles filling the cavity.The cavity based model assumes that there is a point on the surface of each oscillating object unique to its shape that any grain crossing it will irreversibly reach the bottom of the cavity. This leads to the creation of bed of particles at the bottom of the cavity which increases intruder's elevation as it oscillates, leading to its vertical rise in the granular medium. When an intruder oscillates much faster than the falling rate of the grains, the intruder cannot rise up and thus sinks due to energy provided by the oscillation to the bottom layer. On the contrary, if the intruder oscillates too slow, the cavity gets completely filled much before it returns. The maximum rise rate is thus observed at the oscillation time period where the cavity filling time is equal to the half time period of oscillation. In addition, we observed a minimum amplitude (Amin) below which the vertical position of the IO remains unaltered for various T. We have also presented the time-averaged pressure P, velocity V, and area fraction {\phi} fields around the intruder shapes.


title: Closed Form Expressions of the Nonlinear Interference for UWB Systems

abstract: We present a comprehensive closed-form GN/EGN model supporting ultra-wide-band systems spanning 50 THz of optical bandwidth. We show a case-study of 10x100km of SMF where we gradually increase the number of channels across the C,L,S,U,E bands while optimizing launch power.


title: Supervised learning for improving the accuracy of robot-mounted 3D camera applied to human gait analysis

abstract: The use of 3D cameras for gait analysis has been highly questioned due to the low accuracy they have demonstrated in the past. The objective of the study presented in this paper is to improve the accuracy of the estimations made by robot-mounted 3D cameras in human gait analysis by applying a supervised learning stage. The 3D camera was mounted in a mobile robot to obtain a longer walking distance. This study shows an improvement in detection of kinematic gait signals and gait descriptors by post-processing the raw estimations of the camera using artificial neural networks trained with the data obtained from a certified Vicon system. To achieve this, 37 healthy participants were recruited and data of 207 gait sequences were collected using an Orbbec Astra 3D camera. There are two basic possible approaches for training: using kinematic gait signals and using gait descriptors. The former seeks to improve the waveforms of kinematic gait signals by reducing the error and increasing the correlation with respect to the Vicon system. The second is a more direct approach, focusing on training the artificial neural networks using gait descriptors directly. The accuracy of the 3D camera was measured before and after training. In both training approaches, an improvement was observed. Kinematic gait signals showed lower errors and higher correlations with respect to the ground truth. The accuracy of the system to detect gait descriptors also showed a substantial improvement, mostly for kinematic descriptors rather than spatio-temporal. When comparing both training approaches, it was not possible to define which was the absolute best. Therefore, we believe that the selection of the training approach will depend on the purpose of the study to be conducted. This study reveals the great potential of 3D cameras and encourages the research community to continue exploring their use in gait analysis.


title: Algebraic structures on the Cantor set

abstract: Below, by space we mean a separable metrizable zero-dimensional space. It is studied when the space can be embedded in a Cantor set while maintaining the algebraic structure. Main results of the work: every space is an open retract of a Boolean precompact group; every strongly homogeneous space is rectifiable. In this case, the space can be embedded in the Cantor set with the preservation of the algebraic structure. An example of a strongly homogeneous space is constructed which do not admit the structure of a right topological group.


title: Evidence for the Cusp Effect in $\eta'$ Decays into $\eta\pi^0\pi^0$

abstract: Using a sample of $4.3\times 10^5$ $\eta'\to\eta\pi^0\pi^0$ events selected from the ten billion $J/\psi$ event dataset collected with the BESIII detector, we study the decay $\eta'\to\eta\pi^0\pi^0$ within the framework of nonrelativistic effective field theory. Evidence for a structure at $\pi^+\pi^-$ mass threshold is observed in the invariant mass spectrum of $\pi^0\pi^0$ with a statistical significance of around $3.5\sigma$, which is consistent with the cusp effect as predicted by the nonrelativistic effective field theory. After introducing the amplitude for describing the cusp effect, the $\pi\pi$ scattering length combination $a_0-a_2$ is determined to be $\rm 0.226\pm0.060_{stat}\pm0.013_{syst}$, which is in good agreement with theoretical calculation of $0.2644\pm0.0051$.


title: A model of quantum spacetime

abstract: We consider a global quantum system (the "Universe") satisfying a double constraint, both on total energy and total momentum. Generalizing the Page and Wootters quantum clock formalism, we provide a model of 3+1 dimensional, non-relativistic, quantum spacetime emerging from entanglement among different subsystems in a globally "timeless" and "positionless" Universe.


title: Cohomologie de de Rham du rev\^etement mod\'er\'e de la tour de Lubin-Tate

abstract: In this article, we study the De Rham cohomology of the first cover in the Lubin-Tate tower. In particular, we get a purely local proof that the supercuspidal part realizes the local Jacquet-Langlands correspondence for ${\rm GL}_n$ by comparing it to the rigid cohomology of some Deligne-Lusztig varieties. The representations obtained are analogous to the ones appearing in the $\ell$-adic cohomology if we forget the action of the Weil group. The proof relies on the generalization of an excision result of Grosse-Kl\"onne and on the existence of a semi-stable model constructed by Yoshida for which we give a more explicit description.


title: Numerical radius and Berezin number inequality

abstract: We study various inequalities for numerical radius and Berezin number of a bounded linear operator on a Hilbert space. It is proved that the numerical radius of a pure two-isometry is 1 and the Crawford number of a pure two-isometry is 0. In particular, we show that for any scalar-valuednon-constant inner function $\theta$, the numerical radius and the Crawford number of a Toeplitz operator $T_{\theta}$ on a Hardy space is 1 and 0, respectively. It is also shown that numerical radius is multiplicative for a class of isometries and sub-multiplicative for a class of commutants of a shift. We have illustrated these results with some concrete examples. Finally, some Hardy-type inequalities for Berezin number of certain class of operators are established with the help of the classical Hardy's inequality.


title: Quantum Equilibrium in Stochastic de Broglie-Bohm-Bell Quantum Mechanics

abstract: This paper investigates dynamical relaxation to quantum equilibrium in the stochastic de Broglie-Bohm-Bell formulation of quantum mechanics. The time-dependent probability distributions are computed as in a Markov process with slowly varying transition matrices. Numerical simulations, supported by exact results for the large-time behavior of sequences of (slowly varying) transition matrices, confirm previous findings that indicate that de Broglie-Bohm-Bell dynamics allows an arbitrary initial probability distribution to relax to quantum equilibrium; i.e., there is no need to make the ad-hoc assumption that the initial distribution of particle locations has to be identical to the initial probability distribution prescribed by the system's initial wave function. The results presented in this paper moreover suggest that the intrinsically stochastic nature of Bell's formulation, which is arguable most naturally formulated on an underlying discrete space-time, is sufficient to ensure dynamical relaxation to quantum equilibrium for a large class of quantum systems without the need to introduce coarse-graining or any other modification in the formulation.


title: L2E: Lasers to Events for 6-DoF Extrinsic Calibration of Lidars and Event Cameras

abstract: As neuromorphic technology is maturing, its application to robotics and autonomous vehicle systems has become an area of active research. In particular, event cameras have emerged as a compelling alternative to frame-based cameras in low-power and latency-demanding applications. To enable event cameras to operate alongside staple sensors like lidar in perception tasks, we propose a direct, temporally-decoupled extrinsic calibration method between event cameras and lidars. The high dynamic range, high temporal resolution, and low-latency operation of event cameras are exploited to directly register lidar laser returns, allowing information-based correlation methods to optimize for the 6-DoF extrinsic calibration between the two sensors. This paper presents the first direct calibration method between event cameras and lidars, removing dependencies on frame-based camera intermediaries and/or highly-accurate hand measurements.


title: Government Intervention in Catastrophe Insurance Markets: A Reinforcement Learning Approach

abstract: This paper designs a sequential repeated game of a micro-founded society with three types of agents: individuals, insurers, and a government. Nascent to economics literature, we use Reinforcement Learning (RL), closely related to multi-armed bandit problems, to learn the welfare impact of a set of proposed policy interventions per $1 spent on them. The paper rigorously discusses the desirability of the proposed interventions by comparing them against each other on a case-by-case basis. The paper provides a framework for algorithmic policy evaluation using calibrated theoretical models which can assist in feasibility studies.


title: Facial Image Reconstruction from Functional Magnetic Resonance Imaging via GAN Inversion with Improved Attribute Consistency

abstract: Neuroscience studies have revealed that the brain encodes visual content and embeds information in neural activity. Recently, deep learning techniques have facilitated attempts to address visual reconstructions by mapping brain activity to image stimuli using generative adversarial networks (GANs). However, none of these studies have considered the semantic meaning of latent code in image space. Omitting semantic information could potentially limit the performance. In this study, we propose a new framework to reconstruct facial images from functional Magnetic Resonance Imaging (fMRI) data. With this framework, the GAN inversion is first applied to train an image encoder to extract latent codes in image space, which are then bridged to fMRI data using linear transformation. Following the attributes identified from fMRI data using an attribute classifier, the direction in which to manipulate attributes is decided and the attribute manipulator adjusts the latent code to improve the consistency between the seen image and the reconstructed image. Our experimental results suggest that the proposed framework accomplishes two goals: (1) reconstructing clear facial images from fMRI data and (2) maintaining the consistency of semantic characteristics.


title: Mental Illness Classification on Social Media Texts using Deep Learning and Transfer Learning

abstract: Given the current social distance restrictions across the world, most individuals now use social media as their major medium of communication. Millions of people suffering from mental diseases have been isolated due to this, and they are unable to get help in person. They have become more reliant on online venues to express themselves and seek advice on dealing with their mental disorders. According to the World health organization (WHO), approximately 450 million people are affected. Mental illnesses, such as depression, anxiety, etc., are immensely common and have affected an individuals' physical health. Recently Artificial Intelligence (AI) methods have been presented to help mental health providers, including psychiatrists and psychologists, in decision making based on patients' authentic information (e.g., medical records, behavioral data, social media utilization, etc.). AI innovations have demonstrated predominant execution in numerous real-world applications broadening from computer vision to healthcare. This study analyzes unstructured user data on the Reddit platform and classifies five common mental illnesses: depression, anxiety, bipolar disorder, ADHD, and PTSD. We trained traditional machine learning, deep learning, and transfer learning multi-class models to detect mental disorders of individuals. This effort will benefit the public health system by automating the detection process and informing appropriate authorities about people who require emergency assistance.


title: Dynamic neighbors: a proposal of a tool to characterize phase transitions

abstract: For molecular dynamics simulations of hard particles, we define dynamic neighbors as the distinct particles that collide with a given reference one during a specific time interval. This definition allows us to determine the distribution of the number of dynamic neighbors, its average, and its standard deviation. We will show that regardless of the time window used to identify dynamic neighbors, their distribution is correlated with diffusion coefficients, structure, and configurational entropy. Thus, it is likely that the distribution of the number of dynamic neighbors may be employed as another tool to gain insights into the dynamic behavior of hard systems. We tested this approach on 2D and 3D systems consisting of monodisperse and binary mixtures of hard disks and spheres. Results show that implementing dynamic neighbors to define order parameters can sharpen the signals where transitions take place.


title: Anapole Moment of Majorana Fermions and Implications for Direct Detection of Neutralino Dark Matter

abstract: For Majorana fermions the anapole moment is the only allowed electromagnetic multipole moment. In this work we calculate the anapole moment induced at one-loop by the Yukawa and gauge interactions of a Majorana fermion, using the pinch technique to ensure the finiteness and gauge-invariance of the result. As archetypical example of a Majorana fermion, we calculate the anapole moment for the lightest neutralino in the Minimal Supersymmetric Standard Model, and specifically in the bino, wino and higgsino limits. Finally, we briefly discuss the implications of the anapole moment for the direct detection of dark matter in the form of Majorana fermions.


title: One-off Events? An Empirical Study of Hackathon Code Creation and Reuse

abstract: Background: Hackathons have become popular events for teams to collaborate on projects and develop software prototypes. Most existing research focuses on activities during an event with limited attention to the evolution of the hackathon code. Aim: We aim to understand the evolution of code used in and created during hackathon events, with a particular focus on the code blobs, specifically, how frequently hackathon teams reuse pre-existing code, how much new code they develop, if that code gets reused afterward, and what factors affect reuse. Method: We collected information about 22,183 hackathon projects from DevPost and obtained related code blobs, authors, project characteristics, original author, code creation time, language, and size information from World of Code. We tracked the reuse of code blobs by identifying all commits containing blobs created during hackathons and identifying all projects that contain those commits. We also conducted a series of surveys in order to gain a deeper understanding of hackathon code evolution that we sent out to hackathon participants whose code was reused, whose code was not reused, and developers who reused some hackathon code. Result: 9.14% of the code blobs in hackathon repositories and 8% of the lines of code (LOC) are created during hackathons and around a third of the hackathon code gets reused in other projects by both blob count and LOC. The number of associated technologies and the number of participants in hackathons increase the reuse probability. Conclusion: The results of our study demonstrate hackathons are not always "one-off" events as common knowledge dictates and they can serve as a starting point for further studies in this area.


title: Recipe for Fast Large-scale SVM Training: Polishing, Parallelism, and more RAM!

abstract: Support vector machines (SVMs) are a standard method in the machine learning toolbox, in particular for tabular data. Non-linear kernel SVMs often deliver highly accurate predictors, however, at the cost of long training times. That problem is aggravated by the exponential growth of data volumes over time. It was tackled in the past mainly by two types of techniques: approximate solvers, and parallel GPU implementations. In this work, we combine both approaches to design an extremely fast dual SVM solver. We fully exploit the capabilities of modern compute servers: many-core architectures, multiple high-end GPUs, and large random access memory. On such a machine, we train a large-margin classifier on the ImageNet data set in 24 minutes.


title: "Y'all are just too sensitive": A computational ethics approach to understanding how prejudice against marginalized communities becomes epistemic belief

abstract: Members of marginalized communities are often accused of being "too sensitive" when subjected to supposedly harmless acts of microaggression. This paper explores a simulated society consisting of marginalized and non-marginalized agents who interact and may, based on their individually held convictions, commit acts of microaggressions. Agents witnessing a microaggression might condone, ignore or condemn such microaggressions, thus potentially influencing a perpetrator's conviction. A prototype model has been implemented in NetLogo, and possible applications are briefly discussed.


title: Symbolic Regression is NP-hard

abstract: Symbolic regression (SR) is the task of learning a model of data in the form of a mathematical expression. By their nature, SR models have the potential to be accurate and human-interpretable at the same time. Unfortunately, finding such models, i.e., performing SR, appears to be a computationally intensive task. Historically, SR has been tackled with heuristics such as greedy or genetic algorithms and, while some works have hinted at the possible hardness of SR, no proof has yet been given that SR is, in fact, NP-hard. This begs the question: Is there an exact polynomial-time algorithm to compute SR models? We provide evidence suggesting that the answer is probably negative by showing that SR is NP-hard.


title: Comparative Analysis of Time Series Forecasting Approaches for Household Electricity Consumption Prediction

abstract: As a result of increasing population and globalization, the demand for energy has greatly risen. Therefore, accurate energy consumption forecasting has become an essential prerequisite for government planning, reducing power wastage and stable operation of the energy management system. In this work we present a comparative analysis of major machine learning models for time series forecasting of household energy consumption. Specifically, we use Weka, a data mining tool to first apply models on hourly and daily household energy consumption datasets available from Kaggle data science community. The models applied are: Multilayer Perceptron, K Nearest Neighbor regression, Support Vector Regression, Linear Regression, and Gaussian Processes. Secondly, we also implemented time series forecasting models, ARIMA and VAR, in python to forecast household energy consumption of selected South Korean households with and without weather data. Our results show that the best methods for the forecasting of energy consumption prediction are Support Vector Regression followed by Multilayer Perceptron and Gaussian Process Regression.


title: Exact nonequilibrium hole dynamics, magnetic polarons and string excitations in antiferromagnetic Bethe lattices

abstract: We investigate a rare instance of an exactly solvable nonequilibrium many-body problem. In particular, we derive an exact solution for the nonequilibrium dynamics of an initially localized single hole in a fully anisotropic antiferromagnetic Bethe lattice, described by the $t$-$J_z$ model. The solvability of the model relies on the fractal self-similarity of Bethe lattices, making it possible to compute the full motion of the hole as it moves through the lattice, as well as exactly characterizing the resulting effect on spin-spin correlation functions. We find that the hole remains bound to its initial position with large aperiodic oscillations in the hole density distribution. We track this back to the irregular pattern of the eigenenergies of the magnetic polaron ground state and string excitations, which we also determine exactly.


title: Brill--Noether theory for Kuznetsov components and refined categorical Torelli theorems for index one Fano threefolds

abstract: We show by a uniform argument that every index one prime Fano threefold $X$ of genus $g\geq 6$ can be reconstructed as a Brill--Noether locus inside a Bridgeland moduli space of stable objects in the Kuznetsov component $\mathcal{K}u(X)$. As an application, we prove refined categorical Torelli theorems for $X$ and compute the fiber of the period map for each Fano threefold of genus $g\geq 7$ in terms of a certain gluing object associated with the subcategory $\langle \mathcal{O}_X \rangle^{\perp}$. This unifies results of Mukai, Brambilla-Faenzi, Debarre-Iliev-Manivel, Faenzi-Verra, Iliev-Markushevich-Tikhomirov and Kuznetsov.


title: Learning to Increase the Power of Conditional Randomization Tests

abstract: The model-X conditional randomization test is a generic framework for conditional independence testing, unlocking new possibilities to discover features that are conditionally associated with a response of interest while controlling type-I error rates. An appealing advantage of this test is that it can work with any machine learning model to design powerful test statistics. In turn, the common practice in the model-X literature is to form a test statistic using machine learning models, trained to maximize predictive accuracy with the hope to attain a test with good power. However, the ideal goal here is to drive the model (during training) to maximize the power of the test, not merely the predictive accuracy. In this paper, we bridge this gap by introducing, for the first time, novel model-fitting schemes that are designed to explicitly improve the power of model-X tests. This is done by introducing a new cost function that aims at maximizing the test statistic used to measure violations of conditional independence. Using synthetic and real data sets, we demonstrate that the combination of our proposed loss function with various base predictive models (lasso, elastic net, and deep neural networks) consistently increases the number of correct discoveries obtained, while maintaining type-I error rates under control.


title: On the achromatic number of the Cartesian product of two complete graphs

abstract: A vertex colouring $f:V(G)\to C$ of a graph $G$ is complete if for any $c_1,c_2\in C$ with $c_1\ne c_2$ there are in $G$ adjacent vertices $v_1,v_2$ such that $f(v_1)=c_1$ and $f(v_2)=c_2$. The achromatic number of $G$ is the maximum number $\mathrm{achr}(G)$ of colours in a proper complete vertex colouring of $G$. Let $G_1\square G_2$ denote the Cartesian product of graphs $G_1$ and $G_2$. In the paper $\mathrm{achr}(K_{r^2+r+1}\square K_q)$ is determined for an infinite number of $q$s provided that $r$ is a finite projective plane order.


title: Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited

abstract: Given a graph and two vertex sets satisfying a certain feasibility condition, a reconfiguration problem asks whether we can reach one vertex set from the other by repeating prescribed modification steps while maintaining feasibility. In this setting, Mouawad et al. [IPEC 2014] presented an algorithmic meta-theorem for reconfiguration problems that says if the feasibility can be expressed in monadic second-order logic (MSO), then the problem is fixed-parameter tractable parameterized by $\textrm{treewidth} + \ell$, where $\ell$ is the number of steps allowed to reach the target set. On the other hand, it is shown by Wrochna [J. Comput. Syst. Sci. 2018] that if $\ell$ is not part of the parameter, then the problem is PSPACE-complete even on graphs of bounded bandwidth. In this paper, we present the first algorithmic meta-theorems for the case where $\ell$ is not part of the parameter, using some structural graph parameters incomparable with bandwidth. We show that if the feasibility is defined in MSO, then the reconfiguration problem under the so-called token jumping rule is fixed-parameter tractable parameterized by neighborhood diversity. We also show that the problem is fixed-parameter tractable parameterized by $\textrm{treedepth} + k$, where $k$ is the size of sets being transformed. We finally complement the positive result for treedepth by showing that the problem is PSPACE-complete on forests of depth $3$.


title: Modeling and Control of Morphing Covers for the Adaptive Morphology of Humanoid Robots

abstract: This article takes a step to provide humanoid robots with adaptive morphology abilities. We present a systematic approach for enabling robotic covers to morph their shape, with an overall size fitting the anthropometric dimensions of a humanoid robot. More precisely, we present a cover concept consisting of two main components: a skeleton, which is a repetition of a basic element called node, and a soft membrane, which encloses the cover and deforms with its motion. This article focuses on the cover skeleton and addresses the challenging problems of node design, system modeling, motor positioning, and control design of the morphing system. The cover modeling focuses on kinematics, and a systematic approach for defining the system kinematic constraints is presented. Then, we apply genetic algorithms to find the motor locations so that the morphing cover is fully actuated. Finally, we present control algorithms that allow the cover to morph into a time-varying shape. The entire approach is validated by performing kinematic simulations with four different covers of square dimensions and having 3x3, 4x8, 8x8, and 20x20 nodes, respectively. For each cover, we apply the genetic algorithms to choose the motor locations and perform simulations for tracking a desired shape. The simulation results show that the presented approach ensures the covers to track a desired shape with good tracking performances.


title: Torque and velocity controllers to perform jumps with a humanoid robot: theory and implementation on the iCub robot

abstract: Jumping can be an effective way of locomotion to overcome small terrain gaps or obstacles. In this paper we propose two different approaches to perform jumps with a humanoid robot. Specifically, starting from a pre-defined CoM trajectory we develop the theory for a velocity controller and for a torque controller based on an optimization technique for the evaluation of the joints input. The controllers have been tested both in simulation and on the humanoid robot iCub. In simulation the robot was able to jump using both controllers, while the real system jumped with the velocity controller only. The results highlight the importance of controlling the centroidal angular momentum and they suggest that the joint performances, namely maximum power, of the legs and torso joints, and the low level control performances are fundamental to achieve acceptable results.


title: Generalised Evasive Subspaces

abstract: We introduce and explore a new concept of evasive subspace with respect to a collection of subspaces sharing a common dimension, most notably partial spreads. We show that this concept generalises known notions of subspace scatteredness and evasiveness. We establish various upper bounds for the dimension of an evasive subspace with respect to arbitrary partial spreads, obtaining improvements for the Desarguesian ones. We also establish existence results for evasive spaces in a non-constructive way, using a graph theory approach. The upper and lower bounds we derive have a precise interpretation as bounds for the critical exponent of certain combinatorial geometries. Finally, we investigate connections between the notion of evasive space we introduce and the theory of rank-metric codes, obtaining new results on the covering radius and on the existence of minimal vector rank-metric codes.


title: Myopic Quantal Response Policy: Thompson Sampling Meets Behavioral Economics

abstract: We study a novel family of behavioral policies for the multi-armed bandit (MAB) problem, which we have termed Myopic Quantal Response (MQR). MQR prescribes a simple way to randomize over arms according to historical rewards and a "coefficient of exploitation," which explicitly manages the exploration-exploitation trade-off. MQR is a dynamic adaptation of quantal response models where the anticipated utilities are directly derived from past rewards. Furthermore, it can be viewed as a generalization of the Thompson Sampling (TS) algorithm. We develop an asymptotic theory for MQR and show how it can help understand not only asymptotically optimal policies like TS, but also those that are suboptimal due to "under" or "over" exploring. In the non-asymptotic setup, we demonstrate how MQR can be used as a structural estimation tool: Given observed data (i.e., realized actions and rewards), we can estimate the implied coefficient of exploitation of any given policy (either generated by human beings or algorithms). This allows us to diagnose whether and to what extent the policy underexplores or overexplores.


title: Finding Top-r Influential Communities under Aggregation Functions

abstract: Community search is a problem that seeks cohesive and connected subgraphs in a graph that satisfy certain topology constraints, e.g., degree constraints. The majority of existing works focus exclusively on the topology and ignore the nodes' influence in the communities. To tackle this deficiency, influential community search is further proposed to include the node's influence. Each node has a weight, namely influence value, in the influential community search problem to represent its network influence. The influence value of a community is produced by an aggregated function, e.g., max, min, avg, and sum, over the influence values of the nodes in the same community. The objective of the influential community search problem is to locate the top-r communities with the highest influence values while satisfying the topology constraints. Existing studies on influential community search have several limitations: (i) they focus exclusively on simple aggregation functions such as min, which may fall short of certain requirements in many real-world scenarios, and (ii) they impose no limitation on the size of the community, whereas most real-world scenarios do. This motivates us to conduct a new study to fill this gap. We consider the problem of identifying the top-r influential communities with/without size constraints while using more complicated aggregation functions such as sum or avg. We give a theoretical analysis demonstrating the hardness of the problems and propose efficient and effective heuristic solutions for our topr influential community search problems. Extensive experiments on real large graphs demonstrate that our proposed solution is significantly more efficient than baseline solutions.


title: Boosting Single-Frame 3D Object Detection by Simulating Multi-Frame Point Clouds

abstract: To boost a detector for single-frame 3D object detection, we present a new approach to train it to simulate features and responses following a detector trained on multi-frame point clouds. Our approach needs multi-frame point clouds only when training the single-frame detector, and once trained, it can detect objects with only single-frame point clouds as inputs during the inference. We design a novel Simulated Multi-Frame Single-Stage object Detector (SMF-SSD) framework to realize the approach: multi-view dense object fusion to densify ground-truth objects to generate a multi-frame point cloud; self-attention voxel distillation to facilitate one-to-many knowledge transfer from multi- to single-frame voxels; multi-scale BEV feature distillation to transfer knowledge in low-level spatial and high-level semantic BEV features; and adaptive response distillation to activate single-frame responses of high confidence and accurate localization. Experimental results on the Waymo test set show that our SMF-SSD consistently outperforms all state-of-the-art single-frame 3D object detectors for all object classes of difficulty levels 1 and 2 in terms of both mAP and mAPH.


title: FPS In Action: An Easy Way To Find Explicit Formulas For Interlaced Hypergeometric Sequences

abstract: Linear recurrence equations with constant coefficients define the power series coefficients of rational functions. However, one usually prefers to have an explicit formula for the sequence of coefficients, provided that such a formula is "simple" enough. Simplicity is related to the compactness of the formula due to the presence of algebraic numbers: "the smaller, the simpler". This poster showcases the capacity of recent updates on the Formal Power Series (FPS) algorithm, implemented in Maxima and Maple (convert/FormalPowerSeries), to find simple formulas for sequences like those from https://oeis.org/A307717, https://oeis.org/A226782, or https://oeis.org/A226784 by computing power series representations of their correctly guessed generating functions. We designed the algorithm for the more general context of univariate $P$-recursive sequences. Our implementations are available at http://www.mathematik.uni-kassel.de/~bteguia/FPS_webpage/FPS.htm


title: Radiative corrections to decay branching ratios of the CP-odd Higgs boson in two Higgs doublet models

abstract: We calculate radiative corrections to decay rates of CP-odd Higgs boson $A$ for various decay modes in the four types of two Higgs doublet models with the softly broken discrete $Z_{2}$ symmetry. The decay branching ratios are evaluated at the next-to-leading order for electroweak corrections and the next-to-next-to-leading order for QCD corrections. We comprehensively study the impact of the electroweak corrections on the decay rates and the branching ratios. We find that the radiative corrections can sizably modify the branching ratios, especially for the $A\to Zh$ decay mode in the nearly alignment scenario, where coupling constants of the SM-like Higgs boson $h$ are close to those in the standard model. We also show correlations between the branching ratios of $A$ and the scaling factor of the SM-like Higgs boson coupling including higher-order corrections. In addition, we show characteristic predictions on the decay pattern depending on the types of Yukawa interaction, by which we can discriminate the types of Yukawa interaction in future collider experiments.


title: Adaptive Force Controller for Contact-Rich Robotic Systems using an Unscented Kalman Filter

abstract: In multi-point contact systems, precise force control is crucial for achieving stable and safe interactions between robots and their environment. Thus, we demonstrate an admittance controller with auto-tuning that can be applied for these systems. The controller's objective is to track the target wrench profiles of each contact point while considering the additional torque due to rotational friction. Our admittance controller is adaptive during online operation by using an auto-tuning method that tunes the gains of the controller while following user-specified training objectives. These objectives include facilitating controller stability, such as tracking the wrench profiles as closely as possible, ensuring control outputs are within force limits that minimize slippage, and avoiding configurations that induce kinematic singularity. We demonstrate the robustness of our controller on hardware for both manipulation and locomotion tasks using a multi-limbed climbing robot.


title: The multivariate Serre conjecture ring

abstract: It is well-known that for any commutative unitary ring $\mathbf{R}$, the Serre conjecture ring $\mathbf{R}\langle X \rangle$, i.e., the localization of the univariate polynomial ring $\mathbf{R}[X]$ at monic polynomials, is a B\'ezout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$. Consequently, defining by induction $\mathbf{R}\langle X_1,\ldots,X_n \rangle:=(\mathbf{R}\langle X_1,\ldots,X_{n-1}\rangle)\langle X_n\rangle$, the ring $\mathbf{R}\langle X_1,\ldots,X_n \rangle$ is a B\'ezout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$. The fact that $\mathbf{R}\langle X_1,\ldots,X_n \rangle$ is a B\'ezout domain when $\mathbf{R}$ is a valuation domain of Krull dimension $\leq 1$ was the cornerstone of Brewer and Costa's theorem stating that if $\mathbf{R}$ is a one-dimensional arithmetical ring then finitely generated projective $\mathbf{R}[X_1,\dots,X_n]$-modules are extended. It is also the key of the proof of the Gr\"obner Ring Conjecture in the lexicographic order case, namely the fact that for any valuation domain $\mathbf{R}$ of Krull dimension $\leq 1$, any $n \in \mathbb{N}_{>0}$, and any finitely generated ideal $I$ of $\mathbf{R}[X_1, \dots, X_n]$, the ideal $\operatorname{LT}(I)$ generated by the leading terms of the elements of $I$ with respect to the lexicographic monomial order is finitely generated. Since the ring $\mathbf{R}\langle X_1,\ldots,X_n\rangle$ can also be defined directly as the localization of the multivariate polynomial ring $\mathbf{R}[X_1,\dots,X_n]$ at polynomials whose leading coefficients according to the lexicographic monomial order with $X_1<X_2<\cdots<X_n$ is $1$, we propose to generalize the fact that $\mathbf{R}\langle X_1,\ldots,X_n\rangle$ is a B\'ezout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$ to any rational monomial order, bolstering the evidence for the Gr\"obner Ring Conjecture in the rational case.


title: Towards Real-Time Counting Shortest Cycles on Dynamic Graphs: A Hub Labeling Approach

abstract: With the ever-increasing prevalence of graph data in a wide spectrum of applications, it becomes essential to analyze structural trends in dynamic graphs on a continual basis. The shortest cycle is a fundamental pattern in graph analytics. In this paper, we investigate the problem of shortest cycle counting for a given vertex in dynamic graphs in light of its applicability to problems such as fraud detection. To address such queries efficiently, we propose a 2-hop labeling based algorithm called Counting Shortest Cycle (CSC for short). Additionally, techniques for dynamically updating the CSC index are explored. Comprehensive experiments are conducted to demonstrate the efficiency and effectiveness of our method. In particular, CSC enables query evaluation in a few hundreds of microseconds for graphs with millions of edges, and improves query efficiency by two orders of magnitude when compared to the baseline solutions. Also, the update algorithm could efficiently cope with edge insertions (deletions).


title: Memory-Based Label-Text Tuning for Few-Shot Class-Incremental Learning

abstract: Few-shot class-incremental learning(FSCIL) focuses on designing learning algorithms that can continually learn a sequence of new tasks from a few samples without forgetting old ones. The difficulties are that training on a sequence of limited data from new tasks leads to severe overfitting issues and causes the well-known catastrophic forgetting problem. Existing researches mainly utilize the image information, such as storing the image knowledge of previous tasks or limiting classifiers updating. However, they ignore analyzing the informative and less noisy text information of class labels. In this work, we propose leveraging the label-text information by adopting the memory prompt. The memory prompt can learn new data sequentially, and meanwhile store the previous knowledge. Furthermore, to optimize the memory prompt without undermining the stored knowledge, we propose a stimulation-based training strategy. It optimizes the memory prompt depending on the image embedding stimulation, which is the distribution of the image embedding elements. Experiments show that our proposed method outperforms all prior state-of-the-art approaches, significantly mitigating the catastrophic forgetting and overfitting problems.


title: Guessing With Quadratic Differential Equations

abstract: By holonomic guessing, we denote the process of finding a linear differential equation with polynomial coefficients satisfied by the generating function of a sequence, for which only a few first terms are known. Holonomic guessing has been used in computer algebra for over three decades to demonstrate the value of the guess-and-prove paradigm in intuition processes preceding proofs, as propagated in The Art of Solving (Polya, 1978). Among the prominent packages used to perform guessing, one can cite the Maple Gfun package of Salvy and Zimmermann; the Mathematica GeneratingFunctions package of Mallinger; and the Sage ore_algebra package of Kauers, Jaroschek, and Johansson. We propose an approach that extends holonomic guessing by allowing the targeted differential equations to be of degree at most two. Consequently, it enables us to capture more generating functions than just holonomic functions. The corresponding recurrence equations are similar to known equations for the Bernoulli, Euler, and Bell numbers. As a result, our software finds the correct recurrence and differential equations for the generating functions of the up/down numbers (https://oeis.org/A000111), the evaluations of the zeta function at positive even integers, the Taylor coefficients of the Lambert W function, and many more. Our Maple implementation ($delta2guess$) is part of the FPS package which can be downloaded at http://www.mathematik.uni-kassel.de/~bteguia/FPS_webpage/FPS.htm


title: Stabilization-free HHO a posteriori error control

abstract: The known a posteriori error analysis of hybrid high-order methods (HHO) treats the stabilization contribution as part of the error and as part of the error estimator for an efficient and reliable error control. This paper circumvents the stabilization contribution on simplicial meshes and arrives at a stabilization-free error analysis with an explicit residual-based a posteriori error estimator for adaptive mesh-refining as well as an equilibrium-based guaranteed upper error bound (GUB). Numerical evidence in a Poisson model problem supports that the GUB leads to realistic upper bounds for the displacement error in the piecewise energy norm. The adaptive mesh-refining algorithm associated to the explicit residual-based a posteriori error estimator recovers the optimal convergence rates in computational benchmarks.


title: Leveraging Acoustic Contextual Representation by Audio-textual Cross-modal Learning for Conversational ASR

abstract: Leveraging context information is an intuitive idea to improve performance on conversational automatic speech recognition(ASR). Previous works usually adopt recognized hypotheses of historical utterances as preceding context, which may bias the current recognized hypothesis due to the inevitable historicalrecognition errors. To avoid this problem, we propose an audio-textual cross-modal representation extractor to learn contextual representations directly from preceding speech. Specifically, it consists of two modal-related encoders, extracting high-level latent features from speech and the corresponding text, and a cross-modal encoder, which aims to learn the correlation between speech and text. We randomly mask some input tokens and input sequences of each modality. Then a token-missing or modal-missing prediction with a modal-level CTC loss on the cross-modal encoder is performed. Thus, the model captures not only the bi-directional context dependencies in a specific modality but also relationships between different modalities. Then, during the training of the conversational ASR system, the extractor will be frozen to extract the textual representation of preceding speech, while such representation is used as context fed to the ASR decoder through attention mechanism. The effectiveness of the proposed approach is validated on several Mandarin conversation corpora and the highest character error rate (CER) reduction up to 16% is achieved on the MagicData dataset.


title: Solitons on the rarefactive wave background via the Darboux transformation

abstract: Rarefactive waves and dispersive shock waves are generated from the step-like initial data in many nonlinear evolution equations including the classical example of the Korteweg-de Vries (KdV) equation. When a solitary wave is injected on the step-like initial data, it is either transmitted over the background or trapped in the rarefactive wave. We show that the transmitted soliton can be obtained by using the Darboux transformation for the KdV equation. On the other hand, no trapped soliton can be obtained by using the Darboux transformation and we show with numerical simulations that the trapped soliton disappears in the long-time dynamics of the rarefactive wave.

categories: nlin.PS math-ph math.AP math.MP nlin.SI physics.flu-dyn


title: Conflict-Free Colouring of Subsets

abstract: We introduce and study conflict-free colourings of $t$-subsets in hypergraphs. In such colourings, one assigns colours to all subsets of vertices of cardinality $t$ such that in any hyperedge of cardinality at least $t$ there is a uniquely coloured $t$-subset. The case $t=1$, i.e., vertex conflict-free colouring, is a well-studied notion. Already the case $t=2$ (i.e., colouring pairs) seems to present a new challenge. Many of the tools used for conflict-free colouring of geometric hypergraphs rely on hereditary properties of the underlying hypergraphs. When dealing with subsets of vertices, the properties do not pass to subfamilies of subsets. Therefore, we develop new tools, which might be of independent interest. (i) For any fixed $t$, we show that the $\binom n t$ $t$-subsets in any set $P$ of $n$ points in the plane can be coloured with $O(t^2 \log^2 n)$ colours so that any axis-parallel rectangle that contains at least $t$ points of $P$ also contains a uniquely coloured $t$-subset. (ii) For a wide class of "well behaved" geometrically defined hypergraphs, we provide near tight upper bounds on their $t$-subset conflict-free chromatic number. For $t=2$ we show that for each of those "well -behaved" hypergraphs $H$, the hypergraph $H'$ obtained by taking union of two hyperedges from $H$, admits a $2$-subset conflict-free colouring with roughly the same number of colours as $H$. For example, we show that the $\binom n 2$ pairs of points in any set $P$ of $n$ points in the plane can be coloured with $O(\log n)$ colours such that for any two discs $d_1,d_2$ in the plane with $|(d_1\cup d_2)\cap P|\geq 2$ there is a uniquely (in $d_1 \cup d_2$) coloured pair. (iii) We also show that there is no general bound on the $t$-subset conflict-free chromatic number as a function of the standard conflict-free chromatic number already for $t=2$.


title: Collective Memory in the Digital Age

abstract: The digital transformation of our societies and in particular information and communication technologies have revolutionized how we generate, communicate, and acquire information. Collective memory as a core and unifying force in our societies has not been an exception among many societal concepts which have been revolutionized through digital transformation. In this chapter, we have distinguished between "the digitalized collective memory" and "collective memory in the digital age". In addition to discussing these two main concepts, we discuss how digital tools and trace data can open doorways into the study of collective memory that is formed inside and outside of the digital space.

categories: cs.CY cs.SI physics.data-an physics.soc-ph


title: A multi-objective sustainable planning for a real hazardous waste production problem

abstract: A significant amount of hazardous waste generated from health sectors and industrial processes has posed a major threat to human health by causing environmental issues and contamination of air, soil, and water resources. This paper presents a multi-objective mixed-integer nonlinear programming (MINLP) formulation for a sustainable hazardous waste location-routing problem. The location of the facilities and routing decisions for transporting hazardous waste and the waste residue is considered to design a suitable waste collection system. The presented model simultaneously minimizes the total costs of the waste management system, total risks from transportation and facilities, along with CO2 emissions. A real-world case study is presented to illustrate the applicability of the proposed model. To illustrate the significance of sustainability, the results of the original model are compared with the results of the model without considering sustainability. It indicates that, under the condition when sustainability is not taken into account, total cost, transportation, and site risk along with CO2 emission increased, which in turn demonstrated the importance of sustainability. Furthermore, the managerial insights gained from the optimal results would enable the managers to make better decisions in the hazardous waste management system.


title: MatFormer: A Generative Model for Procedural Materials

abstract: Procedural material graphs are a compact, parameteric, and resolution-independent representation that are a popular choice for material authoring. However, designing procedural materials requires significant expertise and publicly accessible libraries contain only a few thousand such graphs. We present MatFormer, a generative model that can produce a diverse set of high-quality procedural materials with complex spatial patterns and appearance. While procedural materials can be modeled as directed (operation) graphs, they contain arbitrary numbers of heterogeneous nodes with unstructured, often long-range node connections, and functional constraints on node parameters and connections. MatFormer addresses these challenges with a multi-stage transformer-based model that sequentially generates nodes, node parameters, and edges, while ensuring the semantic validity of the graph. In addition to generation, MatFormer can be used for the auto-completion and exploration of partial material graphs. We qualitatively and quantitatively demonstrate that our method outperforms alternative approaches, in both generated graph and material quality.


title: FE${}^\textbf{ANN}$ $-$ An efficient data-driven multiscale approach based on physics-constrained neural networks and automated data mining

abstract: Herein, we present a new data-driven multiscale framework called FE${}^\text{ANN}$ which is based on two main keystones: the usage of physics-constrained artificial neural networks (ANNs) as macroscopic surrogate models and an autonomous data mining process. Our approach allows the efficient simulation of materials with complex underlying microstructures which reveal an overall anisotropic and nonlinear behavior on the macroscale. Thereby, we restrict ourselves to finite strain hyperelasticity problems for now. By using a set of problem specific invariants as the input of the ANN and the Helmholtz free energy density as the output, several physical principles, e.g., objectivity, material symmetry, compatibility with the balance of angular momentum and thermodynamic consistency are fulfilled a priori. The necessary data for the training of the ANN-based surrogate model, i.e., macroscopic deformations and corresponding stresses, are collected via computational homogenization of representative volume elements (RVEs). Thereby, the core feature of the approach is given by a completely autonomous mining of the required data set within an overall loop. In each iteration of the loop, new data are generated by gathering the macroscopic deformation states from the macroscopic finite element (FE) simulation and a subsequently sorting by using the anisotropy class of the considered material. Finally, all unknown deformations are prescribed in the RVE simulation to get the corresponding stresses and thus to extend the data set. The proposed framework consequently allows to reduce the number of time-consuming microscale simulations to a minimum. It is exemplarily applied to several descriptive examples, where a fiber reinforced composite with a highly nonlinear Ogden-type behavior of the individual components is considered.


title: Search for a charged Higgs boson decaying into a heavy neutral Higgs boson and a W boson in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search for a charged Higgs boson H$^\pm$ decaying into a heavy neutral Higgs boson H and a W boson is presented. The analysis targets the H decay into a pair of tau leptons with at least one of them decaying hadronically and with an additional electron or muon present in the event. The search is based on proton-proton collision data recorded by the CMS experiment during 2016-2018 at $\sqrt{s}$ = 13 TeV, corresponding to an integrated luminosity of 138 fb$^{-1}$. The data are consistent with standard model background expectations. Upper limits at 95% confidence level are set on the product of the cross section and branching fraction for an H$^\pm$ in the mass range of 300-700 GeV, assuming an H with a mass of 200 GeV. The observed limits range from 0.085 pb for an H$^\pm$ mass of 300 GeV to 0.019 pb for a mass of 700 GeV. These are the first limits on H$^\pm$ production in the H$^\pm$ $\to$ HW$^\pm$ decay channel at the LHC.


title: An Empirical Study of Flaky Tests in JavaScript

abstract: Flaky tests (tests with non-deterministic outcomes) can be problematic for testing efficiency and software reliability. Flaky tests in test suites can also significantly delay software releases. There have been several studies that attempt to quantify the impact of test flakiness in different programming languages (e.g., Java and Python) and application domains (e.g., mobile and GUI-based). In this paper, we conduct an empirical study of the state of flaky tests in JavaScript. We investigate two aspects of flaky tests in JavaScript projects: the main causes of flaky tests in these projects and common fixing strategies. By analysing 452 commits from large, top-scoring JavaScript projects from GitHub, we found that flakiness caused by concurrency-related issues (e.g., async wait, race conditions or deadlocks) is the most dominant reason for test flakiness. The other top causes of flaky tests are operating system-specific (e.g., features that work on specific OS or OS versions) and network stability (e.g., internet availability or bad socket management). In terms of how flaky tests are dealt with, the majority of those flaky tests (>80%) are fixed to eliminate flaky behaviour and developers sometimes skip, quarantine or remove flaky tests.


title: A Formal Framework for Distributed Cyber-Physical Systems

abstract: Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system. Usually, however, a system can be decomposed in more than one way, each optimizing for a different set of criteria. We extend an algebraic component-based model for cyber-physical systems to reason about decomposition. In this model, components compose using a family of algebraic products, and decompose, under some conditions, given a corresponding family of division operators. We use division to specify invariant of a system of components, and to model desirable updates. We apply our framework to design a cyber-physical system consisting of robots moving on a shared field, and identify desirable updates using our division operator.


title: The structure of maximal non-trivial d-wise intersecting uniform families with large sizes

abstract: For a positive integer $d\geq 2$, a family $\mathcal F\subseteq \binom{[n]}{k}$ is said to be d-wise intersecting if $|F_1\cap F_2\cap \dots\cap F_d|\geq 1$ for all $F_1, F_2, \dots ,F_d\in \mathcal F$. A d-wise intersecting family $\mathcal F\subseteq \binom{[n]}{k}$ is called maximal if $\mathcal F\cup\{A\}$ is not d-wise intersecting for any $A\in\binom{[n]}{k}\setminus\mathcal F$. We provide a refinement of O'Neill and Verstra\"{e}te's Theorem about the structure of the largest and the second largest maximal non-trivial d-wise intersecting k-uniform families. We also determine the structure of the third largest and the fourth largest maximal non-trivial d-wise intersecting k-uniform families for any $k>d+1\geq 4$, and the fifth largest and the sixth largest maximal non-trivial 3-wise intersecting k-uniform families for any $k\geq 5$, in the asymptotic sense. Our proofs are applications of the $\Delta$-system method.


title: Exploiting Context Information for Generic Event Boundary Captioning

abstract: Generic Event Boundary Captioning (GEBC) aims to generate three sentences describing the status change for a given time boundary. Previous methods only process the information of a single boundary at a time, which lacks utilization of video context information. To tackle this issue, we design a model that directly takes the whole video as input and generates captions for all boundaries parallelly. The model could learn the context information for each time boundary by modeling the boundary-boundary interactions. Experiments demonstrate the effectiveness of context information. The proposed method achieved a 72.84 score on the test set, and we reached the $2^{nd}$ place in this challenge. Our code is available at: \url{https://github.com/zjr2000/Context-GEBC}


title: On the minimum number of arcs in $k$-dicritical oriented graphs

abstract: The dichromatic number $\dic(D)$ of a digraph $D$ is the least integer $k$ such that $D$ can be partitioned into $k$ directed acyclic digraphs. A digraph is $k$-dicritical if $\dic(D) = k$ and each proper subgraph $D'$ of $D$ satisfies $\dic(D') \leq k-1$. An oriented graph is a digraph with no directed cycle of length $2$. For integers $k$ and $n$, we denote by $o_k(n)$ the minimum number of edges of a $k$-critical oriented graph on $n$ vertices (with the convention $o_k(n)=+\infty$ if there is no $k$-dicritical oriented graph of order $n$). The main result of this paper is a proof that $o_3(n) \geq \frac{7n+2}{3}$ together with a construction witnessing that $o_3(n) \leq \left \lceil \frac{5n}{2} \right \rceil$ for all $n \geq 12$. We also give a construction showing that for all sufficiently large $n$ and all $k\geq 3$, $o_k(n) < (2k-3)n$, disproving a conjecture of Hoshino and Kawarabayashi. Finally, we prove that, for all $k\geq 2$, $o_k(n) \geq \pth{ k - \frac{3}{4}-\frac{1}{4k-6}} n + \frac{3}{4(2k-3)}$, improving the previous best known lower bound of Bang-Jensen, Bellitto, Schweser and Stiebitz.


title: Generating gender-ambiguous voices for privacy-preserving speech recognition

abstract: Our voice encodes a uniquely identifiable pattern which can be used to infer private attributes, such as gender or identity, that an individual might wish not to reveal when using a speech recognition service. To prevent attribute inference attacks alongside speech recognition tasks, we present a generative adversarial network, GenGAN, that synthesises voices that conceal the gender or identity of a speaker. The proposed network includes a generator with a U-Net architecture that learns to fool a discriminator. We condition the generator only on gender information and use an adversarial loss between signal distortion and privacy preservation. We show that GenGAN improves the trade-off between privacy and utility compared to privacy-preserving representation learning methods that consider gender information as a sensitive attribute to protect.


title: Protea: Client Profiling within Federated Systems using Flower

abstract: Federated Learning (FL) has emerged as a prospective solution that facilitates the training of a high-performing centralised model without compromising the privacy of users. While successful, research is currently limited by the possibility of establishing a realistic large-scale FL system at the early stages of experimentation. Simulation can help accelerate this process. To facilitate efficient scalable FL simulation of heterogeneous clients, we design and implement Protea, a flexible and lightweight client profiling component within federated systems using the FL framework Flower. It allows automatically collecting system-level statistics and estimating the resources needed for each client, thus running the simulation in a resource-aware fashion. The results show that our design successfully increases parallelism for 1.66 $\times$ faster wall-clock time and 2.6$\times$ better GPU utilisation, which enables large-scale experiments on heterogeneous clients.


title: Multi-aspect Multilingual and Cross-lingual Parliamentary Speech Analysis

abstract: Parliamentary and legislative debate transcripts provide informative insight into elected politicians' opinions, positions, and policy preferences. They are interesting for political and social sciences as well as linguistics and natural language processing (NLP) research. While existing research studied individual parliaments, we apply advanced NLP methods to a joint and comparative analysis of six national parliaments (Bulgarian, Czech, French, Slovene, Spanish, and United Kingdom) between 2017 and 2020. We analyze emotions and sentiment in the transcripts from the ParlaMint dataset collection and assess if the age, gender, and political orientation of speakers can be detected from their speeches. The results show some commonalities and many surprising differences among the analyzed countries.