title: Phase structure and critical phenomena in 2-flavor QCD by holography

abstract: We explore the phase structure of Quantum Chromodynamics (QCD) with two dynamical quark flavors at finite temperature and baryon chemical potential, employing the non-perturbative gauge/gravity duality approach. Our gravitational model is tailored to align with state-of-the-art lattice data regarding the thermal properties of multi-flavor QCD. Following a rigorous parameter calibration to match equations of state and the QCD trace anomaly at zero chemical potential derived from cutting-edge lattice QCD simulations, we investigate thermodynamic quantities and order parameters. We predict the location of the critical endpoint (CEP) at $(\mu_{\text{CEP}}, T_{\text{CEP}})=(219,182)$ MeV at which a line of first-order phase transitions terminate. We compute critical exponents associated with the CEP and find that they almost coincide with the critical exponents of the quantum 3D Ising model.


title: Y-Diagonal Couplings: Approximating Posteriors with Conditional Wasserstein Distances

abstract: In inverse problems, many conditional generative models approximate the posterior measure by minimizing a distance between the joint measure and its learned approximation. While this approach also controls the distance between the posterior measures in the case of the Kullback Leibler divergence, it does not hold true for the Wasserstein distance. We will introduce a conditional Wasserstein distance with a set of restricted couplings that equals the expected Wasserstein distance of the posteriors. By deriving its dual, we find a rigorous way to motivate the loss of conditional Wasserstein GANs. We outline conditions under which the vanilla and the conditional Wasserstein distance coincide. Furthermore, we will show numerical examples where training with the conditional Wasserstein distance yields favorable properties for posterior sampling.


title: Random Matrix Analysis to Balance between Supervised and Unsupervised Learning under the Low Density Separation Assumption

abstract: We propose a theoretical framework to analyze semi-supervised classification under the low density separation assumption in a high-dimensional regime. In particular, we introduce QLDS, a linear classification model, where the low density separation assumption is implemented via quadratic margin maximization. The algorithm has an explicit solution with rich theoretical properties, and we show that particular cases of our algorithm are the least-square support vector machine in the supervised case, the spectral clustering in the fully unsupervised regime, and a class of semi-supervised graph-based approaches. As such, QLDS establishes a smooth bridge between these supervised and unsupervised learning methods. Using recent advances in the random matrix theory, we formally derive a theoretical evaluation of the classification error in the asymptotic regime. As an application, we derive a hyperparameter selection policy that finds the best balance between the supervised and the unsupervised terms of our learning criterion. Finally, we provide extensive illustrations of our framework, as well as an experimental study on several benchmarks to demonstrate that QLDS, while being computationally more efficient, improves over cross-validation for hyperparameter selection, indicating a high promise of the usage of random matrix theory for semi-supervised model selection.


title: Dynamically assisted pair production in subcritical potential step and particle--anti-particle interpretations

abstract: Particle--anti-particle interpretation under spatially inhomogeneous external fields within the framework of quantum field theory is a nontrivial problem. In this paper, we focus on the two interpretations established in [Phys. Rev. D 93, 045002 (2016)] and [Prog. Theor. Exp. Phys. 2022, 073B02 (2022)], both of which give consistent results of vacuum instability and pair production. To shed light on their differences, a pair production under a potential step assisted by a weak and oscillating electric field is discussed. It is shown that the potential step and the oscillating field, each insufficient for vacuum decay, can produce pairs when combined. In addition, the two pictures give rise to quantitative differences in the number of created pairs at the second-order perturbation of the oscillating field. It might provide a clue to investigate the correct particle--anti-particle interpretation by comparing the result with numerical simulations or experiments.


title: Non-linear approximations of DSGE models with neural-networks and hard-constraints

abstract: Recently a number of papers have suggested using neural-networks in order to approximate policy functions in DSGE models, while avoiding the curse of dimensionality, which for example arises when solving many HANK models, and while preserving non-linearity. One important step of this method is to represent the constraints of the economic model in question in the outputs of the neural-network. I propose, and demonstrate the advantages of, a novel approach to handling these constraints which involves directly constraining the neural-network outputs, such that the economic constraints are satisfied by construction. This is achieved by a combination of re-scaling operations that are differentiable and therefore compatible with the standard gradient descent approach used when fitting neural-networks. This has a number of attractive properties, and is shown to out-perform the penalty-based approach suggested by the existing literature, which while theoretically sound, can be poorly behaved practice for a number of reasons that I identify.


title: Black hole thermodynamics in natural variables: Quadrophenia

abstract: It was recently observed in arXiv:2304.07320 for thermal Kerr-Newman black holes in 4d flat space that one can rewrite the conventional thermodynamics on the inner and outer horizons in terms of left- and right-moving variables with a remarkable simplification of the corresponding expressions. With the goal of illustrating the wide applicability of these newly proposed natural variables, we extend the original observation in four independent directions that can be further superimposed on each other. These four generalizations can be thought of as different deformations of the original 4d Einstein-Maxwell theory, all within the framework of supergravity: higher derivative (HD) corrections in minimal 4d supergravity; additional scalar and vector couplings in matter-coupled 4d supergravity; higher dimensions, in particular 5d minimal supergravity; and a cosmological constant in 4d minimal gauged supergravity with Anti-de Sitter (AdS) vacuum. Each of these generalizations offers a different lesson about the novel thermodynamics, and we pay special attention to the respective BPS limits that can be understood from fixed point formulae, demonstrating the power of the natural variables to capture the full phase space.


title: Surface-symmetry-driven Dzyaloshinskii--Moriya interaction and canted ferrimagnetism in collinear magnetoelectric antiferromagnet Cr$_2$O$_3$

abstract: Antiferromagnets are normally thought of as materials with compensated magnetic sublattices. This adds to their technological advantages but complicates readout of the antiferromagnetic state. We demonstrate theoretically the existence of a Dzyaloshinskii-Moriya interaction (DMI) which is determined by the magnetic symmetry classes of Cr$_2$O$_3$ surfaces with an in-plane magnetic easy axis. The DMI explains a previously predicted out-of-plane magnetization at the nominally compensated surfaces of chromia, leading to a surface-localized canted ferrimagnetism. This is in agreement with magnetotransport measurements and with density functional theory predictions which further allow us to quantify the strength of DMI. The temperature dependence of the transversal resistance for these planes shows distinct behavior in comparison with that of the Cr$_2$O$_3$ $c$ plane, which we attribute to the influence of DMI. Our work provides a framework to analyze surface-driven phenomena in antiferromagnets, and motivates the use of nominally compensated chromia surfaces for antiferomagnetic spintronics and magnonics.


title: Self-Consistency of Large Language Models under Ambiguity

abstract: Large language models (LLMs) that do not give consistent answers across contexts are problematic when used for tasks with expectations of consistency, e.g., question-answering, explanations, etc. Our work presents an evaluation benchmark for self-consistency in cases of under-specification where two or more answers can be correct. We conduct a series of behavioral experiments on the OpenAI model suite using an ambiguous integer sequence completion task. We find that average consistency ranges from 67\% to 82\%, far higher than would be predicted if a model's consistency was random, and increases as model capability improves. Furthermore, we show that models tend to maintain self-consistency across a series of robustness checks, including prompting speaker changes and sequence length changes. These results suggest that self-consistency arises as an emergent capability without specifically training for it. Despite this, we find that models are uncalibrated when judging their own consistency, with models displaying both over- and under-confidence. We also propose a nonparametric test for determining from token output distribution whether a model assigns non-trivial probability to alternative answers. Using this test, we find that despite increases in self-consistency, models usually place significant weight on alternative, inconsistent answers. This distribution of probability mass provides evidence that even highly self-consistent models internally compute multiple possible responses.


title: The Past, Present, and Future of Typological Databases in NLP

abstract: Typological information has the potential to be beneficial in the development of NLP models, particularly for low-resource languages. Unfortunately, current large-scale typological databases, notably WALS and Grambank, are inconsistent both with each other and with other sources of typological information, such as linguistic grammars. Some of these inconsistencies stem from coding errors or linguistic variation, but many of the disagreements are due to the discrete categorical nature of these databases. We shed light on this issue by systematically exploring disagreements across typological databases and resources, and their uses in NLP, covering the past and present. We next investigate the future of such work, offering an argument that a continuous view of typological features is clearly beneficial, echoing recommendations from linguistics. We propose that such a view of typology has significant potential in the future, including in language modeling in low-resource scenarios.


title: Seamless, Correct, and Generic Programming over Serialised Data

abstract: In typed functional languages, one can typically only manipulate data in a type-safe manner if it first has been deserialised into an in-memory tree represented as a graph of nodes-as-structs and subterms-as-pointers. We demonstrate how we can use QTT as implemented in \idris{} to define a small universe of serialised datatypes, and provide generic programs allowing users to process values stored contiguously in buffers. Our approach allows implementors to prove the full functional correctness by construction of the IO functions processing the data stored in the buffer.


title: A Study on the Well-Posedness of 1D Energy-Critical Half-Wave Maps Equations

abstract: In this article, we study the well-posedness of the energy-critical half-wave maps equation (HWM) in dimension $1$. The half-wave maps equation emerges from the continuum limit of the Haldane Shastry spin chains and has been shown to arise as the continuum limit of Calogero-Moser classical spin systems. In higher dimension $d\geq 5$, it has been shown that (HWM) is well-posed by Krieger and Sire. This result has been improved by Krieger and Kiesenhofer to $d = 4$ but the Strichartz estimate on which the argument is built no longer holds for smaller dimensions. A Lax-pair structure has been revealed for this equation by Lenzmann and G\'erard, indicating complete integrability and the fact that rational solutions stay rational for all time. The well-posedness of the (HWM) equation in lower dimensions remains an open problem. Here, we show the well-posedness of (HWM) in the rational case for finite times with separated poles, and for large and infinite times with distinct speeds of propagation.


title: Kummer theory over the geometric adeles of an algebraic curve

abstract: Our goal is to give a purely algebraic characterization of finite abelian Galois covers of a complete, irreducible, non-singular curve $X$ over an algebraically closed field $\k$. To achieve this, we make use of the Galois theory of commutative rings, in particular the Kummer theory of the ring of geometric adeles $\A_{X}$. After we establish the triviality of the Picard group $\Pic(\A_{X})$, the general Kummer sequence for Kummerian rings leads to a characterization of $p$-cyclic extensions of $\A_{X}$ in terms of the closed points of $X$. This is an example of a general local-global principle which we use throughout, allowing us to avoid needing the full spectrum of $\A_{X}$. We prove the existence of primitive elements in $p$-cyclic extensions of $\A_{X}$, which yields explicit invariants lying in $\bigoplus_{x \in X} \Zp$ (summing over closed points) classifying them. From a group-theoretical point of view, we give a complete characterization of which $p$-cyclic subgroups of the full automorphism group of a given $p$-cyclic extension of $\A_{X}$ endow it with a Galois structure. The result is a stratification by the algebraic ramification of the extension modulo a notion of conjugation or twisting of Galois structures, yielding other invariants, in the form of finite tuples over ramified points, which are related to the previous ones in terms of the local Kummer symbols. With these results in hand, a forthcoming paper will identify, inside the set of $p$-cyclic extensions of $\A_{X}$, those arising from extensions of the function field of the curve $X$, eventually leading to the algebraic characterization of abelian covers of $X$.


title: Testing for the extent of instability in nearly unstable processes

abstract: This paper deals with unit root issues in time series analysis. It has been known for a long time that unit root tests may be flawed when a series although stationary has a root close to unity. That motivated recent papers dedicated to autoregressive processes where the bridge between stability and instability is expressed by means of time-varying coefficients. The process we consider has a companion matrix $A_{n}$ with spectral radius $\rho(A_{n}) < 1$ satisfying $\rho(A_{n}) \rightarrow 1$, a situation described as `nearly-unstable'. The question we investigate is: given an observed path supposed to come from a nearly-unstable process, is it possible to test for the `extent of instability', i.e. to test how close we are to the unit root? In this regard, we develop a strategy to evaluate $\alpha$ and to test for $\mathcal{H}_0 : ``\alpha = \alpha_0"$ against $\mathcal{H}_1 : ``\alpha > \alpha_0"$ when $\rho(A_{n})$ lies in an inner $O(n^{-\alpha})$-neighborhood of the unity, for some $0 < \alpha < 1$. Empirical evidence is given about the advantages of the flexibility induced by such a procedure compared to the common unit root tests. We also build a symmetric procedure for the usually left out situation where the dominant root lies around $-1$.


title: Specification procedures for multivariate stable-Paretian laws for independent and for conditionally heteroskedastic data

abstract: We consider goodness-of-fit methods for multivariate symmetric and asymmetric stable Paretian random vectors in arbitrary dimension. The methods are based on the empirical characteristic function and are implemented both in the i.i.d. context as well as for innovations in GARCH models. Asymptotic properties of the proposed procedures are discussed, while the finite-sample properties are illustrated by means of an extensive Monte Carlo study. The procedures are also applied to real data from the financial markets.


title: Simple binning algorithm and SimDec visualization for comprehensive sensitivity analysis of complex computational models

abstract: Models of complex technological systems inherently contain interactions and dependencies among their input variables that affect their joint influence on the output. Such models are often computationally expensive and few sensitivity analysis methods can effectively process such complexities. Moreover, the sensitivity analysis field as a whole pays limited attention to the nature of interaction effects, whose understanding can prove to be critical for the design of safe and reliable systems. In this paper, we introduce and extensively test a simple binning approach for computing sensitivity indices and demonstrate how complementing it with the smart visualization method, simulation decomposition (SimDec), can permit important insights into the behavior of complex engineering models. The simple binning approach computes first-, second-order effects, and a combined sensitivity index, and is considerably more computationally efficient than the mainstream measure for Sobol indices introduced by Saltelli et al. The totality of the sensitivity analysis framework provides an efficient and intuitive way to analyze the behavior of complex systems containing interactions and dependencies.


title: Multiscale Superpixel Structured Difference Graph Convolutional Network for VL Representation

abstract: Within the multimodal field, the key to integrating vision and language lies in establishing a good alignment strategy. Recently, benefiting from the success of self-supervised learning, significant progress has been made in multimodal semantic representation based on pre-trained models for vision and language. However, there is still room for improvement in visual semantic representation. The lack of spatial semantic coherence and vulnerability to noise makes it challenging for current pixel or patch-based methods to accurately extract complex scene boundaries. To this end, this paper develops superpixel as a comprehensive compact representation of learnable image data, which effectively reduces the number of visual primitives for subsequent processing by clustering perceptually similar pixels. To mine more precise topological relations, we propose a Multiscale Difference Graph Convolutional Network (MDGCN). It parses the entire image as a fine-to-coarse hierarchical structure of constituent visual patterns, and captures multiscale features by progressively merging adjacent superpixels as graph nodes. Moreover, we predict the differences between adjacent nodes through the graph structure, facilitating key information aggregation of graph nodes to reason actual semantic relations. Afterward, we design a multi-level fusion rule in a bottom-up manner to avoid understanding deviation by learning complementary spatial information at different regional scales. Our proposed method can be well applied to multiple downstream task learning. Extensive experiments demonstrate that our method is competitive with other state-of-the-art methods in visual reasoning. Our code will be released upon publication.


title: Steering Large Language Models for Machine Translation with Finetuning and In-Context Learning

abstract: Large language models (LLMs) are a promising avenue for machine translation (MT). However, current LLM-based MT systems are brittle: their effectiveness highly depends on the choice of few-shot examples and they often require extra post-processing due to overgeneration. Alternatives such as finetuning on translation instructions are computationally expensive and may weaken in-context learning capabilities, due to overspecialization. In this paper, we provide a closer look at this problem. We start by showing that adapter-based finetuning with LoRA matches the performance of traditional finetuning while reducing the number of training parameters by a factor of 50. This method also outperforms few-shot prompting and eliminates the need for post-processing or in-context examples. However, we show that finetuning generally degrades few-shot performance, hindering adaptation capabilities. Finally, to obtain the best of both worlds, we propose a simple approach that incorporates few-shot examples during finetuning. Experiments on 10 language pairs show that our proposed approach recovers the original few-shot capabilities while keeping the added benefits of finetuning.


title: Differential Calculus on Hypergraphs and Mayer-Vietoris Sequences for the Constrained Persistent Homology

abstract: In this paper, we study the discrete differential calculus on hypergraphs by using the Kouzul complexes. We define the constrained (co)homology for hypergraphs and give the corresponding Mayer-Vietoris sequences. We prove the functoriality of the Mayer-Vietoris sequences for the constrained homology and the functoriality of the Mayer-Vietoris sequences for the constrained cohomology with respect to morphisms of hypergraphs induced by bijective maps between the vertices. Consequently, we obtain the Mayer-Vietoris sequences for the constrained persistent (co)homology for filtrations of hypergraphs. As applications, we propose the constrained persistent (co)homology as a tool for the computation of higher-dimensional persistent homology of large networks.


title: The sum relation as a primitive concept of mereology

abstract: Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the part of relation, either the proper or improper one. In this paper, we put forward an approach to mereology that uses mereological sum as its primitive notion, and we demonstrate that it is definitionally equivalent to the standard parthood-based theory of mereological structures.


title: Two-Stage Triplet Loss Training with Curriculum Augmentation for Audio-Visual Retrieval

abstract: The cross-modal retrieval model leverages the potential of triple loss optimization to learn robust embedding spaces. However, existing methods often train these models in a singular pass, overlooking the distinction between semi-hard and hard triples in the optimization process. The oversight of not distinguishing between semi-hard and hard triples leads to suboptimal model performance. In this paper, we introduce a novel approach rooted in curriculum learning to address this problem. We propose a two-stage training paradigm that guides the model's learning process from semi-hard to hard triplets. In the first stage, the model is trained with a set of semi-hard triplets, starting from a low-loss base. Subsequently, in the second stage, we augment the embeddings using an interpolation technique. This process identifies potential hard negatives, alleviating issues arising from high-loss functions due to a scarcity of hard triples. Our approach then applies hard triplet mining in the augmented embedding space to further optimize the model. Extensive experimental results conducted on two audio-visual datasets show a significant improvement of approximately 9.8% in terms of average Mean Average Precision (MAP) over the current state-of-the-art method, MSNSCA, for the Audio-Visual Cross-Modal Retrieval (AV-CMR) task on the AVE dataset, indicating the effectiveness of our proposed method.


title: Quadrotor Dead Reckoning with Multiple Inertial Sensors

abstract: Quadrotors are widely used for surveillance, mapping, and deliveries. In several scenarios the quadrotor operates in pure inertial navigation mode resulting in a navigation solution drift. To handle such situations and bind the navigation drift, the quadrotor dead reckoning (QDR) approach requires flying the quadrotor in a periodic trajectory. Then, using model or learning based approaches the quadrotor position vector can be estimated. We propose to use multiple inertial measurement units (MIMU) to improve the positioning accuracy of the QDR approach. Several methods to utilize MIMU data in a deep learning framework are derived and evaluated. Field experiments were conducted to validate the proposed approach and show its benefits.


title: Learning complexity to guide light-induced self-organized nanopatterns

abstract: Ultrafast laser irradiation can induce spontaneous self-organization of surfaces into dissipative structures with nanoscale reliefs. These surface patterns emerge from symmetry-breaking dynamical processes that occur in Rayleigh-B\'enard-like instabilities. In this study, we demonstrate that the coexistence and competition between surface patterns of different symmetries in two dimensions can be numerically unraveled using the stochastic generalized Swift-Hohenberg model. We originally propose a deep convolutional network to identify and learn the dominant modes that stabilize for a given bifurcation and quadratic model coefficients. The model is scale-invariant and has been calibrated on microscopy measurements using a physics-guided machine learning strategy. Our approach enables the identification of experimental irradiation conditions for a desired self-organization pattern. It can be applied generally to predict structure formation in situations where the underlying physics can be approximately described by a self-organization process and data is sparse and non-time series. Our work paves the way for supervised local manipulation of matter using timely-controlled optical fields in laser manufacturing.


title: Efficient General Waveform Catching by a cavity at a Virtual Absorbing Exceptional Point

abstract: State transfer and photon detection are fundamental processes that have direct implications in fields such as quantum computing and photonic circuits. However, while naturally emitted photons decay exponentially in time, to perfectly capture a photon its envelope should increase exponentially to match the time-reversed response of the absorbing cavity. Here we show that a cavity at a virtual absorbing exceptional point captures additional temporal orders of an incoming waveform, resulting in efficient passive state transfer and photon detection. This approach paves the way for state transfer at optical frequencies and efficient detection of a spontaneously emitted photon.


title: The magnetized Gross-Neveu model at finite chemical potential

abstract: We study the (2+1)-dimensional Gross-Neveu model at non-zero chemical potential and subjected to a homogeneous background magnetic field. We do so both analytically, in the limit of an infinite number of fermion flavors in which mean-field approaches become exact, as well as on the lattice for a single flavor. The rich and exotic phase structure observed in the mean-field limit is found to be destroyed when strong quantum fluctuations are present in the system. Instead, in the phase of spontaneously broken chiral symmetry the magnetic field enhances this breaking for all choices of parameters. As a byproduct, we find indications for a first-order phase transition in the chemical potential for vanishing magnetic field but also provide hints that this could rather be a finite-size than a finite-flavor-number effect.


title: L$^2$-Hypocoercivity for non-equilibrium kinetic equations

abstract: The recent work [11] developed a general framework to show hypocoercivity for a stationary Gibbs state and allowed spatial degeneracy, confining potentials and boundary conditions. In this work, we show that the explicit energy approach in the weighted L$^2$ space works for general non-equilibrium steady states and that it can be adapted to cases with weaker confinement leading to algebraic decay.


title: On mathematics and knowledge

abstract: A sketch of some of the fundamental notions related to the nature of knowledge is offered, with special focus on the role of mathematics and my own opinions. No single idea exposed here is entirely original; indeed, this topic has been explored by legions of philosophers, mathematicians, and scientists throughout history -- I listed a few related books among the references. I look forward to observations and criticisms that may serve to improve this exposition.


title: Correspondence learning between morphologically different robots via task demonstrations

abstract: We observe a large variety of robots in terms of their bodies, sensors, and actuators. Given the commonalities in the skill sets, teaching each skill to each different robot independently is inefficient and not scalable when the large variety in the robotic landscape is considered. If we can learn the correspondences between the sensorimotor spaces of different robots, we can expect a skill that is learned in one robot can be more directly and easily transferred to other robots. In this paper, we propose a method to learn correspondences among two or more robots that may have different morphologies. To be specific, besides robots with similar morphologies with different degrees of freedom, we show that a fixed-based manipulator robot with joint control and a differential drive mobile robot can be addressed within the proposed framework. To set up the correspondence among the robots considered, an initial base task is demonstrated to the robots to achieve the same goal. Then, a common latent representation is learned along with the individual robot policies for achieving the goal. After the initial learning stage, the observation of a new task execution by one robot becomes sufficient to generate a latent space representation pertaining to the other robots to achieve the same task. We verified our system in a set of experiments where the correspondence between robots is learned (1) when the robots need to follow the same paths to achieve the same task, (2) when the robots need to follow different trajectories to achieve the same task, and (3) when complexities of the required sensorimotor trajectories are different for the robots. We also provide a proof-of-the-concept realization of correspondence learning between a real manipulator robot and a simulated mobile robot.


title: Stable Nonconvex-Nonconcave Training via Linear Interpolation

abstract: This paper presents a theoretical analysis of linear interpolation as a principled method for stabilizing (large-scale) neural network training. We argue that instabilities in the optimization process are often caused by the nonmonotonicity of the loss landscape and show how linear interpolation can help by leveraging the theory of nonexpansive operators. We construct a new optimization scheme called relaxed approximate proximal point (RAPP), which is the first explicit method without anchoring to achieve last iterate convergence rates for $\rho$-comonotone problems while only requiring $\rho > -\tfrac{1}{2L}$. The construction extends to constrained and regularized settings. By replacing the inner optimizer in RAPP we rediscover the family of Lookahead algorithms for which we establish convergence in cohypomonotone problems even when the base optimizer is taken to be gradient descent ascent. The range of cohypomonotone problems in which Lookahead converges is further expanded by exploiting that Lookahead inherits the properties of the base optimizer. We corroborate the results with experiments on generative adversarial networks which demonstrates the benefits of the linear interpolation present in both RAPP and Lookahead.


title: A Langlands duality of elliptic Hecke algebras

abstract: Associated to any root datum, there is an elliptic affine Hecke algebra defined by Ginzburg, Kapranov, and Vasserot. In this study, we establish a Fourier-Mukai functor from the representation category of the elliptic affine Hecke algebra to the corresponding category associated with the Langlands dual root datum. To achieve this connection, we employ the elliptic Hecke algebra with dynamical parameters as an intermediary.


title: Global well-posedness and large-time behavior of the compressible Navier-Stokes equations with hyperbolic heat conduction

abstract: The classical Fourier's law, which states that the heat flux is proportional to the temperature gradient, induces the paradox of infinite propagation speed for heat conduction. To accurately simulate the real physical process, the hyperbolic model of heat conduction named Cattaneo's law was proposed, which leads to the finite speed of heat propagation. A natural question is that whether the large-time behavior of the heat flux for compressible flow would be different for these two laws. In this paper, we aim to address this question by studying the global well-posedness and optimal time-decay rates of classical solutions to the compressible Navier-Stokes system with Cattaneo's law. By designing a new method, we obtain the optimal time-decay rates for the highest derivatives of the heat flux, which cannot be derived for the system with Fourier's law by Matsumura and Nishida [Proc. Japan Acad. Ser. A Math. Sci., 55(9):337-342, 1979]. In this sense, our results first reveal the essential differences between the two laws.


title: Computing the matrix exponential and the Cholesky factor of a related finite horizon Gramian

abstract: In this article, an efficient numerical method for computing finite-horizon controllability Gramians in Cholesky-factored form is proposed. The method is applicable to general dense matrices of moderate size and produces a Cholesky factor of the Gramian without computing the full product. In contrast to other methods applicable to this task, the proposed method is a generalization of the scaling-and-squaring approach for approximating the matrix exponential. It exploits a similar doubling formula for the Gramian, and thereby keeps the required computational effort modest. Most importantly, a rigorous backward error analysis is provided, which guarantees that the approximation is accurate to the round-off error level in double precision. This accuracy is illustrated in practice on a large number of standard test examples. The method has been implemented in the Julia package FiniteHorizonGramians.jl, which is available online under the MIT license. Code for reproducing the experimental results is included in this package, as well as code for determining the optimal method parameters. The analysis can thus easily be adapted to a different finite-precision arithmetic.


title: Well-posedness of diffusion-aggregation equations with bounded kernels and their mean-field approximations

abstract: The well-posedness and regularity properties of diffusion-aggregation equations, emerging from interacting particle systems, are established on the whole space for bounded interaction force kernels by utilizing a compactness convergence argument to treat the nonlinearity as well as a Moser iteration. Moreover, we prove a quantitative estimate in probability with arbitrary algebraic rate between the approximative interacting particle systems and the approximative McKean-Vlasov SDEs, which implies propagation of chaos for the interacting particle systems.


title: Completely mixed linear games and irreducibility concepts for Z-transformations over self-dual cones

abstract: In the setting of a self-dual cone in a finite-dimensional inner product space, we consider (zero-sum) linear games. In our previous work, we showed that a Z-transformation with positive value is completely mixed. The present paper considers the case when the value is zero. Motivated by the matrix game result that a Z-matrix with value zero is completely mixed if and only if it is irreducible, we formulate our general results based on the concepts of cone-irreducibility and space-irreducibility. While the concept of cone-irreducibility for a positive linear transformation is well-known, we introduce space-irreducibility for a general linear transformation by reformulating the irreducibility concept of Elsner. Our main result is that for a Z-transformation with value zero, space-irreducibility is necessary and sufficient for the completely mixed property. We also extend a recent result of Parthasarathy et al. on matrix games with value zero to the setting of a symmetric cone (in a Euclidean Jordan algebra). Additionally, we present a refined cone/space-irreducibility result for positive transformations on symmetric cones.


title: Dimension gap and variational principle for Anosov representations

abstract: We consider a representation of a finitely generated CAT(--K) group $\Gamma$ in SL(d, R) that is Zariski dense and k-Anosov for at least two values of k. We exhibit a gap for the Minkowski dimension of minimal sets for the action of $\Gamma$ on flags spaces. The proof uses a variational principle for the action on partial flags.


title: Searching for strong gravitational lenses

abstract: Strong gravitational lenses provide unique laboratories for cosmological and astrophysical investigations, but they must first be discovered - a task that can be met with significant contamination by other astrophysical objects and asterisms. Here we review strong lens searches, covering various sources (quasars, galaxies, supernovae, FRBs, GRBs, and GWs), lenses (early- and late-type galaxies, groups, and clusters), datasets (imaging, spectra, and lightcurves), and wavelengths. We first present the physical characteristics of the lens and source populations, highlighting relevant details for constructing targeted searches. Search techniques are described based on the main lensing feature that is required for the technique to work, namely one of: (i) an associated magnification, (ii) multiple spatially-resolved images, (iii) multiple redshifts, or (iv) a non-zero time delay between images. To use the current lens samples for science, and for the design of future searches, we list several selection biases that exist due to these discovery techniques. We conclude by discussing the future of lens searches in upcoming surveys and the new population of lenses that will be discovered.


title: Coercive Hamilton-Jacobi equations in domains: the twin blow-ups method

abstract: In this note, we consider an evolution coercive Hamilton-Jacobi equation posed in a domain and supplemented with a boundary condition. We are interested in proving a comparison principle in the case where the time and the (normal) gradient variables are strongly coupled at the boundary. We elaborate on a method introduced by P.-L. Lions and P. Souganidis (Atti Accad. Naz. Lincei, 2017) to extend their comparison principle to more general boundary conditions and to Hamiltonians that are not globally Lipschitz continuous in the time variable. Their argument relies on a single blow-up procedure after rescaling the semi-solutions to be compared. We refer to our technique as the twin blow-ups method since two blow-ups are performed simultaneously, one for each variable of the doubling variable method. The Lipschitz regularity of the regularized subsolution provides a key Lipschitz inequality satisfied by the two blow-up limits, that are a priori allowed to be infinite. For expository reasons, the result is presented here in the framework of space dimension one and the general case is treated in a companion paper.


title: EpiGeoPop: A Tool for Developing Spatially Accurate Country-level Epidemiological Models

abstract: Mathematical models play a crucial role in understanding the spread of infectious disease outbreaks and influencing policy decisions. These models aid pandemic preparedness by predicting outcomes under hypothetical scenarios and identifying weaknesses in existing frameworks. However, their accuracy, utility, and comparability are being scrutinized. Agent-based models (ABMs) have emerged as a valuable tool, capturing population heterogeneity and spatial effects, particularly when assessing intervention strategies. Here we present EpiGeoPop, a user-friendly tool for rapidly preparing spatially accurate population configurations of entire countries. EpiGeoPop helps to address the problem of complex and time-consuming model set up in ABMs, specifically improving the integration of spatial detail. We subsequently demonstrate the importance of accurate spatial detail in ABM simulations of disease outbreaks using Epiabm, an ABM based on Imperial College London's CovidSim with improved modularity, documentation and testing. Our investigation involves the interplay between population density, the implementation of spatial transmission, and realistic interventions implemented in Epiabm.


title: Ask Language Model to Clean Your Noisy Translation Data

abstract: Transformer models have demonstrated remarkable performance in neural machine translation (NMT). However, their vulnerability to noisy input poses a significant challenge in practical implementation, where generating clean output from noisy input is crucial. The MTNT dataset is widely used as a benchmark for evaluating the robustness of NMT models against noisy input. Nevertheless, its utility is limited due to the presence of noise in both the source and target sentences. To address this limitation, we focus on cleaning the noise from the target sentences in MTNT, making it more suitable as a benchmark for noise evaluation. Leveraging the capabilities of large language models (LLMs), we observe their impressive abilities in noise removal. For example, they can remove emojis while considering their semantic meaning. Additionally, we show that LLM can effectively rephrase slang, jargon, and profanities. The resulting datasets, called C-MTNT, exhibit significantly less noise in the target sentences while preserving the semantic integrity of the original sentences. Our human and GPT-4 evaluations also lead to a consistent conclusion that LLM performs well on this task. Lastly, experiments on C-MTNT showcased its effectiveness in evaluating the robustness of NMT models, highlighting the potential of advanced language models for data cleaning and emphasizing C-MTNT as a valuable resource.


title: Logarithmic Sobolev inequalities on homogeneous spaces

abstract: We consider sub-Riemannian manifolds which are homogeneous spaces equipped with a natural sub-Riemannian structure induced by a transitive action by a Lie group. In such a setting, the corresponding sub-Laplacian is not an elliptic but a hypoelliptic operator. We study logarithmic Sobolev inequalities with respect to the hypoelliptic heat kernel measure on such homogeneous spaces. We show that the logarithmic Sobolev constant can be chosen to depend only on the Lie group acting transitively on such a homogeneous space but the constant is independent of the action of its isotropy group. This approach allows us to track the dependence of the logarithmic Sobolev constant on the geometry of the underlying space, in particular we are able to show that the logarithmic Sobolev constants is independent of the dimension of the underlying spaces in several examples. We illustrate the results by considering the Grushin plane, non-isotropic Heisenberg groups, Heisenberg-like groups, Hopf fibration, $\operatorname{SO}(3)$, $\operatorname{SO}(4)$, and compact Heisenberg manifolds.


title: Neural domain alignment for spoken language recognition based on optimal transport

abstract: Domain shift poses a significant challenge in cross-domain spoken language recognition (SLR) by reducing its effectiveness. Unsupervised domain adaptation (UDA) algorithms have been explored to address domain shifts in SLR without relying on class labels in the target domain. One successful UDA approach focuses on learning domain-invariant representations to align feature distributions between domains. However, disregarding the class structure during the learning process of domain-invariant representations can result in over-alignment, negatively impacting the classification task. To overcome this limitation, we propose an optimal transport (OT)-based UDA algorithm for a cross-domain SLR, leveraging the distribution geometry structure-aware property of OT. An OT-based discrepancy measure on a joint distribution over feature and label information is considered during domain alignment in OT-based UDA. Our previous study discovered that completely aligning the distributions between the source and target domains can introduce a negative transfer, where classes or irrelevant classes from the source domain map to a different class in the target domain during distribution alignment. This negative transfer degrades the performance of the adaptive model. To mitigate this issue, we introduce coupling-weighted partial optimal transport (POT) within our UDA framework for SLR, where soft weighting on the OT coupling based on transport cost is adaptively set during domain alignment. A cross-domain SLR task was used in the experiments to evaluate the proposed UDA. The results demonstrated that our proposed UDA algorithm significantly improved the performance over existing UDA algorithms in a cross-channel SLR task.


title: Normal Subgroup Theorem for groups acting on $\tilde A_2$-buildings

abstract: Let $\Gamma$ be a group acting on with finite stabilizers and finite fundamental domain on a building of type $\tilde A_2$. We prove that any non-trivial normal subgroup of $\Gamma$ is of finite index in $\Gamma$.


title: Benchmarking Sequential Visual Input Reasoning and Prediction in Multimodal Large Language Models

abstract: Multimodal large language models (MLLMs) have shown great potential in perception and interpretation tasks, but their capabilities in predictive reasoning remain under-explored. To address this gap, we introduce a novel benchmark that assesses the predictive reasoning capabilities of MLLMs across diverse scenarios. Our benchmark targets three important domains: abstract pattern reasoning, human activity prediction, and physical interaction prediction. We further develop three evaluation methods powered by large language model to robustly quantify a model's performance in predicting and reasoning the future based on multi-visual context. Empirical experiments confirm the soundness of the proposed benchmark and evaluation methods via rigorous testing and reveal pros and cons of current popular MLLMs in the task of predictive reasoning. Lastly, our proposed benchmark provides a standardized evaluation framework for MLLMs and can facilitate the development of more advanced models that can reason and predict over complex long sequence of multimodal input.


title: An Analysis of $D^\alpha$ seeding for $k$-means

abstract: One of the most popular clustering algorithms is the celebrated $D^\alpha$ seeding algorithm (also know as $k$-means++ when $\alpha=2$) by Arthur and Vassilvitskii (2007), who showed that it guarantees in expectation an $O(2^{2\alpha}\cdot \log k)$-approximate solution to the ($k$,$\alpha$)-means cost (where euclidean distances are raised to the power $\alpha$) for any $\alpha\ge 1$. More recently, Balcan, Dick, and White (2018) observed experimentally that using $D^\alpha$ seeding with $\alpha>2$ can lead to a better solution with respect to the standard $k$-means objective (i.e. the $(k,2)$-means cost). In this paper, we provide a rigorous understanding of this phenomenon. For any $\alpha>2$, we show that $D^\alpha$ seeding guarantees in expectation an approximation factor of $$ O_\alpha \left((g_\alpha)^{2/\alpha}\cdot \left(\frac{\sigma_{\mathrm{max}}}{\sigma_{\mathrm{min}}}\right)^{2-4/\alpha}\cdot (\min\{\ell,\log k\})^{2/\alpha}\right)$$ with respect to the standard $k$-means cost of any underlying clustering; where $g_\alpha$ is a parameter capturing the concentration of the points in each cluster, $\sigma_{\mathrm{max}}$ and $\sigma_{\mathrm{min}}$ are the maximum and minimum standard deviation of the clusters around their means, and $\ell$ is the number of distinct mixing weights in the underlying clustering (after rounding them to the nearest power of $2$). We complement these results by some lower bounds showing that the dependency on $g_\alpha$ and $\sigma_{\mathrm{max}}/\sigma_{\mathrm{min}}$ is tight. Finally, we provide an experimental confirmation of the effects of the aforementioned parameters when using $D^\alpha$ seeding. Further, we corroborate the observation that $\alpha>2$ can indeed improve the $k$-means cost compared to $D^2$ seeding, and that this advantage remains even if we run Lloyd's algorithm after the seeding.


title: Magnetization of Flat Superconducting Films on Ferromagnetic Substrates

abstract: Ferromagnetic substrate influences the electromagnetic response of a type-II superconducting film to the applied magnetic field. We present a two-dimensional integrodifferential model for the magnetization of a flat superconductor/ferromagnet bilayer of an arbitrary shape using a thin shell quasistatic model for the ferromagnetic substrate and an infinitely thin approximation for the superconducting layer. An efficient numerical method is developed and used to investigate the effect of a ferromagnetic substrate. In particular, we simulate the thin bilayer magnetization in a parallel field and, for a high field, the critical-state distributions of the superconducting current density. These critical-state distributions are different from those known for a normal external field.


title: Pseudo-scalar meson spectral properties in the chiral crossover region of QCD

abstract: Determining the type of excitations that can exist in a thermal medium is key to understanding how hadronic matter behaves at extreme temperatures. In this work we study this question for pseudo-scalar mesons comprised of light-strange and strange-strange quarks, analysing how their low-energy spectral properties are modified as one passes through the high-temperature chiral crossover region between $T=145.6 \, \text{MeV}$ and $172.3 \, \text{MeV}$. We utilise the non-perturbative constraints satisfied by correlation functions at finite temperature in order to extract the low-energy meson spectral function contributions from spatial correlator lattice data in $N_{f}=2+1$ flavour QCD. The robustness of these contributions are tested by comparing their predictions with data for the corresponding temporal correlator at different momentum values. We find that around the pseudo-critical temperature $T_{\text{pc}}$ the data in both the light-strange and strange-strange channels is consistent with the presence of a distinct stable particle-like ground state component, a so-called thermoparticle excitation. As the temperature increases this excitation undergoes collisional broadening, and this is qualitatively the same in both channels. These findings suggest that pseudo-scalar mesons in QCD have a bound-state-like structure at low energies within the chiral crossover region which is still strongly influenced by the vacuum states of the theory.


title: Design of low-dimensional controllers for high-dimensional systems

abstract: This article presents proposals for the design of reduced-order controllers for high-dimensional dynamical systems. The objective is to develop efficient control strategies that ensure stability and robustness with reduced computational complexity. By leveraging the concept of partial pole placement, which involves placing a subset of the closed-loop system's poles, this study aims to strike a balance between reduced-order modeling and control effectiveness. The proposed approach not only addresses the challenges posed by high-dimensional systems but also provides a systematic framework for controller design. When an infinite-dimensional operator is Riesz spectral, our theoretical analysis highlights the potential of partial pole placement in advancing control design. Model uncertainties, introduced by an error on the spectral decomposition, can also be allowed. This is illustrated in particular in the case of systems modeled by coupled ordinary-partial differential equations (ODE-PDE).


title: Statistical depth and support medians for fuzzy data

abstract: Statistical depth functions order the elements of a space with respect to their centrality in a probability distribution or dataset. Since many depth functions are maximized in the real line by the median, they provide a natural approach to defining median-like location estimators for more general types of data (in our case, fuzzy data). We analyze the relationships between depth-based medians, medians based on the support function, and some notions of a median for fuzzy data in the literature. We take advantage of specific depth functions for fuzzy data defined in our former papers: adaptations of Tukey depth, simplicial depth, $L^1$-depth and projection depth.


title: Segment, Select, Correct: A Framework for Weakly-Supervised Referring Segmentation

abstract: Referring Image Segmentation (RIS) - the problem of identifying objects in images through natural language sentences - is a challenging task currently mostly solved through supervised learning. However, while collecting referred annotation masks is a time-consuming process, the few existing weakly-supervised and zero-shot approaches fall significantly short in performance compared to fully-supervised learning ones. To bridge the performance gap without mask annotations, we propose a novel weakly-supervised framework that tackles RIS by decomposing it into three steps: obtaining instance masks for the object mentioned in the referencing instruction (segment), using zero-shot learning to select a potentially correct mask for the given instruction (select), and bootstrapping a model which allows for fixing the mistakes of zero-shot selection (correct). In our experiments, using only the first two steps (zero-shot segment and select) outperforms other zero-shot baselines by as much as 19%, while our full method improves upon this much stronger baseline and sets the new state-of-the-art for weakly-supervised RIS, reducing the gap between the weakly-supervised and fully-supervised methods in some cases from around 33% to as little as 14%. Code is available at https://github.com/fgirbal/segment-select-correct.


title: Personalized identification, prediction, and stimulation of neural oscillations via data-driven models of epileptic network dynamics

abstract: Neural oscillations are considered to be brain-specific signatures of information processing and communication in the brain. They also reflect pathological brain activity in neurological disorders, thus offering a basis for diagnoses and forecasting. Epilepsy is one of the most common neurological disorders, characterized by abnormal synchronization and desynchronization of the oscillations in the brain. About one third of epilepsy cases are pharmacoresistant, and as such emphasize the need for novel therapy approaches, where brain stimulation appears to be a promising therapeutic option. The development of brain stimulation paradigms, however, is often based on generalized assumptions about brain dynamics, although it is known that significant differences occur between patients and brain states. We developed a framework to extract individualized predictive models of epileptic network dynamics directly from EEG data. The models are based on the dominant coherent oscillations and their dynamical coupling, thus combining an established interpretation of dynamics through neural oscillations, with accurate patient-specific features. We show that it is possible to build a direct correspondence between the models of brain-network dynamics under periodic driving, and the mechanism of neural entrainment via periodic stimulation. When our framework is applied to EEG recordings of patients in status epilepticus (a brain state of perpetual seizure activity), it yields a model-driven predictive analysis of the therapeutic performance of periodic brain stimulation. This suggests that periodic brain stimulation can drive pathological states of epileptic network dynamics towards a healthy functional brain state.

categories: q-bio.NC cs.LG nlin.AO physics.med-ph q-bio.QM


title: A review of individual tree crown detection and delineation from optical remote sensing images

abstract: Powered by the advances of optical remote sensing sensors, the production of very high spatial resolution multispectral images provides great potential for achieving cost-efficient and high-accuracy forest inventory and analysis in an automated way. Lots of studies that aim at providing an inventory to the level of each individual tree have generated a variety of methods for Individual Tree Crown Detection and Delineation (ITCD). This review covers ITCD methods for detecting and delineating individual tree crowns, and systematically reviews the past and present of ITCD-related researches applied to the optical remote sensing images. With the goal to provide a clear knowledge map of existing ITCD efforts, we conduct a comprehensive review of recent ITCD papers to build a meta-data analysis, including the algorithm, the study site, the tree species, the sensor type, the evaluation method, etc. We categorize the reviewed methods into three classes: (1) traditional image processing methods (such as local maximum filtering, image segmentation, etc.); (2) traditional machine learning methods (such as random forest, decision tree, etc.); and (3) deep learning based methods. With the deep learning-oriented approaches contributing a majority of the papers, we further discuss the deep learning-based methods as semantic segmentation and object detection methods. In addition, we discuss four ITCD-related issues to further comprehend the ITCD domain using optical remote sensing data, such as comparisons between multi-sensor based data and optical data in ITCD domain, comparisons among different algorithms and different ITCD tasks, etc. Finally, this review proposes some ITCD-related applications and a few exciting prospects and potential hot topics in future ITCD research.


title: HSVRS: A Virtual Reality System of the Hide-and-Seek Game to Enhance Gaze Fixation Ability for Autistic Children

abstract: Numerous children diagnosed with Autism Spectrum Disorder (ASD) exhibit abnormal eye gaze pattern in communication and social interaction. Due to the high cost of ASD interventions and a shortage of professional therapists, researchers have explored the use of virtual reality (VR) systems as a supplementary intervention for autistic children. This paper presents the design of a novel VR-based system called the Hide and Seek Virtual Reality System (HSVRS). The HSVRS allows children with ASD to enhance their ocular gaze abilities while engaging in a hide-and-seek game with a virtual avatar. By employing face and voice manipulation technology, the HSVRS provides the option to customize the appearance and voice of the avatar, making it resemble someone familiar to the child, such as their parents. We conducted a pilot study at the Third Affiliated Hospital of Sun Yat-sen University, China, to evaluate the feasibility of HSVRS as an auxiliary intervention for children with autism (N=24). Through the analysis of subjective questionnaires completed by the participants' parents and objective eye gaze data, we observed that children in the VR-assisted intervention group demonstrated better performance compared to those in the control group. Furthermore, our findings indicate that the utilization of face and voice manipulation techniques to personalize avatars in hide-and-seek games can enhance the efficiency and effectiveness of the system.


title: Application of deep learning for livestock behaviour recognition: A systematic literature review

abstract: Livestock health and welfare monitoring has traditionally been a labor-intensive task performed manually. Recent advances have led to the adoption of AI and computer vision techniques, particularly deep learning models, as decision-making tools within the livestock industry. These models have been employed for tasks like animal identification, tracking, body part recognition, and species classification. In the past decade, there has been a growing interest in using these models to explore the connection between livestock behaviour and health issues. While previous review studies have been rather generic, there is currently no review study specifically focusing on DL for livestock behaviour recognition. Hence, this systematic literature review (SLR) was conducted. The SLR involved an initial search across electronic databases, resulting in 1101 publications. After applying defined selection criteria, 126 publications were shortlisted. These publications were further filtered based on quality criteria, resulting in the selection of 44 high-quality primary studies. These studies were analysed to address the research questions. The results showed that DL successfully addressed 13 behaviour recognition problems encompassing 44 different behaviour classes. A variety of DL models and networks were employed, with CNN, Faster R-CNN, YOLOv5, and YOLOv4 being among the most common models, and VGG16, CSPDarknet53, GoogLeNet, ResNet101, and ResNet50 being popular networks. Performance evaluation involved ten different matrices, with precision and accuracy being the most frequently used. Primary studies identified challenges, including occlusion, adhesion, data imbalance, and the complexities of the livestock environment. The SLR study also discussed potential solutions and research directions to facilitate the development of autonomous livestock behaviour recognition systems.


title: Entanglement and coherence in pure and doped Posner molecules

abstract: The potential role of spin in biological systems is a primary topic in quantum biology. However, much of this research focuses on electron spin. A recent hypothesis suggests that nuclear spin may be better suited to biological processes, being less sensitive to decoherence. The hypothesis details how phosphorus nuclei might be prepared in a spin-entangled state, how this entanglement is protected by assembly into calcium phosphate (Posner) molecules, and how this entanglement might modulate calcium ion production and concomitant neural activation. In this paper, we investigate the robustness of quantum effects such as coherence and entanglement in Posner molecules. We investigate how these effects are directly dependent on specific parameters such as spin-spin coupling strengths and Posner molecule symmetry. We also investigate how lithium isotope-doped Posner molecules differentially modulate quantum resources such as coherence and entanglement and whether this is a viable explanation for lithium's mechanism of action in bipolar disease. Finally, we illustrate how entanglement might possibly be preserved through the exploitation of the biological environment.


title: Towards nanophotonic optical isolation via inverse design of energy transfer in non-reciprocal media

abstract: In this work we generalise the adjoint method of inverse design to nonreciprocal media. As a test case, we use three-dimensional topology optimization via the level-set method to optimise one-way energy transfer for point-like source and observation points. To achieve this we introduce a suite of tools, chiefly what we term the `Faraday-adjoint' method which allows for efficient shape optimization in the presence of magneto-optical media. We carry out an optimization based on a very general equation that we derive for energy transfer in a nonreciprocal medium, and link finite-different time-domain numerics to analytics via a modified Born series generalised to a tensor permittivity. This work represents a stepping stone towards practical nanophotonic optical isolation, often regarded as the `holy grail' of integrated photonics.


title: Mind the instructions: a holistic evaluation of consistency and interactions in prompt-based learning

abstract: Finding the best way of adapting pre-trained language models to a task is a big challenge in current NLP. Just like the previous generation of task-tuned models (TT), models that are adapted to tasks via in-context-learning (ICL) are robust in some setups but not in others. Here, we present a detailed analysis of which design choices cause instabilities and inconsistencies in LLM predictions. First, we show how spurious correlations between input distributions and labels -- a known issue in TT models -- form only a minor problem for prompted models. Then, we engage in a systematic, holistic evaluation of different factors that have been found to influence predictions in a prompting setup. We test all possible combinations of a range of factors on both vanilla and instruction-tuned (IT) LLMs of different scale and statistically analyse the results to show which factors are the most influential, interactive or stable. Our results show which factors can be used without precautions and which should be avoided or handled with care in most settings.


title: Two-stage weighted least squares estimator of multivariate discrete-valued observation-driven models

abstract: In this work a general semi-parametric multivariate model where the first two conditional moments are assumed to be multivariate time series is introduced. The focus of the estimation is the conditional mean parameter vector for discrete-valued distributions. Quasi-Maximum Likelihood Estimators (QMLEs) based on the linear exponential family are typically employed for such estimation problems when the true multivariate conditional probability distribution is unknown or too complex. Although QMLEs provide consistent estimates they may be inefficient. In this paper novel two-stage Multivariate Weighted Least Square Estimators (MWLSEs) are introduced which enjoy the same consistency property as the QMLEs but can provide improved efficiency with suitable choice of the covariance matrix of the observations. The proposed method allows for a more accurate estimation of model parameters in particular for count and categorical data when maximum likelihood estimation is unfeasible. Moreover, consistency and asymptotic normality of MWLSEs are derived. The estimation performance of QMLEs and MWLSEs is compared through simulation experiments and a real data application, showing superior accuracy of the proposed methodology.


title: Discontinuous phase transition from ferromagnetic to oscillating states in a nonequilibrium mean-field spin model

abstract: We study a nonequilibrium ferromagnetic mean-field spin model exhibiting a phase with spontaneous temporal oscillations of the magnetization, on top of the usual paramagnetic and ferromagnetic phases. This behavior is obtained by introducing dynamic field variables coupled to the spins through non-reciprocal couplings. We determine a nonequilibrium generalization of the Landau free energy in terms of the large deviation function of the magnetization and of an appropriately defined smoothed stochastic time derivative of the magnetization. While the transition between paramagnetic and oscillating phase is continuous, the transition between ferromagnetic and oscillating phases is found to be discontinuous, with a coexistence of both phases, one being stable and the other one metastable. Depending on parameter values, the ferromagnetic points may either be inside or outside the limit cycle, leading to different transition scenarios. The stability of these steady states is determined from the large deviation function. We also show that in the coexistence region, the entropy production has a pronounced maximum as a function of system size.


title: Maser Investigation toward Off-Plane Stars (MIOPS): detection of SiO masers in the Galactic thick disk and halo

abstract: Studying stars that are located off the Galactic plane is important for understanding the formation history of the Milky Way. We searched for SiO masers toward off-plane O-rich asymptotic giant branch (AGB) stars from the catalog presented by Mauron et al. (2019) in order to shed light on the origin of these objects. A total of 102 stars were observed in the SiO $J$=1-0, $v=1$ and 2 transitions with the Effelsberg-100 m and Tianma-65 m telescopes. SiO masers were discovered in eight stars, all first detections. The measured maser velocities allow the first estimates of the host AGB stars' radial velocities. We find that the radial velocities of three stars (namely G068.881-24.615, G070.384-24.886, and G084.453-21.863) significantly deviate from the values expected from Galactic circular motion. The updated distances and 3D motions indicate that G068.881$-$24.615 is likely located in the Galactic halo, while G160.648-08.846 is probably located in the Galactic thin disk, and the other six stars are probably part of the Galactic thick disk.


title: Feature Selection and Hyperparameter Fine-tuning in Artificial Neural Networks for Wood Quality Classification

abstract: Quality classification of wood boards is an essential task in the sawmill industry, which is still usually performed by human operators in small to median companies in developing countries. Machine learning algorithms have been successfully employed to investigate the problem, offering a more affordable alternative compared to other solutions. However, such approaches usually present some drawbacks regarding the proper selection of their hyperparameters. Moreover, the models are susceptible to the features extracted from wood board images, which influence the induction of the model and, consequently, its generalization power. Therefore, in this paper, we investigate the problem of simultaneously tuning the hyperparameters of an artificial neural network (ANN) as well as selecting a subset of characteristics that better describes the wood board quality. Experiments were conducted over a private dataset composed of images obtained from a sawmill industry and described using different feature descriptors. The predictive performance of the model was compared against five baseline methods as well as a random search, performing either ANN hyperparameter tuning and feature selection. Experimental results suggest that hyperparameters should be adjusted according to the feature set, or the features should be selected considering the hyperparameter values. In summary, the best predictive performance, i.e., a balanced accuracy of $0.80$, was achieved in two distinct scenarios: (i) performing only feature selection, and (ii) performing both tasks concomitantly. Thus, we suggest that at least one of the two approaches should be considered in the context of industrial applications.


title: HTS Dynamo Flux Pump: The Impact of a Ferromagnetic Stator Substrate

abstract: HTS dynamo magnetic flux pumps are perspective devices for contactless charging the superconductor magnets and coils. In this work, we investigate the influence of a ferromagnetic substrate of a coated conductor used as the pump stator. We use the thin shell model of a coated conductor with a ferromagnetic substrate and show that such a conductor increases the pump-generated voltage if the superconducting layer is between the rotor and the substrate. Chebyshev spectral method is employed for numerical solution. Using simulation results for problems with a given transport current we also derive a simple analytical description for feeding a current to a coil.


title: A cosmological sandwiched window for lepton-number breaking scale

abstract: A singlet majoron can arise from the seesaw framework as a pseudo-Goldstone boson when the heavy Majorana neutrinos acquire masses via the spontaneous breaking of global ${\rm U}(1)_L$ symmetry. The resulting cosmological impacts are usually derived from the effective majoron-neutrino interaction, and the majoron abundance is accumulated through the freeze-in neutrino coalescence. However, a primordial majoron abundance can be predicted in a minimal setup and lead to distinctive cosmological effects. In this work, we consider such a primordial majoron abundance from relativistic freeze-out and calculate the modification to the effective neutrino number $N_{\rm eff}$. We demonstrate that the measurements of $N_{\rm eff}$ will constrain the parameter space from a primordial majoron abundance in an opposite direction to that from neutrino coalescence. When the contributions from both the primordial abundance and the freeze-in production coexist, the ${\rm U}(1)_L$-breaking scale (seesaw scale) $f$ will be pushed into a ''sandwiched window''. Remarkably, for majoron masses below 1 MeV and above the eV scale, the future CMB-S4 experiment will completely close such a low-scale seesaw window for $f\in [1,10^5]~{\rm GeV}$. We highlight that any new light particle with a primordial abundance that couples to SM particles may lead to a similar sandwiched window, and such a general phenomenon deserves careful investigation.


title: Cycle decompositions of cartesian products of two cycles

abstract: We say a graph $H$ decomposes a graph $G$ if there exists a partition of the edges of $G$ into subgraphs isomorphic to $H$. We seek to characterize necessary and sufficient conditions for a cycle of length $k$, denoted $C_k$, to decompose the Cartesian product of two cycles $C_m ~\square~ C_n$. We prove that if $m$ is a multiple of 3, then the Cartesian product of a cycle $C_m$ and any other cycle can be decomposed into 3 cycles of equal length. This extends work of Kotzig, who proved in 1973 that the Cartesian product of two cycles can always be decomposed into two cycles of equal length. We also show that if $k$, $m$, and $n$ are positive, and $k$ divides $4mn$ then $C_{4k}$ decomposes $C_{4m} ~\square~ C_{4n}$.


title: Enhancing the Global/Local Coupling Method: An Asynchronous Parallel Framework

abstract: A novel approach is being developed to introduce a parallel asynchronous implementation of non-intrusive global-local coupling. This study examines scenarios involving numerous patches, including those covering the entire structure. By leveraging asynchronous, the method aims to minimize reliance on communication, handle failures effectively, and address load imbalances. Detailed insights into the methodology are presented, accompanied by a demonstration of its performance through an academic case study.


title: On flag-no-square $4$-manifolds

abstract: Which $4$-manifolds admit a flag-no-square (fns) triangulation? We introduce the "star-connected-sum" operation on such triangulations, which preserves the fns property, from which we derive new constructions of fns $4$-manifolds. In particular, we show the following: (i) there exist non-aspherical fns $4$-manifolds, answering in the negative a question by Przytycki and Swiatkowski; (ii) for every large enough integer $k$ there exists a fns $4$-manifold $M_{2k}$ of Euler characteristic $2k$, and further, (iii) $M_{2k}$ admits a super-exponential number (in $k$) of fns triangulations - at least $2^{\Omega(k \log k)}$ and at most $2^{O(k^{1.5} \log k)}$.


title: Masses, Revised Radii, and a Third Planet Candidate in the "Inverted" Planetary System Around TOI-1266

abstract: Is the population of close-in planets orbiting M dwarfs sculpted by thermally driven escape or is it a direct outcome of the planet formation process? A number of recent empirical results strongly suggest the latter. However, the unique architecture of the TOI-1266 system presents a challenge to models of planet formation and atmospheric escape given its seemingly "inverted" architecture of a large sub-Neptune ($P_b=10.9$ days, $R_{p,b}=2.62\pm 0.11\, \mathrm{R}_{\oplus}$) orbiting interior to that of the system's smaller planet ($P_c=18.8$ days, $R_{p,c}=2.13\pm 0.12\, \mathrm{R}_{\oplus}$). Here we present revised planetary radii based on new TESS and diffuser-assisted ground-based transit observations, and characterize both planetary masses using a set of 145 radial velocity measurements from HARPS-N ($M_{p,b}=4.23\pm 0.69\, \mathrm{M}_{\oplus}, M_{p,c}=2.88\pm 0.80\, \mathrm{M}_{\oplus}$). Our analysis also reveals a third planet candidate ($P_d=32.3$ days, $M_{p,d}\sin{i} = 4.59^{+0.96}_{-0.94}\, \mathrm{M}_{\oplus}$), which if real, would form a chain of near 5:3 period ratios, although the system is likely not in a mean motion resonance. Our results indicate that TOI-1266 b and c are among the lowest density sub-Neptunes around M dwarfs and likely exhibit distinct bulk compositions of a gas-enveloped terrestrial ($X_{\mathrm{env},b}=5.5\pm 0.7$%) and a water-rich world (WMF$_c=59\pm 14$%), which is supported by hydrodynamic escape models. If distinct bulk compositions are confirmed through atmospheric characterization, the system's unique architecture would represent an interesting test case of inside-out sub-Neptune formation at pebble traps.


title: Improved global well-posedness for the quartic Korteweg-de Vries equation

abstract: We prove that the quartic Korteweg-de Vries equation is globally well-posed for real-valued initial data in $H^s(\mathbb{R})$, $s>-1/24$.


title: Checking History-Determinism is NP-hard for Parity Automata

abstract: We show that the problem of checking if a given nondeterministic parity automaton simulates another given nondeterministic parity automaton is NP-hard. We then adapt the techniques used for this result to show that the problem of checking history-determinism for a given parity automaton is NP-hard. This is an improvement from Kuperberg and Skrzypczak's previous lower bound of solving parity games from 2015. We also show that deciding if Eve wins the one-token game or the two-token game of a given parity automaton is NP-hard. Finally, we show that the problem of deciding if the language of a nondeterministic parity automaton is contained in the language of a history-deterministic parity automaton can be solved in quasi-polynomial time.


title: DistillCSE: Distilled Contrastive Learning for Sentence Embeddings

abstract: This paper proposes the DistillCSE framework, which performs contrastive learning under the self-training paradigm with knowledge distillation. The potential advantage of DistillCSE is its self-enhancing feature: using a base model to provide additional supervision signals, a stronger model may be learned through knowledge distillation. However, the vanilla DistillCSE through the standard implementation of knowledge distillation only achieves marginal improvements due to severe overfitting. The further quantitative analyses demonstrate the reason that the standard knowledge distillation exhibits a relatively large variance of the teacher model's logits due to the essence of contrastive learning. To mitigate the issue induced by high variance, this paper accordingly proposed two simple yet effective solutions for knowledge distillation: a Group-P shuffling strategy as an implicit regularization and the averaging logits from multiple teacher components. Experiments on standard benchmarks demonstrate that the proposed DistillCSE outperforms many strong baseline methods and yields a new state-of-the-art performance.


title: Analogical Proportions and Creativity: A Preliminary Study

abstract: Analogical proportions are statements of the form "$a$ is to $b$ as $c$ is to $d$", which expresses that the comparisons of the elements in pair $(a, b)$ and in pair $(c, d)$ yield similar results. Analogical proportions are creative in the sense that given 3 distinct items, the representation of a 4th item $d$, distinct from the previous items, which forms an analogical proportion with them can be calculated, provided certain conditions are met. After providing an introduction to analogical proportions and their properties, the paper reports the results of an experiment made with a database of animal descriptions and their class, where we try to "create" new animals from existing ones, retrieving rare animals such as platypus. We perform a series of experiments using word embeddings as well as Boolean features in order to propose novel animals based on analogical proportions, showing that word embeddings obtain better results.


title: Relativistic electrons coupled with Newtonian nuclear dynamics

abstract: We consider a model consisting of differential equations coupling the time evolution of a finite number of relativistic electrons with the Newtonian dynamics of finitely many nuclei, where the former is described by the Bogoliubov-Dirac-Fock (BDF) equation of quantum electrodynamics (QED). The Cauchy problem for this model is addressed, proving a global well-posedness result. We believe that this system can be seen as a first step in the study of molecular dynamics phenomena, when both relativistic and quantum effects have to be taken into account.


title: On Grothendieck and Brenner-Schr\"oer Proj construction

abstract: This is a short note about Grothendieck and Brenner-Schr\"oer Proj construction.


title: Dually weighted multi-matrix models as a path to causal gravity-matter systems

abstract: We introduce a dually-weighted multi-matrix model that for a suitable choice of weights reproduce two-dimensional Causal Dynamical Triangulations (CDT) coupled to the Ising model. When Ising degrees of freedom are removed, this model corresponds to the CDT-matrix model introduced by Benedetti and Henson [Phys. Lett. B 678, 222 (2009)]. We present exact as well as approximate results for the Gaussian averages of characters of a Hermitian matrix $A$ and $A^2$ for a given representation and establish the present limitations that prevent us to solve the model analytically. This sets the stage for the formulation of more sophisticated matter models coupled to two-dimensional CDT as dually weighted multi-matrix models providing a complementary view to the standard simplicial formulation of CDT-matter models.


title: Integer flows on triangularly connected signed graphs

abstract: A triangle-path in a graph $G$ is a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in $G$ such that for any $i, j$ with $1\leq i < j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j > i+1$. A connected graph $G$ is triangularly connected if for any two nonparallel edges $e$ and $e'$ there is a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and $e'\in E(T_m)$. For ordinary graphs, Fan {\it et al.}~(J. Combin. Theory Ser. B 98 (2008) 1325-1336) characterize all triangularly connected graphs that admit nowhere-zero $3$-flows or $4$-flows. Corollaries of this result include integer flow of some families of ordinary graphs, such as, locally connected graphs due to Lai (J. Graph Theory 42 (2003) 211-219) and some types of products of graphs due to Imrich et al.(J. Graph Theory 64 (2010) 267-276). In this paper, Fan's result for triangularly connected graphs is further extended to signed graphs. We proved that every flow-admissible triangularly connected signed graph admits a nowhere-zero $4$-flow if and only if it is not the wheel $W_5$ associated with a specific signature. Moreover, this result is sharp since there are infinitely many unbalanced triangularly connected signed graphs admitting a nowhere-zero $4$-flow but not $3$-flow.


title: Robust Training for Conversational Question Answering Models with Reinforced Reformulation Generation

abstract: Models for conversational question answering (ConvQA) over knowledge graphs (KGs) are usually trained and tested on benchmarks of gold QA pairs. This implies that training is limited to surface forms seen in the respective datasets, and evaluation is on a small set of held-out questions. Through our proposed framework REIGN, we take several steps to remedy this restricted learning setup. First, we systematically generate reformulations of training questions to increase robustness of models to surface form variations. This is a particularly challenging problem, given the incomplete nature of such questions. Second, we guide ConvQA models towards higher performance by feeding it only those reformulations that help improve their answering quality, using deep reinforcement learning. Third, we demonstrate the viability of training major model components on one benchmark and applying them zero-shot to another. Finally, for a rigorous evaluation of robustness for trained models, we use and release large numbers of diverse reformulations generated by prompting GPT for benchmark test sets (resulting in 20x increase in sizes). Our findings show that ConvQA models with robust training via reformulations, significantly outperform those with standard training from gold QA pairs only.


title: Explaining Interactions Between Text Spans

abstract: Reasoning over spans of tokens from different parts of the input is essential for natural language understanding (NLU) tasks such as fact-checking (FC), machine reading comprehension (MRC) or natural language inference (NLI). However, existing highlight-based explanations primarily focus on identifying individual important tokens or interactions only between adjacent tokens or tuples of tokens. Most notably, there is a lack of annotations capturing the human decision-making process w.r.t. the necessary interactions for informed decision-making in such tasks. To bridge this gap, we introduce SpanEx, a multi-annotator dataset of human span interaction explanations for two NLU tasks: NLI and FC. We then investigate the decision-making processes of multiple fine-tuned large language models in terms of the employed connections between spans in separate parts of the input and compare them to the human reasoning processes. Finally, we present a novel community detection based unsupervised method to extract such interaction explanations from a model's inner workings.


title: Matsumoto theorem for skeleta

abstract: We present a proof of a generalization of the theorem of H.~Matsumoto on Coxeter groups. Our generalized version is applicable to "graphs admitting geometric realization". The original version of the theorem for Coxeter groups is a special case when applied to the Cayley graph and the geometric representation of a Coxeter group. Our version of Matsumoto theorem is also applicable to skeleta, graphs that were defined in the recent paper by the authors on root Lie superalgebras.


title: Social Robot Mediator for Multiparty Interaction

abstract: A social robot acting as a 'mediator' can enhance interactions between humans, for example, in fields such as education and healthcare. A particularly promising area of research is the use of a social robot mediator in a multiparty setting, which tends to be the most applicable in real-world scenarios. However, research in social robot mediation for multiparty interactions is still emerging and faces numerous challenges. This paper provides an overview of social robotics and mediation research by highlighting relevant literature and some of the ongoing problems. The importance of incorporating relevant psychological principles for developing social robot mediators is also presented. Additionally, the potential of implementing a Theory of Mind in a social robot mediator is explored, given how such a framework could greatly improve mediation by reading the individual and group mental states to interact effectively.


title: The index of certain nonic number fields defined by $x^9+ax^2+b$

abstract: In this paper, for any nonic number field $K$ defined by a monic irreducible trinomial $F(x)=x^9+ax^2+b \in \mathbb{Z}[x]$, we calculate $\nu_p(i(K))$ for every rational prime $p$. In particular, we characterize the index $i(K)$ of this family of number fields. As an application of our results, if $i(K)\neq1$, then $K$ is not monogenic. We illustrate our results by some computational examples.


title: Beyond power density: unexpected scaling laws in scale up of characterization of reverse-electro-dialysis membranes

abstract: Blue energy represents a large reservoir of renewable osmotic energy that can be converted into electricity by reverse electrodialysis (RED). This method is based on ion-exchange membrane. Before large scale production, these membranes are compared on very small samples on the basis of the power they enable to produce per unit area. Through a systematic study of the effect of the membrane size on the power density, we show experimentally that for classical measurement cells, the power density strongly varies with the size of the membrane: the smaller the membrane, the higher the power density. The results are explained by a theoretical modeling which describes the effect of the access resistance at the scale of the membrane. Based on this work, a few recommendations are formulated to perform scalable and meaningful measurements of membrane resistance and power density.


title: Dynamic Realized Minimum Variance Portfolio Models

abstract: This paper introduces a dynamic minimum variance portfolio (MVP) model using nonlinear volatility dynamic models, based on high-frequency financial data. Specifically, we impose an autoregressive dynamic structure on MVP processes, which helps capture the MVP dynamics directly. To evaluate the dynamic MVP model, we estimate the inverse volatility matrix using the constrained $\ell_1$-minimization for inverse matrix estimation (CLIME) and calculate daily realized non-normalized MVP weights. Based on the realized non-normalized MVP weight estimator, we propose the dynamic MVP model, which we call the dynamic realized minimum variance portfolio (DR-MVP) model. To estimate a large number of parameters, we employ the least absolute shrinkage and selection operator (LASSO) and predict the future MVP and establish its asymptotic properties. Using high-frequency trading data, we apply the proposed method to MVP prediction.


title: Improving Question Generation with Multi-level Content Planning

abstract: This paper addresses the problem of generating questions from a given context and an answer, specifically focusing on questions that require multi-hop reasoning across an extended context. Previous studies have suggested that key phrase selection is essential for question generation (QG), yet it is still challenging to connect such disjointed phrases into meaningful questions, particularly for long context. To mitigate this issue, we propose MultiFactor, a novel QG framework based on multi-level content planning. Specifically, MultiFactor includes two components: FA-model, which simultaneously selects key phrases and generates full answers, and Q-model which takes the generated full answer as an additional input to generate questions. Here, full answer generation is introduced to connect the short answer with the selected key phrases, thus forming an answer-aware summary to facilitate QG. Both FA-model and Q-model are formalized as simple-yet-effective Phrase-Enhanced Transformers, our joint model for phrase selection and text generation. Experimental results show that our method outperforms strong baselines on two popular QG datasets. Our code is available at https://github.com/zeaver/MultiFactor.


title: Exploring the Potential of Flexible 8-bit Format: Design and Algorithm

abstract: Neural network quantization is widely used to reduce model inference complexity in real-world deployments. However, traditional integer quantization suffers from accuracy degradation when adapting to various dynamic ranges. Recent research has focused on a new 8-bit format, FP8, with hardware support for both training and inference of neural networks but lacks guidance for hardware design. In this paper, we analyze the benefits of using FP8 quantization and provide a comprehensive comparison of FP8 with INT quantization. Then we propose a flexible mixed-precision quantization framework that supports various number systems, enabling optimal selection of the most appropriate quantization format for different neural network architectures. Experimental results demonstrate that our proposed framework achieves competitive performance compared to full precision on various tasks, including image classification, object detection, segmentation, and natural language understanding. Our work furnishes critical insights into the tangible benefits and feasibility of employing FP8 quantization, paving the way for heightened neural network efficiency in tangible scenarios. Our code is available in the supplementary material.


title: Eat, Sleep, Code, Repeat: Tips for Early-Career Researchers in Computational Science

abstract: This article is intended as a guide for new graduate students in the field of computational science. With the increasing influx of students from diverse backgrounds joining the ever-popular field, this short guide aims to help students navigate through the various computational techniques that they are likely to encounter during their studies. These techniques span from Bash scripting and scientific programming to machine learning, among other areas. This paper is divided into ten sections, each introducing a different computational method. To enhance readability, we have adopted a casual and instructive tone, and included code snippets where relevant. Please note that due to the introductory nature of this article, it is not intended to be exhaustive; instead, we direct readers to a list of references to expand their knowledge of the techniques discussed within the paper. It is likely that this article will continue to evolve with time, and as such, we advise readers to seek the latest version. Finally, readers should note this article serves as an extension to our student-led seminar series, with additional resources and videos available at \url{https://computationaltoolkit.github.io/} for reference.


title: RaceLens: A Machine Intelligence-Based Application for Racing Photo Analysis

abstract: This paper presents RaceLens, a novel application utilizing advanced deep learning and computer vision models for comprehensive analysis of racing photos. The developed models have demonstrated their efficiency in a wide array of tasks, including detecting racing cars, recognizing car numbers, detecting and quantifying car details, and recognizing car orientations. We discuss the process of collecting a robust dataset necessary for training our models, and describe an approach we have designed to augment and improve this dataset continually. Our method leverages a feedback loop for continuous model improvement, thus enhancing the performance and accuracy of RaceLens over time. A significant part of our study is dedicated to illustrating the practical application of RaceLens, focusing on its successful deployment by NASCAR teams over four seasons. We provide a comprehensive evaluation of our system's performance and its direct impact on the team's strategic decisions and performance metrics. The results underscore the transformative potential of machine intelligence in the competitive and dynamic world of car racing, setting a precedent for future applications.


title: An updated and improved thermal SZ $y$-map from Planck PR4 data

abstract: In 2015, the Planck Collaboration released an all-sky map of the thermal Sunyaev-Zeldovich (SZ) effect, obtained by implementing the Needlet Internal Linear Combination (NILC) method on the Planck PR2 data. The quality of the Planck data has significantly improved since then. The Planck PR4 data release offers upgraded full-sky maps in the LFI and HFI frequency bands with improved systematics and sensitivity. We present a new all-sky thermal SZ Compton $y$-parameter map derived from the Planck PR4 data using NILC and highlight improvements, particularly in noise reduction and handling residual foreground contamination. The PR4 NILC Compton $y$-parameter map has been made publicly available to support further analyses.


title: Gauge theories for fluids in 2+1 dimensions through master actions

abstract: Two actions which are functionals of different variables but describing the same dynamical system can be shown to possess the same origin by constructing a master action which generates both of them. We first present the master action which produces an action depending on the fluid variables and a gauge theory action whose equations of motion are equivalent to the incompressible fluid Euler equations in $2+1$ dimensions. We then introduce the master action generating the actions which on shell provide the linearized shallow water equations. One of them is a functional of the variables of the shallow water and the other one is the Maxwell-Chern-Simons gauge theory action.The maps between gauge vector fields and fluid variables are obtained for both of the systems. We employ them to derive the corresponding gauge theory solutions of the Hopfion and the coastal Kelvin wave solutions.


title: Vision-Based Mobile App GUI Testing: A Survey

abstract: Graphical User Interface (GUI) has become one of the most significant parts of mobile applications (apps). It is a direct bridge between mobile apps and end users, which directly affects the end user's experience. Neglecting GUI quality can undermine the value and effectiveness of the entire mobile app solution. Significant research efforts have been devoted to GUI testing, one effective method to ensure mobile app quality. By conducting rigorous GUI testing, developers can ensure that the visual and interactive elements of the mobile apps not only meet functional requirements but also provide a seamless and user-friendly experience. However, traditional solutions, relying on the source code or layout files, have met challenges in both effectiveness and efficiency due to the gap between what is obtained and what app GUI actually presents. Vision-based mobile app GUI testing approaches emerged with the development of computer vision technologies and have achieved promising progress. In this survey paper, we provide a comprehensive investigation of the state-of-the-art techniques on 226 papers, among which 78 are vision-based studies. This survey covers different topics of GUI testing, like GUI test generation, GUI test record & replay, GUI testing framework, etc. Specifically, the research emphasis of this survey is placed mostly on how vision-based techniques outperform traditional solutions and have gradually taken a vital place in the GUI testing field. Based on the investigation of existing studies, we outline the challenges and opportunities of (vision-based) mobile app GUI testing and propose promising research directions with the combination of emerging techniques.