title: Stringent Pulsar Timing Bounds on Light Scalar Couplings to Matter

abstract: Pulsar Timing constraints on scalar-tensor theories with conformal and disformal couplings to matter are discussed. Reducing the dynamics to the motion in the centre of mass frame and using the mean anomaly parametrisation, we find the first post-Newtonian corrections induced by the conformal and disformal interactions in the form of a generalized quasi-Keplerian solution. We also derive the radiation reaction force due to scalar radiation and the corresponding Post-Keplerian Parameters (PKP). We use different pulsar time of arrival (TOA) data sets to probe the scalar corrections to the PKP. In particular, we focus on systems with large orbital frequencies as the contributions to the PKP terms induced by the disformal coupling are sensitive to higher frequencies. We find that the most constraining { {pulsar timings}} are PSR B1913+16 and the double pulsar PSR J0737-3039A/B, being {{of the order of}} the Cassini bound on the conformal coupling obtained from the Shapiro effect in the solar system. { {The combined constraints using other pulsar timings give an upper bound on the conformal coupling $\beta^2 < 2.33 \cdot 10^{-5}$ and a lower bound on the disformal coupling scale of $\Lambda \geq 1.12 \ {\rm MeV}$ which is comparable to the Cassini bound and to the GW-170817 constraints respectively}}. Future measurements for pulsar timing with black hole companions are also discussed.

categories: gr-qc astro-ph.HE astro-ph.SR hep-ph hep-th


title: Semantic-Conditional Diffusion Networks for Image Captioning

abstract: Recent advances on text-to-image generation have witnessed the rise of diffusion models which act as powerful generative models. Nevertheless, it is not trivial to exploit such latent variable models to capture the dependency among discrete words and meanwhile pursue complex visual-language alignment in image captioning. In this paper, we break the deeply rooted conventions in learning Transformer-based encoder-decoder, and propose a new diffusion model based paradigm tailored for image captioning, namely Semantic-Conditional Diffusion Networks (SCD-Net). Technically, for each input image, we first search the semantically relevant sentences via cross-modal retrieval model to convey the comprehensive semantic information. The rich semantics are further regarded as semantic prior to trigger the learning of Diffusion Transformer, which produces the output sentence in a diffusion process. In SCD-Net, multiple Diffusion Transformer structures are stacked to progressively strengthen the output sentence with better visional-language alignment and linguistical coherence in a cascaded manner. Furthermore, to stabilize the diffusion process, a new self-critical sequence training strategy is designed to guide the learning of SCD-Net with the knowledge of a standard autoregressive Transformer model. Extensive experiments on COCO dataset demonstrate the promising potential of using diffusion models in the challenging image captioning task. Source code is available at \url{https://github.com/YehLi/xmodaler/tree/master/configs/image_caption/scdnet}.


title: Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets

abstract: We study multigraphs whose edge-sets are the union of three perfect matchings, $M_1$, $M_2$, and $M_3$. Given such a graph $G$ and any $a_1,a_2,a_3\in \mathbb{N}$ with $a_1+a_2+a_3\leq n-2$, we show there exists a matching $M$ of $G$ with $|M\cap M_i|=a_i$ for each $i\in \{1,2,3\}$. The bound $n-2$ in the theorem is best possible in general. We conjecture however that if $G$ is bipartite, the same result holds with $n-2$ replaced by $n-1$. We give a construction that shows such a result would be tight. We also make a conjecture generalising the Ryser-Brualdi-Stein conjecture with colour multiplicities.


title: Small animal biomagnetism applications

abstract: The functioning of the human brain, nervous system and heart is based on the conduction of electrical signals. These electrical signals also create magnetic fields which extend outside the human body. Highly sensitive magnetometers, such as superconducting quantum interference device magnetometers or optically pumped magnetometers, placed outside the human body can detect these biomagnetic fields and provide non-invasive measurements of e.g. brain activity, nerve impulses, and cardiac activity. Animal models are used widely in medical research, including for disease diagnostics and for drugs testing. We review the topic of biomagnetic recordings on animal models using optically pumped magnetometers, and present our experiments on detecting nerve impulses in the frog sciatic nerve and the heart beat in an isolated guinea pig heart.


title: A comparative study of emotion recognition methods using facial expressions

abstract: Understanding the facial expressions of our interlocutor is important to enrich the communication and to give it a depth that goes beyond the explicitly expressed. In fact, studying one's facial expression gives insight into their hidden emotion state. However, even as humans, and despite our empathy and familiarity with the human emotional experience, we are only able to guess what the other might be feeling. In the fields of artificial intelligence and computer vision, Facial Emotion Recognition (FER) is a topic that is still in full growth mostly with the advancement of deep learning approaches and the improvement of data collection. The main purpose of this paper is to compare the performance of three state-of-the-art networks, each having their own approach to improve on FER tasks, on three FER datasets. The first and second sections respectively describe the three datasets and the three studied network architectures designed for an FER task. The experimental protocol, the results and their interpretation are outlined in the remaining sections.


title: A Comprehensively Improved Hybrid Algorithm for Learning Bayesian Networks: Multiple Compound Memory Erasing

abstract: Using a Bayesian network to analyze the causal relationship between nodes is a hot spot. The existing network learning algorithms are mainly constraint-based and score-based network generation methods. The constraint-based method is mainly the application of conditional independence (CI) tests, but the inaccuracy of CI tests in the case of high dimensionality and small samples has always been a problem for the constraint-based method. The score-based method uses the scoring function and search strategy to find the optimal candidate network structure, but the search space increases too much with the increase of the number of nodes, and the learning efficiency is very low. This paper presents a new hybrid algorithm, MCME (multiple compound memory erasing). This method retains the advantages of the first two methods, solves the shortcomings of the above CI tests, and makes innovations in the scoring function in the direction discrimination stage. A large number of experiments show that MCME has better or similar performance than some existing algorithms.


title: On LC-subgroup of a periodic group

abstract: As a natural continuation of study $LCM$-groups, we explore other properties of $LCM$-groups and $LC$-series. We obtain some characterizations of finite groups which are not LCM-groups but all proper sections are $LCM$-groups. Also, for a $p$-group $G$, we prove that $G$ is a $LC$-nilpotent group and we obtain a bound for its $LC$-nilpotency. Finally, as an application, we prove that a finite supersolvable group, groups of order $pq, pq^2$ and $pqr$ are $LC$-nilpotent groups, where $p,q$ and $r$ are prime numbers.


title: Logics and Admissible Rules of Constructive Set Theories

abstract: We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We finally provide examples of a number of set theories that are extensible.


title: Scale-Invariant Specifications for Human-Swarm Systems

abstract: We present a method for controlling a swarm using its spectral decomposition -- that is, by describing the set of trajectories of a swarm in terms of a spatial distribution throughout the operational domain -- guaranteeing scale invariance with respect to the number of agents both for computation and for the operator tasked with controlling the swarm. We use ergodic control, decentralized across the network, for implementation. In the DARPA OFFSET program field setting, we test this interface design for the operator using the STOMP interface -- the same interface used by Raytheon BBN throughout the duration of the OFFSET program. In these tests, we demonstrate that our approach is scale-invariant -- the user specification does not depend on the number of agents; it is persistent -- the specification remains active until the user specifies a new command; and it is real-time -- the user can interact with and interrupt the swarm at any time. Moreover, we show that the spectral/ergodic specification of swarm behavior degrades gracefully as the number of agents goes down, enabling the operator to maintain the same approach as agents become disabled or are added to the network. We demonstrate the scale-invariance and dynamic response of our system in a field relevant simulator on a variety of tactical scenarios with up to 50 agents. We also demonstrate the dynamic response of our system in the field with a smaller team of agents. Lastly, we make the code for our system available.


title: Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files

abstract: Cloud applications are more and more microservice-oriented, but a concrete charting of the microservices architecture landscape -- namely, the space of technical options available for microservice software architects in their decision-making -- is still very much lacking, thereby limiting the ability of software architects to properly evaluate their architectural decisions with sound experiential devices and/or practical design principles. On the one hand, Microservices are fine-grained, loosely coupled services that communicate through lightweight protocols. On the other hand, each microservice can use a different software stack, be deployed and scaled independently or even executed in different containers, which provide isolation and a wide-range of configuration options but also offer unforeseeable architectural interactions and under-explored architecture smells, with such experience captured mainly in software repositories where such solutions are cycled. This paper adopts a mining software repositories (MSR) approach to capture the practice within the microservice architecture landscape, by eliciting and analysing Docker configuration files, being Docker the leading technical device to design for, and implement modern microservices. Our analysis of Docker-based microservices gives an interesting summary of the current state of microservices practice and experience. Conversely, observing that all our datapoints have their own shape and characteristics, we conclude that further comparative assessment with industrial systems is needed to better address the recurring positive principles and patterns around microservices.


title: Two-body Coulomb problem and $g^{(2)}$ algebra (once again about the Hydrogen atom)

abstract: Taking the Hydrogen atom as an example it is shown that if the symmetry of a three-dimensional system is $O(2) \oplus Z_2$, the variables $(r, \rho, \varphi)$ allow a separation of the variable $\varphi$, and the eigenfunctions define a new family of orthogonal polynomials in two variables, $(r, \rho^2)$. These polynomials are related to the finite-dimensional representations of the algebra $gl(2) \ltimes {\it R}^3 \in g^{(2)}$ (discovered by S Lie around 1880 which went almost unnoticed), which occurs as the hidden algebra of the $G_2$ rational integrable system of 3 bodies on the line with 2- and 3-body interactions (the Wolfes model). Namely, those polynomials occur intrinsically in the study of the Zeeman effect on Hydrogen atom. It is shown that in the variables $(r, \rho, \varphi)$ in the quasi-exactly-solvable, generalized Coulomb problem new polynomial eigenfunctions in $(r, \rho^2)$-variables are found.

categories: quant-ph math.AP math.RT physics.atom-ph


title: Risk management in the Artificial Intelligence Act

abstract: The proposed EU AI Act is the first comprehensive attempt to regulate AI in a major jurisdiction. This article analyses Article 9, the key risk management provision in the AI Act. It gives an overview of the regulatory concept behind Article 9, determines its purpose and scope of application, offers a comprehensive interpretation of the specific risk management requirements, and outlines ways in which the requirements can be enforced. This article is written with the aim of helping providers of high-risk systems comply with the requirements set out in Article 9. In addition, it can inform revisions of the current draft of the AI Act and efforts to develop harmonised standards on AI risk management.


title: High Rate Studies of the ATLAS sTGC Detector and Optimization of the Filter Circuit on the Input of the Front-End Amplifier

abstract: The Large Hadron Collider (LHC) at CERN is expected to be upgraded to the High-Luminosity LHC (HL-LHC) by 2029 and achieve instantaneous luminosity around 5 - 7.5 $\times$ 10$^{34}$cm$^{-2}$ s$^{-1}$. This represents a more than 3-4 fold increase in the instantaneous luminosity compared to what has been achieved in Run 2. The New Small Wheel (NSW) upgrade is designed to be able to operate efficiently in this high background rate environment. In this article, we summarize multiple performance studies of the small-strip Thin Gap Chamber (sTGC) at high rate using nearly final front-end electronics. We demonstrate that the efficiency versus rate distribution can be well described by an exponential decay with electronics dead-time being the primary cause of loss of efficiency at high rate. We then demonstrate several methods that can decrease the electronics dead-time and therefore minimize efficiency loss. One such method is to install either a pi-network input filter or pull-up resistor to minimize the charge input into the amplifier. We optimized the pi-network capacitance and pull-up resistor resistance using the results from our measurements. The results shown here were not only critical to finalizing the components on the front-end board, but also are critical for setting the optimal operating parameters of the sTGC detector and electronics in the ATLAS cavern.


title: Group classification of the two-dimensional magnetogasdynamics equations in Lagrangian coordinates

abstract: The present paper is devoted to the group classification of magnetogasdynamics equations in which dependent variables in Euler coordinates depend on time and two spatial coordinates. It is assumed that the continuum is inviscid and nonthermal polytropic gas with infinite electrical conductivity. The equations are considered in mass Lagrangian coordinates. Use of Lagrangian coordinates allows reducing number of dependent variables. The analysis presented in this article gives complete group classification of the studied equations. This analysis is necessary for constructing invariant solutions and conservation laws on the base of Noether's theorem.


title: Fast Online Hashing with Multi-Label Projection

abstract: Hashing has been widely researched to solve the large-scale approximate nearest neighbor search problem owing to its time and storage superiority. In recent years, a number of online hashing methods have emerged, which can update the hash functions to adapt to the new stream data and realize dynamic retrieval. However, existing online hashing methods are required to update the whole database with the latest hash functions when a query arrives, which leads to low retrieval efficiency with the continuous increase of the stream data. On the other hand, these methods ignore the supervision relationship among the examples, especially in the multi-label case. In this paper, we propose a novel Fast Online Hashing (FOH) method which only updates the binary codes of a small part of the database. To be specific, we first build a query pool in which the nearest neighbors of each central point are recorded. When a new query arrives, only the binary codes of the corresponding potential neighbors are updated. In addition, we create a similarity matrix which takes the multi-label supervision information into account and bring in the multi-label projection loss to further preserve the similarity among the multi-label data. The experimental results on two common benchmarks show that the proposed FOH can achieve dramatic superiority on query time up to 6.28 seconds less than state-of-the-art baselines with competitive retrieval accuracy.


title: Stability of Spectral Types of Quasi-Periodic Schr\"odinger Operators With Respect to Perturbations by Decaying Potentials

abstract: We consider perturbations of quasi-periodic Schr\"odinger operators on the integer lattice with analytic sampling functions by decaying potentials and seek decay conditions under which various spectral properties are preserved. In the (almost) reducibility regime we prove that for perturbations with finite first moment, the essential spectrum remains purely absolutely continuous and the newly created discrete spectrum must be finite in each gap of the unperturbed spectrum. We also prove that for fixed phase, Anderson localization occurring for almost all frequencies in the regime of positive Lyapunov exponents is preserved under exponentially decaying perturbations.


title: Applications of Machine Learning for the Ratemaking in Agricultural Insurances

abstract: This paper evaluates Machine Learning (ML) in establishing ratemaking for new insurance schemes. To make the evaluation feasible, we established expected indemnities as premiums. Then, we use ML to forecast indemnities using a minimum set of variables. The analysis simulates the introduction of an income insurance scheme, the so-called Income Stabilization Tool (IST), in Italy as a case study using farm-level data from the FADN from 2008-2018. We predicted the expected IST indemnities using three ML tools, LASSO, Elastic Net, and Boosting, that perform variable selection, comparing with the Generalized Linear Model (baseline) usually adopted in insurance investigations. Furthermore, Tweedie distribution is implemented to consider the peculiarity shape of the indemnities function, characterized by zero-inflated, no-negative value, and asymmetric fat-tail. The robustness of the results was evaluated by comparing the econometric and economic performance of the models. Specifically, ML has obtained the best goodness-of-fit than baseline, using a small and stable selection of regressors and significantly reducing the gathering cost of information. However, Boosting enabled it to obtain the best economic performance, balancing the most and most minor risky subjects optimally and achieving good economic sustainability. These findings suggest how machine learning can be successfully applied in agricultural insurance.This study represents one of the first to use ML and Tweedie distribution in agricultural insurance, demonstrating its potential to overcome multiple issues.


title: Generation of perfectly entangled two and three qubits states by classical random interaction

abstract: This study examines the possibility of finding perfect entanglers for a Hamiltonian which corresponds to several quantum information platforms of interest at the present time. However, in this study, we use a superconducting circuit that stands out from other quantum-computing devices, especially because Transmon qubits can be coupled via capacitors or microwave cavities, which enable us to combine high coherence, fast gates, and high flexibility in its design parameters. There are currently two factors limiting the performance of superconducting processors: timing mismatch and the limitation of entangling gates to two qubits. In this work, we present a two-qubit SWAP and a three-qubit Fredkin gate, additionally, we also demonstrate a perfect adiabatic entanglement generation between two and three programmable superconducting qubits. Furthermore, in this study, we also demonstrate the impact of random dephasing, emission, and absorption noises on the quantum gates and entanglement. It is demonstrated by numerical simulation that the CSWAP gate and $W$-state generation can be achieved perfectly in one step with high reliability under weak coupling conditions. Hence, our scheme could contribute to quantum teleportation, quantum communication, and some other areas of quantum information processing.


title: Silicone phantoms fabricated with multi-material extrusion 3D printing technology mimicking imaging properties of soft tissues in CT

abstract: Recently, 3D printing has been widely used to fabricate medical imaging phantoms. So far, various rigid 3D printable materials have been investigated for their radiological properties and efficiency in imaging phantom fabrication. However, flexible, soft tissue materials are also needed for imaging phantoms, which are used in various scenarios, such as anatomical deformations to improve dynamic treatments and various needle-based surgeries and training. Recently, various silicone additive manufacturing technologies have been used to produce anatomical models based on extrusion techniques that allow the fabrication of soft tissue materials. To date, there is no systematic study in the literature investigating the radiological properties of silicone rubber materials/fluids for imaging phantoms fabricated directly by extrusion using 3D printing techniques. The aim of this study was to investigate the radiological properties of 3D printed phantoms made of silicone in CT imaging. The radiodensity as described as Hounsfield Units (HU) of several test phantoms composed of three different silicone printing materials were evaluated by changing the infill density to adjust their radiological properties. A comparison of HU values with a Gammex Tissue Characterization Phantom was performed. A scaled down anatomical model derived from an abdominal CT was also fabricated and the resulting HU values were evaluated. For the three different silicone materials, a spectrum ranging from -639 to +780 HU was obtained on CT at a scan setting of 120 kVp. A good agreement was observed between the HU target values in abdominal CT and the HU values of the 3D-printed anatomical phantom in all tissues. Moreover, using different infill densities, the printed materials were able to achieve a similar radiodensity range as obtained in different tissue-equivalent inserts in the Gammex phantom (238 HU to -673 HU).


title: Q-Pensieve: Boosting Sample Efficiency of Multi-Objective RL Through Memory Sharing of Q-Snapshots

abstract: Many real-world continuous control problems are in the dilemma of weighing the pros and cons, multi-objective reinforcement learning (MORL) serves as a generic framework of learning control policies for different preferences over objectives. However, the existing MORL methods either rely on multiple passes of explicit search for finding the Pareto front and therefore are not sample-efficient, or utilizes a shared policy network for coarse knowledge sharing among policies. To boost the sample efficiency of MORL, we propose Q-Pensieve, a policy improvement scheme that stores a collection of Q-snapshots to jointly determine the policy update direction and thereby enables data sharing at the policy level. We show that Q-Pensieve can be naturally integrated with soft policy iteration with convergence guarantee. To substantiate this concept, we propose the technique of Q replay buffer, which stores the learned Q-networks from the past iterations, and arrive at a practical actor-critic implementation. Through extensive experiments and an ablation study, we demonstrate that with much fewer samples, the proposed algorithm can outperform the benchmark MORL methods on a variety of MORL benchmark tasks.


title: Nuclear Transition in the Strong Coupling Limit

abstract: Lattice QCD at finite baryon chemical potential has the infamous sign problem which hinders Monte Carlo simulations. This can be remedied by a dual representation that makes the sign problem mild. In the strong coupling limit, the dual formulation with staggered quarks is well established. We have used this formulation to study the quark mass dependence of the baryon mass and the nuclear transition. This allows us to quantify the nuclear interaction. We have also compared our Monte Carlo results with mean field predictions.


title: Analogues of hyperlogarithm functions on affine complex curves

abstract: For $C$ a smooth affine complex curve, there is a unique minimal subalgebra $A_C$ of the algebra $\mathcal O_{hol}(\tilde C)$ of holomorphic functions on its universal cover $\tilde C$, which is stable under all the operations $f\mapsto \int f\omega$, for $\omega$ in the space $\Omega(C)$ of regular differentials on $C$. We identify $A_C$ with the image of the iterated integration map $I_{x_0} : \mathrm{Sh}(\Omega(C))\to\mathcal O_{hol}(\tilde C)$ based at any point $x_0$ of $\tilde C$ (here $\mathrm{Sh}(-)$ denotes the shuffle algebra of a vector space), as well as with the unipotent part, with respect to the action of $\mathrm{Aut}(\tilde C/C)$, of a subalgebra of $\mathcal O_{hol}(\tilde C)$ of moderate growth functions. We show that any regular Maurer-Cartan (MC) element $J$ on $C$ with values in the topologically free Lie algebra over $\mathrm H^1_{\mathrm{dR}}(C)^*$ gives rise to an isomorphism of $A_C$ with $\mathcal O(C) \otimes\mathrm{Sh}(\mathrm H^1_{\mathrm{dR}}(C))$, where $\mathcal O(C)$ is the algebra of regular functions on $C$, leading to the assignment of a subalgebra $\mathcal H_C(J)$ of $A_C$ (isomorphic to $\mathrm{Sh}(\mathrm H^1_{\mathrm{dR}}(C))$) to any MC element. We also associate a MC element $J_\sigma$ to each section $\sigma$ of the projection $\Omega(C)\to \mathrm H^1_{\mathrm{dR}}(C)$; when $C$ has genus $0$, we exhibit a particular section $\sigma_0$ for which $\mathcal H_C(J_{\sigma_0})$ is the algebra of hyperlogarithm functions (Poincar\'e, Lappo-Danilevsky).


title: Towards a Better Understanding of the Characteristics of Fractal Networks

abstract: The fractal nature of complex networks has received a great deal of research interest in the last two decades. Similarly to geometric fractals, the fractality of networks can also be defined with the so-called box-covering method. A network is called fractal if the minimum number of boxes needed to cover the entire network follows a power-law relation with the size of the boxes. The fractality of networks has been associated with various network properties throughout the years, for example, disassortativity, repulsion between hubs, long-range-repulsive correlation, and small edge betweenness centralities. However, these assertions are usually based on tailor-made network models and on a small number of real networks, hence their ubiquity is often disputed. Since fractal networks have been shown to have important properties, such as robustness against intentional attacks, it is in dire need to uncover the underlying mechanisms causing fractality. Hence, the main goal of this work is to get a better understanding of the origins of fractality in complex networks. To this end, we systematically review the previous results on the relationship between various network characteristics and fractality. Moreover, we perform a comprehensive analysis of these relations on five network models and a large number of real-world networks originating from six domains. We clarify which characteristics are universally present in fractal networks and which features are just artifacts or coincidences.

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


title: On the Size of Chromatic Delaunay Mosaics

abstract: Given a locally finite set $A \subseteq \mathbb{R}^d$ and a coloring $\chi \colon A \to \{0,1,\ldots,s\}$, we introduce the chromatic Delaunay mosaic of $\chi$, which is a Delaunay mosaic in $\mathbb{R}^{s+d}$ that represents how points of different colors mingle. Our main results are bounds on the size of the chromatic Delaunay mosaic, in which we assume that $d$ and $s$ are constants. For example, if $A$ is finite with $n = \#{A}$, and the coloring is random, then the chromatic Delaunay mosaic has $O(n^{\lceil{d/2}\rceil})$ cells in expectation. In contrast, for Delone sets and Poisson point processes in $\mathbb{R}^d$, the expected number of cells within a closed ball is only a constant times the number of points in this ball. Furthermore, in $\mathbb{R}^2$ all colorings of a dense set of $n$ points have chromatic Delaunay mosaics of size $O(n)$. This encourages the use of chromatic Delaunay mosaics in applications.


title: Robust convex biclustering with a tuning-free method

abstract: Biclustering is widely used in different kinds of fields including gene information analysis, text mining, and recommendation system by effectively discovering the local correlation between samples and features. However, many biclustering algorithms will collapse when facing heavy-tailed data. In this paper, we propose a robust version of convex biclustering algorithm with Huber loss. Yet, the newly introduced robustification parameter brings an extra burden to selecting the optimal parameters. Therefore, we propose a tuning-free method for automatically selecting the optimal robustification parameter with high efficiency. The simulation study demonstrates the more fabulous performance of our proposed method than traditional biclustering methods when encountering heavy-tailed noise. A real-life biomedical application is also presented. The R package RcvxBiclustr is available at https://github.com/YifanChen3/RcvxBiclustr.


title: On the emergence of agency

abstract: How do human beings make sense of their relation to the world and realize their ability to effect change? Applying modern concepts and methods of coordination dynamics we demonstrate that patterns of movement and coordination in 3-4 month-olds may be used to identify states and behavioral phenotypes of emergent agency. By means of a complete coordinative analysis of baby and mobile motion and their interaction, we show that the emergence of agency takes the form of a punctuated self-organizing process, with meaning found both in movement and stillness.


title: Morse Index Stability for Critical Points to Conformally invariant Lagrangians

abstract: We prove the upper-semi-continuity of the Morse index plus nullity of critical points to general conformally invariant Lagrangians in dimension 2 under weak convergence. Precisely we establish that the sum of the Morse indices and the nullity of an arbitrary sequence of weakly converging critical points to a general conformally invariant Lagrangians of maps from an arbitrary closed surface into an arbitrary closed smooth manifold passes to the limit in the following sense : it is asymptotically bounded from above by the sum of the Morse indices plus the nullity of the weak limit and the bubbles, while it was well known that the sum of the Morse index of the weak limit with the Morse indices of the bubbles is asymptotically bounded from above by the Morse indices of the weakly converging sequence. The main result is then extended to the case of sequences of maps from sequences of domains degenerating to a punctured Riemann surface assuming that the lengths of the images by the maps of the collars associated to this degeneration stay below some critical length.


title: Self-supervised and Weakly Supervised Contrastive Learning for Frame-wise Action Representations

abstract: Previous work on action representation learning focused on global representations for short video clips. In contrast, many practical applications, such as video alignment, strongly demand learning the intensive representation of long videos. In this paper, we introduce a new framework of contrastive action representation learning (CARL) to learn frame-wise action representation in a self-supervised or weakly-supervised manner, especially for long videos. Specifically, we introduce a simple but effective video encoder that considers both spatial and temporal context by combining convolution and transformer. Inspired by the recent massive progress in self-supervised learning, we propose a new sequence contrast loss (SCL) applied to two related views obtained by expanding a series of spatio-temporal data in two versions. One is the self-supervised version that optimizes embedding space by minimizing KL-divergence between sequence similarity of two augmented views and prior Gaussian distribution of timestamp distance. The other is the weakly-supervised version that builds more sample pairs among videos using video-level labels by dynamic time wrapping (DTW). Experiments on FineGym, PennAction, and Pouring datasets show that our method outperforms previous state-of-the-art by a large margin for downstream fine-grained action classification and even faster inference. Surprisingly, although without training on paired videos like in previous works, our self-supervised version also shows outstanding performance in video alignment and fine-grained frame retrieval tasks.


title: Tailoring Elastic Scattering of Relativistic Antiferromagnetic Domain Walls for Collision-based Computing

abstract: Soliton-based computing is relied on their unique properties for transporting energy and emerging intact from head-on collisions. Magnetic domain walls are often referred to as solitons disregarding the strict mathematical definition requiring the above scattering property. Here we demonstrate the conditions of elastic and inelastic scattering for spin-orbit torque-induced dynamics of antiferromagnetic domain walls on the example of a technologically relevant Mn$_2$Au material. We show that even domain walls with opposite winding numbers can experience elastic scattering and we present a corresponding phase diagram as a function of the spin-orbit field strength and duration. The elastic collision requires minimum domain walls speed which we explain assuming an attractive potential created by domain wall pair. On the contrary, when the domain walls move at lower speeds, their collision is inelastic and results in a dispersing breather. Our findings will be important for the development soliton-based computing using antiferromagnetic spintronics and we discuss these perspective on our suggestions of how to create NOT and XOR gates.


title: Axial dispersion of Red Blood Cells in microchannels

abstract: Red Blood Cells flowing in a microchannel undergo dispersion in the flow direction due to the non-uniform velocity profile while transverse migration due to cell-wall interactions tends to focus them along the center line. This results in a dispersion of RBC transit times through a capillary that is directly related to their transverse migration properties. By analogy with the Taylor-Aris problem, we present an experimental method to characterise this phenomenon by injecting pulses of red blood cells and measuring the evolution of their length along the channel, and varying mechanical parameters such as RBC deformability and fluid viscosity. A direct comparison of experimental results with a model that incorporates longitudinal advection and transverse migration shows that this principle provides through a simple dispersion measurement an evaluation of migration characteristics that are directly connected to cell mechanical properties.


title: Chromatic Alpha Complexes

abstract: Motivated by applications in the medical sciences, we study finite chromatic sets in Euclidean space from a topological perspective. Based on the persistent homology for images, kernels and cokernels, we design provably stable homological quantifiers that describe the geometric micro- and macro-structure of how the color classes mingle. These can be efficiently computed using chromatic variants of Delaunay and alpha complexes, and code that does these computations is provided.


title: Formally Verified Native Code Generation in an Effectful JIT -- or: Turning the CompCert Backend into a Formally Verified JIT Compiler

abstract: Modern Just-in-Time compilers (or JITs) typically interleave several mechanisms to execute a program. For faster startup times and to observe the initial behavior of an execution, interpretation can be initially used. But after a while, JITs dynamically produce native code for parts of the program they execute often. Although some time is spent compiling dynamically, this mechanism makes for much faster times for the remaining of the program execution. Such compilers are complex pieces of software with various components, and greatly rely on a precise interplay between the different languages being executed, including on-stack-replacement. Traditional static compilers like CompCert have been mechanized in proof assistants, but JITs have been scarcely formalized so far, partly due to their impure nature and their numerous components. This work presents a model JIT with dynamic generation of native code, implemented and formally verified in Coq. Although some parts of a JIT cannot be written in Coq, we propose a proof methodology to delimit, specify and reason on the impure effects of a JIT. We argue that the daunting task of formally verifying a complete JIT should draw on existing proofs of native code generation. To this end, our work successfully reuses CompCert and its correctness proofs during dynamic compilation. Finally, our prototype can be extracted and executed.


title: Deep Learning Methods for Partial Differential Equations and Related Parameter Identification Problems

abstract: Recent years have witnessed a growth in mathematics for deep learning--which seeks a deeper understanding of the concepts of deep learning with mathematics and explores how to make it more robust--and deep learning for mathematics, where deep learning algorithms are used to solve problems in mathematics. The latter has popularised the field of scientific machine learning where deep learning is applied to problems in scientific computing. Specifically, more and more neural network architectures have been developed to solve specific classes of partial differential equations (PDEs). Such methods exploit properties that are inherent to PDEs and thus solve the PDEs better than standard feed-forward neural networks, recurrent neural networks, or convolutional neural networks. This has had a great impact in the area of mathematical modeling where parametric PDEs are widely used to model most natural and physical processes arising in science and engineering. In this work, we review such methods as well as their extensions for parametric studies and for solving the related inverse problems. We equally proceed to show their relevance in some industrial applications.


title: Explainability as statistical inference

abstract: A wide variety of model explanation approaches have been proposed in recent years, all guided by very different rationales and heuristics. In this paper, we take a new route and cast interpretability as a statistical inference problem. We propose a general deep probabilistic model designed to produce interpretable predictions. The model parameters can be learned via maximum likelihood, and the method can be adapted to any predictor network architecture and any type of prediction problem. Our method is a case of amortized interpretability models, where a neural network is used as a selector to allow for fast interpretation at inference time. Several popular interpretability methods are shown to be particular cases of regularised maximum likelihood for our general model. We propose new datasets with ground truth selection which allow for the evaluation of the features importance map. Using these datasets, we show experimentally that using multiple imputation provides more reasonable interpretations.


title: How does the partition of unity influence SORAS preconditioner?

abstract: We investigate the influence of the choice of the partition of unity on the convergence of the Symmetrized Optimized Restricted Additive Schwarz (SORAS) preconditioner for the reaction-convection-diffusion equation. We focus on two kinds of partitions of unity, and study the dependence on the overlap and on the number of subdomains. In particular, the second kind of partition of unity, which is non-zero in the interior of the whole overlapping region, gives more favorable convergence properties, especially when increasing the overlap width, in comparison with the first kind of partition of unity, whose gradient is zero on the subdomain interfaces and which would be the natural choice for ORAS solver instead.


title: Current Algebra Levels in the $E_8$ Theory

abstract: The class-S theories of type $E_8$ were analyzed in \cite{Chacaltana:2018vhp}. The basic building blocks consisted of 49,836 isolated SCFTs (three-punctured spheres). In 244 cases, there were undetermined levels for the flavour symmetry current algebra. Here, we rectify that omission. Using S-duality and nilpotent Higgsing we compute the levels of 235 of the 244. There remain 9 three-punctured spheres with unknown levels. Along the way, we provide a detailed discussion of the Drinfeld-Sokolov reduction of the VOA, which captures various features of the Higgs branch RG flows arising from giving a VEV to a nilpotent moment map.


title: Thermodynamics and evaporation of a modified Schwarzschild black hole in a non--commutative gauge theory

abstract: In this work, we study the thermodynamic properties on a non--commutative background via gravitational gauge field potentials. This procedure is accomplished after contracting de Sitter (dS) group, $\mathrm{SO}(4,1)$, with the Poincar\`e group, $\mathrm{ISO}(3,1)$. Particularly, we focus on a static spherically symmetric black hole. In this manner, we calculate the modified Hawking temperature and the other deformed thermal state quantities, namely, entropy, heat capacity, Helmholtz free energy and pressure. Finally, we also investigate the black hole evaporation process in such a context.


title: Temporal disorder in spatiotemporal order

abstract: Time-dependent driving holds the promise of realizing dynamical phenomenon absent in static systems. Here, we introduce a correlated random driving protocol to realize a spatiotemporal order that cannot be achieved even by periodic driving, thereby extending the discussion of time translation symmetry breaking to randomly driven systems. We find a combination of temporally disordered micro-motion with prethermal stroboscopic spatiotemporal long-range order. This spatiotemporal order remains robust against generic perturbations, with an algebraically long prethermal lifetime where the scaling exponent strongly depends on the symmetry of the perturbation, which we account for analytically.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.quant-gas cond-mat.str-el quant-ph


title: Meromorphic Cosets and the Classification of Three-Character CFT

abstract: We investigate the admissible vector-valued modular forms having three independent characters and vanishing Wronskian index and determine which ones correspond to genuine 2d conformal field theories. This is done by finding bilinear coset-type relations that pair them into meromorphic characters with central charges 8, 16, 24, 32 and 40. Such pairings allow us to identify some characters with definite CFTs and rule out others. As a key result we classify all unitary three-character CFT with vanishing Wronskian index, excluding $c=8,16$. The complete list has two infinite affine series $B_{r,1},D_{r,1}$ and 45 additional theories. As a by-product, at higher values of the total central charge we also find constraints on the existence or otherwise of meromorphic theories. We separately list several cases that potentially correspond to Intermediate Vertex Operator Algebras.


title: Routine Molecular Dynamics Simulations Including Nuclear Quantum Effects: from Force Fields to Machine Learning Potentials

abstract: We report the implementation of a multi-CPU and multi-GPU massively parallel platform dedicated to the explicit inclusion of nuclear quantum effects (NQEs) in the Tinker-HP molecular dynamics (MD) package. The platform, denoted Quantum-HP, exploits two simulation strategies: the Ring-Polymer Molecular Dynamics (RPMD) that provides exact structural properties at the cost of a MD simulation in an extended space of multiple replicas, and the adaptive Quantum Thermal Bath (adQTB) that imposes the quantum distribution of energy on a classical system via a generalized Langevin thermostat and provides computationally affordable and accurate (though approximate) NQEs. We discuss some implementation details, efficient numerical schemes, parallelization strategies and quickly review the GPU acceleration of our code. Our implementation allows an efficient inclusion of NQEs in MD simulations for very large systems, as demonstrated by scaling tests on water boxes with more than 200,000 atoms (simulated using the AMOEBA polarizable force field). We test the compatibility of the approach with Tinker-HP's recently introduced Deep-HP machine learning potentials module by computing water properties using the DeePMD potential with adQTB thermostating. Finally, we show that the platform is also compatible with the alchemical free energy estimation capabilities of Tinker-HP and fast enough to perform simulations. Therefore, we study how the NQEs affect the hydration free energy of small molecules solvated with the recently developed Q-AMOEBA water force field. Overall, the Quantum-HP platform allows users to perform routine quantum MD simulations of large condensed-phase systems and will participate to shed a new light on the quantum nature of important interactions in biological matter.


title: Infinitely many sign-changing solutions for the nonlinear Schr\"odinger-Poisson system with $p$-Laplacian

abstract: In this paper, we consider the following Schr\"odinger-Poisson system with $p$-laplacian \begin{equation} \begin{cases} -\Delta_{p}u+V(x)|u|^{p-2}u+\phi|u|^{p-2}u=f(u)\qquad&x\in\mathbb{R}^{3},\newline -\Delta\phi=|u|^{p}&x\in\mathbb{R}^{3}. \end{cases}\notag \end{equation} We investigate the existence of multiple sign-changing solutions. By using the method of invariant sets of descending flow, we prove that this system has infinitely many sign-changing solutions. This system is new one coupled by Schr\"odinger equation of $p$-laplacian with a Poisson equation. Our results complement the study made by Zhaoli Liu, Zhiqiang Wang, Jianjun Zhang (Annali di Matematica Pura ed Applicata, 195(3):775-794(2016)).


title: An explicit formula for the Benjamin--Ono equation

abstract: We establish an explicit formula for the general solution of the Benjamin-Ono equation on the torus and on the line. Contents 1. Introduction 1 1.1. The Benjamin-Ono equation 1 1.2. The Lax pair 2 1.3. The explicit formula on the torus 3 1.4. The explicit formula on the line 3 1.5. Organization of the paper 4 2. Proof of the explicit formula on the torus 4 3. Proof of the explicit formula on the line 6 4. Final remarks 8 References 9


title: Neural Machine Translation with Contrastive Translation Memories

abstract: Retrieval-augmented Neural Machine Translation models have been successful in many translation scenarios. Different from previous works that make use of mutually similar but redundant translation memories~(TMs), we propose a new retrieval-augmented NMT to model contrastively retrieved translation memories that are holistically similar to the source sentence while individually contrastive to each other providing maximal information gains in three phases. First, in TM retrieval phase, we adopt a contrastive retrieval algorithm to avoid redundancy and uninformativeness of similar translation pieces. Second, in memory encoding stage, given a set of TMs we propose a novel Hierarchical Group Attention module to gather both local context of each TM and global context of the whole TM set. Finally, in training phase, a Multi-TM contrastive learning objective is introduced to learn salient feature of each TM with respect to target sentence. Experimental results show that our framework obtains improvements over strong baselines on the benchmark datasets.


title: Analysis-aware defeaturing of complex geometries with Neumann features

abstract: Local modifications of a computational domain are often performed in order to simplify the meshing process and to reduce computational costs and memory requirements. However, removing geometrical features of a domain often introduces a non-negligible error in the solution of a differential problem in which it is defined. In this work, we extend the results from [1] by studying the case of domains containing an arbitrary number of distinct Neumann features, and by performing an analysis on Poisson's, linear elasticity, and Stokes' equations. We introduce a simple, computationally cheap, reliable, and efficient a posteriori estimator of the geometrical defeaturing error. Moreover, we also introduce a geometric refinement strategy that accounts for the defeaturing error: Starting from a fully defeatured geometry, the algorithm determines at each iteration step which features need to be added to the geometrical model to reduce the defeaturing error. These important features are then added to the (partially) defeatured geometrical model at the next iteration, until the solution attains a prescribed accuracy. A wide range of two- and three-dimensional numerical experiments are finally reported to illustrate this work.


title: $\lambda$-quiddity and subgroups generated by an algebraic number

abstract: During his work devoted to Coxeter's friezes, M. Cuntz initiated the study of the notion of $\lambda$-quiddity and raised the problem of the study of this over some subsets of $\mathbb{C}$. The objective of this text is to bring some new elements of response in the case of some cyclic subgroups of ($\mathbb{C},+$) generated by an algebraic number. In particular, we will study the cases of subgroups generated by $a+b\sqrt{k}$.


title: Robust scenario for the generation of non-equilibrium topological fluctuation states

abstract: The recently discovered topological fluctuation state provides a fascinating new perspective on the ultrafast emergence of topology in condensed matter systems. However, rather little is known about the physics of this state and the origin of the topological fluctuations. Using time-resolved small-angle x-ray scattering, we observe that topological fluctuation states appear after laser excitation even if the final state does not host stable skyrmions. Simulations support these findings and reveal that the fluctuations originate from the competition between spontaneous nucleation and decay of skyrmions, consistent with Arrhenius-like activation over a potential barrier. Stable skyrmions can freeze out of such fluctuations when the effective temperature of the system relaxes faster than the decay time of the skyrmions. Our results reveal a robust scenario for the generation of topological fluctuation states, potentially enabling their study in a wide variety of magnetic systems.


title: Dynamic Routing for Quantum Key Distribution Networks

abstract: In this paper, we consider quantum key distribution (QKD) in a quantum network with both quantum repeaters and a small number of trusted nodes. In contrast to current QKD networks with only trusted nodes and the true Quantum Internet with only quantum repeaters, such networks represent a middle ground, serving as near-future QKD networks. In this setting, QKD can be efficiently and practically deployed, while providing insights for the future true Quantum Internet. To significantly improve the key generation efficiency in such networks, we develop a new dynamic routing strategy that makes routing decisions based on the current network state, as well as evaluate various classical/quantum post-processing techniques. Using simulations, we show that our dynamic routing strategy can improve the key rate between two users significantly in settings with asymmetric trusted node placement. The post-processing techniques can also increase key rates in high noise scenarios. Furthermore, combining the dynamic routing strategy with the post-processing techniques can further improve the overall performance of the QKD network.


title: FacT: Factor-Tuning for Lightweight Adaptation on Vision Transformer

abstract: Recent work has explored the potential to adapt a pre-trained vision transformer (ViT) by updating only a few parameters so as to improve storage efficiency, called parameter-efficient transfer learning (PETL). Current PETL methods have shown that by tuning only 0.5% of the parameters, ViT can be adapted to downstream tasks with even better performance than full fine-tuning. In this paper, we aim to further promote the efficiency of PETL to meet the extreme storage constraint in real-world applications. To this end, we propose a tensorization-decomposition framework to store the weight increments, in which the weights of each ViT are tensorized into a single 3D tensor, and their increments are then decomposed into lightweight factors. In the fine-tuning process, only the factors need to be updated and stored, termed Factor-Tuning (FacT). On VTAB-1K benchmark, our method performs on par with NOAH, the state-of-the-art PETL method, while being 5x more parameter-efficient. We also present a tiny version that only uses 8K (0.01% of ViT's parameters) trainable parameters but outperforms full fine-tuning and many other PETL methods such as VPT and BitFit. In few-shot settings, FacT also beats all PETL baselines using the fewest parameters, demonstrating its strong capability in the low-data regime.


title: Univalent Monoidal Categories

abstract: Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we zoom in on monoidal categories and study them in a univalent setting. Specifically, we show that the bicategory of univalent monoidal categories is univalent. Furthermore, we construct a Rezk completion for monoidal categories: we show how any monoidal category is weakly equivalent to a univalent monoidal category, universally. We have fully formalized these results in UniMath, a library of univalent mathematics in the Coq proof assistant.


title: Effects of Racial Segregation on Economic Productivity in U.S. Cities

abstract: Homophily and heterophobia, the tendency for people with similar characteristics to preferentially interact with (or avoid) each other are pervasive in human social networks. Here, we develop an extension of the mathematical theory of urban scaling which describes the effects of homophily and heterophobia on social interactions and resulting economic outputs of cities. Empirical tests of our model show that increased residential racial heterophobia and segregation in U.S. cities are associated with reduced economic outputs and that the strength of this relationship increased throughout the 2010s. Our findings provide the means for the formal incorporation of general homophilic and heterophobic effects into theories of modern urban science and suggest that racial segregation is increasingly and adversely impacting the economic performance and connectivity of urban societies in the U.S.


title: Local H\"older Stability in the Inverse Steklov and Calder\'on Problems for Radial Schr\"odinger operators and Quantified Resonances

abstract: We obtain H\"older stability estimates for the inverse Steklov and Calder\'on problems for Schr\"odinger operators corresponding to a special class of $L^2$ radial potentials on the unit ball. These results provide an improvement on earlier logarithmic stability estimates obtained in \cite{DKN5} in the case of the the Schr\"odinger operators related to deformations of the closed Euclidean unit ball. The main tools involve: i) A formula relating the difference of the Steklov spectra of the Schr\"odinger operators associated to the original and perturbed potential to the Laplace transform of the difference of the corresponding amplitude functions introduced by Simon \cite{Si1} in his representation formula for the Weyl-Titchmarsh function, and ii) A key moment stability estimate due to Still \cite{St}. It is noteworthy that with respect to the original Schr\"odinger operator, the type of perturbation being considered for the amplitude function amounts to the introduction of a finite number of negative eigenvalues and of a countable set of negative resonances which are quantified explicitly in terms of the eigenvalues of the Laplace-Beltrami operator on the boundary sphere.


title: The role of periodicity in the solution of third order boundary value problems

abstract: In this short paper, we elucidate how the solution of certain illustrative boundary value problems for the Airy equation $u_t+u_{xxx}=0$ on $[0,1]$ can be expressed as a perturbation of the solution of the purely periodic problem. The motivation is to understand the role boundary conditions play in the properties of the solution. This is particularly important in related work on the solution of linear dispersive problems with discontinuous initial data and the phenomena of revivals and fractalization.


title: Independence preserving property of Kummer laws

abstract: We prove that if $X,Y$ are positive, independent, non-Dirac random variables and if for $\alpha,\beta\ge 0$, $\alpha\neq \beta$, $$ \psi_{\alpha,\beta}(x,y)=\left(y\,\tfrac{1+\beta(x+y)}{1+\alpha x+\beta y},\;x\,\tfrac{1+\alpha(x+y)}{1+\alpha x+\beta y}\right), $$ then the random variables $U$ and $V$ defined by $(U,V)=\psi_{\alpha,\beta}(X,Y)$ are independent if and only if $X$ and $Y$ follow Kummer distributions with suitably related parameters. In other words, any invariant measure for a lattice recursion model governed by $\psi_{\alpha,\beta}$ in the scheme introduced by Croydon and Sasada in \cite{CS2020} is necessarily a product measure with Kummer marginals. The result extends earlier characterizations of Kummer and gamma laws by independence of $$ U=\tfrac{Y}{1+X}\quad\mbox{and}\quad V= X\left(1+\tfrac{Y}{1+X}\right), $$ which corresponds to the case of $\psi_{1,0}$. We also show that this independence property of Kummer laws covers, as limiting cases, several independence models known in the literature: the Lukacs, the Kummer-Gamma, the Matsumoto-Yor and the discrete Korteweg de Vries models.


title: Neutrino production in blazar radio cores

abstract: Models of the origin of astrophysical neutrinos with energies from TeVs to PeVs are strongly constrained by multimessenger observations and population studies. Recent results point to statistically significant associations between these neutrinos and active galactic nuclei (AGN) selected by their radio flux observed with very-long-baseline interferometry (VLBI). This suggests that the neutrinos are produced in central parsecs of blazars, AGN with relativistic jets pointing to the observer. However, conventional AGN models tend to explain only the highest-energy part of the neutrino flux observationally associated with blazars. Here we discuss in detail how the neutrinos can be produced in the part of an AGN giving the dominant contribution to the VLBI radio flux, the radio core located close to the jet base. Physical conditions there differ both from the immediate environment of the central black hole and from the plasma blobs moving along the jet. Required neutrino fluxes, considerably smaller than those of photons, can be produced in interactions of relativistic protons, accelerated closer to the black hole, with radiation in the core.


title: Equilibria in Repeated Games under No-Regret with Dynamic Benchmarks

abstract: In repeated games, strategies are often evaluated by their ability to guarantee the performance of the single best action that is selected in hindsight, a property referred to as \emph{Hannan consistency}, or \emph{no-regret}. However, the effectiveness of the single best action as a yardstick to evaluate strategies is limited, as any static action may perform poorly in common dynamic settings. Our work therefore turns to a more ambitious notion of \emph{dynamic benchmark consistency}, which guarantees the performance of the best \emph{dynamic} sequence of actions, selected in hindsight subject to a constraint on the allowable number of action changes. Our main result establishes that for any joint empirical distribution of play that may arise when all players deploy no-regret strategies, there exist dynamic benchmark consistent strategies such that if all players deploy these strategies the same empirical distribution emerges when the horizon is large enough. This result demonstrates that although dynamic benchmark consistent strategies have a different algorithmic structure and provide significantly enhanced individual assurances, they lead to the same equilibrium set as no-regret strategies. Moreover, the proof of our main result uncovers the capacity of independent algorithms with strong individual guarantees to foster a strong form of coordination.


title: Conditions for the propulsion of a colloid surrounded by a mesoscale phase separation

abstract: We study a two-dimensional model of an active isotropic colloid whose propulsion is linked to the interactions between solute particles of the bath. The colloid catalyzes a chemical reaction in its vicinity, that yields a local phase separation of solute particles. The density fluctuations of solute particles result in the enhanced diffusion of the colloid. Using numerical simulations, we thoroughly investigate the conditions under which activity occurs, and we establish a state diagram for the activity of the colloid as a function of the parameters of the model. We use the generated data to unravel a key observable that controls the existence and the intensity of activity: the filling fraction of the reaction area. Remarkably, we finally show that propulsion also occurs in three-dimensional geometries, which confirms the interest of this mechanism for experimental applications.


title: Computational Reverse-Engineering Analysis for Scattering Experiments for Form Factor and Structure Factor Determination ('P(q) and S(q) CREASE')

abstract: In this paper we present an open-source machine learning (ML) accelerated computational method to analyze small-angle scattering profiles [I(q) vs. q] from concentrated macromolecular solutions to simultaneously obtain the form factor P(q) (e.g., dimensions of a micelle) and structure factor S(q) (e.g., spatial arrangement of the micelles) without relying on analytical models. This method builds on our recent work on Computational Reverse Engineering Analysis for Scattering Experiments (CREASE) that has either been applied to obtain P(q) from dilute macromolecular solutions (where S(q) ~1) or to obtain S(q) from concentrated particle solution when the P(q) is known (e.g., sphere form factor). This paper's newly developed CREASE that calculates P(q) and S(q), termed as 'P(q) and S(q) CREASE' is validated by taking as input I(q) vs. q from in silico structures of known polydisperse core(A)-shell(B) micelles in solutions at varying concentrations and micelle-micelle aggregation. We demonstrate how 'P(q) and S(q) CREASE' performs if given two or three of the relevant scattering profiles - Itotal(q), IA(q), and IB(q) - as inputs; this demonstration is meant to guide experimentalists who may choose to do small-angle X-ray scattering (for total scattering from the micelles) and/or small-angle neutron scattering with appropriate contrast matching to get scattering solely from one or the other component (A or B). After validation of 'P(q) and S(q) CREASE' on in silico structures, we present our results analyzing small-angle neutron scattering profiles from a solution of core-shell type surfactant coated nanoparticles with varying extents of aggregation.


title: A Learned Simulation Environment to Model Plant Growth in Indoor Farming

abstract: We developed a simulator to quantify the effect of changes in environmental parameters on plant growth in precision farming. Our approach combines the processing of plant images with deep convolutional neural networks (CNN), growth curve modeling, and machine learning. As a result, our system is able to predict growth rates based on environmental variables, which opens the door for the development of versatile reinforcement learning agents.


title: Extending Snow's algorithm for computations in the finite Weyl groups

abstract: In 1990, D.Snow proposed an effective algorithm for computing the orbits of finite Weyl groups. Snow's algorithm is designed for computation of weights, $W$-orbits and elements of the Weyl group. An extension of Snow's algorithm is proposed, which allows to find pairs of mutually inverse elements together with the calculation of $W$-orbits in the same runtime cycle. This simplifies the calculation of conjugacy classes in the Weyl group. As an example, the complete list of elements of the Weyl group $W(D_4)$ obtained using the extended Snow's algorithm is given. The elements of $W(D_4)$ are specified in two ways: as reduced expressions and as matrices of the faithful representation. We present a partition of this group into conjugacy classes with elements specified as reduced expressions. Various forms are given for representatives of the conjugacy classes of $W(D_4)$: using Carter diagrams, using reduced expressions and using signed cycle-types. In the appendix, we provide an implementation of the algorithm in Python.


title: An algorithmic guide for finite-dimensional optimal control problems

abstract: We survey the main numerical techniques for finite-dimensional nonlinear optimal control. The chapter is written as a guide to practitioners who wish to get rapidly acquainted with the main numerical methods used to efficiently solve an optimal control problem. We consider two classical examples, simple but significant enough to be enriched and generalized to other settings: Zermelo and Goddard problems. We provide sample of the codes used to solve them and make these codes available online. We discuss direct and indirect methods, Hamilton-Jacobi approach, ending with optimistic planning. The examples illustrate the pros and cons of each method, and we show how these approaches can be combined into powerful tools for the numerical solution of optimal control problems for ordinary differential equations.


title: Robust Switching Control of DC-DC Boost Converter for EV Charging Stations

abstract: In this work, the problem of switching control design for DC-DC boost converter is considered, in the case of operation under uncertain equilibrium condition arising due to perturbations in the input and load parameters. Assuming that these uncertain parameters are generated via a known linear exo-system, a parameter estimator is designed to update the equilibrium point for the switching controller in real-time. In order to mitigate the noise amplification problem associated with the designed parameter estimator, the estimation error injection term is filtered via a set of first-order filters to obtain the desired level of noise suppression in the final set of estimates. To demonstrate the efficiency of the developed scheme, a realistic application scenario of a DC charging station for electric vehicles is considered, with photovoltaic array as the source and a battery connected at the load side.


title: Optimal growth of upper frequently hypercyclic functions for some weighted Taylor shifts

abstract: We are interested in the optimal growth in terms of $L^p$-averages of hypercyclic and $\mathcal{U}$-frequently hypercyclic functions for some weighted Taylor shift operators acting on the space of analytic function on the unit disc. We unify the results obtained by considering intermediate notions of upper frequent hypercyclicity between the $\mathcal{U}$-frequent hypercyclicity and the hypercyclicity.


title: Coherent generation and control of tunable narrowband THz radiation from laser-induced air-plasma filament

abstract: We report on the proof-of-principle experiment of generating carrier-envelope phase (CEP)-controllable and frequency-tunable narrowband terahertz (THz) radiation from air-plasma filament prescribed by the beat of temporally stretched two-color laser pulse sequence. The pulse sequence was prepared by propagating the fundamental ultrafast laser pulse through a grating stretcher and Michelson interferometer with variable inter-arm delay. By partially frequency-doubling and focusing the pulse sequence, an air-plasma filament riding a beat note was created to radiate THz wave with primary pulse characteristics (center frequency and CEP) under coherent control. To reproduce experimental results and elucidate complex nonlinear light-matter interaction, numerical simulation has been performed. This work demonstrates the feasibility of generating coherently controlled narrowband THz wave with high tunability in laser-induced air plasma.


title: Branching execution symmetry in Jeopardy by available implicit arguments analysis

abstract: When the inverse of an algorithm is well-defined -- that is, when its output can be deterministically transformed into the input producing it -- we say that the algorithm is invertible. While one can describe an invertible algorithm using a general-purpose programming language, it is generally not possible to guarantee that its inverse is well-defined without additional argument. Reversible languages enforce deterministic inverse interpretation at the cost of expressibility, by restricting the building blocks from which an algorithm may be constructed. Jeopardy is a functional programming language designed for writing invertible algorithms \emph{without} the syntactic restrictions of reversible programming. In particular, Jeopardy allows the limited use of locally non-invertible operations, provided that they are used in a way that can be statically determined to be globally invertible. However, guaranteeing invertibility in Jeopardy is not obvious. One of the central problems in guaranteeing invertibility is that of deciding whether a program is symmetric in the face of branching control flow. In this paper, we show how Jeopardy can solve this problem, using a program analysis called available implicit arguments analysis, to approximate branching symmetries.


title: Design of Linear Passive Mixer-First Receivers for mmWave Digital Beamforming Arrays

abstract: A 25-40GHz passive mixer-first receiver using a novel architecture for digital beamforming arrays is proposed. The architecture uses a novel technique for impedance matching using the on-resistance of the mixers in the receiver and matching networks. The small switch resistance of the mixers can be matched to the antenna using matching networks. Several matching networks are discussed, including a tunable matching network for wideband applications. The design achieves a noise figure that is lower than 8dB, a conversion gain of 18dB, and an IIP3 of around +4dBm across the frequency range of 25-40GHz. A prototype chip is fabricated in 28nm bulk CMOS process.


title: Exponential ergodicity of a degenerate age-size piecewise deterministic process

abstract: We study the long-time behaviour of the first-moment semigroup of a non conservative piecewise deterministic measure-valued stochastic process with support on R 2 + driven by a deterministic flow between random jump times, with a transition kernel which has a degenerate form. Using a Doob h-transform where the function h is taken as an eigenfunction of the associated generator, we can bring ourselves back to the study of a conservative process whose exponential ergodicity is proven via Harris' Theorem. Particular attention is given to the proof of Doeblin minoration condition. The main difficulty is the degeneracy of one of the two variables, and the deterministic dependency between the two variables, which make it no trivial to uniformly bound the expected value of the trajectories with respect to a non-degenerate measure in a two-dimensional space, which is particularly hard in a non-compact setting. Here, we propose a general method to construct explicit trajectories which explore the space state with positive probability and witch permit to prove a petite-set condition for the compact sets of the state space. An application to an age-structured growthfragmentation process modelling bacterial growth is also shown.


title: Discrete quantum harmonic oscillator and Kravchuk transform

abstract: We consider a particular discretization of the harmonic oscillator which admits an orthogonal basis of eigenfunctions called Kravchuk functions possessing appealing properties from the numerical point of view. We analytically prove the almost second-order convergence of these discrete functions towards Hermite functions, uniformly for large numbers of modes. We then describe an efficient way to simulate these eigenfunctions and the corresponding transformation. We finally show some numerical experiments corroborating our different results.


title: A truly cylindrical inner tracker for ALICE

abstract: After the successful installation and first operation of the upgraded Inner Tracking System (ITS2), which consists of about $10\,$m$^2$ of monolithic silicon pixel sensors, ALICE is pioneering the usage of bent, wafer-scale pixel sensors for the ITS3 for LHC Run 4. Sensors larger than typical reticle sizes can be produced using the technique of stitching. At thicknesses of about $30\,\mu$m, silicon is flexible enough to be bent to radii of the order of $1\,$cm. By cooling such sensors with a forced airflow, it becomes possible to construct truly cylindrical layers which consist practically only of the silicon sensors. The reduction of the material budget and the improved pointing resolution will allow new measurements, in particular of heavy-flavor decays and electromagnetic probes. In this presentation, we will report on sensor developments, the performance of bent sensors in test beams, and the mechanical studies on truly cylindrical layers.


title: Sausage Volume of the Random String and Survival in a medium of Poisson Traps

abstract: We provide asymptotic bounds on the survival probability of a moving polymer in an environment of Poisson traps. Our model for the polymer is the vector-valued solution of a stochastic heat equation driven by additive spacetime white noise; solutions take values in ${\mathbb R}^d, d \geq 1$. We give upper and lower bounds for the survival probability in the cases of hard and soft obstacles. Our bounds decay exponentially with rate proportional to $T^{d/(d+2)}$, the same exponent that occurs in the case of Brownian motion. The exponents also depend on the length $J$ of the polymer, but here our upper and lower bounds involve different powers of $J$. Secondly, our main theorems imply upper and lower bounds for the growth of the Wiener sausage around our string. The Wiener sausage is the union of balls of a given radius centered at points of our random string, with time less than or equal to a given value.


title: Enumeration of left braces with additive group $C_2\times C_2\times C_4\times C_4$

abstract: We show that the number of isomorphism classes of left braces of order~$64$ with additive group isomorphic to $C_2\times C_2\times C_4\times C_4$ is $10\,326\,821$. This completes the classification of left braces of order~$64$, that turn out to fall into $15\,095\,601$ isomorphism classes.


title: Emergence of quadratic gravity from entanglement equilibrium

abstract: In this work, we derive the linearised equations of quadratic gravity from entanglement equilibrium of local causal diamonds. Rather than starting from the Wald entropy prescription (which depends on the gravitational Lagrangian), we employ a model independent approach based on the logarithmic corrections to horizon entanglement entropy. In this way, we are able to show the emergence of linearised quadratic gravity from entanglement equilibrium without using any a priori knowledge about gravitational dynamics. If the logarithmic correction to entropy has a negative sign, as predicted by replica trick calculations of entanglement entropy, we find that the quadratic gravity correction terms have the sign necessary to avoid tachyonic instabilities of the theory.


title: When Brain-Computer Interfaces Meet the Metaverse: Landscape, Demonstrator, Trends, Challenges, and Concerns

abstract: The metaverse has gained tremendous popularity in recent years, allowing the interconnection of users worldwide. However, current systems in metaverse scenarios, such as virtual reality glasses, offer a partial immersive experience. In this context, Brain-Computer Interfaces (BCIs) can introduce a revolution in the metaverse, although a study of the applicability and implications of BCIs in these virtual scenarios is required. Based on the absence of literature, this work reviews, for the first time, the applicability of BCIs in the metaverse, analyzing the current status of this integration based on different categories related to virtual worlds and the evolution of BCIs in these scenarios in the medium and long term. This work also proposes the design and implementation of a general framework that integrates BCIs with different data sources from sensors and actuators (e.g., VR glasses) based on a modular design to be easily extended. This manuscript also validates the framework in a demonstrator consisting of driving a car within a metaverse, using a BCI for neural data acquisition, a VR headset to provide realism, and a steering wheel and pedals. Four use cases (UCs) are selected, focusing on cognitive and emotional assessment of the driver, detection of drowsiness, and driver authentication while using the vehicle. Moreover, this manuscript offers an analysis of BCI trends in the metaverse, also identifying future challenges that the intersection of these technologies will face. Finally, it reviews the concerns that using BCIs in virtual world applications could generate according to different categories: accessibility, user inclusion, privacy, cybersecurity, physical safety, and ethics.


title: Magnetic domain structure and domain wall bound states of topological semimetal EuB6

abstract: Electrically manipulating domain wall (DW) is at central in the field of spintronics. Magnetic Weyl semimetal (WSM) offers an additional knob for electric manipulation of DW by utilizing the topological DW bound states. Using magnetic WSM material EuB6 as a prototype system, we investigate its DW bound states combining first principles calculations and domain imaging via magnetic force microscopy (MFM). The MFM measurements reveal that domains with magnetization aligned along three [100] directions dominate over others under a small magnetic field along [001] direction. Accordingly, first principles calculations are performed based on experimentally determined DW type, which show a robust DW bound state featuring a spectral distribution over a large portion of the DW Brillouin zone. Such DW bound states should result in significant amount of localized charges which can be used to drive DW motion via the electrostatic forces exerted on the localized DW charges.


title: Exponential Taylor Series

abstract: This paper presents a formula for writing differentiable complex valued functions as the sum of exponentials, with an explicit remainder. This is then used to associate an infinite series to $C^\infty$ functions, which is shown to converge to the function under suitable conditions on the remainder. This results are then used to calculate some infinite series involving Stirling Numbers.


title: Estimating Meetings' Air Flight $CO_2$ Equivalent Emissions An Illustrative Example with IETF meetings

abstract: These notes describe CO2eq a tool that estimates $CO_2$ equivalent emissions associated with air traffic and applies it to the Internet Engineering Task Force (IETF), an international standard developing organization that meets 3 times a year. CO2eq estimates that the participation to IETF meetings (by a single participant) generates as much $CO_2$ equivalent as the $CO_2$ emissions per capita of European countries generating their energy using coal -- like Germany or Poland for example. This suggests some radical changes should be considered by the IETF. According to the conclusion of the $26^{th}$ Conference of the Parties (COP26) from the United Nations Secretary-General Ant\'onio Guterres; in 2021, the number of meetings should be limited to a maximum of one meeting per year. In addition, the incorporation of sustainability principles into the IETF's strategy, should include, for example, increasing the effort to enhance the experience of 'remote' participation as well as adhering to programs (such as for example the United Nations Global Compact and the caring for climate initiative) to align its strategy and report progress toward sustainability.


title: Generalized amoebas for subvarieties of $GL_n(\mathbb{C})$

abstract: This paper is a report based on the results obtained during a three months internship at the University of Pittsburgh by the first author and under the mentorship of the second author. The notion of an amoeba of a subvariety in a torus $(\mathbb{C}^*)^n$ has been extended to subvarieties of the general linear group $GL_n(\mathbb{C})$ by the second author and Manon. In this paper, we show some basic properties of these matrix amoebas, e.g. any such amoeba is closed and the connected components of its complement are convex when the variety is a hypersurface. We also extend the notion of Ronkin function to this setting. For hypersurfaces, we show how to describe the asymptotic directions of the matrix amoebas using a notion of Newton polytope. Finally, we partially extend the classical statement that the amoebas converge to the tropical variety. We also discuss a few examples. Our matrix amoeba should be considered as the Archimedean version of the spherical tropicalization of Tevelev-Vogiannou for the variety $GL_n(\mathbb{C})$ regarded as a spherical homogeneous space for the left-right action of $GL_n(\mathbb{C}) \times GL_n(\mathbb{C})$.


title: A class of naturally generalized special generic maps

abstract: Special generic maps are generalizations of Morse functions with exactly two singular points on spheres and canonical projections of unit spheres. They restrict the manifolds of the domains strongly in considerable cases and are important in algebraic topology and differential topology of manifolds of specific classes and manifolds regarded as elementary in some senses admit such maps in considerable cases. We propose a class of generalized special generic maps in our present paper and extend a fundamental result on structures and some algebraic topological properties of special generic maps by the author. Our present study will be a pioneering study on nice classes of generalized special generic maps. Studies of algebraic topological properties and differential topological ones of special generic maps have developed due to their nice structures for example.


title: Learning Representations that Enable Generalization in Assistive Tasks

abstract: Recent work in sim2real has successfully enabled robots to act in physical environments by training in simulation with a diverse ''population'' of environments (i.e. domain randomization). In this work, we focus on enabling generalization in assistive tasks: tasks in which the robot is acting to assist a user (e.g. helping someone with motor impairments with bathing or with scratching an itch). Such tasks are particularly interesting relative to prior sim2real successes because the environment now contains a human who is also acting. This complicates the problem because the diversity of human users (instead of merely physical environment parameters) is more difficult to capture in a population, thus increasing the likelihood of encountering out-of-distribution (OOD) human policies at test time. We advocate that generalization to such OOD policies benefits from (1) learning a good latent representation for human policies that test-time humans can accurately be mapped to, and (2) making that representation adaptable with test-time interaction data, instead of relying on it to perfectly capture the space of human policies based on the simulated population only. We study how to best learn such a representation by evaluating on purposefully constructed OOD test policies. We find that sim2real methods that encode environment (or population) parameters and work well in tasks that robots do in isolation, do not work well in assistance. In assistance, it seems crucial to train the representation based on the history of interaction directly, because that is what the robot will have access to at test time. Further, training these representations to then predict human actions not only gives them better structure, but also enables them to be fine-tuned at test-time, when the robot observes the partner act. https://adaptive-caregiver.github.io.


title: Domain Adaptation and Generalization on Functional Medical Images: A Systematic Survey

abstract: Machine learning algorithms have revolutionized different fields, including natural language processing, computer vision, signal processing, and medical data processing. Despite the excellent capabilities of machine learning algorithms in various tasks and areas, the performance of these models mainly deteriorates when there is a shift in the test and training data distributions. This gap occurs due to the violation of the fundamental assumption that the training and test data are independent and identically distributed (i.i.d). In real-world scenarios where collecting data from all possible domains for training is costly and even impossible, the i.i.d assumption can hardly be satisfied. The problem is even more severe in the case of medical images and signals because it requires either expensive equipment or a meticulous experimentation setup to collect data, even for a single domain. Additionally, the decrease in performance may have severe consequences in the analysis of medical records. As a result of such problems, the ability to generalize and adapt under distribution shifts (domain generalization (DG) and domain adaptation (DA)) is essential for the analysis of medical data. This paper provides the first systematic review of DG and DA on functional brain signals to fill the gap of the absence of a comprehensive study in this era. We provide detailed explanations and categorizations of datasets, approaches, and architectures used in DG and DA on functional brain images. We further address the attention-worthy future tracks in this field.


title: Privacy-Preserving Visual Localization with Event Cameras

abstract: We present a robust, privacy-preserving visual localization algorithm using event cameras. While event cameras can potentially make robust localization due to high dynamic range and small motion blur, the sensors exhibit large domain gaps making it difficult to directly apply conventional image-based localization algorithms. To mitigate the gap, we propose applying event-to-image conversion prior to localization which leads to stable localization. In the privacy perspective, event cameras capture only a fraction of visual information compared to normal cameras, and thus can naturally hide sensitive visual details. To further enhance the privacy protection in our event-based pipeline, we introduce privacy protection at two levels, namely sensor and network level. Sensor level protection aims at hiding facial details with lightweight filtering while network level protection targets hiding the entire user's view in private scene applications using a novel neural network inference pipeline. Both levels of protection involve light-weight computation and incur only a small performance loss. We thus project our method to serve as a building block for practical location-based services using event cameras. The code and dataset will be made public through the following link: https://github.com/82magnolia/event_localization.


title: Longest Common Substring in Longest Common Subsequence's Solution Service: A Novel Hyper-Heuristic

abstract: The Longest Common Subsequence (LCS) is the problem of finding a subsequence among a set of strings that has two properties of being common to all and is the longest. The LCS has applications in computational biology and text editing, among many others. Due to the NP-hardness of the general longest common subsequence, numerous heuristic algorithms and solvers have been proposed to give the best possible solution for different sets of strings. None of them has the best performance for all types of sets. In addition, there is no method to specify the type of a given set of strings. Besides that, the available hyper-heuristic is not efficient and fast enough to solve this problem in real-world applications. This paper proposes a novel hyper-heuristic to solve the longest common subsequence problem using a novel criterion to classify a set of strings based on their similarity. To do this, we offer a general stochastic framework to identify the type of a given set of strings. Following that, we introduce the set similarity dichotomizer ($S^2D$) algorithm based on the framework that divides the type of sets into two. This algorithm is introduced for the first time in this paper and opens a new way to go beyond the current LCS solvers. Then, we present a novel hyper-heuristic that exploits the $S^2D$ and one of the internal properties of the set to choose the best matching heuristic among a set of heuristics. We compare the results on benchmark datasets with the best heuristics and hyper-heuristics. The results show a higher performance of our proposed hyper-heuristic in both quality of solutions and run time factors.


title: Where the Bee Sucks -- A Dynamic Bayesian Network Approach to Decision Support for Pollinator Abundance Strategies

abstract: For policymakers wishing to make evidence-based decisions, one of the challenges is how to combine the relevant information and evidence in a coherent and defensible manner in order to formulate and evaluate candidate policies. Policymakers often need to rely on experts with disparate fields of expertise when making policy choices in complex, multi-faceted, dynamic environments such as those dealing with ecosystem services. The pressures affecting the survival and pollination capabilities of honey bees (Apis mellifera), wild bees and other pollinators is well-documented, but incomplete. In order to estimate the potential effectiveness of various candidate policies to support pollination services, there is an urgent need to quantify the effect of various combinations of variables on the pollination ecosystem service, utilising available information, models and expert judgement. In this paper, we present a new application of the integrating decision support system methodology for combining inputs from multiple panels of experts to evaluate policies to support an abundant pollinator population.


title: Pair Production in Circularly Polarized Waves

abstract: We study electron-positron pair production within two counter-propagating, circularly polarized electromagnetic fields through the Wigner formalism. We numerically generate high-resolution momentum maps to perform a detailed spectroscopic analysis. We identify signatures of polarization and kinematics of the incident fields in the final positron distribution and, on this basis, provide an intuitive picture of helicity transfer in multiphoton pair production.


title: Funnel-based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning

abstract: Signal Temporal Logic (STL) is a powerful framework for describing the complex temporal and logical behaviour of the dynamical system. Numerous studies have attempted to employ reinforcement learning to learn a controller that enforces STL specifications; however, they have been unable to effectively tackle the challenges of ensuring robust satisfaction in continuous state space and maintaining tractability. In this paper, leveraging the concept of funnel functions, we propose a tractable reinforcement learning algorithm to learn a time-dependent policy for robust satisfaction of STL specification in continuous state space. We demonstrate the utility of our approach on several STL tasks using different environments.


title: Overlapping oriented imbalanced ensemble learning method based on projective clustering and stagewise hybrid sampling

abstract: The challenge of imbalanced learning lies not only in class imbalance problem, but also in the class overlapping problem which is complex. However, most of the existing algorithms mainly focus on the former. The limitation prevents the existing methods from breaking through. To address this limitation, this paper proposes an ensemble learning algorithm based on dual clustering and stage-wise hybrid sampling (DCSHS). The DCSHS has three parts. Firstly, we design a projection clustering combination framework (PCC) guided by Davies-Bouldin clustering effectiveness index (DBI), which is used to obtain high-quality clusters and combine them to obtain a set of cross-complete subsets (CCS) with balanced class and low overlapping. Secondly, according to the characteristics of subset classes, a stage-wise hybrid sampling algorithm is designed to realize the de-overlapping and balancing of subsets. Finally, a projective clustering transfer mapping mechanism (CTM) is constructed for all processed subsets by means of transfer learning, thereby reducing class overlapping and explore structure information of samples. The major advantage of our algorithm is that it can exploit the intersectionality of the CCS to realize the soft elimination of overlapping majority samples, and learn as much information of overlapping samples as possible, thereby enhancing the class overlapping while class balancing. In the experimental section, more than 30 public datasets and over ten representative algorithms are chosen for verification. The experimental results show that the DCSHS is significantly best in terms of various evaluation criteria.


title: A novel convergence enhancement method based on Online Dimension Reduction Optimization

abstract: Iterative steady-state solvers are widely used in computational fluid dynamics. Unfortunately, it is difficult to obtain steady-state solution for unstable problem caused by physical instability and numerical instability. Optimization is a better choice for solving unstable problem because steady-state solution is always the extreme point of optimization regardless of whether the problem is unstable or ill-conditioned, but it is difficult to solve partial differential equations (PDEs) due to too many optimization variables. In this study, we propose an Online Dimension Reduction Optimization (ODRO) method to enhance the convergence of the traditional iterative method to obtain the steady-state solution of unstable problem. This method performs proper orthogonal decomposition (POD) on the snapshots collected from a few iteration steps, optimizes PDE residual in the POD subspace to get a solution with lower residual, and then continues to iterate with the optimized solution as the initial value, repeating the above three steps until the residual converges. Several typical cases show that the proposed method can efficiently calculate the steady-state solution of unstable problem with both the high efficiency and robustness of the iterative method and the good convergence of the optimization method. In addition, this method is easy to implement in almost any iterative solver with minimal code modification.


title: The AI Definition and a Program Which Satisfies this Definition

abstract: We will consider all policies of the agent and will prove that one of them is the best performing policy. While that policy is not computable, computable policies do exist in its proximity. We will define AI as a computable policy which is sufficiently proximal to the best performing policy. Before we can define the agent's best performing policy, we need a language for description of the world. We will also use this language to develop a program which satisfies the AI definition. The program will first understand the world by describing it in the selected language. The program will then use the description in order to predict the future and select the best possible move. While this program is extremely inefficient and practically unusable, it can be improved by refining both the language for description of the world and the algorithm used to predict the future. This can yield a program which is both efficient and consistent with the AI definition.


title: Rethinking the Objectives of Vector-Quantized Tokenizers for Image Synthesis

abstract: Vector-Quantized (VQ-based) generative models usually consist of two basic components, i.e., VQ tokenizers and generative transformers. Prior research focuses on improving the reconstruction fidelity of VQ tokenizers but rarely examines how the improvement in reconstruction affects the generation ability of generative transformers. In this paper, we surprisingly find that improving the reconstruction fidelity of VQ tokenizers does not necessarily improve the generation. Instead, learning to compress semantic features within VQ tokenizers significantly improves generative transformers' ability to capture textures and structures. We thus highlight two competing objectives of VQ tokenizers for image synthesis: semantic compression and details preservation. Different from previous work that only pursues better details preservation, we propose Semantic-Quantized GAN (SeQ-GAN) with two learning phases to balance the two objectives. In the first phase, we propose a semantic-enhanced perceptual loss for better semantic compression. In the second phase, we fix the encoder and codebook, but enhance and finetune the decoder to achieve better details preservation. The proposed SeQ-GAN greatly improves VQ-based generative models and surpasses the GAN and Diffusion Models on both unconditional and conditional image generation. Our SeQ-GAN (364M) achieves Frechet Inception Distance (FID) of 6.25 and Inception Score (IS) of 140.9 on 256x256 ImageNet generation, a remarkable improvement over VIT-VQGAN (714M), which obtains 11.2 FID and 97.2 IS.