title: A New Branching Rule for Range Minimization Problems

abstract: We consider range minimization problems featuring exponentially many variables, as frequently arising in fairness-oriented or bi-objective optimization. While branch-and-price is successful at solving cost-oriented problems with many variables, the performance of classical branch-and-price algorithms for range minimization is drastically impaired by weak linear programming relaxations. We propose range branching, a generic branching rule that directly tackles this issue and is compatible with any problem-specific branching scheme. We show several desirable properties of range branching and show its effectiveness on a series of fair capacitated vehicle routing instances. Range branching outperforms multiple classical branching schemes in terms of computing time, optimality gap, and size of the branch-and-bound tree, allowing us to solve many more large instances than classical methods.


title: Formulating Discrete Probability Flow Through Optimal Transport

abstract: Continuous diffusion models are commonly acknowledged to display a deterministic probability flow, whereas discrete diffusion models do not. In this paper, we aim to establish the fundamental theory for the probability flow of discrete diffusion models. Specifically, we first prove that the continuous probability flow is the Monge optimal transport map under certain conditions, and also present an equivalent evidence for discrete cases. In view of these findings, we are then able to define the discrete probability flow in line with the principles of optimal transport. Finally, drawing upon our newly established definitions, we propose a novel sampling method that surpasses previous discrete diffusion models in its ability to generate more certain outcomes. Extensive experiments on the synthetic toy dataset and the CIFAR-10 dataset have validated the effectiveness of our proposed discrete probability flow. Code is released at: https://github.com/PangzeCheung/Discrete-Probability-Flow.


title: Toward ground-truth optical coherence tomography via three-dimensional unsupervised deep learning processing and data

abstract: Optical coherence tomography (OCT) can perform non-invasive high-resolution three-dimensional (3D) imaging and has been widely used in biomedical fields, while it is inevitably affected by coherence speckle noise which degrades OCT imaging performance and restricts its applications. Here we present a novel speckle-free OCT imaging strategy, named toward-ground-truth OCT (tGT-OCT), that utilizes unsupervised 3D deep-learning processing and leverages OCT 3D imaging features to achieve speckle-free OCT imaging. Specifically, our proposed tGT-OCT utilizes an unsupervised 3D-convolution deep-learning network trained using random 3D volumetric data to distinguish and separate speckle from real structures in 3D imaging volumetric space; moreover, tGT-OCT effectively further reduces speckle noise and reveals structures that would otherwise be obscured by speckle noise while preserving spatial resolution. Results derived from different samples demonstrated the high-quality speckle-free 3D imaging performance of tGT-OCT and its advancement beyond the previous state-of-the-art.


title: Impact of imperfect measurements on multi-party quantum key distribution

abstract: The imperfection of measurements in real-world scenarios can compromise the performance of device-independent quantum key distribution (DIQKD) protocols. In this paper, we focus on a specific DIQKD protocol that relies on the violation of the Svetlichny's inequality (SI), considering an eavesdropper utilizing the convex combination attack. Our analysis covers both the three-party DIQKD case and the general $n$-party scenario. Our main result is the relationship between the measurement accuracy and the extractable secret-key rate in all multi-party scenarios. The result demonstrates that as measurement accuracy improves, the extractable secret-key rate approaches $1$, reaching its maximum value when the measurement accuracy is perfect. We reveal that achieving positive extractable secret-key rates requires a threshold measurement accuracy that is consistently higher than the critical measurement accuracy necessary to violate the SI. We depict these thresholds for $n$-party scenarios ranging from $n=3$ to $n=10$, demonstrating that as the number of parties ($n$) increases, both thresholds exhibit a rapid and monotonic convergence towards unity. Furthermore, we consider a scenario involving a non-maximally entangled state with imperfect measurements, where the emission of the initial GHZ state undergoes noise during transmission, resulting in a Werner state. The study further quantifies and demonstrates the relationship between the extractable secret-key rate, the visibility of the Werner state, and the measurement accuracy, specifically emphasizing the three-party scenario. This study aims to illuminate the influence of imperfect measurement accuracy on the security and performance of multi-party DIQKD protocols. The results emphasize the importance of high measurement accuracy in achieving positive secret-key rates and maintaining the violation of the SI.


title: Efficiently Detecting Performance Changes in FaaS Application Releases

abstract: The source code of Function as a Service (FaaS) applications is constantly being refined. To detect if a source code change introduces a significant performance regression, the traditional benchmarking approach evaluates both the old and new function version separately using numerous artificial requests. In this paper, we describe a wrapper approach that enables the Randomized Multiple Interleaved Trials (RMIT) benchmark execution methodology in FaaS environments and use bootstrapping percentile intervals to derive more accurate confidence intervals of detected performance changes. We evaluate our approach using two public FaaS providers, an artificial performance issue, and several benchmark configuration parameters. We conclude that RMIT can shrink the width of confidence intervals in the results from 10.65% using the traditional approach to 0.37% using RMIT and thus enables a more fine-grained performance change detection.


title: Search for high-frequency gravitational waves with Rydberg atoms

abstract: We propose high-frequency gravitational wave (GW) detectors with Rydberg atoms. Rydberg atoms are sensitive detectors of electric fields. By setting up a constant magnetic field, a weak electric field is generated upon the arrival of GWs. The weak electric field signal is then detected by an electromagnetically induced transparency (EIT) in the system of the Rydberg atoms. Recently, the sensitivity of the Rydberg atoms is further improved by combining superheterodyne detection method. Hence, even the weak signal generated by the GWs turns out to be detectable. We calculate the amplitude of Rabi frequency of the Rydberg atoms induced by the GWs and show that the sensitivity of the Rydberg atoms becomes maximum when the size of the Rydberg atoms is close to the wavelength of GWs. As an example, we evaluate the sensitivity of the GW detector with Rubidium Rydberg atoms and find that the detector can probe GWs with a frequency 26.4 GHz and an amplitude approximately around $10^{20}$. We argue that the sensitivity can be further enhanced by exploiting entangled atoms.


title: The role of microstructure in the thermal fatigue of solder joints

abstract: Thermal fatigue is a common failure mode in electronic solder joints, yet the role of microstructure is incompletely understood. Here, we quantify the evolution of microstructure and damage in Sn-3Ag-0.5Cu joints throughout a ball grid array (BGA) package using EBSD mapping of localised subgrains, recrystallisation and heavily coarsened Ag3Sn. We then interpret the results with a multi-scale modelling approach that links from a continuum model at the package/board scale through to a crystal plasticity finite element model at the microstructure scale. We measure and explain the dependence of damage evolution on (i) the beta-Sn crystal orientation(s) in single and multigrain joints, and (ii) the coefficient of thermal expansion (CTE) mismatch between tin grains in cyclic twinned multigrain joints. We further explore the relative importance of the solder microstructure versus the joint location in the array. The results provide a basis for designing optimum solder joint microstructures for thermal fatigue resistance.


title: Magnetic-field tuned anisotropic quantum phase transition in the distorted kagome antiferromagnet Nd3BWO9

abstract: Rare-earth (RE) kagome-lattice magnets offer an excellent platform to discover the novel magnetic phase as well as quantum phase transition tuned by non-thermal control parameters, while the experimental realizations remain largely unexplored. Here, we report the discovery of magnetic-field (B)-induced anisotropic quantum phase transition in a distorted kagome antiferromagnet Nd3BWO9 with TN~0.32 K. The isothermal magnetizations at 0.05 K exhibit the spin-flop like metamagnetic crossover behaviors with different fractional magnetization anomalies for B perpendicular (B // c-axis) and parallel (B // a*-axis) to the kagome plane, respectively. In combination with the thermodynamic measurements, the field-temperature (B-T) phase diagrams for both field directions are constructed and that reveal the existence of several field-induced magnetic states. Along the c-axis, a proximate quantum bicritical point is observed near the metamagnetic crossover, which separates the low-field antiferromagnetic (AFM) phase and the intermediate AFM phase. While, for B // a*, another intermediate magnetic phase (IAFM2) appears between the low-field AFM phase and intermediate AFM (IAFM1) phase, giving rise to a tetracritical point. These results support the anisotropic field-induced metamagnetic quantum criticalities in Nd3BWO9, making it as a rare kagome antiferromagnet to investigate the quantum multi-criticality driven by spin frustration.


title: Understanding Tool Discovery and Tool Innovation Using Active Inference

abstract: The ability to invent new tools has been identified as an important facet of our ability as a species to problem solve in dynamic and novel environments. While the use of tools by artificial agents presents a challenging task and has been widely identified as a key goal in the field of autonomous robotics, far less research has tackled the invention of new tools by agents. In this paper, (1) we articulate the distinction between tool discovery and tool innovation by providing a minimal description of the two concepts under the formalism of active inference. We then (2) apply this description to construct a toy model of tool innovation by introducing the notion of tool affordances into the hidden states of the agent's probabilistic generative model. This particular state factorisation facilitates the ability to not just discover tools but invent them through the offline induction of an appropriate tool property. We discuss the implications of these preliminary results and outline future directions of research.


title: Representations of symmetric and alternating groups and their double covers that remain irreducible modulo every prime

abstract: We classify globally irreducible representations of alternating groups and double covers of symmetric and alternating groups. In order to achieve this classification we also completely characterise irreducible representations of such groups which reduce almost homogeneously in every characteristic. This also allows us to classify irreducible representations that remain irreducible in every characteristic. In particular we show that, apart from finitely many exceptions, for any of these three questions such representations are either $1$-dimensional or basic spin representations.


title: Improved Deterministic Streaming Algorithms for Non-monotone Submodular Maximization

abstract: Submodular maximization is one of the central topics in combinatorial optimization. It has found numerous applications in the real world. Streaming algorithms for submodule maximization have gained attention in recent years, allowing for real-time processing of large data sets by looking at each piece of data only once. However, most of the state-of-the-art algorithms are subject to monotone cardinality constraint. There remain non-negligible gaps with respect to approximation ratios between cardinality and other constraints like $d$-knapsack in non-monotone submodular maximization. In this paper, we propose deterministic algorithms with improved approximation ratios for non-monotone submodular maximization. Specifically, for the cardinality constraint, we provide a deterministic $1/6-\epsilon$ approximation algorithm with $O(\frac{k\log k}{\epsilon})$ memory and sublinear query time, while the previous best algorithm is randomized with a $0.1921$ approximation ratio. To the best of our knowledge, this is the first deterministic streaming algorithm for the cardinality constraint. For the $d$-knapsack constraint, we provide a deterministic $\frac{1}{4(d+1)}-\epsilon$ approximation algorithm with $O(\frac{b\log b}{\epsilon})$ memory and $O(\frac{\log b}{\epsilon})$ query time per element. To the best of our knowledge, there is currently no streaming algorithm for this constraint.


title: iACOS: Advancing Implicit Sentiment Extraction with Informative and Adaptive Negative Examples

abstract: Aspect-based sentiment analysis (ABSA) have been extensively studied, but little light has been shed on the quadruple extraction consisting of four fundamental elements: aspects, categories, opinions and sentiments, especially with implicit aspects and opinions. In this paper, we propose a new method iACOS for extracting Implicit Aspects with Categories and Opinions with Sentiments. First, iACOS appends two implicit tokens at the end of a text to capture the context-aware representation of all tokens including implicit aspects and opinions. Second, iACOS develops a sequence labeling model over the context-aware token representation to co-extract explicit and implicit aspects and opinions. Third, iACOS devises a multi-label classifier with a specialized multi-head attention for discovering aspect-opinion pairs and predicting their categories and sentiments simultaneously. Fourth, iACOS leverages informative and adaptive negative examples to jointly train the multi-label classifier and the other two classifiers on categories and sentiments by multi-task learning. Finally, the experimental results show that iACOS significantly outperforms other quadruple extraction baselines according to the F1 score on two public benchmark datasets.


title: Temporal Graph Representation Learning with Adaptive Augmentation Contrastive

abstract: Temporal graph representation learning aims to generate low-dimensional dynamic node embeddings to capture temporal information as well as structural and property information. Current representation learning methods for temporal networks often focus on capturing fine-grained information, which may lead to the model capturing random noise instead of essential semantic information. While graph contrastive learning has shown promise in dealing with noise, it only applies to static graphs or snapshots and may not be suitable for handling time-dependent noise. To alleviate the above challenge, we propose a novel Temporal Graph representation learning with Adaptive augmentation Contrastive (TGAC) model. The adaptive augmentation on the temporal graph is made by combining prior knowledge with temporal information, and the contrastive objective function is constructed by defining the augmented inter-view contrast and intra-view contrast. To complement TGAC, we propose three adaptive augmentation strategies that modify topological features to reduce noise from the network. Our extensive experiments on various real networks demonstrate that the proposed model outperforms other temporal graph representation learning methods.


title: Dissipative transfer of quantum correlations from light to atomic arrays

abstract: We show how the directional collective response of atomic arrays to light can be exploited for the dissipative generation of entangled atomic states, relevant for e.g. quantum metrology. We consider an atomic array illuminated by a paraxial beam of a squeezed-vacuum field and demonstrate that quantum-squeezing correlations are dissipatively transferred to the array atoms, resulting in an atomic spin-squeezed steady state. We find that the entanglement transfer efficiency and hence the degree of spin squeezing are determined by the resonant optical reflectivity of the array. Considering realistic cases of finite-size array and illuminating beam, we find how the spin-squeezing strength scales with system parameters, such as the number of layers in the array and its spatial overlap with the beam. We discuss applications in atomic clocks both in optical and microwave domains.


title: Learning-Based Latency-Constrained Fronthaul Compression Optimization in C-RAN

abstract: The evolution of wireless mobile networks towards cloudification, where Radio Access Network (RAN) functions can be hosted at either a central or distributed locations, offers many benefits like low cost deployment, higher capacity, and improved hardware utilization. Nevertheless, the flexibility in the functional deployment comes at the cost of stringent fronthaul (FH) capacity and latency requirements. One possible approach to deal with these rigorous constraints is to use FH compression techniques. To ensure that FH capacity and latency requirements are met, more FH compression is applied during high load, while less compression is applied during medium and low load to improve FH utilization and air interface performance. In this paper, a model-free deep reinforcement learning (DRL) based FH compression (DRL-FC) framework is proposed that dynamically controls FH compression through various configuration parameters such as modulation order, precoder granularity, and precoder weight quantization that affect both FH load and air interface performance. Simulation results show that DRL-FC exhibits significantly higher FH utilization (68.7% on average) and air interface throughput than a reference scheme (i.e. with no applied compression) across different FH load levels. At the same time, the proposed DRL-FC framework is able to meet the predefined FH latency constraints (in our case set to 260 $\mu$s) under various FH loads.


title: Why Fair Automated Hiring Systems Breach EU Non-Discrimination Law

abstract: Employment selection processes that use automated hiring systems based on machine learning are becoming increasingly commonplace. Meanwhile, concerns about algorithmic direct and indirect discrimination that result from such systems are front-and-center, and the technical solutions provided by the research community often systematically deviate from the principle of equal treatment to combat disparate or adverse impacts on groups based on protected attributes. Those technical solutions are now being used in commercially available automated hiring systems, potentially engaging in real-world discrimination. Algorithmic fairness and algorithmic non-discrimination are not the same. This article examines a conflict between the two: whether such hiring systems are compliant with EU non-discrimination law.


title: Parikh's Theorem Made Symbolic

abstract: Parikh's Theorem is a fundamental result in automata theory with numerous applications in computer science: software verification (e.g. infinite-state verification, string constraints, and theory of arrays), verification of cryptographic protocols (e.g. using Horn clauses modulo equational theories) and database querying (e.g. evaluating path-queries in graph databases). Parikh's Theorem states that the letter-counting abstraction of a language recognized by finite automata or context-free grammars is definable in Presburger Arithmetic. Unfortunately, real-world applications typically require large alphabets - which are well-known to be not amenable to explicit treatment of the alphabets. Symbolic automata have proven in the last decade to be an effective algorithmic framework for handling large finite or even infinite alphabets. A symbolic automaton employs an effective boolean algebra, which offers a symbolic representation of character sets and often lends itself to an exponentially more succinct representation of a language. Instead of letter-counting, Parikh's Theorem for symbolic automata amounts to counting the number of times different predicates are satisfied by an input sequence. Unfortunately, naively applying Parikh's Theorem from classical automata theory to symbolic automata yields existential Presburger formulas of exponential size. We provide a new construction for Parikh's Theorem for symbolic automata and grammars, which avoids this exponential blowup: our algorithm computes an existential formula in polynomial-time over (quantifier-free) Presburger and the base theory. In fact, our algorithm extends to the model of parametric symbolic grammars, which are one of the most expressive models of languages over infinite alphabets. We have implemented our algorithm and show it can be used to solve string constraints that are difficult to solve by existing solvers.


title: Measurement of the electron-hole pair creation energy in a 4H-SiC p-n diode

abstract: For 4H silicon carbide (4H-SiC), the values for the electron-hole pair creation energy $\epsilon_{\text{i}}$ published in the literature vary significantly. This work presents an experimental determination of $\epsilon_{\text{i}}$ using $50$ $\mu$m 4H-SiC p-n diodes designed for particle detection in high-energy physics. The detector response was measured for $\alpha$ particles between 4.2 MeV and 5.6 MeV for 4H-SiC and a silicon reference device. Different $\alpha$ energies were obtained by using multiple nuclides and varying the effective air gap between the $\alpha$ source and the detector. The energy deposited in the detectors was determined using a Monte Carlo simulation, taking into account the device cross-sections. A linear fit of the detector response to the deposited energy yields $\epsilon_{\text{i}} = (7.83 \pm 0.02)\;\text{eV}$, which agrees well with the most recent literature. For the 4H-SiC detectors, a linewidth of 28 keV FWHM was achieved, corresponding to an energy resolution of 0.5\%.


title: Study of the pion-mass dependence of $\rho$-meson properties in lattice QCD

abstract: We collect spectra extracted in the $I=\ell=1$ $\pi\pi$ sector provided by various lattice QCD collaborations and study the $m_\pi$ dependence of $\rho$-meson properties using Hamiltonian Effective Field Theory (HEFT). In this unified analysis, the coupling constant and cutoff mass, characterizing the $\rho - \pi \pi$ vertex, are both found to be weakly dependent on $m_\pi$, while the mass of the bare $\rho$, associated with a simple quark-model state, shows a linear dependence on $m_\pi^2$. Both the lattice results and experimental data can be described well. Drawing on HEFT's ability to describe the pion mass dependence of resonances in a single formalism, we map the dependence of the phase shift as a function of $m_\pi$, and expose interesting discrepancies in contemporary lattice QCD results.


title: RobustMat: Neural Diffusion for Street Landmark Patch Matching under Challenging Environments

abstract: For autonomous vehicles (AVs), visual perception techniques based on sensors like cameras play crucial roles in information acquisition and processing. In various computer perception tasks for AVs, it may be helpful to match landmark patches taken by an onboard camera with other landmark patches captured at a different time or saved in a street scene image database. To perform matching under challenging driving environments caused by changing seasons, weather, and illumination, we utilize the spatial neighborhood information of each patch. We propose an approach, named RobustMat, which derives its robustness to perturbations from neural differential equations. A convolutional neural ODE diffusion module is used to learn the feature representation for the landmark patches. A graph neural PDE diffusion module then aggregates information from neighboring landmark patches in the street scene. Finally, feature similarity learning outputs the final matching score. Our approach is evaluated on several street scene datasets and demonstrated to achieve state-of-the-art matching results under environmental perturbations.


title: Young wall realizations of level 1 irreducible highest weight and Fock space crystals of quantum affine algebras in type E

abstract: We construct Young wall models for the crystal bases of level $1$ irreducible highest weight representations and Fock space representations of quantum affine algebras in types $E_{6}^{(1)}$, $E_{7}^{(1)}$ and $E_{8}^{(1)}$. In each case, Young walls consist of coloured blocks stacked inside the relevant Young wall pattern which satisfy a certain combinatorial condition. Moreover the crystal structure is described entirely in terms of adding and removing blocks.


title: SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits

abstract: This paper proposes an efficient stabilizer circuit simulation algorithm that only traverses the circuit forward once. We introduce phase symbolization into stabilizer generators, which allows possible Pauli faults in the circuit to be accumulated explicitly as symbolic expressions in the phases of stabilizer generators. This way, the measurement outcomes are also symbolic expressions, and we can sample them by substituting the symbolic variables with concrete values, without traversing the circuit repeatedly. We show how to integrate symbolic phases into the stabilizer tableau and maintain them efficiently using bit-vector encoding. A new data layout of the stabilizer tableau in memory is proposed, which improves the performance of our algorithm (and other stabilizer simulation algorithms based on the stabilizer tableau). We implement our algorithm and data layout in a Julia package named SymPhase.jl, and compare it with Stim, the state-of-the-art simulator, on several benchmarks. We show that SymPhase.jl has superior performance in terms of sampling time, which is crucial for generating a large number of samples for further analysis.


title: The Polyakov loop models in the large N limit: Correlation function and screening masses

abstract: We explore the 't Hooft-Veneziano limit of the Polyakov loop models at finite baryon chemical potential. Using methods developed by us earlier we calculate the two- and $N$-point correlation functions of the Polyakov loops. This gives a possibility to compute the various potentials in the confinement phase and to derive the screening masses outside the confinement region. In particular, we establish the existence of complex masses and an oscillating decay of correlations in a certain range of parameters. Furthermore, it is shown that the calculation of the $N$-point correlation function in the confinement phase reduces to the geometric median problem. This leads to a large $N$ analog of the $Y$ law for the baryon potential.


title: Direct reduction of iron-ore with hydrogen in fluidized beds: A coarse-grained CFD-DEM-IBM study

abstract: Hydrogen metallurgy technology uses hydrogen as the reducing agent instead of carbon reduction, which is one of the important ways to reduce carbon dioxide emissions and ensure the green and sustainable development of iron and steel industry. Due to the advantages of high gas-solid contact efficiency and outstanding mass and heat transfer, direct reduction of iron ore in fluidized beds has attracted much attention. In this study, a coarse-grained CFD-DEM-IBM solver based on hybrid CPU-GPU computing is developed to simulate the direct reduction process of two kinds of iron ore with hydrogen in fluidized beds, where an unreacted shrinking core model based on multiple reaction paths is used to model the reduction reactions, a coarse-grained model and multiple GPUs enable the significant acceleration of particle computation, and the immersed boundary method (IBM) enables the use of simple mesh even in complex geometries of reactors. The predicted results of particle reduction degree are in good agreement with the experimental values, which proves the correctness of the CFD-DEM-IBM solver. In addition, the effects of reaction kinetic parameters and operating temperature on particle reduction degree are also investigated. Present study provides a method for digital design, optimization and scale-up of ironmaking reactors.


title: Primal Separation and Approximation for the $\{0, 1/2\}$-closure

abstract: We advance the theoretical study of $\{0, 1/2\}$-cuts for integer programming problems $\max\{c^T x \colon A x \leq b, x \text{ integer}\}$. Such cuts are Gomory-Chv\'atal cuts that only need multipliers of value $0$ or $1/2$ in their derivation. The intersection of all $\{0, 1/2\}$-cuts derived from $Ax \le b$ is denoted by $P_{1/2}$ and called the $\{0,1/2\}$-closure of $P = \{x : Ax \le b\}$. The primal separation problem for $\{0, 1/2\}$-cuts is: Given a vertex $\hat x$ of the integer hull of $P$ and some fractional point $x^* \in P$, does there exist a $\{0,1/2\}$-cut that is tight at $\hat x$ and violated by $x^*$? Primal separation is the key ingredient of primal cutting-plane approaches to integer programming. In general, primal separation for $\{0,1/2\}$-cuts is NP-hard. We present two cases for which primal separation is solvable in polynomial time. As an interesting side product, we obtain a(nother) simple proof that matching can be solved in polynomial time. Furthermore, since optimization over the Gomory-Chv\'atal closure is also NP-hard, there has been recent research on solving the optimization problem over the Gomory-Chv\'atal closure approximately. In a similar spirit, we show that the optimization problem over the $\{0,1/2\}$-closure can be solved in polynomial time up to a factor $(1 + \varepsilon)$, for any fixed $\varepsilon > 0$.


title: Structure of universal formulas

abstract: By universal formulas we understand parameterized analytic expressions that have a fixed complexity, but nevertheless can approximate any continuous function on a compact set. There exist various examples of such formulas, including some in the form of neural networks. In this paper we analyze the essential structural elements of these highly expressive models. We introduce a hierarchy of expressiveness classes connecting the global approximability property to the weaker property of infinite VC dimension, and prove a series of classification results for several increasingly complex functional families. In particular, we introduce a general family of polynomially-exponentially-algebraic functions that, as we prove, is subject to polynomial constraints. As a consequence, we show that fixed-size neural networks with not more than one layer of neurons having transcendental activations (e.g., sine or standard sigmoid) cannot in general approximate functions on arbitrary finite sets. On the other hand, we give examples of functional families, including two-hidden-layer neural networks, that approximate functions on arbitrary finite sets, but fail to do that on the whole domain of definition.


title: Distributed Parameter Estimation with Gaussian Observation Noises in Time-varying Digraphs

abstract: In this paper, we consider the problem of distributed parameter estimation in sensor networks. Each sensor makes successive observations of an unknown $d$-dimensional parameter, which might be subject to Gaussian random noises. The sensors aim to infer the true value of the unknown parameter by cooperating with each other. To this end, we first generalize the so-called dynamic regressor extension and mixing (DREM) algorithm to stochastic systems, with which the problem of estimating a $d$-dimensional vector parameter is transformed to that of $d$ scalar ones: one for each of the unknown parameters. For each of the scalar problem, both combine-then-adapt (CTA) and adapt-then-combine (ATC) diffusion-based estimation algorithms are given, where each sensor performs a combination step to fuse the local estimates in its in-neighborhood, alongside an adaptation step to process its streaming observations. Under weak conditions on network topology and excitation of regressors, we show that the proposed estimators guarantee that each sensor infers the true parameter, even if any individual of them cannot by itself. Specifically, it is required that the union of topologies over an interval with fixed length is strongly connected. Moreover, the sensors must collectively satisfy a cooperative persistent excitation (PE) condition, which relaxes the traditional PE condition. Numerical examples are finally provided to illustrate the established results.


title: FLORA: Fine-grained Low-Rank Architecture Search for Vision Transformer

abstract: Vision Transformers (ViT) have recently demonstrated success across a myriad of computer vision tasks. However, their elevated computational demands pose significant challenges for real-world deployment. While low-rank approximation stands out as a renowned method to reduce computational loads, efficiently automating the target rank selection in ViT remains a challenge. Drawing from the notable similarity and alignment between the processes of rank selection and One-Shot NAS, we introduce FLORA, an end-to-end automatic framework based on NAS. To overcome the design challenge of supernet posed by vast search space, FLORA employs a low-rank aware candidate filtering strategy. This method adeptly identifies and eliminates underperforming candidates, effectively alleviating potential undertraining and interference among subnetworks. To further enhance the quality of low-rank supernets, we design a low-rank specific training paradigm. First, we propose weight inheritance to construct supernet and enable gradient sharing among low-rank modules. Secondly, we adopt low-rank aware sampling to strategically allocate training resources, taking into account inherited information from pre-trained models. Empirical results underscore FLORA's efficacy. With our method, a more fine-grained rank configuration can be generated automatically and yield up to 33% extra FLOPs reduction compared to a simple uniform configuration. More specific, FLORA-DeiT-B/FLORA-Swin-B can save up to 55%/42% FLOPs almost without performance degradtion. Importantly, FLORA boasts both versatility and orthogonality, offering an extra 21%-26% FLOPs reduction when integrated with leading compression techniques or compact hybrid structures. Our code is publicly available at https://github.com/shadowpa0327/FLORA.


title: Classifying bi-invariant 2-forms on infinite-dimensional Lie groups

abstract: A bi-invariant differential 2-form on a Lie group G is a highly constrained object, being determined by purely linear data: an Ad-invariant alternating bilinear form on the Lie algebra of G. On a compact connected Lie group these have an known classification, in terms of de Rham cohomology, which is here generalised to arbitrary finite-dimensional Lie groups, at the cost of losing the connection to cohomology. This expanded classification extends further to all Milnor regular infinite-dimensional Lie groups. I give some examples of (structured) diffeomorphism groups to which the result on bi-invariant forms applies. For symplectomorphism and volume-preserving diffeomorphism groups the spaces of bi-invariant 2-forms are finite-dimensional, and related to the de Rham cohomology of the original compact manifold. In the particular case of the infinite-dimensional projective unitary group PU(H) the classification invalidates an assumption made by Mathai and the author about a certain 2-form on this Banach Lie group.


title: Fine large-time asymptotics for the axisymmetric Navier--Stokes equations

abstract: We examine the large-time behavior of axisymmetric solutions without swirl of the Navier--Stokes equation in $\mathbb{R}^3$. We construct higher-order asymptotic expansions for the corresponding vorticity. The appeal of this work lies in the simplicity of the applied techniques: Our approach is completely based on standard $L^2$-based entropy methods.


title: Topological entanglement entropy to identify topological order in quantum skyrmions

abstract: We study the topological entanglement entropy and scalar chirality of a topologically ordered skyrmion formed in a two-dimensional triangular lattice. Scalar chirality remains a smooth function of the magnetic field in both helical and quantum skyrmion phases. In contrast, topological entanglement entropy remains almost constant in the quantum skyrmion phase, whereas it experiences enhanced fluctuations in the helical phase. Therefore, topological entanglement entropy is an effective tool to distinguish between the two phases and pinpoint the quantum phase transition in the system.


title: Dark-Field X-ray Microscopy for 2D and 3D imaging of Microstructural Dynamics at the European X-ray Free Electron Laser

abstract: Dark field X-ray microscopy (DXFM) has enabled experiments to visualize microstructural distortions in bulk crystals. Using the femtosecond X-ray pulses generated by X-ray free-electron lasers (XFEL), DFXM can achieve ~1-um spatial resolution and <100 fs time resolution simultaneously. In this paper, we present the first ultrafast DFXM measurements at the European XFEL. In this work, we demonstrate DFXM of laser-induced phonon wavepackets propagating through dislocations inside a diamond single crystal. In addition to demonstrating this new capability, we present two new DFXM scanning techniques for XFEL applications, 3D and axial-strain scans with sub-{\mu}m spatial resolution. With this progress to XFEL DFXM, we discuss new opportunities to study multi-timescale spatio-temporal dynamics of defects, strain waves, and other localized phenomena deep inside crystals.


title: A Stochastic Model of Translocation of Knotted Proteins

abstract: Knotted proteins, when forced through the pores, can get stuck if the knots in their backbone tighten under force. Alternatively, the knot can slide off the chain, making translocation possible. We construct a simple energy landscape model of this process with a time-periodic potential that mimics the action of a molecular motor. We calculate the translocation time as a function of the period of the pulling force, discuss the asymptotic limits and biological relevance of the results.


title: Nonlinear Quantum Optics in an Atomic Cavity

abstract: The idea of making photons effectively interact has attracted a lot of interest in recent years, for several reasons. Firstly, since photons do not naturally interact with each other, it is of fundamental physical interest to see what kind of medium can mediate interactions between these fundamental and non-interacting particles, and to what extent. Secondly, photonics is a major candidate for future quantum technology, due to the easy manipulation, readout, and transport of photons, which makes them ideal for quantum information processing. Finally, achieving strong and tunable interactions among photons would open up an avenue for exploring the many-body physics of a fluid of light. In this thesis, we will see how a cavity formed of subwavelength lattices of two-level atoms can confine photons to a nonlinear environment for a long time, such that emitted photons have accumulated strong correlations both among their momenta and in their temporal statistics. This speaks of a strong photon-photon interaction within the cavity. The nonlinearity originates in the saturability of individual atoms, and the lattice structure results in a strong and low-loss collective interaction with light. While a single atomic lattice has a largely linear nature, as the effect of individual atoms washes out in the collective response, the confining geometry of the cavity means the photons are exposed to the underlying saturability of the atoms for such a long time that the nonlinearity is revived. We will analyse this system both using a standard input-output formalism, where the nonlinear physics of the system is handled numerically, and a powerful Green's function-based approach that allows for exact analytical results with no additional approximations. This analytical description has the potential to lead to an exact study of the many-body physics of interacting photons in a two-dimensional setting.


title: Unveiling the Invisible: Detection and Evaluation of Prototype Pollution Gadgets with Dynamic Taint Analysis

abstract: For better or worse, JavaScript is the cornerstone of modern Web. Prototype-based languages like JavaScript are susceptible to prototype pollution vulnerabilities, enabling an attacker to inject arbitrary properties into an object's prototype. The attacker can subsequently capitalize on the injected properties by executing otherwise benign pieces of code, so-called gadgets, that perform security-sensitive operations. The success of an attack largely depends on the presence of gadgets, leading to high-profile exploits such as privilege escalation and arbitrary code execution (ACE). This paper proposes Dasty, the first semi-automated pipeline to help developers identify gadgets in their applications' software supply chain. Dasty targets server-side Node.js applications and relies on an enhancement of dynamic taint analysis which we implement with the dynamic AST-level instrumentation. Moreover, Dasty provides support for visualization of code flows with an IDE, thus facilitating the subsequent manual analysis for building proof-of-concept exploits. To illustrate the danger of gadgets, we use Dasty in a study of the most dependent-upon NPM packages to analyze the presence of gadgets leading to ACE. Dasty identifies 1,269 server-side packages, of which 631 have code flows that may reach dangerous sinks. We manually prioritize and verify the candidate flows to build proof-of-concept exploits for 49 NPM packages, including popular packages such as ejs, nodemailer and workerpool. To investigate how Dasty integrates with existing tools to find end-to-end exploits, we conduct an in-depth analysis of a popular data visualization dashboard to find one high-severity CVE-2023-31415 leading to remote code execution. For the first time, our results systematically demonstrate the dangers of server-side gadgets and call for further research to solve the problem.


title: An Intelligent Edge-Deployable Indoor Air Quality Monitoring and Activity Recognition Approach

abstract: The surveillance of indoor air quality is paramount for ensuring environmental safety, a task made increasingly viable due to advancements in technology and the application of artificial intelligence and deep learning (DL) tools. This paper introduces an intelligent system dedicated to monitoring air quality and categorizing activities within indoor environments using a DL approach based on 1D Convolutional Neural Networks (1D-CNNs). Our system integrates six diverse sensors to gather measurement parameters, which subsequently train a 1D CNN model for activity recognition. This proposed model boasts a lightweight and edge-deployable design, rendering it ideal for real-time applications. We conducted our experiments utilizing an air quality dataset specifically designed for Activity of Daily Living (ADL) classification. The results illustrate the proposed model's efficacy, achieving a remarkable accuracy of 97.00%, a minimal loss value of 0.15%, and a swift prediction time of 41 milliseconds.


title: Fast and Efficient Type-II Phototransistors Integrated on Silicon

abstract: Increasing the efficiency and reducing the footprint of on-chip photodetectors enables dense optical interconnects for emerging computational and sensing applications. Avalanche photodetectors (APD) are currently the dominating on-chip photodetectors. However, the physics of avalanche multiplication leads to low energy efficiencies and prevents device operation at a high gain, due to a high excess noise, resulting in the need for electrical amplifiers. These properties significantly increase power consumption and footprint of current optical receivers. In contrast, heterojunction phototransistors (HPT) exhibit high efficiency and very small excess noise at high gain. However, HPT's gain-bandwidth product (GBP) is currently inferior to that of APDs at low optical powers. Here, we demonstrate that the type-II energy band alignment in an antimony-based HPT results in a significantly smaller junction capacitance and higher GBP at low optical powers. We used a CMOS-compatible heterogeneous integration method to create compact optical receivers on silicon with an energy efficiency that is about one order of magnitude higher than that of the best reported integrated APDs on silicon at a similar GBP of 270 GHz. Bitrate measurements show data rate spatial density above 800 Tbps per mm2, and an energy-per-bit consumption of only 6 fJ/bit at 3 Gbps. These unique features suggest new opportunities for creating highly efficient and compact on-chip optical receivers based on devices with type-II band alignment.


title: Riemann-Hilbert problems from rank 3 WKB spectral networks

abstract: We extract cluster structures and establish spectral coordinates from rank 3 WKB spectral networks $\mathcal W(\varphi,\vartheta)$ when zeros of $\varphi(z)$ are almost on a line in the complex plane. Then, we provide solutions to the Riemann-Hilbert problems (cf. arXiv:1611.03697) defined by these WKB spectral networks, using the spectral coordinates. As an application, we embed spaces of framed polynomial cubic differentials, associated with these WKB spectral networks, into spaces of stability conditions, adopting the approach of arXiv:1302.7030.


title: Hardware Aware Evolutionary Neural Architecture Search using Representation Similarity Metric

abstract: Hardware-aware Neural Architecture Search (HW-NAS) is a technique used to automatically design the architecture of a neural network for a specific task and target hardware. However, evaluating the performance of candidate architectures is a key challenge in HW-NAS, as it requires significant computational resources. To address this challenge, we propose an efficient hardware-aware evolution-based NAS approach called HW-EvRSNAS. Our approach re-frames the neural architecture search problem as finding an architecture with performance similar to that of a reference model for a target hardware, while adhering to a cost constraint for that hardware. This is achieved through a representation similarity metric known as Representation Mutual Information (RMI) employed as a proxy performance evaluator. It measures the mutual information between the hidden layer representations of a reference model and those of sampled architectures using a single training batch. We also use a penalty term that penalizes the search process in proportion to how far an architecture's hardware cost is from the desired hardware cost threshold. This resulted in a significantly reduced search time compared to the literature that reached up to 8000x speedups resulting in lower CO2 emissions. The proposed approach is evaluated on two different search spaces while using lower computational resources. Furthermore, our approach is thoroughly examined on six different edge devices under various hardware cost constraints.


title: Follow-up on the Supermassive Black Hole Binary Candidate J1048+7143: Successful Prediction of the Next Gamma-ray Flare and Refined Binary Parameters in the Framework of Jet Precession Model

abstract: Analyzing single-dish and VLBI radio, as well as \textit{Fermi}-LAT $\gamma$-ray observations, we explained the three major flares in the $\gamma$-ray light curve of FSRQ J1048+7143 with the spin--orbit precession of the dominant mass black hole in a supermassive black hole binary system. Here, we report on the detection of a fourth $\gamma$-ray flare from J1048+7143, appearing in the time interval which was predicted in our previous work. Including this new flare, we constrained the mass ratio into a narrow range of $0.062<q<0.088$, and consequently we were able to further constrain the parameters of the hypothetical supermassive binary black hole at the heart of J1048+7143. We predict the occurrence of the fifth major $\gamma$-ray flare that would appear only if the jet will still lay close to our line sight. The fourth major $\gamma$-ray flare also shows the two-subflare structure, further strengthening our scenario in which the occurrence of the subflares is the signature of the precession of a spine--sheath jet structure that quasi-periodically interacts with a proton target, e.g. clouds in the broad-line region.


title: Sensitivity of solid phase stability to the interparticle potential range: studies of a new Lennard-Jones like model

abstract: In a recent article, Wang et al (Phys. Chem. Chem. Phys., 22, 10624 (2020)) introduced a new class of interparticle potential for molecular simulations. The potential is defined by a single range parameter, eliminating the need to decide how to truncate truly long-range interactions like the Lennard-Jones (LJ) potential. The authors explored the phase diagram for a particular value of the range parameter for which their potential is similar in shape to the LJ 12-6 potential. We have reevaluated the solid phase behaviour of this model using both Lattice Switch Monte Carlo and thermodynamic integration. In addition to finding that the boundary between hexagonal close packed (hcp) and face centred cubic (fcc) phases presented by Wang et al was calculated incorrectly, we show that owing to its finite range, the new potential exhibits several 'artifact' reentrant transitions between hcp and fcc phases. The artifact phases, which do not occur in the full (untruncated) LJ system, are also found for typically adopted forms of the truncated and shifted LJ potential. However, whilst in the latter case one can systematically investigate and correct for the effects of the finite range on the calculated phase behaviour, this is not possible for the new potential because the choice of range parameter affects the entire potential shape. Our results highlight that potentials with finite range may fail to represent the crystalline phase behaviour of systems with long-range dispersion interactions, even qualitatively.


title: On the Coupling of Hamilton's Principle and Thermodynamic Extremal Principles

abstract: Extremal principles can generally be divided into two rather distinct classes. There are, on the one hand side, formulations based on the Lagrangian or Hamiltonian mechanics, respectively, dealing with time dependent problems, but essentially resting on conservation of energy and thus being not applicable to dissipative systems in a consistent way. On the other hand, there are formulations based essentially on maximizing the dissipation, working efficiently for the description of dissipative systems, but being not suitable for including inertia effects. Many at-tempts can be found in the literature to overcome this split into incompatible principles. How-ever, essentially all of them possess an unnatural appearance. In this work, we suggest a solution to this dilemma resting on an additional assumption based on the thermodynamic driving forces involved. Applications to a simple dissipative structure and a material with varying mass demonstrate the capability of the proposed approach.


title: The Binding Energy of Triplet Excitons in Non-Fullerene Acceptors: The Effects of Fluorination and Chlorination

abstract: One strategy to improve the photovoltaic properties of non-fullerene acceptors (NFAs) is the rational fluorination or chlorination of those molecules. Although this modification improves important acceptor properties, little is known about the effects on the triplet states. Here, we combine the polarizable continuum model with optimally tuned range-separated hybrid functional to investigate this issue. We find that fluorination or chlorination of NFAs decreases the degree of HOMO-LUMO overlap along these molecules. Consequently, the energy gap between $T_{1}$ and $S_{1}$ states, $\Delta E_{ST} = E_{S_{1}} - E_{T_{1}}$, also decreases. This effect simultaneously enhances the generation of triplet excitons and reduce the binding energy of the triplet excitons ($E_{b,T}$) which favor their dissociation into free charges. Interestingly, although Cl has a lower electronegativity than F, the chlorination is more effective to reduce $\Delta E_{ST}$. Since chlorination of NFAs is easier than fluorination, Cl substitution can be a useful approach to enhance solar energy harvesting using triplet excitons.


title: Improving Korean NLP Tasks with Linguistically Informed Subword Tokenization and Sub-character Decomposition

abstract: We introduce a morpheme-aware subword tokenization method that utilizes sub-character decomposition to address the challenges of applying Byte Pair Encoding (BPE) to Korean, a language characterized by its rich morphology and unique writing system. Our approach balances linguistic accuracy with computational efficiency in Pre-trained Language Models (PLMs). Our evaluations show that this technique achieves good performances overall, notably improving results in the syntactic task of NIKL-CoLA. This suggests that integrating morpheme type information can enhance language models' syntactic and semantic capabilities, indicating that adopting more linguistic insights can further improve performance beyond standard morphological analysis.


title: Estimate magnetic field strength in heavy-ion collisions via the direct photon elliptic flow

abstract: There must be electromagnetic fields created during high-energy heavy-ion collisions. As the quark-gluon plasma (QGP) starts to evolve hydrodynamically, although these fields may become weak comparing to the energy scales of the strong interaction, they are potentially important to some electromagnetic probes. In this work, we focus on the dissipative corrections in QGP due to the presence of a weak external magnetic field, and calculate accordingly the induced photon radiation in the framework of viscous hydrodynamics. By event-by-event hydrodynamical simulations, the experimentally measured direct photon elliptic flow can be well reproduced. Correspondingly, the direct photon elliptic flow implies a magnetic field strength around 0.1$m_\pi^2 \sim 10^{16}$ G. This is indeed a weak field in heavy-ion physics that is compatible to the theoretical predictions, however, it is still an ultra-strong magnetic field in nature.


title: Inhibition of water vapor condensation by dipropylene glycol droplets on hydrophobic surfaces via vapor sink strategy

abstract: Condensation, frosting and icing are natural phenomena, and have been enduring challenges for human society and modern engineering. These phenomena pose a range of issues, from hazardous icy road surfaces, damage to electronic devices due to condensation, to frost accumulation on power lines and aircraft. Dipropylene glycol (DG) is a non-toxic, non-corrosive, and biologically safe substance with excellent hygroscopicity, capable of inhibiting condensation and ice formation through the vapor sink strategy. However, there has been limited research on DG. Herein, we provides a detailed study of the performance of DG droplets in suppressing condensation with experiments and theoretical analysis. Results found that a dry zone ring would form around the DG droplet on a cooling solid surface. The ratio of the dry-zone radius to the DG droplet radius increases with the solid surface temperature and scales as 1/(Tdew-Tc). Results indicated that the cooling time of substrate surface does not affect the ratio in a short period. When the temperature is higher, the ratio decreases slightly with DG droplet volume; while it keeps almost still, when the temperature is lower. A theoretical model is also proposed to reveal the relationship between the ratio and the substrate surface temperature. These findings hold the promise of not only enhancing our understanding of condensation suppression but also advancing the development of innovative solutions for various industries, including transportation, electronics, aviation, and power distribution.


title: Doped Mott-Hubbard materials with a low quasiparticle transparency

abstract: Based on the Wilson's criterion metal-insulator, extended to materials with strong electronic correlations, we have identified a specific class of the materials, which is not associated with their usual classification into Mott-Hubbard and charge transfer dielectrics. The local symmetry of these materials leads to a disappearance of quasiparticle states (so-called first removal or fist extra states) in the Hubbard's gap. It's especially unusual for the doped materials, where quasiparticles - charge carriers can disappear or appear under external factors, but the Mott transition has not yet been achieved. In the work we introduced the so-called a "quasiparticle transparency", and also provided specific experiments to identify the materials with the low quasiparticle transparency. Some examples of these materials with a spin crossover under high pressure and showing Jahn-Teller nature have been observed.


title: TempoGRAPHer: Aggregation Based Temporal Graph Exploration

abstract: Graphs offer a generic abstraction for modeling entities, and the interactions and relationships between them. Most real world graphs, such as social and cooperation networks evolve over time, and exploring their evolution may reveal important information. In this paper, we present TempoGRAPHer, a system for visualizing and analyzing the evolution of a temporal attributed graph. TempoGRAPHer supports both temporal and attribute aggregation. It also allows graph exploration by identifying periods of significant growth, shrinkage, or stability. Temporal exploration is supported by two complementary strategies, namely skyline and interaction-based exploration. Skyline-based exploration provides insights on the overall trends in the evolution, while interaction-based exploration offers a closer look at specific parts of the graph evolution history where significant changes appeared. We showcase the usefulness of TempoGRAPHer in understanding graph evolution by presenting a detailed scenario that explores the evolution of a contact network between primary school students.


title: Reversed Hardy-Littlewood-Sobolev inequalities with vertical weights on the upper half space

abstract: In this paper, we obtain the reversed Hardy-Littlewood-Sobolev inequality with vertical weights on the upper half space and discuss the extremal functions. We show that the sharp constants in this inequality are attained by introducing a renormalization method. The classification of corresponding extremal functions is discussed via the method of moving spheres. Moreover, we prove the sufficient and necessary conditions of existence for positive solutions to the Euler-Lagrange equations by using Pohozaev identities in weak sense. This renormalization method is rearrangement free, which can be also applied to prove the existence of extremal functions for sharp (reversed) Hardy-Littlewood-Sobolev inequality with extended kernels and other similar inequalities.


title: Planet formation around Intermediate-mass stars I: Different disc evolutionary pathways as a function of stellar mass

abstract: The study of protoplanetary disc evolution and planet formation has mainly concentrated on solar (and low) mass stars since they host the majority of the confirmed exoplanets. Nevertheless, the numerous planets found orbiting stars up to $\sim3M_\odot$ has sparked interest in understanding how they form and how their hosting discs evolve. Our goal is to improve our knowledge on the gas disc evolution around intermediate mass stars for future planet formation studies. We study the long-term evolution of protoplanetary discs affected by viscous accretion, X-ray and FUV photoevaporation from the central star around stars between $1 - 3M_\odot$ considering the effects of stellar evolution. We explore different values of the viscosity parameter and the initial mass of the disc. We find that the evolutionary pathway of disc dispersal depends on the stellar mass. Our simulations reveal four distinct evolutionary pathways for the gas disc not reported before that are a consequence of stellar evolution, and which will likely impact dust evolution and planet formation. As the stellar mass grows from 1 to $\sim2M_\odot$, the disc evolution changes from the conventional inside-out clearing to a homogeneous disc evolution scenario where both inner and outer discs, formed after photoevaporation opened a gap, vanish over a similar timescale. As the stellar mass continues to increase, reaching $\sim 3M_\odot$, we have identified a distinct pathway that we refer to as revenant disc evolution, where the inner and outer discs reconnect after the gap opened. For the largest masses, we observe outside-in disc dispersal, in which the outer disc dissipates first due to the strong FUV photoevaporation. Revenant disc evolution stands out as it is capable of extending the disc lifespan. Otherwise, the disc dispersal time scale decreases with increasing stellar mass except for low viscosity discs.


title: The role of electronic bandstructure shape in improving the thermoelectric power factor of complex materials

abstract: The large variety of complex electronic structure materials and their alloys, offer highly promising directions for improvements in thermoelectric (TE) power factors (PF). Their electronic structure contains rich features, referred to as 'surface complexity', one of them being the highly anisotropic warped energy surface shapes with elongated features and threads in some cases. In this work we use Boltzmann transport simulations to quantify the influence that the shape of the electronic structure energy surfaces has on the PF. Using both analytical ellipsoidal bands, as well as realistic bands from the group of half-Heuslers, we show that band shape complexity alone can offer an advantage to the PF of ~3x in realistic cases. The presence of anisotropic scattering mechanisms such as ionized impurity or polar optical phonon scattering, however, can reduce these improvements by up to ~50%. We show that expressions based on the simple ratio of the density-of-states to the conductivity effective masses, mDOS/mC, together with the number of valleys, can capture the anisotropy shape with a moderate to high degree of correlation. For this, we use a convenient way to extract these masses by mapping the complex bandstructures of materials to parabolic electronic structures, without the need for Boltzmann transport codes. Despite the fact that the PF depends on many parameters, information about the benefits of the band shape alone, would be very useful for identifying and understanding the performance of novel thermoelectric materials.


title: The UMIST Database for Astrochemistry 2022

abstract: Detailed astrochemical models are a key component to interpret the observations of interstellar and circumstellar molecules since they allow important physical properties of the gas and its evolutionary history to be deduced. We update one of the most widely used astrochemical databases to reflect advances in experimental and theoretical estimates of rate coefficients and to respond to the large increase in the number of molecules detected in space since our last release in 2013. We present the sixth release of the UMIST Database for Astrochemistry (UDfA), a major expansion of the gas-phase chemistry that describes the synthesis of interstellar and circumstellar molecules. Since our last release, we have undertaken a major review of the literature which has increased the number of reactions by over 40% to a total of 8767 and increased the number of species by over 55% to 737. We have made a particular attempt to include many of the new species detected in space over the past decade, including those from the QUIJOTE and GOTHAM surveys, as well as providing references to the original data sources. We use the database to investigate the gas-phase chemistries appropriate to O-rich and C-rich conditions in TMC-1 and to the circumstellar envelope of the C-rich AGB star IRC+10216 and identify successes and failures of gas-phase only models. This update is a significant improvement to the UDfA database. For the dark cloud and C-rich circumstellar envelope models, calculations match around 60% of the abundances of observed species to within an order of magnitude. There are a number of detected species, however, that are not included in the model either because their gas-phase chemistry is unknown or because they are likely formed via surface reactions on icy grains. Future laboratory and theoretical work is needed to include such species in reaction networks.

categories: astro-ph.GA astro-ph.EP astro-ph.SR physics.chem-ph


title: Geometry of commutes in the universality of percolating traffic flows

abstract: Traffic congestion is a major problem in megacities which increases vehicle emissions and degrades ambient air quality. Various models have been developed to address the universal features of traffic jams. These models range from micro car-following models to macro collective dynamic models. Here, we study the macrostructure of congested traffic influenced by the complex geometry of the commute. Our main focus is on the dynamics of traffic patterns in Paris, and Los Angeles each with distinct urban structures. We analyze the complexity of the giant traffic clusters based on a percolation framework during rush hours in the mornings, evenings, and holidays. We uncover that the universality described by several critical exponents of traffic patterns is highly correlated with the geometry of commute and the underlying urban structure. Our findings might have broad implications for developing a greener, healthier, and more sustainable future city.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech cs.NA math.NA


title: Analysis of NaN Divergence in Training Monocular Depth Estimation Model

abstract: The latest advances in deep learning have facilitated the development of highly accurate monocular depth estimation models. However, when training a monocular depth estimation network, practitioners and researchers have observed not a number (NaN) loss, which disrupts gradient descent optimization. Although several practitioners have reported the stochastic and mysterious occurrence of NaN loss that bothers training, its root cause is not discussed in the literature. This study conducted an in-depth analysis of NaN loss during training a monocular depth estimation network and identified three types of vulnerabilities that cause NaN loss: 1) the use of square root loss, which leads to an unstable gradient; 2) the log-sigmoid function, which exhibits numerical stability issues; and 3) certain variance implementations, which yield incorrect computations. Furthermore, for each vulnerability, the occurrence of NaN loss was demonstrated and practical guidelines to prevent NaN loss were presented. Experiments showed that both optimization stability and performance on monocular depth estimation could be improved by following our guidelines.


title: Computation of the Distribution of the Absorption Time of the Drifted Diffusion with Stochastic Resetting and Mixed Boundary Conditions

abstract: This article introduces two techniques for computing the distribution of the first passage or absorption time of a drifted Wiener diffusion with Poisson resetting times, in presence of an upper hard wall reflection and a lower absorbing barrier. The first method starts with the Pad\'e approximation to the Laplace transform of the first passage time, which is then inverted through the partial fraction decomposition. The second method, which we call "multiresolution algorithm", is a Monte Carlo technique that exploits the properties of the Wiener process in order to generate Brownian bridges at increasing resolution levels. This technique allows to approximate the first passage time at any level of accuracy. An intensive numerical study reveals that the multiresolution algorithm has higher accuracy than standard Monte Carlo, whereas the faster method based on the Pad\'e approximation provides sufficient accuracy in specific circumstances only. Besides these two numerical approximations, this article provides a closed-form expression for the expected first passage time.


title: On singular foliations tangent to a given hypersurface

abstract: We consider a class of singular foliations in the sense of Androulidakis and Skandalis that we call transverse order $k$ foliations. These have a finite number of leaves: one hypersurface (the singular leaf) together with the components of its complement (open leaves). The positive integer parameter $k$ encodes the "order of tangency" of the leafwise vector fields to $L$. We show that a loop in the singular leaf induces a well-defined holonomy transformation at the level of $(k-1)$-jets. The resulting holonomy invariant can be used to give a complete classification of these foliations and obtain concrete descriptions of their associated groupoids and algebras.


title: Dimension-independent weak value estimation via controlled SWAP operations

abstract: Weak values of quantum observables are a powerful tool for investigating a broad spectrum of quantum phenomena. For this reason, several methods to measure them in the laboratory have been proposed. Some of these methods require weak interactions and postselection, while others are deterministic, but require statistics over a number of experiments growing exponentially with the number of measured particles. Here we propose a deterministic dimension-independent scheme for estimating weak values of arbitrary observables. The scheme, based on coherently controlled SWAP operations, does not require prior knowledge of the initial and final states, nor of the measured observables, and therefore can work with uncharacterized preparation and measurement devices. As a byproduct, our scheme provides an alternative expression for two-time states, that is, states describing quantum systems subject to pre and post-selections. Using this expression, we show that the controlled-SWAP scheme can be used to estimate weak values for a class of two-time states associated to bipartite quantum states with positive partial transpose.


title: The Music Meta Ontology: a flexible semantic model for the interoperability of music metadata

abstract: The semantic description of music metadata is a key requirement for the creation of music datasets that can be aligned, integrated, and accessed for information retrieval and knowledge discovery. It is nonetheless an open challenge due to the complexity of musical concepts arising from different genres, styles, and periods -- standing to benefit from a lingua franca to accommodate various stakeholders (musicologists, librarians, data engineers, etc.). To initiate this transition, we introduce the Music Meta ontology, a rich and flexible semantic model to describe music metadata related to artists, compositions, performances, recordings, and links. We follow eXtreme Design methodologies and best practices for data engineering, to reflect the perspectives and the requirements of various stakeholders into the design of the model, while leveraging ontology design patterns and accounting for provenance at different levels (claims, links). After presenting the main features of Music Meta, we provide a first evaluation of the model, alignments to other schema (Music Ontology, DOREMUS, Wikidata), and support for data transformation.


title: CLIP Guided Image-perceptive Prompt Learning for Image Enhancement

abstract: Image enhancement is a significant research area in the fields of computer vision and image processing. In recent years, many learning-based methods for image enhancement have been developed, where the Look-up-table (LUT) has proven to be an effective tool. In this paper, we delve into the potential of Contrastive Language-Image Pre-Training (CLIP) Guided Prompt Learning, proposing a simple structure called CLIP-LUT for image enhancement. We found that the prior knowledge of CLIP can effectively discern the quality of degraded images, which can provide reliable guidance. To be specific, We initially learn image-perceptive prompts to distinguish between original and target images using CLIP model, in the meanwhile, we introduce a very simple network by incorporating a simple baseline to predict the weights of three different LUT as enhancement network. The obtained prompts are used to steer the enhancement network like a loss function and improve the performance of model. We demonstrate that by simply combining a straightforward method with CLIP, we can obtain satisfactory results.


title: Search for Resonant Production of Dark Quarks in the Dijet Final State with the ATLAS Detector

abstract: This paper presents a search for a new $Z^\prime$ resonance decaying into a pair of dark quarks which hadronise into dark hadrons before promptly decaying back as Standard Model particles. This analysis is based on proton-proton collision data recorded at $\sqrt{s}=13$ TeV with the ATLAS detector at the Large Hadron Collider between 2015 and 2018, corresponding to an integrated luminosity of 139 fb$^{-1}$. After selecting events containing large-radius jets with high track multiplicity, the invariant mass distribution of the two highest-transverse-momentum jets is scanned to look for an excess above a data-driven estimate of the Standard Model multijet background. No significant excess of events is observed and the results are thus used to set 95 % confidence-level upper limits on the production cross-section times branching ratio of the $Z^\prime$ to dark quarks as a function of the $Z^\prime$ mass for various dark-quark scenarios.


title: Conditions for efficient charge generation preceded by energy transfer process in non-fullerene organic solar cells

abstract: The minimum driving force strategy is applied to promote the exciton dissociation in organic solar cells (OSCs) without significant loss of open-circuit voltage. However, this strategy tends to promote F\"orster resonance energy transfer (FRET) from the donor to the acceptor (D-A), a consequence generally ignored until recently. In spite of the advances reported on this topic, the correlation between charge-transfer (CT) state binding energy and driving force remains unclear, especially in the presence of D-A FRET. To address this question, we employ a kinetic approach to model the charge separation in ten different D/A blends using non-fullerene acceptors. The model considers the influence of FRET on photoluminescence (PL) quenching efficiency. It successfully predicts the measured PL quenching efficiency for D or A photoexcitation in those blends, including the ones for which the D-A FRET process is relevant. Furthermore, the application of the model allows to quantifying the fractions of quenching loss associated with charge transfer and energy transfer. Fundamental relationships that controls the exciton dissociation was derived evidencing the key roles played by the Marcus inverted regime, exciton lifetime and mainly by the correlation between the driving force and binding energy of CT state. Based on those findings, we propose some strategies to maximize the quenching efficiency and minimize energy loss of OSCs in the presence of D-A FRET.


title: Baxter $Q$-operator for the hyperbolic Calogero--Moser system

abstract: We introduce a $Q$-operator $\mathcal{Q}_z$ for the hyperbolic Calogero--Moser system as a one-parameter family of explicit integral operators. We establish the standard properties of a $Q$-operator, i.e.~invariance of Hamiltonians, commutativity for different parameter values and that its eigenvalues satisfy an explicitly given first order ordinary difference equation in the parameter $z$.


title: Moment of inertia and supervortical temperature of gluon plasma

abstract: Using lattice simulations, we analyze the influence of uniform rotation on the equation of state of gluodynamics. For a sufficiently slow rotation, the free energy of the system can be expanded into a series of powers of angular velocity. We calculate the moment of inertia given by the quadratic coefficient of this expansion using both analytic continuation and derivative methods, which demonstrate a good agreement between the results. We find that the moment of inertia unexpectedly takes a negative value below the ``supervortical temperature'' $T_s = 1.50(10) T_c$, vanishes at $T = T_s$, and becomes a positive quantity at higher temperatures. We discuss how our results are related to the scale anomaly and the magnetic gluon condensate. We point out that the negativity of the moment of inertia is in qualitative agreement with our previous lattice calculations, indicating that the rigid rotation increases the critical temperatures in gluodynamics and QCD.


title: Cloud-cloud collision in S235: triggered the formation of high-mass stars and young star clusters

abstract: We present the analysis of cloud-cloud collision (CCC) process in the Galactic molecular complex S235. Our new CO observations performed with the PMO-13.7m telescope reveal two molecular clouds, namely the S235-Main and the S235-ABC, with $\sim$ 4 km s$^{-1}$ velocity separation. The bridge feature, the possible colliding interface and the complementary distribution of the two clouds are significant observational signatures of cloud-cloud collision in S235. The most direct evidence of cloud-cloud collision process in S235 is that the S235-Main (in a distance of 1547$^{+44}_{-43}$ pc) and S235-ABC (1567$^{+33}_{-39}$ pc) meet at almost the same position (within 1$\sigma$ error range) at a supersonic relative speed. We identified ten $^{13}$CO clumps from PMO-13.7m observations, 22 dust cores from the archival SCUBA-2 data, and 550 YSOs from NIR-MIR data. 63$\%$ of total YSOs are clustering in seven MST groups (M1$-$M7). The tight association between the YSO groups (M1 $\&$ M7) and the bridge feature suggests that the CCC process triggers star formation there. The collisional impact subregion (the South) shows $3\sim5$ times higher CFE and SFE (average value of 12.3$\%$ and 10.6$\%$, respectively) than the non-collisional impact subregion (2.4$\%$ and 2.6$\%$, respectively), suggesting that the CCC process may have enhanced the CFE and SFE of the clouds compared to those without collision influence.


title: Quantum signal processing over SU(N): exponential speed-up for polynomial transformations under Shor-like assumptions

abstract: Quantum signal processing (QSP) and the quantum singular value transformation (QSVT) are pivotal tools for simplifying the development of quantum algorithms. These techniques leverage polynomial transformations on the eigenvalues or singular values of block-encoded matrices, achieved with the use of just one control qubit. However, the degree of the polynomial transformations scales linearly with the length of the QSP protocol. In this work, we extend the original QSP ansatz by introducing multiple control qubits. Assuming that powers of two of the matrix to transform are easily implementable - as in Shor's factoring algorithm - we can achieve polynomial transformations with degrees that scale exponentially with the number of control qubits. This work aims to provide a partial characterization of the polynomials that can be implemented using this approach, with the original phase estimation circuit and discrete logarithm serving as illustrative examples.


title: Stable partitions for proportional generalized claims problems

abstract: We consider a set of agents who have claims on an endowment that is not large enough to cover all claims. Agents can form coalitions but a minimal coalition size $\theta$ is required to have positive coalitional funding that is proportional to the sum of the claims of its members. We analyze the structure of stable partitions when coalition members use well-behaved rules to allocate coalitional endowments, e.g., the well-known constrained equal awards rule (CEA) or the constrained equal losses rule (CEL).For continuous, (strictly) resource monotonic, and consistent rules, stable partitions with (mostly) $\theta$-size coalitions emerge. For CEA and CEL we provide algorithms to construct such a stable partition formed by $\theta$-size coalitions.


title: Coupling nitrogen-vacancy centre spins in diamond to a grape dimer

abstract: Two grapes irradiated inside a microwave (MW) oven typically produce a series of sparks and can ignite a violent plasma. The underlying cause of the plasma has been attributed to the formation of morphological-dependent resonances (MDRs) in the aqueous dielectric dimers that lead to the generation of a strong evanescent MW hotspot between them. Previous experiments have focused on the electric-field component of the field as the driving force behind the plasma ignition. Here we couple an ensemble of nitrogen-vacancy (NV) spins in nanodiamonds (NDs) to the magnetic-field component of the dimer MW field. We demonstrate the efficient coupling of the NV spins to the MW magnetic-field hotspot formed between the grape dimers using Optically Detected Magnetic Resonance (ODMR). The ODMR measurements are performed by coupling NV spins in NDs to the evanescent MW fields of a copper wire. When placing a pair of grapes around the NDs and matching the ND position with the expected magnetic-field hotspot, we see an enhancement in the ODMR contrast by more than a factor of two compared to the measurements without grapes. Using finite-element modelling, we attribute our experimental observation of the field enhancement to the MW hotspot formation between the grape dimers. The present study not only validates previous work on understanding grape-dimer resonator geometries, but it also opens up a new avenue for exploring novel MW resonator designs for quantum technologies.


title: An Analysis of Dialogue Repair in Voice Assistants

abstract: Spoken dialogue systems have transformed human-machine interaction by providing real-time responses to queries. However, misunderstandings between the user and system persist. This study explores the significance of interactional language in dialogue repair between virtual assistants and users by analyzing interactions with Google Assistant and Siri, focusing on their utilization and response to the other-initiated repair strategy "huh?" prevalent in human-human interaction. Findings reveal several assistant-generated strategies but an inability to replicate human-like repair strategies such as "huh?". English and Spanish user acceptability surveys show differences in users' repair strategy preferences and assistant usage, with both similarities and disparities among the two surveyed languages. These results shed light on inequalities between interactional language in human-human interaction and human-machine interaction, underscoring the need for further research on the impact of interactional language in human-machine interaction in English and beyond.


title: Spectral functions of the strongly interacting 3D Fermi gas

abstract: Computing dynamical properties of strongly interacting quantum many-body systems poses a major challenge to theoretical approaches. Usually, one has to resort to numerical analytic continuation of results on imaginary frequencies, which is a mathematically ill-defined procedure. Here, we present an efficient method to compute the spectral functions of the two-component Fermi gas near the strongly interacting unitary limit directly in real frequencies. To this end, we combine the Keldysh path integral that is defined in real time with the self-consistent T-matrix approximation. The latter is known to predict thermodynamic and transport properties in good agreement with experimental observations in ultracold atoms. We validate our method by comparison with thermodynamic quantities obtained from imaginary time calculations and by transforming our real-time propagators to imaginary time. By comparison with state-of-the-art numerical analytic continuation of the imaginary time results, we show that our real-time results give qualitative improvements for dynamical quantities. Moreover, we show that no significant pseudogap regime exists in the self-consistent T-matrix approximation above the critical temperature $T_c$, an issue that has been under significant debate. We close by pointing out the versatile nature of our method as it can be extended to other systems, like the spin- or mass-imbalanced Fermi gas, other Bose-Fermi models, 2D systems as well as systems out of equilibrium.


title: Defect Regulation by Palladium Incorporation towards Grain Boundaries of Kesterite solar cells

abstract: Kesterite Cu2ZnSn(S, Se)4 (CZTSSe) solar cell has emerged as one of the most promising candidates for thin-film photovoltaics. However, severe charge losses occurring at the grain boundaries (GBs) of Kesterite polycrystalline absorbers has hindered the improvement of cell performance. Herein, we report a redox reaction strategy involving palladium (Pd) to eliminate atomic vacancy defects such as VSn and VSe in GBs of the Kesterite absorbers. We demonstrate that PdSex compounds could form during the selenization process and distribute at the GBs and the absorber surfaces; thereby aid in the suppression of Sn and Se volatilization loss and inhibiting the formation of VSn and VSe defects. Furthermore, Pd(II)/Pd(IV) serves as a redox shuttle, i.e., on one hand, Pd(II) captures Se vapor from the reaction environment to produce PdSe2, on the other hand, PdSe2 provides Se atoms to the Kesterite absorber by being reduced to PdSe, thus contributing to the elimination of pre-existing VSe defects within GBs. These effects collectively reduce defects and enhance the p-type characteristics of the Kesterite absorber, leading to a significant reduction in charge recombination loss within the cell. As a result, high-performance Kesterite solar cells with a total-area efficiency of 14.5% have been achieved. This remarkable efficiency increase benefited from the redox reaction strategy offers a promising avenue for the precise regulation of defects in Kesterite solar cells and holds generally significant implications for the exploration of various other photovoltaic devices.


title: Elastic Information Bottleneck

abstract: Information bottleneck is an information-theoretic principle of representation learning that aims to learn a maximally compressed representation that preserves as much information about labels as possible. Under this principle, two different methods have been proposed, i.e., information bottleneck (IB) and deterministic information bottleneck (DIB), and have gained significant progress in explaining the representation mechanisms of deep learning algorithms. However, these theoretical and empirical successes are only valid with the assumption that training and test data are drawn from the same distribution, which is clearly not satisfied in many real-world applications. In this paper, we study their generalization abilities within a transfer learning scenario, where the target error could be decomposed into three components, i.e., source empirical error, source generalization gap (SG), and representation discrepancy (RD). Comparing IB and DIB on these terms, we prove that DIB's SG bound is tighter than IB's while DIB's RD is larger than IB's. Therefore, it is difficult to tell which one is better. To balance the trade-off between SG and the RD, we propose an elastic information bottleneck (EIB) to interpolate between the IB and DIB regularizers, which guarantees a Pareto frontier within the IB framework. Additionally, simulations and real data experiments show that EIB has the ability to achieve better domain adaptation results than IB and DIB, which validates the correctness of our theories.


title: Cup Curriculum: Curriculum Learning on Model Capacity

abstract: Curriculum learning (CL) aims to increase the performance of a learner on a given task by applying a specialized learning strategy. This strategy focuses on either the dataset, the task, or the model. There is little to no work analysing the possibilities to apply CL on the model capacity in natural language processing. To close this gap, we propose the cup curriculum. In a first phase of training we use a variation of iterative magnitude pruning to reduce model capacity. These weights are reintroduced in a second phase, resulting in the model capacity to show a cup-shaped curve over the training iterations. We empirically evaluate different strategies of the cup curriculum and show that it outperforms early stopping reliably while exhibiting a high resilience to overfitting.


title: Self-Contained and Automatic Calibration of a Multi-Fingered Hand Using Only Pairwise Contact Measurements

abstract: A self-contained calibration procedure that can be performed automatically without additional external sensors or tools is a significant advantage, especially for complex robotic systems. Here, we show that the kinematics of a multi-fingered robotic hand can be precisely calibrated only by moving the tips of the fingers pairwise into contact. The only prerequisite for this is sensitive contact detection, e.g., by torque-sensing in the joints (as in our DLR-Hand II) or tactile skin. The measurement function for a given joint configuration is the distance between the modeled fingertip geometries, but the actual measurement is always zero. In an in-depth analysis, we prove that this contact-based calibration determines all quantities needed for manipulating objects with the hand, i.e., the difference vectors of the fingertips, and that it is as sensitive as a calibration using an external visual tracking system and markers. We describe the complete calibration scheme, including the selection of optimal sample joint configurations and search motions for the contacts despite the initial kinematic uncertainties. In a real-world calibration experiment for the torque-controlled four-fingered DLR-Hand II, the maximal error of 17.7mm can be reduced to only 3.7mm.


title: Goldilocks fluctuations: dynamic constraints on loop formation in scale-free transport networks

abstract: Adaptive transport networks are known to contain loops when subject to hydrodynamic fluctuations. However, fluctuations are no guarantee that a loop will form, as shown by loop-free networks driven by oscillating flows. We provide a complete stability analysis of the dynamical behaviour of any loop formed by fluctuating flows. We find a threshold for loop stability that involves an interplay of geometric constraints and hydrodynamic forcing mapped to constant and fluctuating components. Loops require fluctuation in the relative size of the flux between nodes, not just a temporal variation in the flux at a given node. Hence, there is both a minimum and a maximum amount of fluctuation relative to the constant-flux component where loops are supported.


title: Improving the Effectiveness of Deep Generative Data

abstract: Recent deep generative models (DGMs) such as generative adversarial networks (GANs) and diffusion probabilistic models (DPMs) have shown their impressive ability in generating high-fidelity photorealistic images. Although looking appealing to human eyes, training a model on purely synthetic images for downstream image processing tasks like image classification often results in an undesired performance drop compared to training on real data. Previous works have demonstrated that enhancing a real dataset with synthetic images from DGMs can be beneficial. However, the improvements were subjected to certain circumstances and yet were not comparable to adding the same number of real images. In this work, we propose a new taxonomy to describe factors contributing to this commonly observed phenomenon and investigate it on the popular CIFAR-10 dataset. We hypothesize that the Content Gap accounts for a large portion of the performance drop when using synthetic images from DGM and propose strategies to better utilize them in downstream tasks. Extensive experiments on multiple datasets showcase that our method outperforms baselines on downstream classification tasks both in case of training on synthetic only (Synthetic-to-Real) and training on a mix of real and synthetic data (Data Augmentation), particularly in the data-scarce scenario.


title: Algebraic solutions for $o(12) {\leftrightarrow} u(2) \otimes u(10)$ quantum phase transitions in the proton-neutron interacting boson model

abstract: A simple systematic procedure to construct the proton-neutron unitary, $u_{\text{sd}}^{\pi \nu }{(12)}$, orthogonal, $o_{\text{sd}}^{\pi \nu }{(12)}$, and quasi-spin $\text{su}_{\text{sd}}^{\pi \nu }{(1,1)}$ algebras of the sd bosonic system is presented. New algebraic substructures of these algebras are discussed and the explicit formulae for their generators and Casimir operators are given in the spherical tensor form. The complementarity relationship of the Casimir operators of the $\text{su}_{\text{sd}}^{\pi \nu }{(1,1)}$ and $o_{\text{sd}}^{\pi \nu }{(12)}$ is derived. The exact algebraic solutions of the quantum phase transition Hamiltonian between the $o_{\text{sd}}^{\pi \nu }{(12)}$ and $u_s^{\pi \nu }{(2)} \otimes u_d^{\pi \nu }{(10)}$ limits has been considered, for the first time, in the framework of affine $\text{su}_{\text{sd}}^{\pi \nu }{(1,1)}$ Lie algebra. The low lying energy spectra of the $\, ^{70}\text{Ge},\, ^{76-78}\text{Se},\, ^{96-98}\text{Mo},\text{and}\, ^{100-102}\text{Ru}$ isotopes are calculated using the $o_{\text{sd}}^{\pi \nu } {(12)} {\leftrightarrow} u_s^{\pi \nu }{(2)} \otimes u_d^{\pi \nu }{(10)}$ transition Hamiltonian. The good agreement of our computation with empirical result in these isotopes emphasizes the importance of $u_s^{\pi \nu }{(2)} \otimes u_d^{\pi \nu }{(10)}$ limit. With this addition, symmetry can be extended to many nuclei.


title: Topological phases in the periodically kicked Chern insulators

abstract: Novel topological properties that arose in the periodically driven system are unique, in which there are two kinds of quasienergy gaps, the zero quasienergy gap and the $\pi$ quasienergy gap. The corresponding edge modes would traverse either the zero quasienergy gap or the $\pi$ quasienergy gap, or traverse both two quasienergy gaps. And the characterization of these two kinds of edge modes might not be the same. However, in this paper, we find that both the zero edge modes and the $\pi$ edge modes in the Floquet Chern insulators can be characterized by the same topological invariant, where the corresponding Dirac mass term is periodically kicked. Particularly, we take the periodically kicked Qi-Wu-Zhang model as an illustrative example. In this model, the topology is characterized by the Floquet Chern number $C_F$, and there are six different topological phases in total, denoted as $C_F=\{-1_0,-2,-1_\pi,1_\pi,2,1_0\}$. Furthermore, we find that the Floquet operator associated with the periodically kicked Qi-Wu-Zhang model reduces to a Dirac Hamiltonian in the low-energy limit. Then, the phase diagram is uncovered by examining the topology of this Dirac Hamiltonian. Additionally, we explore the orders of topological phase transitions in the context of Floquet stationary states by analyzing the von Neumann entropy of these states. Our work provides further insights into the topological phases in periodically driven systems.


title: On the presentation of the Grothendieck-Witt group of symmetric bilinear forms over local rings

abstract: We prove a Chain Lemma for inner product spaces over commutative local rings R with residue field other than F2 and use this to show that the usual presentation of the Grothendieck-Witt group of symmetric bilinear forms over R as the zero-th Milnor-Witt K-group holds provided the residue field of R is not F2.


title: An Expectation-Realization Model for Metaphor Detection

abstract: We propose a metaphor detection architecture that is structured around two main modules: an expectation component that estimates representations of literal word expectations given a context, and a realization component that computes representations of actual word meanings in context. The overall architecture is trained to learn expectation-realization (ER) patterns that characterize metaphorical uses of words. When evaluated on three metaphor datasets for within distribution, out of distribution, and novel metaphor generalization, the proposed method is shown to obtain results that are competitive or better than state-of-the art. Further increases in metaphor detection accuracy are obtained through ensembling of ER models.


title: Enhancing Multimodal Compositional Reasoning of Visual Language Models with Generative Negative Mining

abstract: Contemporary large-scale visual language models (VLMs) exhibit strong representation capacities, making them ubiquitous for enhancing image and text understanding tasks. They are often trained in a contrastive manner on a large and diverse corpus of images and corresponding text captions scraped from the internet. Despite this, VLMs often struggle with compositional reasoning tasks which require a fine-grained understanding of the complex interactions of objects and their attributes. This failure can be attributed to two main factors: 1) Contrastive approaches have traditionally focused on mining negative examples from existing datasets. However, the mined negative examples might not be difficult for the model to discriminate from the positive. An alternative to mining would be negative sample generation 2) But existing generative approaches primarily focus on generating hard negative texts associated with a given image. Mining in the other direction, i.e., generating negative image samples associated with a given text has been ignored. To overcome both these limitations, we propose a framework that not only mines in both directions but also generates challenging negative samples in both modalities, i.e., images and texts. Leveraging these generative hard negative samples, we significantly enhance VLMs' performance in tasks involving multimodal compositional reasoning. Our code and dataset are released at https://ugorsahin.github.io/enhancing-multimodal-compositional-reasoning-of-vlm.html.