title: On Multi-Agent Deep Deterministic Policy Gradients and their Explainability for SMARTS Environment

abstract: Multi-Agent RL or MARL is one of the complex problems in Autonomous Driving literature that hampers the release of fully-autonomous vehicles today. Several simulators have been in iteration after their inception to mitigate the problem of complex scenarios with multiple agents in Autonomous Driving. One such simulator--SMARTS, discusses the importance of cooperative multi-agent learning. For this problem, we discuss two approaches--MAPPO and MADDPG, which are based on-policy and off-policy RL approaches. We compare our results with the state-of-the-art results for this challenge and discuss the potential areas of improvement while discussing the explainability of these approaches in conjunction with waypoints in the SMARTS environment.


title: First measurement of the Q^2 distribution of X(3915) single-tag two-photon production

abstract: We report the first measurement of the $Q^2$ distribution of $X(3915)$ produced by single-tag two-photon interactions. The decay mode used is $X(3915) \rightarrow J/\psi\omega$. The covered $Q^2$ region is from 1.5 (GeV/$c$)$^2$ to 10.0 (GeV/$c$)$^2$. We observe $7.9\pm 3.1({\rm stat.})\pm 1.5({\rm syst.})$ events, where we expect $4.1\pm 0.7$ events based on the $Q^2=0$ result from the no-tag two-photon process, extrapolated to higher $Q^2$ region using the $c\bar{c}$ model of Schuler, Berends, and van Gulik. The shape of the distribution is also consistent with this model; we note that statistical uncertainties are large.


title: HALOC: Hardware-Aware Automatic Low-Rank Compression for Compact Neural Networks

abstract: Low-rank compression is an important model compression strategy for obtaining compact neural network models. In general, because the rank values directly determine the model complexity and model accuracy, proper selection of layer-wise rank is very critical and desired. To date, though many low-rank compression approaches, either selecting the ranks in a manual or automatic way, have been proposed, they suffer from costly manual trials or unsatisfied compression performance. In addition, all of the existing works are not designed in a hardware-aware way, limiting the practical performance of the compressed models on real-world hardware platforms. To address these challenges, in this paper we propose HALOC, a hardware-aware automatic low-rank compression framework. By interpreting automatic rank selection from an architecture search perspective, we develop an end-to-end solution to determine the suitable layer-wise ranks in a differentiable and hardware-aware way. We further propose design principles and mitigation strategy to efficiently explore the rank space and reduce the potential interference problem. Experimental results on different datasets and hardware platforms demonstrate the effectiveness of our proposed approach. On CIFAR-10 dataset, HALOC enables 0.07% and 0.38% accuracy increase over the uncompressed ResNet-20 and VGG-16 models with 72.20% and 86.44% fewer FLOPs, respectively. On ImageNet dataset, HALOC achieves 0.9% higher top-1 accuracy than the original ResNet-18 model with 66.16% fewer FLOPs. HALOC also shows 0.66% higher top-1 accuracy increase than the state-of-the-art automatic low-rank compression solution with fewer computational and memory costs. In addition, HALOC demonstrates the practical speedups on different hardware platforms, verified by the measurement results on desktop GPU, embedded GPU and ASIC accelerator.


title: Very forward calorimeters for future electron-positron colliders

abstract: Detectors at future $e^+e^-$ colliders need special calorimeters in the very forward region for a fast estimate and precise measurement of the luminosity, to improve the hermeticity and mask the central tracking detectors from backscattered particles. In our concept, two compact calorimeters are foreseen, LumiCal and BeamCal. Both are designed as sandwich calorimeters with very thin sensor planes to keep the Moli\`ere radius small, facilitating such the measurement of electron showers in the presence of background. Silicon sensor prototypes and dedicated FE ASICs have been developed and produced. The ASICs match the timing and dynamic range requirements. In the recent beam tests, a multi-plane compact prototype was equipped with thin sensor planes fully assembled with the new readout electronics and installed in 1 mm gaps between tungsten plates of one radiation length thickness. The latest status of the calorimeter prototype development will be presented, including selected performance results, obtained in a 5 GeV electron beam at DESY, as well as the expected performance obtained from simulation.


title: Multifunctional nanostructures for intracellular delivery and sensing in electrogenic cells

abstract: In electrophysiology, multielectrode array devices (MEA) are the gold standard for the study of large ensambles of electrogenic cells. In the last decades, thanks to the adoption of nanotechnologies, the study of physiological and pathological conditions of electro-active cells in culture have becomes increasingly accurate. In parallel, studies exploited the integration of nanostructures with delivering capabilities with single-cell specificity and high throughput in biosensing platforms. Delivery and recording have independently led to great advances in neurobiology, however, their integration on a single chip would give complete insights into pathologies development and fundamental advancements in drug screening methods. In this work, we demonstrate how a microfluidic-MEA technology may be used to record both spontaneous and chemically induced activity in vitro. We propose a device that can deliver molecules to only a few chosen cells and detecting the response in cellular activity at multiple sites simultaneously. In addition, will be discussed how the adoption of nanoporous metamaterial in place of nanostructures might lower costs and speed up production. Furthermore, this same material, will be identified for the first time in this work as photoelectrical modulating material for eliciting electrogenic cells firing activity. Specifically, by converting NIR laser pulses into stimulatory currents, plasmonic metamaterials may be employed to induce action potentials. This method enables remote access to optical pacing with precise spatiotemporal control, allowing to be used as a valid alternative of the traditional genetic-based optical stimulation techniques. Therefore, in addition to pharmaceutical applications, these final characteristics may pave the way for a new generation of minimally invasive, cellular type-independent all-optical plasmonic pacemakers and muscle actuators.


title: Exotic closed subideals of algebras of bounded operators

abstract: We exhibit a Banach space $Z$ failing the approximation property, for which there is an uncountable family $\mathscr F$ of closed subideals contained in the Banach algebra $\mathcal K(Z)$ of the compact operators on $Z$, such that the subideals in $\mathscr F$ are mutually isomorphic as Banach algebras. This contrasts with the behaviour of closed ideals of the algebras $\mathcal L(X)$ of bounded operators on $X$, where closed ideals $\mathcal I \neq \mathcal J$ are never isomorphic as Banach algebras. We also construct families of non-trivial closed subideals contained in the strictly singular operators $\mathcal S(X)$ for classical spaces such as $X = L^p$ with $p \neq 2$, where pairwise isomorphic as well as pairwise non-isomorphic subideals occur.


title: Highly Versal Torsors

abstract: Let $G$ be a linear algebraic group over an infinite field $k$. Loosely speaking, a $G$-torsor over $k$-variety is said to be versal if it specializes to every $G$-torsor over any $k$-field. The existence of versal torsors is well-known. We show that there exist $G$-torsors that admit even stronger versality properties. For example, for every $d\in\mathbb{N}$, there exists a $G$-torsor over a smooth quasi-projective $k$-scheme that specializes to every torsor over a quasi-projective $k$-scheme after removing some codimension-$d$ closed subset from the latter. Moreover, such specializations are abundant in a well-defined sense. Similar results hold if we replace $k$ with an arbitrary base-scheme. In the course of the proof we show that every globally generated rank-$n$ vector bundle over a $d$-dimensional $k$-scheme of finite type can be generated by $n+d$ global sections. When $G$ can be embedded in a group scheme of unipotent upper-triangular matrices, we further show that there exist $G$-torsors specializing to every $G$-torsor over any affine $k$-scheme. We show that the converse holds when $\operatorname{char} k=0$. We apply our highly versal torsors to show that, for fixed $m,n\in\mathbb{N}$, the symbol length of any degree-$m$ period-$n$ Azumaya algebra over any local $\mathbb{Z}[\frac{1}{n},e^{2\pi i/n}]$-ring is uniformly bounded. A similar statement holds in the semilocal case, but under mild restrictions on the base ring.


title: Ghost Effect from Boltzmann Theory

abstract: Taking place naturally in a gas subject to a given wall temperature distribution [Maxwell1879], the ``ghost effect'' exhibits a rare kinetic effect beyond the prediction of classical fluid theory and Fourier law in such a classical problem in physics. As the Knudsen number $\varepsilon$ goes to zero, the finite variation of temperature in the bulk is determined by an $\varepsilon$ infinitesimal, ghost-like velocity field, created by a given finite variation of the tangential wall temperature as predicted by Maxwell's slip boundary condition. Mathematically, such a finite variation leads to the presence of a severe $\varepsilon^{-1}$ singularity and a Knudsen layer approximation in the fundamental energy estimate. Neither difficulty is within the reach of any existing PDE theory on the steady Boltzmann equation in a general 3D bounded domain. Consequently, in spite of the discovery of such a ghost effect from temperature variation in as early as 1960's, its mathematical validity has been a challenging and intriguing open question, causing confusion and suspicion. We settle this open question in affirmative if the temperature variation is small but finite, by developing a new $L^2-L^6-L^{\infty}$ framework with four major innovations: 1) a key $\mathscr{A}$-Hodge decomposition and its corresponding local $\mathscr{A}$-conservation law eliminate the severe $\varepsilon^{-1}$ bulk singularity, leading to a reduced energy estimate; 2) A surprising $\varepsilon^{\frac{1}{2}}$ gain in $L^2$ via momentum conservation and a dual Stokes solution; 3) the $\mathscr{A}$-conservation, energy conservation and a coupled dual Stokes-Poisson solution reduces to an $\varepsilon^{-\frac{1}{2}}$ boundary singularity; 4) a crucial construction of $\varepsilon$-cutoff boundary layer eliminates such boundary singularity via new Hardy and BV estimates.


title: Explaining the effects of non-convergent sampling in the training of Energy-Based Models

abstract: In this paper, we quantify the impact of using non-convergent Markov chains to train Energy-Based models (EBMs). In particular, we show analytically that EBMs trained with non-persistent short runs to estimate the gradient can perfectly reproduce a set of empirical statistics of the data, not at the level of the equilibrium measure, but through a precise dynamical process. Our results provide a first-principles explanation for the observations of recent works proposing the strategy of using short runs starting from random initial conditions as an efficient way to generate high-quality samples in EBMs, and lay the groundwork for using EBMs as diffusion models. After explaining this effect in generic EBMs, we analyze two solvable models in which the effect of the non-convergent sampling in the trained parameters can be described in detail. Finally, we test these predictions numerically on a ConvNet EBM and a Boltzmann machine.


title: From Agile to DevOps, Holistic Approach for Faster and Efficient Software Product Release Management

abstract: Release management is one of the most important software processes and is a set of processes that includes the compilation, configuration, and management of software versions in different environments. In recent years, changes in processes, technologies, and tools and changes in practices and understanding have paved the way for more effective, efficient, sustainable, reusable models and methods in this field. The purpose of this study is to examine the DevOps idea to produce a flow, highlight their benefits, and investigate with a model how these philosophies, which are two of the most important processes and methods in software development today, can reveal an effective release management process. What has been learned from the research is how the agile and DevOps practices, which have become widespread in recent years, can be positioned in a general flow in the release management process, although there are different practices, flows, disciplines, and technology. Sharing a case study on these issues in future studies and an experience sharing research where the flow is applied as a case study will reveal positive feedback on the real-life application and results of the flow and the model. Further, a literature review studies in which deficiencies in the literature are identified will be useful in determining the gaps in the process.


title: Rethinking Real-world Image Deraining via An Unpaired Degradation-Conditioned Diffusion Model

abstract: Recent diffusion models have exhibited great potential in generative modeling tasks. Part of their success can be attributed to the ability of training stable on huge sets of paired synthetic data. However, adapting these models to real-world image deraining remains difficult for two aspects. First, collecting a large-scale paired real-world clean/rainy dataset is unavailable while regular conditional diffusion models heavily rely on paired data for training. Second, real-world rain usually reflects real-world scenarios with a variety of unknown rain degradation types, which poses a significant challenge for the generative modeling process. To meet these challenges, we propose RainDiff, the first real-world image deraining paradigm based on diffusion models, serving as a new standard bar for real-world image deraining. We address the first challenge by introducing a stable and non-adversarial unpaired cycle-consistent architecture that can be trained, end-to-end, with only unpaired data for supervision; and the second challenge by proposing a degradation-conditioned diffusion model that refines the desired output via a diffusive generative process conditioned by learned priors of multiple rain degradations. Extensive experiments confirm the superiority of our RainDiff over existing unpaired/semi-supervised methods and show its competitive advantages over several fully-supervised ones.


title: Multi-domain stain normalization for digital pathology: A cycle-consistent adversarial network for whole slide images

abstract: The variation in histologic staining between different medical centers is one of the most profound challenges in the field of computer-aided diagnosis. The appearance disparity of pathological whole slide images causes algorithms to become less reliable, which in turn impedes the wide-spread applicability of downstream tasks like cancer diagnosis. Furthermore, different stainings lead to biases in the training which in case of domain shifts negatively affect the test performance. Therefore, in this paper we propose MultiStain-CycleGAN, a multi-domain approach to stain normalization based on CycleGAN. Our modifications to CycleGAN allow us to normalize images of different origins without retraining or using different models. We perform an extensive evaluation of our method using various metrics and compare it to commonly used methods that are multi-domain capable. First, we evaluate how well our method fools a domain classifier that tries to assign a medical center to an image. Then, we test our normalization on the tumor classification performance of a downstream classifier. Furthermore, we evaluate the image quality of the normalized images using the Structural similarity index and the ability to reduce the domain shift using the Fr\'echet inception distance. We show that our method proves to be multi-domain capable, provides the highest image quality among the compared methods, and can most reliably fool the domain classifier while keeping the tumor classifier performance high. By reducing the domain influence, biases in the data can be removed on the one hand and the origin of the whole slide image can be disguised on the other, thus enhancing patient data privacy.


title: Monoidal Properties of Franke's Exotic Equivalence

abstract: Franke's reconstruction functor R is known to provide examples of triangulated equivalences between homotopy categories of stable model categories, which are exotic in the sense that the underlying model categories are not Quillen equivalent. We show that, while not being a tensor-triangulated functor in general, R is compatible with monoidal products.


title: On the Clean Graph of a Ring

abstract: Let R be a ring (not necessarily commutative ring) with identity. The clean graph Cl(R) of a ring R is a graph with vertices in the form of ordered pair (e; u), where e is an idempotent of the ring R and u is a unit of the ring R. Two distinct vertices (e; u) and (f; v) are adjacent if and only if ef = fe = 0 or uv = vu = 1. In this paper, we determine the Wiener index, Matching number of the clean graph of the ring Zn.


title: A review on laser-induced crystallization from solution

abstract: Crystallization is abound in nature and industrial practice. A plethora of indispensable products ranging from agrochemicals and pharmaceuticals to battery materials, are produced in crystalline form in industrial practice. Yet, our control over the crystallization process across scales, from molecular to macroscopic, is far from complete. This bottleneck not only hinders our ability to engineer the properties of crystalline products essential for maintaining our quality of life but also hampers progress toward a sustainable circular economy in resource recovery. In recent years, approaches leveraging light fields have emerged as promising alternatives to manipulate crystallization. In this review article, we classify laser-induced crystallization approaches where light-material interactions are utilized to influence crystallization phenomena according to proposed underlying mechanisms and experimental setups. We discuss non-photochemical laser-induced nucleation, high-intensity laser-induced nucleation, laser trapping-induced crystallization, and indirect methods in detail. Throughout the review, we highlight connections amongst these separately evolving sub-fields to encourage interdisciplinary exchange of ideas.


title: Adding highly generic subsets of $\omega_2$

abstract: Starting from the $\rm{GCH},$ we build a cardinal and $\rm{GCH}$ preserving generic extension of the universe, in which there exists a set $A \subseteq \omega_2$ of size $\aleph_2$ so that every countably infinite subset of $A$ or $\omega_2 \setminus A$ is Cohen generic over the ground model.


title: Light Curve and Hardness Tests for Millilensing in GRB 950830, GRB 090717A, and GRB 200716C

abstract: To show an internal signature of gravitational lensing, two different temporal sections of a single gamma-ray burst (GRB) must be statistically similar. Here two straightforward gravitational lensing tests are defined and applied: a light-curve similarity test and a hardness similarity test. Gravitational millilensing has been claimed to be detected within several individual GRBs that contain two emission episodes separated by a time delay. However, our analyses indicate that none of those claims clearly satisfy both tests. The hardness similarity test performed on GRB 950830 and GRB 090717A found that the ratio between the second and the first emission episodes in each energy channel differed from the same ratio averaged over all detected energy channels at above the 90 percent confidence level. Also, a light curve similarity test performed on GRB 950830, GRB 090717A, and GRB 200716C separately, found that it is unlikely that the two emission episodes in each GRB were drawn from a single parent emission episode for that GRB, with differences at the 3.0 sigma, 8.3 sigma, and 8.3 sigma confidence levels respectively.


title: Souriau's Relativistic general covariant formulation of hyperelasticity revisited

abstract: We present and modernize Souriau's 1958 geometric framework for Relativistic continuous media, and enlighten the necessary and the ad hoc modeling choices made since, focusing as much as possible on the Continuum Mechanics point of view. We describe the general covariant formulation of Hyperelasticity in General Relativity, and then in the particular case of a static spacetime. Finally, we apply this formalism for the Schwarzschild's metric, and recover the Classical Galilean Hyperelasticity with gravity, as the Newton-Cartan infinite light speed limit of this formulation.


title: Composite distributions in the social sciences: A comparative empirical study of firms' sales distribution for France, Germany, Italy, Japan, South Korea, and Spain

abstract: We study 17 different statistical distributions for sizes obtained {}from the classical and recent literature to describe a relevant variable in the social sciences and Economics, namely the firms' sales distribution in six countries over an ample period. We find that the best results are obtained with mixtures of lognormal (LN), loglogistic (LL), and log Student's $t$ (LSt) distributions. The single lognormal, in turn, is strongly not selected. We then find that the whole firm size distribution is better described by a mixture, and there exist subgroups of firms. Depending on the method of measurement, the best fitting distribution cannot be defined by a single one, but as a mixture of at least three distributions or even four or five. We assess a full sample analysis, an in-sample and out-of-sample analysis, and a doubly truncated sample analysis. We also provide the formulation of the preferred models as solutions of the Fokker--Planck or forward Kolmogorov equation.


title: Autoencoder-based Joint Communication and Sensing of Multiple Targets

abstract: We investigate the potential of autoencoders (AEs) for building a joint communication and sensing (JCAS) system that enables communication with one user while detecting multiple radar targets and estimating their positions. Foremost, we develop a suitable encoding scheme for the training of the AE and for targeting a fixed false alarm rate of the target detection during training. We compare this encoding with the classification approach using one-hot encoding for radar target detection. Furthermore, we propose a new training method that complies with possible ambiguities in the target locations. We consider different options for training the detection of multiple targets. We can show that our proposed approach based on permuting and sorting can enhance the angle estimation performance so that single snapshot estimations with a low standard deviation become possible. We outperform an ESPRIT benchmark for small numbers of measurement samples.


title: Splitting Plane Graphs to Outerplanarity

abstract: Vertex splitting replaces a vertex by two copies and partitions its incident edges amongst the copies. This problem has been studied as a graph editing operation to achieve desired properties with as few splits as possible, most often planarity, for which the problem is NP-hard. Here we study how to minimize the number of splits to turn a plane graph into an outerplane one. We tackle this problem by establishing a direct connection between splitting a plane graph to outerplanarity, finding a connected face cover, and finding a feedback vertex set in its dual. We prove NP-completeness for plane biconnected graphs, while we show that a polynomial-time algorithm exists for maximal planar graphs. Finally, we provide upper and lower bounds for certain families of maximal planar graphs.


title: Power spectra and autocovariances of level spacings beyond the Dyson conjecture

abstract: Introduced in the early days of random matrix theory, the autocovariances $\delta I^j_k={\rm cov}(s_j, s_{j+k})$ of level spacings $\{s_j\}$ accommodate a detailed information on correlations between individual eigenlevels. It was first conjectured by Dyson that the autocovariances of distant eigenlevels in the unfolded spectra of infinite-dimensional random matrices should exhibit a power-law decay $\delta I^j_k\approx -1/\beta\pi^2k^2$, where $\beta$ is the symmetry index. In this Letter, we establish an exact link between the autocovariances of level spacings and their power spectrum, and show that, for $\beta=2$, the latter admits a representation in terms of a fifth Painlev\'e transcendent. This result is further exploited to determine an asymptotic expansion for autocovariances that reproduces the Dyson formula as well as provides the subleading corrections to it. High-precision numerical simulations lend independent support to our results.

categories: math-ph cond-mat.dis-nn math.MP nlin.CD nlin.SI quant-ph


title: Sharing information across patient subgroups to draw conclusions from sparse treatment networks

abstract: Network meta-analysis (NMA) usually provides estimates of the relative effects with the highest possible precision. However, sparse networks with few available studies and limited direct evidence can arise, threatening the robustness and reliability of NMA estimates. In these cases, the limited amount of available information can hamper the formal evaluation of the underlying NMA assumptions of transitivity and consistency. In addition, NMA estimates from sparse networks are expected to be imprecise and possibly biased as they rely on large sample approximations which are invalid in the absence of sufficient data. We propose a Bayesian framework that allows sharing of information between two networks that pertain to different population subgroups. Specifically, we use the results from a subgroup with a lot of direct evidence (a dense network) to construct informative priors for the relative effects in the target subgroup (a sparse network). This is a two-stage approach where at the first stage we extrapolate the results of the dense network to those expected from the sparse network. This takes place by using a modified hierarchical NMA model where we add a location parameter that shifts the distribution of the relative effects to make them applicable to the target population. At the second stage, these extrapolated results are used as prior information for the sparse network. We illustrate our approach through a motivating example of psychiatric patients. Our approach results in more precise and robust estimates of the relative effects and can adequately inform clinical practice in presence of sparse networks.


title: Probabilistic Machine Learning to Improve Generalisation of Data-Driven Turbulence Modelling

abstract: A probabilistic machine learning model is introduced to augment the $k-\omega\ SST$ turbulence model in order to improve the modelling of separated flows and the generalisability of learnt corrections. Increasingly, machine learning methods have been used to leverage experimental and high-fidelity data, improving the accuracy of the Reynolds Averaged Navier Stokes (RANS) turbulence models widely used in industry. A significant challenge for such methods is their ability to generalise to unseen geometries and flow conditions. Furthermore, heterogeneous datasets containing a mix of experimental and simulation data must be efficiently handled. In this work, field inversion and an ensemble of Gaussian Process Emulators (GPEs) is employed to address both of these challenges. The ensemble model is applied to a range of benchmark test cases, demonstrating improved turbulence modelling for cases with separated flows with adverse pressure gradients, where RANS simulations are understood to be unreliable. Perhaps more significantly, the simulation reverted to the uncorrected model in regions of the flow exhibiting physics outside of the training data.


title: The symplectic holomorphic density property for Calogero-Moser spaces

abstract: We introduce the symplectic holomorphic density property and the Hamiltonian holomorphic density property together with the corresponding version of Anders\'en-Lempert theory. We establish these properties for the Calogero-Moser space $\mathcal{C}_n$ of $n$ particles and describe its group of holomorphic symplectic automorphisms.


title: The Energy Worker Profiler from Technologies to Skills to Realize Energy Efficiency in Manufacturing

abstract: In recent years, the manufacturing sector has been responsible for nearly 55 percent of total energy consumption, inducing a major impact on the global ecosystem. Although stricter regulations, restrictions on heavy manufacturing and technological advances are increasing its sustainability, zero-emission and fuel-efficient manufacturing is still considered a utopian target. In parallel,companies that have invested in digital innovation now need to align their internal competencies to maximize their return on investment. Moreover, a primary feature of Industry 4.0 is the digitization of production processes, which offers the opportunity to optimize energy consumption. However, given the speed with which innovation manifests itself, tools capable of measuring the impact that technology is having on digital and green professions and skills are still being designed. In light of the above, in this article we present the Worker Profiler, a software designed to map the skills currently possessed by workers, identifying misalignment with those they should ideally possess to meet the renewed demands that digital innovation and environmental preservation impose. The creation of the Worker Profiler consists of two steps: first, the authors inferred the key technologies and skills for the area of interest, isolating those with markedly increasing patent trends and identifying green and digital enabling skills and occupations. Thus, the software was designed and implemented at the user-interface level. The output of the self-assessment is the definition of the missing digital and green skills and the job roles closest to the starting one in terms of current skills; both the results enable the definition of a customized retraining strategy. The tool has shown evidence of being user-friendly, effective in identifying skills gaps and easily adaptable to other contexts.


title: Partially disordered Heisenberg antiferromagnet with short-range stripe correlations

abstract: Zero-point quantum fluctuations of a N\'eel order can produce effective interactions between quasi-orphan spins weakly coupled to the lattice. On the $\sqrt{3}\times\sqrt{3}-$distorted triangular lattice, this phenomenon leads to a correlated partially disordered phase. In this article, we use matrix product state methods to study a similar model: the $S=1/2$ stuffed square lattice. Tunning the exchange amplitudes we go from a square lattice plus orphan central spins at $J'/J =0$, to the union jack lattice at $J'/J=1$, and a square lattice including all spins at $J/J'=0$. We calculate the complete antiferromagnetic phase diagram, dominated by ferrimagnetic and N\'eel orders, and compare with existing results. Most importantly, we find a partially disordered phase in the weakly frustrated regime. In this phase, the N\'eel order from the square lattice is unaffected, while the central spins form a collective state with exponentially decaying double striped correlations. We also study the role of quantum fluctuations by introducing an ordering staggered magnetic field on the square sublattice, and find that the central spins order ferromagnetically when fluctuations from the N\'eel order are suppressed.


title: Contractions and extractions on twisted bialgebras and coloured Fock functors

abstract: We introduce a notion of extraction-contraction coproduct on twisted bialgebras, that is to say bialgebras in the category of linear species. If $P$ is a twisted bialgebra, a contraction-extraction coproduct sends $P[X]$ to $P[X/\sim]\otimes P[X]$ for any finite set $X$ and any equivalence relation $\sim$ on $X$, with a coassociativity constraint and compatibilities with the product and coproduct of $P$. We prove that if $P$ is a twisted bialgebra with an extraction-contraction coproduct, then $P\circ Com$ is a bialgebra in the category of coalgebraic species, that is to say species in the category of coalgebras.We then introduce a coloured version of the bosonic Fock functor. This induces a bifunctor which associates to any bialgebra $(V,\cdot,\delta_V)$ and to any twisted bialgebra $P$ with an extraction-contraction coproduct a comodule-bialgebra $F_V[P]$: this object inherits a product $m$ and two coproducts $\Delta$ and $\delta$, such that $(F_V[P],m,\Delta)$ is a bialgebra in the category of right $(F_V[P],m,\delta)$-comodules.As an example, this is applied to the twisted bialgebra of graphs. The coloured Fock functors then allow to extend the construction of the double bialgebra of graphs to double bialgebras of graphs which vertices are decorated by elements of any bialgebra $V$. Other examples (on mixed graphs, hypergraphs, noncrossing partitions...) will be given in a series of forthcoming papers.


title: Quantum Configuration and Phase Spaces: Finsler and Hamilton Geometries

abstract: In this paper, we review two approaches that can describe, in a geometrical way, the kinematics of particles that are affected by Planck-scale departures, named Finsler and Hamilton geometries. By relying on maps that connect the spaces of velocities and momenta, we discuss the properties of configuration and phase spaces induced by these two distinct geometries. In particular, we exemplify this approach by considering the so-called $q$-de Sitter-inspired modified dispersion relation as a laboratory for this study. We finalize with some points that we consider as positive and negative ones of each approach for the description of quantum configuration and phases spaces.


title: Hopf algebraic structures on mixed graphs

abstract: We introduce two coproducts on mixed graphs (that is to say graphs with both edges and arcs), the first one by separation of the vertices into two parts, and the second one given by contraction and extractions of subgraphs. We show that, with the disjoint union product, this gives a double bialgebra, that is to say that the first coproduct makes it a Hopf algebra in the category of righ comodules over the second coproduct. This structures implies the existence of a unique polynomial invariants on mixed graphs compatible with the product and both coproducts: we prove that it is the (strong) chromatic polynomial of Beck, Bogart and Pham. Using the action of the monoid of characters, we relate it to the weak chromatic polynomial, as well to Ehrhart polynomials and to a polynomial invariants related to linear extensions. As applications, we give an algebraic proof of the link between the values of the strong chromatic polynomial at negative values and acyclic orientations (a result due to Beck, Blado, Crawford, Jean-Louis and Young) and obtain a combinatorial description of the antipode of the Hopf algebra of mixed graphs.


title: Approximations of multi-period liability values by simple formulas

abstract: This paper is motivated by computational challenges arising in multi-period valuation in insurance. Aggregate insurance liability cashflows typically correspond to stochastic payments several years into the future. However, insurance regulation requires that capital requirements are computed for a one-year horizon, by considering cashflows during the year and end-of-year liability values. This implies that liability values must be computed recursively, backwards in time, starting from the year of the most distant liability payments. Solving such backward recursions with paper and pen is rarely possible, and numerical solutions give rise to major computational challenges. The aim of this paper is to provide explicit and easily computable expressions for multi-period valuations that appear as limit objects for a sequence of multi-period models that converge in terms of conditional weak convergence. Such convergence appears naturally if we consider large insurance portfolios such that the liability cashflows, appropriately centered and scaled, converge weakly as the size of the portfolio tends to infinity.


title: A Simple Recipe for Competitive Low-compute Self supervised Vision Models

abstract: Self-supervised methods in vision have been mostly focused on large architectures as they seem to suffer from a significant performance drop for smaller architectures. In this paper, we propose a simple self-supervised distillation technique that can train high performance low-compute neural networks. Our main insight is that existing joint-embedding based SSL methods can be repurposed for knowledge distillation from a large self-supervised teacher to a small student model. Thus, we call our method Replace one Branch (RoB) as it simply replaces one branch of the joint-embedding training with a large teacher model. RoB is widely applicable to a number of architectures such as small ResNets, MobileNets and ViT, and pretrained models such as DINO, SwAV or iBOT. When pretraining on the ImageNet dataset, RoB yields models that compete with supervised knowledge distillation. When applied to MSN, RoB produces students with strong semi-supervised capabilities. Finally, our best ViT-Tiny models improve over prior SSL state-of-the-art on ImageNet by $2.3\%$ and are on par or better than a supervised distilled DeiT on five downstream transfer tasks (iNaturalist, CIFAR, Clevr/Count, Clevr/Dist and Places). We hope RoB enables practical self-supervision at smaller scale.


title: Fast and robust single particle reconstruction in 3D fluorescence microscopy

abstract: Single particle reconstruction has recently emerged in 3D fluorescence microscopy as a powerful technique to improve the axial resolution and the degree of fluorescent labeling. It is based on the reconstruction of an average volume of a biological particle from the acquisition multiple views with unknown poses. Current methods are limited either by template bias, restriction to 2D data, high computational cost or a lack of robustness to low fluorescent labeling. In this work, we propose a single particle reconstruction method dedicated to convolutional models in 3D fluorescence microscopy that overcome these issues. We address the joint reconstruction and estimation of the poses of the particles, which translates into a challenging non-convex optimization problem. Our approach is based on a multilevel reformulation of this problem, and the development of efficient optimization techniques at each level. We demonstrate on synthetic data that our method outperforms the standard approaches in terms of resolution and reconstruction error, while achieving a low computational cost. We also perform successful reconstruction on real datasets of centrioles to show the potential of our method in concrete applications.


title: Stability conditions on degenerated elliptic curves

abstract: We study stability conditions on reducible Kodaira curves obtained from degenerations of elliptic curves. We describe connected components of the spaces of stability conditions and compute the groups of deck transformations of those connected components.


title: Modeling Non-deterministic Human Behaviors in Discrete Food Choices

abstract: We establish a non-deterministic model that predicts a user's food preferences from their demographic information. Our simulator is based on NHANES dataset and domain expert knowledge in the form of established behavioral studies. Our model can be used to generate an arbitrary amount of synthetic datapoints that are similar in distribution to the original dataset and align with behavioral science expectations. Such a simulator can be used in a variety of machine learning tasks and especially in applications requiring human behavior prediction.


title: DELTA-MRI: Direct deformation Estimation from LongiTudinally Acquired k-space data

abstract: Longitudinal MRI is an important diagnostic imaging tool for evaluating the effects of treatment and monitoring disease progression. However, MRI, and particularly longitudinal MRI, is known to be time consuming. To accelerate imaging, compressed sensing (CS) theory has been applied to exploit sparsity, both on single image as on image sequence level. State-of-the-art CS methods however, are generally focused on image reconstruction, and consider analysis (e.g., alignment, change detection) as a post-processing step. In this study, we propose DELTA-MRI, a novel framework to estimate longitudinal image changes {\it directly} from a reference image and subsequently acquired, strongly sub-sampled MRI k-space data. In contrast to state-of-the-art longitudinal CS based imaging, our method avoids the conventional multi-step process of image reconstruction of subsequent images, image alignment, and deformation vector field computation. Instead, the set of follow-up images, along with motion and deformation vector fields that describe their relation to the reference image, are estimated in one go. Experiments show that DELTA-MRI performs significantly better than the state-of-the-art in terms of the normalized reconstruction error.


title: Hot Big Bang from inflation without the inflaton reheating

abstract: According to the standard lore, a prolonged inflation leaves a quantum field theory in a cold, low entropy state. Thus, some mechanism is needed to reheat this post-inflationary state, leaving a hot, thermal, radiation-dominated Universe. Typically, reheating is achieved coupling the inflaton field to the QFT degrees of freedom. We argue that the nonequilibrium dynamics of a non-conformal QFT in (post-)inflationary background space-time can produce hot quark-gluon plasma with the reheating temperature of order the inflationary Hubble scale, without the inflaton coupling.


title: Blocking sets, minimal codes and trifferent codes

abstract: We prove new upper bounds on the smallest size of affine blocking sets, that is, sets of points in a finite affine space that intersect every affine subspace of a fixed codimension. We show an equivalence between affine blocking sets with respect to codimension-$2$ subspaces that are generated by taking a union of lines through the origin, and strong blocking sets in the corresponding projective space, which in turn are equivalent to minimal codes. Using this equivalence, we improve the current best upper bounds on the smallest size of a strong blocking set in finite projective spaces over fields of size at least $3$. Furthermore, using coding theoretic techniques, we improve the current best lower bounds on strong blocking set. Our main motivation for these new bounds is their application to trifferent codes, which are sets of ternary codes of length $n$ with the property that for any three distinct codewords there is a coordinate where they all have distinct values. Over the finite field $\mathbb{F}_3$, we prove that minimal codes are equivalent to linear trifferent codes. Using this equivalence, we show that any linear trifferent code of length $n$ has size at most $3^{n/4.55}$, improving the recent upper bound of Pohoata and Zakharov. Moreover, we show the existence of linear trifferent codes of length $n$ and size at least $\frac{1}{3}\left( 9/5 \right)^{n/4}$, thus (asymptotically) matching the best lower bound on trifferent codes. We also give explicit constructions of affine blocking sets with respect to codimension-$2$ subspaces that are a constant factor bigger than the best known lower bound. By restricting to~$\mathbb{F}_3$, we obtain linear trifferent codes of size at least $3^{23n/312}$, improving the current best explicit construction that has size $3^{n/112}$.


title: Dynamic Graphs Generators Analysis : an Illustrative Case Study

abstract: In this work, we investigate the analysis of generators for dynamic graphs, which are defined as graphs whose topology changes over time. We introduce a novel concept, called ''sustainability,'' to qualify the long-term evolution of dynamic graphs. A dynamic graph is considered sustainable if its evolution does not result in a static, empty, or periodic graph. To measure the dynamics of the sets of vertices and edges, we propose a metric, named ''Nervousness,'' which is derived from the Jaccard distance.As an illustration of how the analysis can be conducted, we design a parametrized generator, named D3G3 (Degree-Driven Dynamic Geometric Graphs Generator), which generates dynamic graph instances from an initial geometric graph. The evolution of these instances is driven by two rules that operate on the vertices based on their degree. By varying the parameters of the generator, different properties of the dynamic graphs can be produced.Our results show that in order to ascertain the sustainability of the generated dynamic graphs, it is necessary to study both the evolution of the order and the Nervousness for a given set of parameters.


title: Goal-oriented error analysis of iterative Galerkin discretizations for nonlinear problems including linearization and algebraic errors

abstract: We consider the goal-oriented error estimates for a linearized iterative solver for nonlinear partial differential equations. For the adjoint problem and iterative solver we consider, instead of the differentiation of the primal problem, a suitable linearization which guarantees the adjoint consistency of the numerical scheme. We derive error estimates and develop an efficient adaptive algorithm which balances the errors arising from the discretization and use of iterative solvers. Several numerical examples demonstrate the efficiency of this algorithm.


title: HRVQA: A Visual Question Answering Benchmark for High-Resolution Aerial Images

abstract: Visual question answering (VQA) is an important and challenging multimodal task in computer vision. Recently, a few efforts have been made to bring VQA task to aerial images, due to its potential real-world applications in disaster monitoring, urban planning, and digital earth product generation. However, not only the huge variation in the appearance, scale and orientation of the concepts in aerial images, but also the scarcity of the well-annotated datasets restricts the development of VQA in this domain. In this paper, we introduce a new dataset, HRVQA, which provides collected 53512 aerial images of 1024*1024 pixels and semi-automatically generated 1070240 QA pairs. To benchmark the understanding capability of VQA models for aerial images, we evaluate the relevant methods on HRVQA. Moreover, we propose a novel model, GFTransformer, with gated attention modules and a mutual fusion module. The experiments show that the proposed dataset is quite challenging, especially the specific attribute related questions. Our method achieves superior performance in comparison to the previous state-of-the-art approaches. The dataset and the source code will be released at https://hrvqa.nl/.


title: Study on the identification limits of craniofacial superimposition

abstract: Craniofacial Superimposition involves the superimposition of an image of a skull with a number of ante-mortem face images of an individual and the analysis of their morphological correspondence. Despite being used for one century, it is not yet a mature and fully accepted technique due to the absence of solid scientific approaches, significant reliability studies, and international standards. In this paper we present a comprehensive experimentation on the limitations of Craniofacial Superimposition as a forensic identification technique. The study involves different experiments over more than 1 Million comparisons performed by a landmark-based automatic 3D/2D superimposition method. The total sample analyzed consists of 320 subjects and 29 craniofacial landmarks.


title: Quantitative spectroscopy of late O-type main-sequence stars with a hybrid non-LTE method

abstract: Context. Late O-type stars at luminosities $\log L/L_\odot \lesssim 5.2$ show weak winds with mass-loss rates lower than 10$^{-8} M_\odot$ yr$^{-1}$. This implies that their photospheric layers are not strongly affected by the stellar wind. Aims. A hybrid non-local thermodynamic equilibrium (non-LTE) approach is tested for analyses of late O-type stars. A sample of 20 mostly sharp-lined Galactic O stars of spectral types O8 to O9.7 and luminosity classes V and IV, previously studied in the literature using full non-LTE model atmospheres, is investigated. Methods. Hydrostatic plane-parallel atmospheric structures and synthetic spectra computed with Kurucz's Atlas12 code together with non-LTE line-formation codes Detail and Surface, which account for the effects of turbulent pressure on the atmosphere, were employed. High-resolution spectra were analysed to derive atmospheric parameters and elemental abundances. Fundamental stellar parameters were derived by considering stellar evolution tracks and Gaia EDR3 parallaxes. Interstellar reddening was characterised by fitting spectral energy distributions from the UV to the mid-IR. Results. A high precision and accuracy is achieved for all derived parameters for 16 sample stars. Turbulent pressure effects turn out have significant effects. Effective temperatures are determined to 1-3% uncertainty levels, surface gravities to 0.05 to 0.10 dex, masses to better than 8%, radii to better than 10%, and luminosities to better than 20% uncertainty typically. Abundances for C, N, O, Ne, Mg, Al, Si are derived with uncertainties of 0.05 to 0.10 dex and for helium within 0.03 to 0.05 dex (1$\sigma$ standard deviations) in general. Distances to the Lac OB1b association and to the open clusters NGC 2244, IC 1805, NGC 457, and IC 1396 are determined as a byproduct.


title: The isomorphism problem for rational group algebras of finite metacyclic nilpotent groups

abstract: We prove that if $G$ and $H$ are finite metacyclic groups with isomorphic rational group algebras and one of them is nilpotent then $G$ and $H$ are isomorphic.


title: M-neighbor approximation in one-qubit state transfer along zigzag and alternating spin-1/2 chains

abstract: We consider the $M$-neighbor approximation in the problem of one-qubit pure state transfer along the $N$-node zigzag and alternating spin chains governed by the $XXZ$-Hamiltonian with the dipole-dipole interaction. We show that always $M>1$, i.e., the nearest neighbor approximation is not applicable to such interaction. Moreover, only all-node interaction ($M=N-1$) properly describes the dynamics in the alternating chain. We reveal the region in the parameter space characterizing the chain geometry and orientation which provide the high-probability state-transfer. The optimal state-transfer probability and appropriate time instant for the zigzag and alternating chains are compared.


title: Assessment and Performance of Flexible Quench Antenna Array Diagnostics for Superconducting Magnets

abstract: FNAL has been developing multiple versions of flexible quench antennas (flex-QA), including some specially optimized for high sensitivity and/or high resolution, to characterize quench events and transients during current ramping in superconducting magnets. A fundamental feature in our use of these is the creation of grid-like structures of sensitive elements to cover coil surfaces, with the aim of getting precise localization of magnetic flux-change events. The flex-QA are coupled with fast data-acquisition, allowing comprehensive analysis of signals at the relevant fine time scales. In addition to arrays of various flex-QA types being used during cryogenic testing of superconducting magnets, we also are utilizing a newly developed room temperature test stand to better understand QA response characteristics. The data from actual superconducting magnet tests, warm test stand measurements, and simulation data on the same QA designs allows us to draw conclusions on operational feasibility and plan better for improvements of our sensors. In this paper we present data from the multiple tests performed and analysis results. Flex-QA designs are compared, and their features, options, and optimization discussed.


title: Rationally connected threefolds with nef and bad anticanonical divisor, II

abstract: Let $X$ be a smooth complex projective rationally connected threefold with $-K_X$ nef and not semi-ample. In our previous work, we classified all such threefolds when $|{-}K_X|$ has no fixed divisor. In this paper, we continue our classification when $|{-}K_X|$ has a non-zero fixed divisor.


title: High-field THz source centered at 2.6 THz

abstract: We demonstrate a table-top high-field terahertz (THz) source based on optical rectification of a collimated near-infrared pulse in gallium phosphide (GaP) to produce peak fields exceeding 300 kV/cm with a spectrum centered at 2.6 THz. The experimental configuration, based on tilted-pulse-front phase matching, is implemented with a phase grating etched directly onto the front surface of the GaP crystal. Although the THz generation efficiency starts showing a saturation onset as the near-infrared pulse energy reaches 0.57 mJ, we can expect our configuration to yield THz peak fields up to 866 kV/cm when a 5 mJ generation NIR pulse is used. This work paves the way towards broadband, high-field THz sources able to access a new class of THz coherent control and nonlinear phenomena driven at frequencies above 2 THz.


title: HARPS-N high spectral resolution observations of Cepheids II. The impact of the surface-brightness color relation on the Baade-Wesselink projection factor of eta Aql

abstract: The Baade-Wesselink (BW) method of distance determination of Cepheids is used to calibrate the distance scale. Various versions of this method are mainly based on interferometry and/or the surface-brightness color relation (SBCR). We quantify the impact of the SBCR, its slope, and its zeropoint on the projection factor. This quantity is used to convert the pulsation velocity into the radial velocity in the BW method. We also study the impact of extinction and of a potential circumstellar environment on the projection factor. We analyzed HARPS-N spectra of eta Aql to derive its radial velocity curve using different methods. We then applied the inverse BW method using various SBCRs in the literature in order to derive the BW projection factor. We find that the choice of the SBCR is critical: a scatter of about 8% is found in the projection factor for different SBCRs in the literature. The uncertainty on the coefficients of the SBCR affects the statistical precision of the projection factor only little (1-2\%). Confirming previous studies, we find that the method with which the radial velocity curve is derived is also critical, with a potential difference on the projection factor of 9%. An increase of 0.1 in E(B-V) translates into a decrease in the projection factor of 3%. A 0.1 magnitude effect of a circumstellar envelope (CSE) in the visible domain is rather small on the projection factor, about 1.5%. However, we find that a 0.1 mag infrared excess in the K band due to a CSE can increase the projection factor by about 6%. The impact of the surface-brightness color relation on the BW projection factor is found to be critical. Efforts should be devoted in the future to improve the SBCR of Cepheids empirically, but also theoretically, taking their CSE into account as well.


title: Nearest-neighbor approximation in one-excitation state evolution along spin-1/2 chain governed by XX-Hamiltonian

abstract: The approximation of nearest neighbor interaction (NNI) is widely used in short-time spin dynamics with dipole-dipole interactions (DDI) when the intensity of spin-spin interaction is $\sim 1/r^3$, where $r$ is a distance between those spins. However, NNI can not approximate the long time evolution in such systems. We consider the system with the intensity of the spin-spin interaction $\sim 1/r^{\alpha}$, $\alpha\ge 3$, and find the low boundary $\alpha_c$ of applicability of the NNI to the evolution of an arbitrary one-excitation initial quantum state in the homogeneous spin chain governed by the $XX$-Hamiltonian. We obtain the logarithmic dependence of $\alpha_c$ on the chain length.


title: Enabling Kernel Bypass Networking on gem5

abstract: Full-system simulation of computer systems is critical to capture the complex interplay between various hardware and software components in future systems. Modeling the network subsystem is indispensable to the fidelity of the full-system simulation due to the increasing importance of scale-out systems. The network software stack has undergone major changes over the last decade, and kernel-bypass networking stacks and data-plane networks are rapidly replacing the conventional kernel network stack. Nevertheless, the current state-of-the-art architectural simulators still use kernel networking which precludes realistic network application scenarios. In this work, we enable kernel bypass networking stack on gem5, the state-of-the-art full-system architectural simulator. We extend gem5's NIC hardware model and device driver to enable the support for userspace device drivers to run the DPDK framework. We also implement a network load generator hardware model in gem5 to generate various traffic patterns and perform per-packet timestamp and latency measurements without introducing packet loss. Our experimental results show that DPDK's simulated network bandwidth scales with the number of cores and NIC ports. As two use cases, we analyze the sensitivity of (1) network performance to several microarchitectural parameters, and (2) direct cache access (DCA) technology to DPDK burst size.


title: (Non)-penalized Multilevel methods for non-uniformly log-concave distributions

abstract: We study and develop multilevel methods for the numerical approximation of a log-concave probability $\pi$ on $\mathbb{R}^d$, based on (over-damped) Langevin diffusion. In the continuity of \cite{art:egeapanloup2021multilevel} concentrated on the uniformly log-concave setting, we here study the procedure in the absence of the uniformity assumption. More precisely, we first adapt an idea of \cite{art:DalalyanRiouKaragulyan} by adding a penalization term to the potential to recover the uniformly convex setting. Such approach leads to an \textit{$\varepsilon$-complexity} of the order $\varepsilon^{-5} \pi(|.|^2)^{3} d$ (up to logarithmic terms). Then, in the spirit of \cite{art:gadat2020cost}, we propose to explore the robustness of the method in a weakly convex parametric setting where the lowest eigenvalue of the Hessian of the potential $U$ is controlled by the function $U(x)^{-r}$ for $r \in (0,1)$. In this intermediary framework between the strongly convex setting ($r=0$) and the ``Laplace case'' ($r=1$), we show that with the help of the control of exponential moments of the Euler scheme, we can adapt some fundamental properties for the efficiency of the method. In the ``best'' setting where $U$ is ${\mathcal{C}}^3$ and $U(x)^{-r}$ control the largest eigenvalue of the Hessian, we obtain an $\varepsilon$-complexity of the order $c_{\rho,\delta}\varepsilon^{-2-\rho} d^{1+\frac{\rho}{2}+(4-\rho+\delta) r}$ for any $\rho>0$ (but with a constant $c_{\rho,\delta}$ which increases when $\rho$ and $\delta$ go to $0$).


title: Hatchery-produced sandfish (Holothuria scabra) show altered genetic diversity in New Caledonia

abstract: Facing an alarming continuing decline of wild sea cucumber resources, management strategies were developed over the past three decades to sustainably promote development, maintenance, or regeneration of wild sea cucumber fisheries. In New Caledonia (South Pacific), dedicated management efforts via restocking and sea ranching programs were implemented to cope with the overharvesting of the sandfish Holothuria scabra and the recent loss of known populations. In order to investigate genetic implications of a major H. scabra restocking program, we assessed the genetic diversity and structure of wild stocks and hatchery-produced sandfish and compared the genetic outcomes of consecutive spawning and juvenile production events. For this, 1358 sandfish collected at four sites along the northwestern coasts of New Caledonia, as well as during five different restocking events in the Tiabet Bay, were genotyped using nine polymorphic microsatellite markers. We found that wild H. scabra populations from the northwestern coast of New Caledonia likely belonged to one panmictic population with high level of gene flow observed along the study scale. Further, this panmictic population displayed an effective size of breeders large enough to ensure the feasibility of appropriate breeding programs for restocking. In contrast, hatchery-produced samples did suffer from an important reduction in the effective population size: the effective population size were so small that genetic drift was detectable over one generation, with the presence of inbred individuals, as well as more related dyads than in wild populations. All these results suggest that dedicated efforts in hatcheries are further needed to maintain genetic diversity of hatchery-produced individuals in order to unbalance any negative impact during this artificial selection.


title: On some gateways between sum rules

abstract: We present correspondences induced by some classical mappings between measures on an interval and measures on the unit circle. More precisely, we link their sequences of orthogonal polynomial and their recursion coefficients. We also deduce some correspondences between particular equilibrium measures of random matrix ensembles. Additionally, we show that these mappings open up gateways between the sum rules associated with some classical models, leading to new formulations of several sum rules.


title: DIFFormer: Scalable (Graph) Transformers Induced by Energy Constrained Diffusion

abstract: Real-world data generation often involves complex inter-dependencies among instances, violating the IID-data hypothesis of standard learning paradigms and posing a challenge for uncovering the geometric structures for learning desired instance representations. To this end, we introduce an energy constrained diffusion model which encodes a batch of instances from a dataset into evolutionary states that progressively incorporate other instances' information by their interactions. The diffusion process is constrained by descent criteria w.r.t.~a principled energy function that characterizes the global consistency of instance representations over latent structures. We provide rigorous theory that implies closed-form optimal estimates for the pairwise diffusion strength among arbitrary instance pairs, which gives rise to a new class of neural encoders, dubbed as DIFFormer (diffusion-based Transformers), with two instantiations: a simple version with linear complexity for prohibitive instance numbers, and an advanced version for learning complex structures. Experiments highlight the wide applicability of our model as a general-purpose encoder backbone with superior performance in various tasks, such as node classification on large graphs, semi-supervised image/text classification, and spatial-temporal dynamics prediction.


title: Dilepton production from hot and magnetized hadronic matter

abstract: The rate of dilepton emission from a magnetized hot hadronic medium is calculated in the framework of real time formalism of finite temperature field theory. We evaluate the one loop self-energy of neutral rho-meson containing thermo-magnetic propagators for the charged pions in the loop. The in-medium thermo-magnetic spectral function of rho obtained by solving the Dyson-Schwinger equation is shown to be proportional to the dilepton production rate. The study of the analytic structure of the neutral rho-meson spectral function in such a medium shows that in addition to the usual contribution coming from the Unitary cut beyond the two-pion threshold there is a non-trivial yield in the low invariant mass region originating due to the fact that the charged pions occupy different Landau levels before and after scattering with the neutral rho-meson and is purely a finite magnetic field effect.


title: Topology of quadrupolar Berry phase of a Qutrit

abstract: We examine Berry phase pertaining to purely quadrupolar state ($\langle \psi | \vec{S} | \psi \rangle = 0$) of a spin-$1$ system. Using the Majorana stellar representation of these states, we provide a visualization for the topological (zero or $\pi$) nature of such quadrupolar Berry phase. We demonstrates that the $\pi$ Berry phase of quadrupolar state is induced by the Majorana stars collectively tracing out a closed path (a great circle) by exchanging their respective positions on the Bloch sphere. We also analyse the problem from the perspective of dynamics where a state from the quadrupolar subspace is subjected to a static magnetic field. We show that time evolution generated by such Hamiltonian restricts the states to the quadrupolar subspace itself thereby producing a geometric phase (of the Aharonov-Anandan type) quantized to zero or $\pi$. A global unitary transformation which maps the quadrupolar subspace to the subspace of purely real states proves a natural way of understanding the topological character of this subspace and its connection to the anti-unitary symmetries.


title: Sliding Window String Indexing in Streams

abstract: Given a string $S$ over an alphabet $\Sigma$, the 'string indexing problem' is to preprocess $S$ to subsequently support efficient pattern matching queries, i.e., given a pattern string $P$ report all the occurrences of $P$ in $S$. In this paper we study the 'streaming sliding window string indexing problem'. Here the string $S$ arrives as a stream, one character at a time, and the goal is to maintain an index of the last $w$ characters, called the 'window', for a specified parameter $w$. At any point in time a pattern matching query for a pattern $P$ may arrive, also streamed one character at a time, and all occurrences of $P$ within the current window must be returned. The streaming sliding window string indexing problem naturally captures scenarios where we want to index the most recent data (i.e. the window) of a stream while supporting efficient pattern matching. Our main result is a simple $O(w)$ space data structure that uses $O(\log w)$ time with high probability to process each character from both the input string $S$ and the pattern string $P$. Reporting each occurrence from $P$ uses additional constant time per reported occurrence. Compared to previous work in similar scenarios this result is the first to achieve an efficient worst-case time per character from the input stream. We also consider a delayed variant of the problem, where a query may be answered at any point within the next $\delta$ characters that arrive from either stream. We present an $O(w + \delta)$ space data structure for this problem that improves the above time bounds to $O(\log(w/\delta))$. In particular, for a delay of $\delta = \epsilon w$ we obtain an $O(w)$ space data structure with constant time processing per character. The key idea to achieve our result is a novel and simple hierarchical structure of suffix trees of independent interest, inspired by the classic log-structured merge trees.


title: Photoluminescence imaging of single photon emitters within nanoscale strain profiles in monolayer WSe$_2$

abstract: Local deformation of atomically thin van der Waals materials provides a powerful approach to create site-controlled chip-compatible single-photon emitters (SPEs). However, the microscopic mechanisms underlying the formation of such strain-induced SPEs are still not fully clear, which hinders further efforts in their deterministic integration with nanophotonic structures for developing practical on-chip sources of quantum light. Here we investigate SPEs with single-photon purity up to 98% created in monolayer WSe$_2$ via nanoindentation. Using photoluminescence imaging in combination with atomic force microscopy, we locate single-photon emitting sites on a deep sub-wavelength spatial scale and reconstruct the details of the surrounding local strain potential. The obtained results suggest that the origin of the observed single-photon emission is likely related to strain-induced spectral shift of dark excitonic states and their hybridization with localized states of individual defects.


title: Modality-Agnostic Variational Compression of Implicit Neural Representations

abstract: We introduce a modality-agnostic neural compression algorithm based on a functional view of data and parameterised as an Implicit Neural Representation (INR). Bridging the gap between latent coding and sparsity, we obtain compact latent representations non-linearly mapped to a soft gating mechanism. This allows the specialisation of a shared INR network to each data item through subnetwork selection. After obtaining a dataset of such latent representations, we directly optimise the rate/distortion trade-off in a modality-agnostic space using neural compression. Variational Compression of Implicit Neural Representations (VC-INR) shows improved performance given the same representational capacity pre quantisation while also outperforming previous quantisation schemes used for other INR techniques. Our experiments demonstrate strong results over a large set of diverse modalities using the same algorithm without any modality-specific inductive biases. We show results on images, climate data, 3D shapes and scenes as well as audio and video, introducing VC-INR as the first INR-based method to outperform codecs as well-known and diverse as JPEG 2000, MP3 and AVC/HEVC on their respective modalities.


title: Augmented Block-Arnoldi Recycling CFD Solvers

abstract: One of the limitations of recycled GCRO methods is the large amount of computation required to orthogonalize the basis vectors of the newly generated Krylov subspace for the approximate solution when combined with those of the recycle subspace. Recent advancements in low synchronization Gram-Schmidt and generalized minimal residual algorithms, Swirydowicz et al.~\cite{2020-swirydowicz-nlawa}, Carson et al. \cite{Carson2022}, and Lund \cite{Lund2022}, can be incorporated, thereby mitigating the loss of orthogonality of the basis vectors. An augmented Arnoldi formulation of recycling leads to a matrix decomposition and the associated algorithm can also be viewed as a {\it block} Krylov method. Generalizations of both classical and modified block Gram-Schmidt algorithms have been proposed, Carson et al.~\cite{Carson2022}. Here, an inverse compact $WY$ modified Gram-Schmidt algorithm is applied for the inter-block orthogonalization scheme with a block lower triangular correction matrix $T_k$ at iteration $k$. When combined with a weighted (oblique inner product) projection step, the inverse compact $WY$ scheme leads to significant (over 10$\times$ in certain cases) reductions in the number of solver iterations per linear system. The weight is also interpreted in terms of the angle between restart residuals in LGMRES, as defined by Baker et al.\cite{Baker2005}. In many cases, the recycle subspace eigen-spectrum can substitute for a preconditioner.


title: Hankel operators on $L^p(\mathbb{R}_+)$ and their $p$-completely bounded multipliers

abstract: We show that for any $1<p<\infty$, the space $Hank_p(\mathbb{R}_+)\subseteq B(L^p(\mathbb{R}_+))$ of all Hankel operators on $L^p(\mathbb{R}_+)$ is equal to the $w^*$-closure of the linear span of the operators $\theta_u\colon L^p(\mathbb{R}_+)\to L^p(\mathbb{R}_+)$ defined by $\theta_uf=f(u-\,\cdotp)$, for $u>0$. We deduce that $Hank_p(\mathbb{R}_+)$ is the dual space of$A_p(\mathbb{R}_+)$, a half-line analogue of the Figa-Talamenca-Herz algebra $A_p(\mathbb{R})$. Then we show that a function $m\colon \mathbb{R}_+^*\to \mathbb{C}$ is the symbol of a $p$-completely bounded multiplier $Hank_p(\mathbb{R}_+)\to Hank_p(\mathbb{R}_+)$ if and only if there exist $\alpha\in L^\infty(\mathbb{R}_+;L^p(\Omega))$ and $\beta\in L^\infty(\mathbb{R}_+;L^{p'}(\Omega))$ such that $m(s+t)=\langle\alpha(s),\beta(t)\rangle$ for a.e. $(s,t)\in\mathbb{R}_+^{*2}$. We also give analogues of these results in the (easier) discrete case.


title: CEERS Spectroscopic Confirmation of NIRCam-Selected z > 8 Galaxy Candidates with JWST/NIRSpec: Initial Characterization of their Properties

abstract: We present JWST NIRSpec spectroscopy for 11 galaxy candidates with photometric redshifts of $z\simeq9-13$ and $M_{\rm\,UV} \in[-21,-18]$ newly identified in NIRCam images in the Cosmic Evolution Early Release Science (CEERS) Survey. We confirm emission line redshifts for 7 galaxies at $z=7.762-8.998$ using spectra at $\sim1-5\mu$m either with the NIRSpec prism or its three medium resolution gratings. For $z\simeq9$ photometric candidates, we achieve a high confirmation rate of $\simeq$90\%, which validates the classical dropout selection from NIRCam photometry. No robust emission lines are identified in three galaxy candidates at $z>10$, where the strong [OIII] and H$\beta$ lines would be redshifted beyond the wavelength range observed by NIRSpec, and the Lyman-$\alpha$ continuum break is not detected with the current sensitivity. Compared with HST-selected bright galaxies ($M_{\rm\,UV}\simeq-22$) that are similarly spectroscopically confirmed at $z\gtrsim8$, these NIRCam-selected galaxies are characterized by lower star formation rates (SFR$\simeq4\,M_{\odot}$~yr$^{-1}$) and lower stellar masses ($\simeq10^{8}\,M_{\odot}$), but with higher [OIII]+H$\beta$ equivalent widths ($\simeq$1100$\r{A}$), and elevated production efficiency of ionizing photons ($\log(\xi_{\rm\,ion}/{\rm\,Hz\,erg}^{-1})\simeq25.8$) induced by young stellar populations ($<10$~Myrs) accounting for $\simeq20\%$ of the galaxy mass, highlighting the key contribution of faint galaxies to cosmic reionization. Taking advantage of the homogeneous selection and sensitivity, we also investigate metallicity and ISM conditions with empirical calibrations using the [OIII]/H$\beta$ ratio. We find that galaxies at $z\sim8-9$ have higher SFRs and lower metallicities than galaxies at similar stellar masses at $z\sim2-6$, which is generally consistent with the current galaxy formation and evolution models.


title: An iterative multi-fidelity approach for model order reduction of multi-dimensional input parametric PDE systems

abstract: We propose a parametric sampling strategy for the reduction of large-scale PDE systems with multidimensional input parametric spaces by leveraging models of different fidelity. The design of this methodology allows a user to adaptively sample points ad hoc from a discrete training set with no prior requirement of error estimators. It is achieved by exploiting low-fidelity models throughout the parametric space to sample points using an efficient sampling strategy, and at the sampled parametric points, high-fidelity models are evaluated to recover the reduced basis functions. The low-fidelity models are then adapted with the reduced order models ( ROMs) built by projection onto the subspace spanned by the recovered basis functions. The process continues until the low-fidelity model can represent the high-fidelity model adequately for all the parameters in the parametric space. Since the proposed methodology leverages the use of low-fidelity models to assimilate the solution database, it significantly reduces the computational cost in the offline stage. The highlight of this article is to present the construction of the initial low-fidelity model, and a sampling strategy based on the discrete empirical interpolation method (DEIM). We test this approach on a 2D steady-state heat conduction problem for two different input parameters and make a qualitative comparison with the classical greedy reduced basis method (RBM), and further test on a 9-dimensional parametric non-coercive elliptic problem and analyze the computational performance based on different tuning of greedy selection of points.


title: Dominant Subspaces of High-Fidelity Nonlinear Structured Parametric Dynamical Systems and Model Reduction

abstract: In this work, we investigate a model order reduction scheme for high-fidelity nonlinear structured parametric dynamical systems. More specifically, we consider a class of nonlinear dynamical systems whose nonlinear terms are polynomial functions, and the linear part corresponds to a linear structured model, such as second-order, time-delay, or fractional-order systems. Our approach relies on the Volterra series representation of these dynamical systems. Using this representation, we identify the kernels and, thus, the generalized multivariate transfer functions associated with these systems. Consequently, we present results allowing the construction of reduced-order models whose generalized transfer functions interpolate these of the original system at pre-defined frequency points. For efficient calculations, we also need the concept of a symmetric Kronecker product representation of a tensor and derive particular properties of them. Moreover, we propose an algorithm that extracts dominant subspaces from the prescribed interpolation conditions. This allows the construction of reduced-order models that preserve the structure. We also extend these results to parametric systems and a special case (delay in input/output). We demonstrate the efficiency of the proposed method by means of various numerical benchmarks.


title: Ordinal Regression for Difficulty Estimation of StepMania Levels

abstract: StepMania is a popular open-source clone of a rhythm-based video game. As is common in popular games, there is a large number of community-designed levels. It is often difficult for players and level authors to determine the difficulty level of such community contributions. In this work, we formalize and analyze the difficulty prediction task on StepMania levels as an ordinal regression (OR) task. We standardize a more extensive and diverse selection of this data resulting in five data sets, two of which are extensions of previous work. We evaluate many competitive OR and non-OR models, demonstrating that neural network-based models significantly outperform the state of the art and that StepMania-level data makes for an excellent test bed for deep OR models. We conclude with a user experiment showing our trained models' superiority over human labeling.


title: Processes analogous to ecological interactions and dispersal shape the dynamics of economic activities

abstract: The processes of ecological interactions, dispersal and mutations shape the dynamics of biological communities, and analogous eco-evolutionary processes acting upon economic entities have been proposed to explain economic change. This hypothesis is compelling because it explains economic change through endogenous mechanisms, but it has not been quantitatively tested at the global economy level. Here, we use an inverse modelling technique and 59 years of economic data covering 77 countries to test whether the collective dynamics of national economic activities can be characterised by eco-evolutionary processes. We estimate the statistical support of dynamic community models in which the dynamics of economic activities are coupled with positive and negative interactions between the activities, the spatial dispersal of the activities, and their transformations into other economic activities. We find strong support for the models capturing positive interactions between economic activities and spatial dispersal of the activities across countries. These results suggest that processes akin to those occurring in ecosystems play a significant role in the dynamics of economic systems. The strength-of-evidence obtained for each model varies across countries and may be caused by differences in the distance between countries, specific institutional contexts, and historical contingencies. Overall, our study provides a new quantitative, biologically inspired framework to study the forces shaping economic change.


title: Note on the structure constants for the diffeomorphisms of the two-sphere

abstract: A simplified calculation of the structure constants of the diffeomorphism group of the two-sphere is presented


title: Reduced minimal models and torsion

abstract: Let $E/\mathbb{Q}$ be an elliptic curve. The reduced minimal model of $E$ is a global minimal model $y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}$ which satisfies the additional conditions that $a_{1},a_{3}\in \{0,1\}$ and $a_{2}\in\{0,\pm1\}$. The reduced minimal model of $E$ is unique, and in this article, we explicitly classify the reduced minimal model of an elliptic curve $E/\mathbb{Q}$ with a non-trivial torsion point. We obtain this classification by first showing that the reduced minimal model of $E$ is uniquely determined by a congruence on $c_6$ modulo $24$. We then apply this result to parameterized families of elliptic curves to deduce our main result. We also show that the reduction at $2$ and $3$ of $E$ affects the reduced minimal model of $E$.


title: Contracting Skeletal Kinematics for Human-Related Video Anomaly Detection

abstract: Detecting the anomaly of human behavior is paramount to timely recognizing endangering situations, such as street fights or elderly falls. However, anomaly detection is complex since anomalous events are rare and because it is an open set recognition task, i.e., what is anomalous at inference has not been observed at training. We propose COSKAD, a novel model that encodes skeletal human motion by a graph convolutional network and learns to COntract SKeletal kinematic embeddings onto a latent hypersphere of minimum volume for Video Anomaly Detection. We propose three latent spaces: the commonly-adopted Euclidean and the novel spherical and hyperbolic. All variants outperform the state-of-the-art on the most recent UBnormal dataset, for which we contribute a human-related version with annotated skeletons. COSKAD sets a new state-of-the-art on the human-related versions of ShanghaiTech Campus and CUHK Avenue, with performance comparable to video-based methods. Source code and dataset will be released upon acceptance.


title: Speeding Up BatchBALD: A k-BALD Family of Approximations for Active Learning

abstract: Active learning is a powerful method for training machine learning models with limited labeled data. One commonly used technique for active learning is BatchBALD, which uses Bayesian neural networks to find the most informative points to label in a pool set. However, BatchBALD can be very slow to compute, especially for larger datasets. In this paper, we propose a new approximation, k-BALD, which uses k-wise mutual information terms to approximate BatchBALD, making it much less expensive to compute. Results on the MNIST dataset show that k-BALD is significantly faster than BatchBALD while maintaining similar performance. Additionally, we also propose a dynamic approach for choosing k based on the quality of the approximation, making it more efficient for larger datasets.


title: AMR Magnetic Sensors in Flux Expulsion Studies

abstract: Magnetic flux expulsion properties of the superconducting material such as bulk niobium, widely used for the radio-frequency cavity fabrication, substantially affect the performance characteristics of the cavities. The quality factor of the SRF resonators can be significantly compromised due to the presence of the trapped flux vortices causing additional RF energy losses in the material. Large number of experiments have been carried out by different research groups to establish the correlation of the flux trapping in niobium cavities with the presence of impurities in niobium as well as various surface treatment methods. Majority of these experiments utilize commercially available cryogenic fluxgate magnetic sensors to measure the field before and after the niobium transition to the superconducting state to quantify the amount of flux trapped. One disadvantage of the typically used fluxgates is the size of the sensing volume. As an example, the Barting-ton F and G type cryogenic fluxgates have a sensing core length of about 30mm, which is comparable to the curvature radius of the cavity walls and hence the magnetic field lines curvature radius after the expulsion. Thus, the measured field value needs to be corrected to account for the sensor effective averaging over the sensing volume. In case of the sharper geometries, for instance if the flux expulsion to be measured on the edge of the rectangular niobium flat sheet with a thickness of ~5mm, the use of the fluxgate would be impractical.


title: Understanding Context to Capture when Reconstructing Meaningful Spaces for Remote Instruction and Connecting in XR

abstract: Recent technological advances are enabling HCI researchers to explore interaction possibilities for remote XR collaboration using high-fidelity reconstructions of physical activity spaces. However, creating these reconstructions often lacks user involvement with an overt focus on capturing sensory context that does not necessarily augment an informal social experience. This work seeks to understand social context that can be important for reconstruction to enable XR applications for informal instructional scenarios. Our study involved the evaluation of an XR remote guidance prototype by 8 intergenerational groups of closely related gardeners using reconstructions of personally meaningful spaces in their gardens. Our findings contextualize physical objects and areas with various motivations related to gardening and detail perceptions of XR that might affect the use of reconstructions for remote interaction. We discuss implications for user involvement to create reconstructions that better translate real-world experience, encourage reflection, incorporate privacy considerations, and preserve shared experiences with XR as a medium for informal intergenerational activities.


title: Functionality of box intersection graphs

abstract: Functionality is a graph complexity measure that extends a variety of parameters, such as vertex degree, degeneracy, clique-width, or twin-width. In the present paper, we show that functionality is bounded for box intersection graphs in $\mathbb{R}^1$, i.e. for interval graphs, and unbounded for box intersection graphs in $\mathbb{R}^3$. We also study a parameter known as symmetric difference, which is intermediate between twin-width and functionality, and show that this parameter is unbounded both for interval graphs and for unit box intersection graphs in $\mathbb{R}^2$.


title: High-density magnetomyography is superior to high-density surface electromyography for motor unit decomposition: a simulation study

abstract: Objective: Studying motor units (MUs) is essential for understanding motor control, the detection of neuromuscular disorders and the control of human-machine interfaces. Individual motor unit firings are currently identified in vivo by decomposing electromyographic (EMG) signals. Due to our body's properties and anatomy, individual motor units can only be separated to a limited extent with surface EMG. Unlike electrical signals, magnetic fields do not interact with human tissues. This physical property and the emerging technology of quantum sensors make magnetomyography (MMG) a highly promising methodology. However, the full potential of MMG to study neuromuscular physiology has not yet been explored. Approach: In this work, we perform in silico trials that combine a biophysical model of EMG and MMG with state-of-the-art algorithms for the decomposition of motor units. This allows the prediction of an upper-bound for the motor unit decomposition accuracy. Main results: It is shown that non-invasive high-density MMG data is superior over comparable high-density surface EMG data for the robust identification of the discharge patterns of individual motor units. Decomposing MMG instead of EMG increased the number of identifiable motor units by 76%. Notably, MMG exhibits a less pronounced bias to detect superficial motor units. Significance: The presented simulations provide insights into methods to study the neuromuscular system non-invasively and in vivo that would not be easily feasible by other means. Hence, this study provides guidance for the development of novel biomedical technologies.


title: Remarks on weak convergence of complex Monge-Amp\`ere measures

abstract: Let $(u_j)$ be a deaceasing sequence of psh functions in the domain of definition $\cal D$ of the Monge-Amp\`ere operator on a domain $\Omega$ of $\mathbb{C}^n$ such that $u=\inf_j u_j$ is plurisubharmonic on $\Omega$. In this paper we are interested in the problem of finding conditions insuring that \begin{equation*} \lim_{j\to +\infty} \int\varphi (dd^cu_j)^n=\int\varphi {\rm NP}(dd^cu)^n \end{equation*} for any continuous function on $\Omega$ with compact support, where ${\rm NP}(dd^cu)^n$ is the nonpolar part of $(dd^cu)^n$, and conditions implying that $u\in \cal D$. For $u_j=\max(u,-j)$ these conditions imply also that \begin{equation*} \lim_{j\to +\infty} \int_K(dd^cu_j)^n=\int_K {\rm NP}(dd^cu)^n \end{equation*} for any compact set $K\subset\{u>-\infty\}$.


title: ECGAN: Self-supervised generative adversarial network for electrocardiography

abstract: High-quality synthetic data can support the development of effective predictive models for biomedical tasks, especially in rare diseases or when subject to compelling privacy constraints. These limitations, for instance, negatively impact open access to electrocardiography datasets about arrhythmias. This work introduces a self-supervised approach to the generation of synthetic electrocardiography time series which is shown to promote morphological plausibility. Our model (ECGAN) allows conditioning the generative process for specific rhythm abnormalities, enhancing synchronization and diversity across samples with respect to literature models. A dedicated sample quality assessment framework is also defined, leveraging arrhythmia classifiers. The empirical results highlight a substantial improvement against state-of-the-art generative models for sequences and audio synthesis.


title: Privacy-Aware Load Balancing in Fog Networks: A Reinforcement Learning Approach

abstract: In this paper, we propose a load balancing algorithm based on Reinforcement Learning (RL) to optimize the performance of Fog Computing for real-time IoT applications. The algorithm aims to minimize the waiting delay of IoT workloads in dynamic environments with unpredictable traffic demands, using intelligent workload distribution. Unlike previous studies, our solution does not require load and resource information from Fog nodes to preserve the privacy of service providers, who may wish to hide such information to prevent competitors from calculating better pricing strategies. The proposed algorithm is evaluated on a Discrete-event Simulator (DES) to mimic practical deployment in real environments, and its generalization ability is tested on simulations longer than what it was trained on. Our results show that our proposed approach outperforms baseline load balancing methods under different workload generation rates, while ensuring the privacy of Fog service providers. Furthermore, the environment representation we proposed for the RL agent demonstrates better performance compared to the commonly used representations for RL solutions in the literature, which compromise privacy.


title: Triplet Contrastive Representation Learning for Unsupervised Vehicle Re-identification

abstract: Part feature learning is critical for fine-grained semantic understanding in vehicle re-identification. However, existing approaches directly model part features and global features, which can easily lead to serious gradient vanishing issues due to their unequal feature information and unreliable pseudo-labels for unsupervised vehicle re-identification. To address this problem, in this paper, we propose a simple Triplet Contrastive Representation Learning (TCRL) framework which leverages cluster features to bridge the part features and global features for unsupervised vehicle re-identification. Specifically, TCRL devises three memory banks to store the instance/cluster features and proposes a Proxy Contrastive Loss (PCL) to make contrastive learning between adjacent memory banks, thus presenting the associations between the part and global features as a transition of the part-cluster and cluster-global associations. Since the cluster memory bank copes with all the vehicle features, it can summarize them into a discriminative feature representation. To deeply exploit the instance/cluster information, TCRL proposes two additional loss functions. For the instance-level feature, a Hybrid Contrastive Loss (HCL) re-defines the sample correlations by approaching the positive instance features and pushing the all negative instance features away. For the cluster-level feature, a Weighted Regularization Cluster Contrastive Loss (WRCCL) refines the pseudo labels by penalizing the mislabeled images according to the instance similarity. Extensive experiments show that TCRL outperforms many state-of-the-art unsupervised vehicle re-identification approaches.


title: Study on the composition optimization method for improving the fluidity of cast Ti$_2$AlNb alloy and its mechanism

abstract: In this paper, the effects of Al, Nb main elements, Fe, Mo, W, Co, B, Si and their contents on the fluidity of Ti-22Al-25Nb alloy were investigated. The composition that was beneficial to improve the fluidity was screened through the thermodynamic software calculating thermophysical parameters affecting the fluidity of Ti$_2$AlNb alloy, the numerical simulation test of its fluidity and the verification test of the fluidity of optimized alloys. Finally, the improvement mechanism of the alloy fluidity was discussed. Results showed that the appropriate reduction of Nb element was better than Al element for the improvement of fluidity. The addition of trace Fe, B and Si elements were beneficial to the improvement of fluidity, the improvement effect of B element was best, while the addition of trace Mo, W, Co were not conducive to the improvement of fluidity. The cessation mechanism of Ti$_2$AlNb alloy is the cessation mechanism of the alloy with a wide crystallization temperature range. The composition which was most beneficial to improve the fluidity was Ti-22Al-24Nb-0.1B. The main reasons for the improvement of the fluidity had two sides: on the one hand, the reduction of 1at% Nb and the addition of 0.1at% B not only increased the superheat and crystallization latent heat of the alloy, but also reduced the melt viscosity and thermal conductivity, thus improving the fluidity. On the other hand, the TiB phase refined the grains, the fine grains prevented the dendrite from growing into developed dendrite networks, inhibited the adverse effect of the increase in the width of the solidification zone on the fluidity, reduced the flow resistance of the molten metal, and further improved the fluidity of the alloy.


title: Federated Sufficient Dimension Reduction Through High-Dimensional Sparse Sliced Inverse Regression

abstract: Federated learning has become a popular tool in the big data era nowadays. It trains a centralized model based on data from different clients while keeping data decentralized. In this paper, we propose a federated sparse sliced inverse regression algorithm for the first time. Our method can simultaneously estimate the central dimension reduction subspace and perform variable selection in a federated setting. We transform this federated high-dimensional sparse sliced inverse regression problem into a convex optimization problem by constructing the covariance matrix safely and losslessly. We then use a linearized alternating direction method of multipliers algorithm to estimate the central subspace. We also give approaches of Bayesian information criterion and hold-out validation to ascertain the dimension of the central subspace and the hyper-parameter of the algorithm. We establish an upper bound of the statistical error rate of our estimator under the heterogeneous setting. We demonstrate the effectiveness of our method through simulations and real world applications.


title: The Exact Solutions of Certain Linear Partial Difference Equations

abstract: Difference equations have many applications and play an important role in numerical analysis, probability, statistics, combinatorics, computer science, and quantum consciousness, etc. We first prove that the partial differential equation is equivalent to partial difference equation with an example of heat equation. Additionally, we use generating functions to find the exact solutions of some simple linear partial difference equations. Then we extend it to more general partial difference equations of higher dimensions and obtain their solutions. We conclude that using multivariable power series as generating function is a very efficient method to solve partial difference equations.


title: The Identity Problem in the special affine group of $\mathbb{Z}^2$

abstract: We consider semigroup algorithmic problems in the Special Affine group $\mathsf{SA}(2, \mathbb{Z}) = \mathbb{Z}^2 \rtimes \mathsf{SL}(2, \mathbb{Z})$, which is the group of affine transformations of the lattice $\mathbb{Z}^2$ that preserve orientation. Our paper focuses on two decision problems introduced by Choffrut and Karhum\"{a}ki (2005): the Identity Problem (does a semigroup contain a neutral element?) and the Group Problem (is a semigroup a group?) for finitely generated sub-semigroups of $\mathsf{SA}(2, \mathbb{Z})$. We show that both problems are decidable and NP-complete. Since $\mathsf{SL}(2, \mathbb{Z}) \leq \mathsf{SA}(2, \mathbb{Z}) \leq \mathsf{SL}(3, \mathbb{Z})$, our result extends that of Bell, Hirvensalo and Potapov (2017) on the NP-completeness of both problems in $\mathsf{SL}(2, \mathbb{Z})$, and contributes a first step towards the open problems in $\mathsf{SL}(3, \mathbb{Z})$.