title: Ultrafast optical polarimetry in magnetic phases of Kondo semi metal CeSb

abstract: We investigated photoinduced ultrafast transient dynamics in different magnetic phases in CeSb by means of the time resolved magneto-optical spectroscopy. We observe a distinctive coherent oscillations in the ground-state antiferromagnetic (AF) phase and the high-magnetic field ferromagnetic (F) phase. While the AF-phase oscillations frequencies match the recent Raman scattering findings the F-phase oscillation frequency does not correspond to the previously observed magnetic excitation. The large spectroscopic factor, g=3.94, and optical polarization properties suggest that it corresponds to a previously undetected Ce^{3+} coherent crystal-field state excitation. The AF-phase oscillations show no magnetic field dependence so their lattice origin cannot be entirely excluded. The non-oscillatory part of the transients is qualitatively similar in all investigated magnetic phases with a faster sub-picosecond dynamics in the ferromagnetic and ferro-para-magnetic phases and is attributed to differences in the electronic structure, which affect the photo-excited quasiparticle energy relaxation kinetics.


title: Information Processing by Neuron Populations in the Central Nervous System: Mathematical Structure of Data and Operations

abstract: In the intricate architecture of the mammalian central nervous system, neurons form populations. Axonal bundles communicate between these clusters using spike trains. However, these neuron populations' precise encoding and operations have yet to be discovered. In our analysis, the starting point is a state-of-the-art mechanistic model of a generic neuron endowed with plasticity. From this simple framework emerges a subtle mathematical construct: The representation and manipulation of information can be precisely characterized by an algebra of convex cones. Furthermore, these neuron populations are not merely passive transmitters. They act as operators within this algebraic structure, mirroring the functionality of a low-level programming language. When these populations interconnect, they embody succinct yet potent algebraic expressions. These networks allow them to implement many operations, such as specialization, generalization, novelty detection, dimensionality reduction, inverse modeling, prediction, and associative memory. In broader terms, this work illuminates the potential of matrix embeddings in advancing our understanding in fields like cognitive science and AI. These embeddings enhance the capacity for concept processing and hierarchical description over their vector counterparts.


title: Resilient VAE: Unsupervised Anomaly Detection at the SLAC Linac Coherent Light Source

abstract: Significant advances in utilizing deep learning for anomaly detection have been made in recent years. However, these methods largely assume the existence of a normal training set (i.e., uncontaminated by anomalies) or even a completely labeled training set. In many complex engineering systems, such as particle accelerators, labels are sparse and expensive; in order to perform anomaly detection in these cases, we must drop these assumptions and utilize a completely unsupervised method. This paper introduces the Resilient Variational Autoencoder (ResVAE), a deep generative model specifically designed for anomaly detection. ResVAE exhibits resilience to anomalies present in the training data and provides feature-level anomaly attribution. During the training process, ResVAE learns the anomaly probability for each sample as well as each individual feature, utilizing these probabilities to effectively disregard anomalous examples in the training data. We apply our proposed method to detect anomalies in the accelerator status at the SLAC Linac Coherent Light Source (LCLS). By utilizing shot-to-shot data from the beam position monitoring system, we demonstrate the exceptional capability of ResVAE in identifying various types of anomalies that are visible in the accelerator.


title: PolyLUT: Learning Piecewise Polynomials for Ultra-Low Latency FPGA LUT-based Inference

abstract: Field-programmable gate arrays (FPGAs) are widely used to implement deep learning inference. Standard deep neural network inference involves the computation of interleaved linear maps and nonlinear activation functions. Prior work for ultra-low latency implementations has hardcoded the combination of linear maps and nonlinear activations inside FPGA lookup tables (LUTs). Our work is motivated by the idea that the LUTs in an FPGA can be used to implement a much greater variety of functions than this. In this paper, we propose a novel approach to training neural networks for FPGA deployment using multivariate polynomials as the basic building block. Our method takes advantage of the flexibility offered by the soft logic, hiding the polynomial evaluation inside the LUTs with minimal overhead. We show that by using polynomial building blocks, we can achieve the same accuracy using considerably fewer layers of soft logic than by using linear functions, leading to significant latency and area improvements. We demonstrate the effectiveness of this approach in three tasks: network intrusion detection, jet identification at the CERN Large Hadron Collider, and handwritten digit recognition using the MNIST dataset.


title: DEEPBEAS3D: Deep Learning and B-Spline Explicit Active Surfaces

abstract: Deep learning-based automatic segmentation methods have become state-of-the-art. However, they are often not robust enough for direct clinical application, as domain shifts between training and testing data affect their performance. Failure in automatic segmentation can cause sub-optimal results that require correction. To address these problems, we propose a novel 3D extension of an interactive segmentation framework that represents a segmentation from a convolutional neural network (CNN) as a B-spline explicit active surface (BEAS). BEAS ensures segmentations are smooth in 3D space, increasing anatomical plausibility, while allowing the user to precisely edit the 3D surface. We apply this framework to the task of 3D segmentation of the anal sphincter complex (AS) from transperineal ultrasound (TPUS) images, and compare it to the clinical tool used in the pelvic floor disorder clinic (4D View VOCAL, GE Healthcare; Zipf, Austria). Experimental results show that: 1) the proposed framework gives the user explicit control of the surface contour; 2) the perceived workload calculated via the NASA-TLX index was reduced by 30% compared to VOCAL; and 3) it required 7 0% (170 seconds) less user time than VOCAL (p< 0.00001)


title: A family of integrable maps associated with the Volterra lattice

abstract: Recently Gubbiotti, Joshi, Tran and Viallet classified birational maps in four dimensions admitting two invariants (first integrals) with a particular degree structure, by considering recurrences of fourth order with a certain symmetry. The last three of the maps so obtained were shown to be Liouville integrable, in the sense of admitting a non-degenerate Poisson bracket with two first integrals in involution. Here we show how the first of these three Liouville integrable maps corresponds to genus 2 solutions of the infinite Volterra lattice, being the $g=2$ case of a family of maps associated with the Stieltjes continued fraction expansion of a certain function on a hyperelliptic curve of genus $g\geqslant 1$. The continued fraction method provides explicit Hankel determinant formulae for tau functions of the solutions, together with an algebro-geometric description via a Lax representation for each member of the family, associating it with an algebraic completely integrable system. In particular, in the elliptic case ($g=1$), as a byproduct we obtain Hankel determinant expressions for the solutions of the Somos-5 recurrence, but different to those previously derived by Chang, Hu and Xin. By applying contraction to the Stieltjes fraction, we recover integrable maps associated with Jacobi continued fractions on hyperelliptic curves, that one of us considered previously, as well as the Miura-type transformation between the Volterra and Toda lattices.


title: FastChem Cond: Equilibrium chemistry with condensation and rainout for cool planetary and stellar environments

abstract: Cool astrophysical objects, such as (exo)planets, brown dwarfs, or asymptotic giant branch stars, can be strongly affected by condensation. Condensation does not only directly affect the chemical composition of the gas phase by removing elements but the condensed material also influences other chemical and physical processes in these objects. This includes, for example, the formation of clouds in planetary atmospheres and brown dwarfs or the dust-driven winds of evolved stars. In this study we introduce FastChem Cond, a new version of the FastChem equilibrium chemistry code that adds a treatment of equilibrium condensation. Determining the equilibrium composition under the impact of condensation is complicated by the fact that the number of condensates that can exist in equilibrium with the gas phase is limited by a phase rule. However, this phase rule does not directly provide information on which condensates are stable. As a major advantage of FastChem Cond is able to automatically select the set stable condensates satisfying the phase rule. Besides the normal equilibrium condensation, FastChem Cond can also be used with the rainout approximation that is commonly employed in atmospheres of brown dwarfs or (exo)planets. FastChem Cond is available as open-source code, released under the GPLv3 licence. In addition to the C++ code, FastChem Cond also offers a Python interface. Together with the code update we also add about 290 liquid and solid condensate species to FastChem.


title: Sustainability assessment of Low Earth Orbit (LEO) satellite broadband megaconstellations

abstract: The growth of megaconstellations is rapidly increasing the number of rocket launches. While Low Earth Orbit (LEO) broadband satellites help to connect unconnected communities and achieve the Sustainable Development Goals (SDGs), there are also significant environmental emissions impacts from burning rocket fuels. We present sustainability analytics for phase 1 of the three main LEO constellations including Amazon Kuiper (3,236 satellites), Eutelsat Group`s OneWeb (648 satellites), and SpaceX Starlink (4,425 satellites). We find that LEO megaconstellations provide substantially improved broadband speeds for rural and remote communities, but are roughly 6-8 times more emissions intensive (250 kg CO2eq/subscriber/year) than comparative terrestrial mobile broadband. In the worst-case emissions scenario, this rises to 12-14 times more (469 kg CO2eq/subscriber/year). Policy makers must carefully consider the trade-off between connecting unconnected communities to further the SDGs and mitigating the growing space sector environmental footprint, particularly regarding phase 2 plans to launch an order-of-magnitude more satellites.

categories: astro-ph.EP cs.SY econ.GN eess.SY q-fin.EC


title: LDP polygons and the number 12 revisited

abstract: We give a combinatorial proof of a lattice point identity involving a lattice polygon and its dual, generalizing the formula $area(\Delta) + area(\Delta^*) = 6$ for reflexive $\Delta$. The identity is equivalent to the stringy Libgober-Wood identity for toric log del Pezzo surfaces.


title: Local Padding in Patch-Based GANs for Seamless Infinite-Sized Texture Synthesis

abstract: Texture models based on Generative Adversarial Networks (GANs) use zero-padding to implicitly encode positional information of the image features. However, when extending the spatial input to generate images at large sizes, zero-padding can often lead to degradation of quality due to the incorrect positional information at the center of the image and limit the diversity within the generated images. In this paper, we propose a novel approach for generating stochastic texture images at large arbitrary sizes using GANs model that is based on patch-by-patch generation. Instead of zero-padding, the model uses \textit{local padding} in the generator that shares border features between the generated patches; providing positional context and ensuring consistency at the boundaries. The proposed models are trainable on a single texture image and have a constant GPU scalability with respect to the output image size, and hence can generate images of infinite sizes. We show in the experiments that our method has a significant advancement beyond existing texture models in terms of the quality and diversity of the generated textures. Furthermore, the implementation of local padding in the state-of-the-art super-resolution models effectively eliminates tiling artifacts enabling large-scale super-resolution. Our code is available at \url{https://github.com/ai4netzero/Infinite_Texture_GANs


title: Compact Metasurface Terahertz Spectrometer

abstract: The electromagnetic spectrum in the terahertz frequency region is of significant importance for understanding the formation and evolution of galaxies and stars throughout the history of the universe and the process of planet formation. Within the star forming clouds the constituent atoms and molecules are excited to produce characteristic emission and absorption lines, many of which happen at the terahertz frequencies. Thus, detecting the spectral signatures as unique fingerprints of molecules and atoms require terahertz spectrometers, which need to be operated in a space observatory because of the water vapor absorption in the earth atmosphere. However, current terahertz spectrometers face several challenges that limit their performances and applications, including a low resolution, limited bandwidth, large volume, and complexity. In this paper, we address the last two issues by demonstrating a concept of a compact terahertz spectrometer using metasurface. We start by modelling, designing, and fabricating a metasurface, aiming to optimize its performance within a band from 1.7 to 2.5 THz. Next, we make use of an array of quantum cascade lasers that operate at slightly different frequencies around 2.1 THz to validate the performance of the spectrometer. Finally, we apply the spectrum inversion method to analyse the measured data to confirm a resolution R of at least 273. Our results demonstrated a miniaturized terahertz spectrometer concept successfully.


title: Attractive and repulsive interactions in the one-dimensional swarmalator model

abstract: We study a population of swarmalators, mobile variants of phase oscillators, which run on a ring and have both attractive and repulsive interactions. This one-dimensional (1D) swarmalator model produces several of collective states: the standard sync and async states as well as a splaylike "polarized" state and several unsteady states such as active bands or swirling. The model's simplicity allows us to describe some of the states analytically. The model can be considered as a toy model for real-world swarmalators such as vinegar eels and sperm which swarm in quasi-1D geometries.


title: Enumeration of saturated and unsaturated substituted N-heterocycles

abstract: Mathematical and computational approaches in chemistry and biochemistry fill a gap in respect to the analysis of the physicochemical features of compounds and their functionality and provide an overview of known as well as yet unknown, but hypothetically possible structures. Nitrogen containing heterocycles such as aziridine, azetidine and pyrrolidine bear a high potential in pharmacology, biotechnology and synthetic biology. Here, we present a mathematical enumeration procedure for all possible azaheterocycles with at least one substituent depending on the number of atoms in the ring, in the sense of saturated and unsaturated congeners. One subgroup belonging to that substance class is constituted by ring-shaped amino acids with a secondary amino group such as proline. A recursion formula is derived, which results in a modified Lucas number series. Moreover, an explicit formula for determining the number of such substances based on the Golden Ratio is given and a second one, based on binomial coefficients, is newly derived. This enumeration is a helpful tool for construction or complementation of virtual compound databases and for computer-assisted chemical synthesis route planning.


title: On the commutator length of compact Lie groups

abstract: In this short note we show that the path-connected component of the identity of the derived subgroup of a compact Lie group consists just of commutators. We also discuss an application of our main result to the homotopy type of the classifying space for commutativity for a compact Lie group whose path-connected component of the identity is abelian.


title: Nontrivial features in the speed of sound inside neutron stars

abstract: Measurements of neutron star masses, radii, and tidal deformability have direct connections to nuclear physics via the equation of state (EoS), which for the cold, catalyzed matter in neutron star cores is commonly represented as the pressure as a function of energy density. Microscopic models with exotic degrees of freedom display nontrivial structure in the speed of sound ($c_s$) in the form of first-order phase transitions and bumps, oscillations, and plateaus in the case of crossovers and higher-order phase transitions. We present a procedure based on Gaussian processes to generate an ensemble of EoSs that include nontrivial features. Using a Bayesian analysis incorporating measurements from X-ray sources, gravitational wave observations, and perturbative QCD results, we show that these features are compatible with current constraints. We investigate the possibility of a global maximum in $c_s$ that occurs within the densities realized in neutron stars -- implying a softening of the EoS and possibly an exotic phase in the core of massive stars -- and find that such a global maximum is consistent with, but not required by, current constraints.


title: Toward Shimurian analogs of Barsotti-Tate groups

abstract: We first recall Grothendieck's notion of n-truncated Barsotti-Tate group. Such groups form an algebraic stack over the integers. The problem is to give an illuminating description of its reductions modulo powers of p. A related problem is to construct analogs of these reductions related to general Shimura varieties with good reduction at p. We discuss some conjectures on this subject based on the theory of prismatic cohomology.


title: Beyond $N=\infty$ in Large $N$ Conformal Vector Models at Finite Temperature

abstract: We investigate finite-temperature observables in three-dimensional large $N$ critical vector models taking into account the effects suppressed by $1\over N$. Such subleading contributions are captured by the fluctuations of the Hubbard-Stratonovich auxiliary field which need to be handled with care due to a subtle divergence structure which we clarify. The examples we consider include the scalar $O(N)$ model, the Gross-Neveu model, the Nambu-Jona-Lasinio model and the massless Chern-Simons Quantum Electrodynamics. We present explicit results for the free energy density to the subleading order in $1\over N$, which captures the thermal one-point function of the stress-energy tensor to this order. We also include the dependence on a chemical potential. We determine the Wilson coefficient in the thermal effective action that is sensitive to global symmetry for the first time directly in interacting CFTs, which produces a symmetry-resolved asymptotic density of states. We further provide a formula from diagrammatics for the one-point functions of general single-trace higher-spin currents. We observe that in most cases considered, these subleading effects lift the apparent degeneracies between observables in different models at infinite $N$, while in special cases the discrepancies only start to appear at the next-to-subleading order.


title: Electrically Driven Spin Resonance of 4f Electrons in a Single Atom on a Surface

abstract: A pivotal challenge in quantum technologies lies in reconciling long coherence times with efficient manipulation of the quantum states of a system. Lanthanide atoms, with their well-localized 4f electrons, emerge as a promising solution to this dilemma if provided with a rational design for manipulation and detection. Here we construct tailored spin structures to perform electron spin resonance on a single lanthanide atom using a scanning tunneling microscope. A magnetically coupled structure made of an erbium and a titanium atom enables us to both drive the erbium's 4f electron spins and indirectly probe them through the titanium's 3d electrons. In this coupled configuration, the erbium spin states exhibit a five-fold increase in the spin relaxation time and a two-fold increase in the driving efficiency compared to the 3d electron counterparts. Our work provides a new approach to accessing highly protected spin states, enabling their coherent control in an all-electric fashion.


title: A Diffusion Quantum Monte Carlo Approach to the Polaritonic Ground State

abstract: Making and using polaritonic states (i.e., hybrid electron-photon states) for chemical applications have recently become one of the most prominent and active fields that connects the communities of chemistry and quantum optics. Modeling of such polaritonic phenomena using ab initio approaches calls for new methodologies, leading to the reinvention of many commonly used electronic structure methods, such as Hartree-Fock, density functional, and coupled cluster theories. In this work, we explore the formally exact diffusion quantum Monte Carlo approach (DQMC) to obtain numerical solutions to the polaritonic ground state during the dissociation of the H$_2$ molecular system. We examine various electron-nuclear-photon properties throughout the dissociation, such as changes to the minimum of the cavity Born-Oppenheimer surface, the localization of the electronic wavefunction, and the average mode occupation. Finally, we directly compare our results to that obtained with state-of-the-art, yet approximate, polaritonic coupled cluster approaches.


title: Conformal Dimension of the Brownian Graph

abstract: Conformal dimension of a metric space $X$, denoted by $\dim_C X$, is the infimum of the Hausdorff dimension among all its quasisymmetric images. If conformal dimension of $X$ is equal to its Hausdorff dimension, $X$ is said to be minimal for conformal dimension. In this paper we show that the graph of the one dimensional Brownian motion is almost surely minimal for conformal dimension. We also give many other examples of minimal sets for conformal dimension, which we call Bedford-McMullen type sets. In particular we show that Bedford-McMullen self-affine sets with uniform fibers are minimal for conformal dimension. The main technique in the proofs is the construction of ``rich families of minimal sets of conformal dimension one''. The latter concept is quantified using Fuglede's modulus of measures.


title: Exact Inference for Continuous-Time Gaussian Process Dynamics

abstract: Physical systems can often be described via a continuous-time dynamical system. In practice, the true system is often unknown and has to be learned from measurement data. Since data is typically collected in discrete time, e.g. by sensors, most methods in Gaussian process (GP) dynamics model learning are trained on one-step ahead predictions. This can become problematic in several scenarios, e.g. if measurements are provided at irregularly-sampled time steps or physical system properties have to be conserved. Thus, we aim for a GP model of the true continuous-time dynamics. Higher-order numerical integrators provide the necessary tools to address this problem by discretizing the dynamics function with arbitrary accuracy. Many higher-order integrators require dynamics evaluations at intermediate time steps making exact GP inference intractable. In previous work, this problem is often tackled by approximating the GP posterior with variational inference. However, exact GP inference is preferable in many scenarios, e.g. due to its mathematical guarantees. In order to make direct inference tractable, we propose to leverage multistep and Taylor integrators. We demonstrate how to derive flexible inference schemes for these types of integrators. Further, we derive tailored sampling schemes that allow to draw consistent dynamics functions from the learned posterior. This is crucial to sample consistent predictions from the dynamics model. We demonstrate empirically and theoretically that our approach yields an accurate representation of the continuous-time system.


title: Neural Network Solutions of Bosonic Quantum Systems in One Dimension

abstract: Neural networks have been proposed as efficient numerical wavefunction ansatze which can be used to variationally search a wide range of functional forms for ground state solutions. These neural network methods are also advantageous in that more variational parameters and system degrees of freedom can be easily added. We benchmark the methodology by using neural networks to study several different integrable bosonic quantum systems in one dimension and compare our results to the exact solutions. While testing the scalability of the procedure to systems with many particles, we also introduce using symmetric function inputs to the neural network to enforce exchange symmetries of indistinguishable particles.

categories: nucl-th cond-mat.dis-nn cond-mat.quant-gas quant-ph


title: An improvement to the Kelley-Meka bounds on three-term arithmetic progressions

abstract: In a recent breakthrough Kelley and Meka proved a quasipolynomial upper bound for the density of sets of integers without non-trivial three-term arithmetic progressions. We present a simple modification to their method that strengthens their conclusion, in particular proving that if $A\subset\{1,\ldots,N\}$ has no non-trivial three-term arithmetic progressions then \[\lvert A\rvert \leq \exp(-c(\log N)^{1/9})N\] for some $c>0$.


title: A Lightweight and Transferable Design for Robust LEGO Manipulation

abstract: Lego is a well-known platform for prototyping pixelized objects. However, robotic Lego prototyping (i.e., manipulating Lego bricks) is challenging due to the tight connections and accuracy requirements. This paper investigates safe and efficient robotic Lego manipulation. In particular, this paper reduces the complexity of the manipulation by hardware-software co-design. An end-of-arm tool (EOAT) is designed, which reduces the problem dimension and allows large industrial robots to manipulate small Lego bricks. In addition, this paper uses evolution strategy to optimize the robot motion for Lego manipulation. Experiments demonstrate that the EOAT can reliably manipulate Lego bricks and the learning framework can effectively and safely improve the manipulation performance to a 100% success rate. The co-design is deployed to multiple robots (i.e., FANUC LR-mate 200id/7L and Yaskawa GP4) to demonstrate its generalizability and transferability. In the end, we show that the proposed solution enables sustainable robotic Lego prototyping, in which the robot can repeatedly assemble and disassemble different prototypes.


title: Induced Monolayer Altermagnetism in MnP(S,Se)$_3$ and FeSe

abstract: Altermagnets (AM) are a recently discovered third class of collinear magnets, distinctly different from conventional ferromagnets (FM) and antiferromagnets (AF). AM have been actively researched in the last few years, but two aspects so far remain unaddressed: (1) Are there realistic 2D single-layer altermagnets? And (2) is it possible to functionalize a conventional AF into AM by external stimuli? In this paper we address both issues by demonstrating how a well-known 2D AF, MnP(S,Se)$_3$ can be functionalized into strong AM by applying out-of-plane electric field. Of particular interest is that the induced altermagnetism is of a higher even-parity wave symmetry than expected in 3D AM with similar crystal symmetries. We confirm our finding by first-principles calculations of the electronic structure and magnetooptical response. We also propose that recent observations of the time-reversal symmetry breaking in the famous Fe-based superconducting chalchogenides, either in monolayer form or in the surface layer, may be related not to an FM, as previously assumed, but to the induced 2D AM order. Finally, we show that monolayer FeSe can simultaneously exhibit unconventional altermagnetic time-reversal symmetry breaking and quantized spin Hall conductivity indicating possibility to research an intriquing interplay of 2D altermagnetism with topological and superconducting states within a common crystal-potential environment.


title: STEP -- Towards Structured Scene-Text Spotting

abstract: We introduce the structured scene-text spotting task, which requires a scene-text OCR system to spot text in the wild according to a query regular expression. Contrary to generic scene text OCR, structured scene-text spotting seeks to dynamically condition both scene text detection and recognition on user-provided regular expressions. To tackle this task, we propose the Structured TExt sPotter (STEP), a model that exploits the provided text structure to guide the OCR process. STEP is able to deal with regular expressions that contain spaces and it is not bound to detection at the word-level granularity. Our approach enables accurate zero-shot structured text spotting in a wide variety of real-world reading scenarios and is solely trained on publicly available data. To demonstrate the effectiveness of our approach, we introduce a new challenging test dataset that contains several types of out-of-vocabulary structured text, reflecting important reading applications of fields such as prices, dates, serial numbers, license plates etc. We demonstrate that STEP can provide specialised OCR performance on demand in all tested scenarios.


title: An Efficient Semi-Real-Time Algorithm for Path Planning in the Hamilton-Jacobi Formulation

abstract: We present a semi-real-time algorithm for minimal-time optimal path planning based on optimal control theory, dynamic programming, and Hamilton-Jacobi (HJ) equations. Partial differential equation (PDE) based optimal path planning methods are well-established in the literature, and provide an interpretable alternative to black-box machine learning algorithms. However, due to the computational burden of grid-based PDE solvers, many previous methods do not scale well to high dimensional problems and are not applicable in real-time scenarios even for low dimensional problems. We present a semi-real-time algorithm for optimal path planning in the HJ formulation, using grid-free numerical methods based on Hopf-Lax formulas. In doing so, we retain the intepretablity of PDE based path planning, but because the numerical method is grid-free, it is efficient and does not suffer from the curse of dimensionality, and thus can be applied in semi-real-time and account for realistic concerns like obstacle discovery. This represents a significant step in averting the tradeoff between interpretability and efficiency. We present the algorithm with application to synthetic examples of isotropic motion planning in two-dimensions, though with slight adjustments, it could be applied to many other problems.


title: Simulation study of BESIII with stitched CMOS pixel detector using ACTS

abstract: Reconstruction of tracks of charged particles with high precision is very crucial for HEP experiments to achieve their physics goals. As the tracking detector of BESIII experiment, the BESIII drift chamber has suffered from aging effects resulting in degraded tracking performance after operation for about 15 years. To preserve and enhance the tracking performance of BESIII, one of the proposals is to add one layer of thin CMOS pixel sensor in cylindrical shape based on the state-of-the-art stitching technology, between the beam pipe and the drift chamber. The improvement of tracking performance of BESIII with such an additional pixel detector compared to that with only the existing drift chamber is studied using the modern common tracking software ACTS, which provides a set of detector-agnostic and highly performant tracking algorithms that have demonstrated promising performance for a few high energy physics and nuclear physics experiments.


title: Local symmetries as constraints on the motion of freely-falling extended bodies

abstract: Different extended objects can fall in different ways, depending on their internal structures. Some motions are nevertheless impossible, regardless of internal structure. This paper derives universal constraints on extended-body motion, both in Newtonian gravity and in general relativity. In both theories, we identify a weak notion of "local symmetry" which precludes certain force and torque combinations. Local symmetries imply that certain components of a body's quadrupole moment cannot affect its motion. They also imply that some forces arise only in combination with appropriate torques. Many of these symmetries are shown to be determined by the algebraic structure of the tidal tensor. In general relativity, we thus relate qualitative features of extended-body motion to the Petrov type of the spacetime. Doing so shows that local symmetries are in fact ubiquitous. In general relativity, there are at least two in all algebraically-special spacetimes. Some of these are generated by Killing vectors and some by conformal Killing-Yano tensors. However, many local symmetries do not fall into either of these classes.


title: Gas Kinematics in the Magellanic-Type Galaxy NGC 7292

abstract: The paper presents results of studying the kinematics of the ionized gas in the galaxy of the Large Magellanic Cloud type NGC 7292 obtained with the 2.5-m telescope of the Caucasian Mountain Observatory (CMO SAI MSU) and the 6-m BTA telescope of the Special Astrophysical Observatory (SAO RAS). Analysis of the velocity fields of the ionized and neutral hydrogen showed that the kinematic center of NGC 7292 located at the center of the bar, northwest of the photometric center of the galaxy (the southeastern end of the bar) previously taken as the center of NGC 7292. In addition to the circular rotation of the gas, the radial motions associated with the bar play a significant role in the kinematics of the disk. The observed perturbations of the gaseous-disk kinematics induced by the ongoing star formation do not exceed those caused by the bar. It is possible that part of the non-circular motions (at the southeastern end of the bar which is the brightest HII region) may be related to the effects of the capture of a dwarf companion or a gaseous cloud.


title: On the depth of cylindrical indentation of an elastic half-space for two types of displacement constraints

abstract: For cylindrical indentation of elastic half-space the relationship between the depth of indentation delta and the applied force F is nonlinear, in contrast to the linear relationship between the height of the contact zone delta_0 and the force F. While the latter is independent of the boundary conditions used to specify the rigid-body translation, the former depends on a selected datum for vertical displacement. The depth of the indentation is determined for any permissible value of the length b, which specifies the points of the free surface where the vertical displacement is required to be zero, w(b)=0. From the condition that the work of the indentation force is equal to the work of the contact pressure, it follows that the indentation is geometrically and physically possible under imposed boundary conditions w(b)=0 provided that b>=b_min. The numerical value of b_min is found to be about 10 times greater than the semi-width of the contact zone a, based on the numerical precision in fulfilling the work condition W_F=W_p. If a datum is taken to be at a point at some distance h below the load, there is an alternative closed-form expression for delta in terms of F, which involves the Poisson ratio nu. For nu=1/3, it is found that h_min is about 21a. A simple expression relating the permissible values of h and b is derived, which is linear for large values of h and b.


title: Predictions and Uncertainty Estimates of Reactor Pressure Vessel Steel Embrittlement Using Machine Learning

abstract: An essential aspect of extending safe operation of the active nuclear reactors is understanding and predicting the embrittlement that occurs in the steels that make up the Reactor pressure vessel (RPV). In this work we integrate state of the art machine learning methods using ensembles of neural networks with unprecedented data collection and integration to develop a new model for RPV steel embrittlement. The new model has multiple improvements over previous machine learning and hand-tuned efforts, including greater accuracy (e.g., at high-fluence relevant for extending the life of present reactors), wider domain of applicability (e.g., including a wide-range of compositions), uncertainty quantification, and online accessibility for easy use by the community. These improvements provide a model with significant new capabilities, including the ability to easily and accurately explore compositions, flux, and fluence effects on RPV steel embrittlement for the first time. Furthermore, our detailed comparisons show our approach improves on the leading American Society for Testing and Materials (ASTM) E900-15 standard model for RPV embrittlement on every metric we assessed, demonstrating the efficacy of machine learning approaches for this type of highly demanding materials property prediction.


title: On the classification of primitive ideals for complex classical Lie algebras, IV

abstract: This paper is the fourth and last in the series "On the classification of primitive ideals for complex classical Lie algebras", extending earlier results in other classical types to type D. The generalized tau-invariant used in earlier work must now be defined in a different way, using a family of operators attached to a quadruple of simple roots spanning a subsystem of type D_4. each taking one or two values. Using these operators we show that primitive ideals of trivial infinitesimal character are characterized by their generalized tau-invariants and are parametrized by standard domino tableaux of the appropriate special shape.


title: Implications of correlations and fluctuations in small systems

abstract: The small collision systems like p+p and p+A collisions have shown new features like A+A collisions in the relativistic regime. These new aspects in small systems which have altered our research and understanding on the two-particle correlation measurements have been provided. Additionally, a critical observation of the fluctuation measurements provides new ways to infer such novel happening in the small collision systems. The ongoing and future endeavors towards the new measurements are also discussed.


title: Investigation of RF performance of Ku-band GaN HEMT device and an in-depth analysis of short channel effects

abstract: In this paper, we have characterized an AlGaN/GaN High Electron Mobility Transistor (HEMT) with a short gate length (Lg $\approx$ 0.15$\mu$m). We have studied the effect of short gate length on the small signal parameters, linearity parameters and gm-gd ratio in GaN HEMT devices. To understand how scaling results in the variation of the above-mentioned parameters a comparative study with higher gate length devices on similar heterostructure is also presented here. We have scaled down the gate length but the barrier thickness(t$_{bar}$) remained same which affects the aspect ratio (L$_{g}$/t$_{bar}$) of the device and its inseparable consequences are the prominent short channel effects (SCEs) barring the optimum output performance of the device. These interesting phenomena were studied in detail and explored over a temperature range of -40$^\circ$C to 80$^\circ$C. To the best of our knowledge this paper explores temperature dependence of SCEs of GaN HEMT for the first time. With an approach to reduce the impact of SCEs a simulation study in Silvaco TCAD was carried out and it is observed that a recessed gate structure on conventional heterostructure successfully reduces SCEs and improves RF performance of the device. This work gives an overall view of gate length scaling on conventional AlGaN/GaN HEMTs.


title: Disentangling the primordial nature of stochastic gravitational wave backgrounds with CMB spectral distortions

abstract: The recent detection of a stochastic gravitational wave background (SGWB) at nanohertz frequencies by pulsar timing arrays (PTAs) has sparked a flurry of interest. Beyond the standard interpretation that the progenitor is a network of supermassive black hole binaries, many exotic models have also been proposed, some of which can potentially offer a better fit to the data. We explore how the various connections between gravitational waves and CMB spectral distortions can be leveraged to help determine whether a SGWB was generated primordially or astrophysically. To this end, we present updated $k$-space window functions which can be used for distortion parameter estimation on enhancements to the primordial scalar power spectrum. These same enhancements can also source gravitational waves (GWs) directly at second order in perturbation theory, so-called scalar-induced GWs (SIGWs), and indirectly through the formation of primordial black holes (PBHs). We perform a mapping of scalar power spectrum constraints into limits on the GW parameter space of SIGWs for $\delta$-function features. We highlight that broader features in the scalar spectrum can explain the PTA results while simultaneously producing a spectral distortion (SD) within reach of future experiments. We additionally update PBH constraints from $\mu$- and $y$-type spectral distortions. Refined treatments of the distortion window functions widen existing SD constraints, and we find that a future CMB spectrometer could play a pivotal role in unraveling the origin of GWs imprinted at or below CMB anisotropy scales.


title: Minimal modal logics, constructive modal logics and their relations

abstract: We present a family of minimal modal logics (namely, modal logics based on minimal propositional logic) corresponding each to a different classical modal logic. The minimal modal logics are defined based on their classical counterparts in two distinct ways: (1) via embedding into fusions of classical modal logics through a natural extension of the G\"odel-Johansson translation of minimal logic into modal logic S4; (2) via extension to modal logics of the multi- vs. single-succedent correspondence of sequent calculi for classical and minimal logic. We show that, despite being mutually independent, the two methods turn out to be equivalent for a wide class of modal systems. Moreover, we compare the resulting minimal version of K with the constructive modal logic CK studied in the literature, displaying tight relations among the two systems. Based on these relations, we also define a constructive correspondent for each minimal system, thus obtaining a family of constructive modal logics which includes CK as well as other constructive modal logics studied in the literature.


title: SU(3) parity doubling in cold neutron star matter

abstract: We present a phenomenological model to investigate the chiral phase transition characterized by parity doubling in dense, beta equilibrated, cold matter. Our model incorporates effective interactions constrained by SU(3) relations and considers baryonic degrees of freedom. By constraining the model with astrophysical data and nuclear matter properties, we find a first-order phase transition within realistic values of the slope parameter L. The inclusion of the baryon octet and negative parity partners, along with a chiral-invariant mass $m_{0}$, allows for a non-massless chiral symmetric phase. Through exploration of parameter space, we identify parameter sets satisfying mass and radius constraints without requiring a partonic phase. The appearance of the parity partner of the nucleon, the N(1535) resonance, suppresses strangeness, pushing hyperonization to higher densities. We observe a mild first-order phase transition to the chirally restored phase, governed by $m_{0}$. Our calculations of surface tension highlight its strong dependence on $m_{0}$. The existence of mixed phases is ruled out since they become energetically too costly. We compare stars with metastable and stable cores using both branches of the equation of state. Despite limited lifespans due to low surface tension values, phase conversion and star contraction could impact neutron stars with masses around 1.3 solar masses or more. We discuss some applications of this model in its non-zero temperatures generalization and scenarios beyond beta equilibrium that can provide insights into core-collapse supernovae, proto-neutron star evolution, and neutron star mergers. Core-collapse supernovae dynamics, influenced by chiral symmetry restoration and exotic hadronic states, affect explosion mechanisms and nucleosynthesis.


title: Adaptive Bayesian Predictive Inference in High-dimensional Regerssion

abstract: Bayesian predictive inference provides a coherent description of entire predictive uncertainty through predictive distributions. We examine several widely used sparsity priors from the predictive (as opposed to estimation) inference viewpoint. To start, we investigate predictive distributions in the context of a high-dimensional Gaussian observation with a known variance but an unknown sparse mean under the Kullback-Leibler loss. First, we show that LASSO (Laplace) priors are incapable of achieving rate-optimal predictive distributions. However, deploying the Laplace prior inside the Spike-and-Slab framework (e.g. with the Spike-and-Slab LASSO prior), rate-minimax performance can be attained with properly tuned parameters (depending on the sparsity level sn). We highlight the discrepancy between prior calibration for the purpose of prediction and estimation. Going further, we investigate popular hierarchical priors which are known to attain adaptive rate-minimax performance for estimation. Whether or not they are rate-minimax also for predictive inference has, until now, been unclear. We answer affirmatively by showing that hierarchical Spike-and-Slab priors are adaptive and attain the minimax rate without the knowledge of sn. This is the first rate-adaptive result in the literature on predictive density estimation in sparse setups. Building on the sparse normal-means model, we extend our adaptive rate findings to the case of sparse high-dimensional regression with Spike-and-Slab priors. All of these results underscore benefits of fully Bayesian predictive inference.


title: Non-integral boundary slopes of alternating knots

abstract: We show, for every positive integer $n$, there is an alternating knot having a boundary slope with denominator $n$. We make use of Kabaya's method for boundary slopes and the layered solid torus construction introduced by Jaco and Rubinstein and further developed by Howie et al.


title: Observation of elastic bound modes in the continuum in architected beams

abstract: We report the experimental observation of an elastic bound mode in the continuum (BIC) in a compact region of an architected beam. We consider a long slender beam with rigid masses attached at periodic intervals, with a compact segment bounded by four protruding side beams. The key idea is to seek a mode where the side beams move out-of-phase with the compact region, thereby nullifying the forces and moments outside this region and resulting in a bound mode. The structure is modeled using Euler-Bernoulli beam theory and the side beams are designed by imposing equilibrium constraints required for a BIC. Multiple BICs are found in the compact region, and for each BIC, we find a one-parameter family of BIC supporting side beam designs. The predictions are verified by three-dimensional finite element simulations, followed by their experimental observation using laser Doppler vibrometry in a macro-scale structure. Our approach allows to achieve BICs in an arbitrary sized compact region of the architected beam. Our findings may open avenues for confining elastic wave energy in compact regions for applications in sensors and resonators.


title: Ascent and descent of Gorenstein homological properties

abstract: Let $\varphi\colon R\rightarrow A$ be a ring homomorphism, where $R$ is a commutative noetherian ring and $A$ is a finite $R$-algebra. We give criteria for detecting the ascent and descent of Gorenstein homological properties. As an application, we get a result that supports a question of Avramov and Foxby. We observe that the ascent and descent of Gorenstein homological property can detect the Gorensein properties of rings along $\varphi$. Finally, we describe when $\varphi$ induces a triangle equivalence between the stable categories of finitely generated Gorenstein projective modules.


title: nanoT5: A PyTorch Framework for Pre-training and Fine-tuning T5-style Models with Limited Resources

abstract: State-of-the-art language models like T5 have revolutionized the NLP landscape, but their computational demands hinder a large portion of the research community. To address this challenge, we present nanoT5, a specially-optimized PyTorch framework for efficient pre-training and fine-tuning of T5 models. Drawing on insights from optimizer differences and prioritizing efficiency, nanoT5 allows a T5-Base model to be pre-trained on a single GPU in just 16 hours, without any loss in performance. With the introduction of this open-source framework, we hope to widen the accessibility to language modelling research and cater to the community's demand for more user-friendly T5 (Encoder-Decoder) implementations. We make our contributions, including configurations, codebase, pre-training insights, and pre-trained models, available to the public.


title: Hasse principle for Kummer varieties in the case of generic 2-torsion

abstract: Conditional on finiteness of relevant Shafarevich--Tate groups, Harpaz and Skorobogatov used Swinnerton-Dyer's descent-fibration method to establish the Hasse principle for Kummer varieties associated to a 2-covering of a principally polarised abelian variety under certain largeness assumptions on its mod 2 Galois image. Their method breaks down however when the Galois image is maximal, due to the possible failure of the Shafarevich--Tate group of quadratic twists of A to have square order. In this work we overcome this obstruction by combining second descent ideas in the spirit of Harpaz and Smith with results on the parity of 2-infinity Selmer ranks in quadratic twist families. This allows Swinnerton-Dyer's method to be successfully applied to K3 surfaces arising as quotients of 2-coverings of Jacobians of genus 2 curves with no rational Weierstrass points.


title: Sensing With Random Signals

abstract: Radar systems typically employ well-designed deterministic signals for target sensing. In contrast to that, integrated sensing and communications (ISAC) systems have to use random signals to convey useful information, potentially causing sensing performance degradation. In this paper, we define a new sensing performance metric, namely, ergodic linear minimum mean square error (ELMMSE), accounting for the randomness of ISAC signals. Then, we investigate a data-dependent precoding scheme to minimize the ELMMSE, which attains the optimized sensing performance at the price of high computational complexity. To reduce the complexity, we present an alternative data-independent precoding scheme and propose a stochastic gradient projection (SGP) algorithm for ELMMSE minimization, which can be trained offline by locally generated signal samples. Finally, we demonstrate the superiority of the proposed methods by simulations.


title: Performance analysis of InAlN/GaN HEMT and optimization for high frequency applications

abstract: An InAlN/GaN HEMT device was studied using extensive temperature dependent DC IV measurements and CV measurements. Barrier traps in the InAlN layer were characterized using transient analysis. Forward gate current was modelled using analytical equations. RF performance of the device was also studied and device parameters were extracted following small signal equivalent circuit model. Extensive simulations in Silvaco TCAD were also carried out by varying stem height, gate length and incorporating back barrier to optimize the suitability of this device in Ku-band by reducing the detrimental Short Channel Effects (SCEs). In this paper a novel structure i.e., a short length T gate with recess, on thin GaN buffer to achieve high cut-off frequency (f$_T$) and high maximum oscillating frequency (f$_{max}$) apt for Ku-band applications is also proposed.


title: The R-matrix of the affine Yangian

abstract: Let g be an affine Lie algebra with associated Yangian Y_hg. We prove the existence of two meromorphic R-matrices associated to any pair of representations of Y_hg in the category O. They are related by a unitary constraint and constructed as products of the form R(s)=R^+(s)R^0(s)R^-(s), where R^+(s) = R^-_{21}(-s)^{-1}. The factor R^0(s) is a meromorphic, abelian R-matrix, with a WKB-type singularity in h, and R^-(s) is a rational twist. Our proof relies on two novel ingredients. The first is an irregular, abelian, additive difference equation whose difference operator is given in terms of the q-Cartan matrix of g. The regularization of this difference equation gives rise to R^0(s) as the exponentials of the two canonical fundamental solutions. The second key ingredient is a higher order analogue of the adjoint action of the affine Cartan subalgebra of g on Y_hg. This action has no classical counterpart, and produces a system of linear equations from which R^-(s) is recovered as the unique solution. Moreover, we show that both operators give rise to the same rational R-matrix on the tensor product of any two highest-weight representations.


title: Sesquinary Catastrophe For Close-In Moons with Dynamically Excited Orbits

abstract: We identify a new mechanism that can lead to the destruction of small, close-in planetary satellites. If a small moon close to the planet has a sizable eccentricity and inclination, its ejecta that escape to planetocentric orbit would often re-impact with much higher velocity due to the satellite's and the fragment's orbits precessing out of alignment. If the impacts of returning ejecta result in net erosion, a runaway process can occur which may end in disruption of the satellite, and we term this process ``sesquinary catastrophe''. We expect the moon to re-accrete, but on an orbit with significantly lower eccentricity and inclination. We find that the large majority of small close-in moons in the Solar System, have orbits that are immune to sesquinary catastrophe. The exceptions include a number of resonant moonlets of Saturn for which resonances may affect the velocities of re-impact of their own debris. Additionally, we find that Neptune's moon Naiad (and to a lesser degree, Jupiter's Thebe) must have substantial internal strength, in line with prior estimates based on Roche limit stability. We also find that sesquinary instability puts important constraints on the plausible past orbits of Phobos and Deimos or their progenitors.


title: Short-Term Space Occupancy and Conjunction Filter

abstract: Conjunction analysis for resident space objects (RSOs) requires estimating the range of altitudes that each object can cross, i.e. its space occupancy, throughout a screening time of, typically, a few days. The work proposes an analytical method to evaluate the space occupancy of an RSO for a time horizon of generic duration in a zonal problem model. The method, which allows one to compute the maximum and minimum occupied orbit radii by solving a quartic equation, is employed as a basis for the implementation of a new conjunction filter with a considerable performance improvement compared to the classical apogee-perigee filter. The effectiveness of the newly proposed filter is assessed in a low-Earth orbit scenario using a high-fidelity perturbation model and for a wide range of orbits and conjunction geometries. Finally, the space occupancy evaluation method is employed as a quick and effective tool to assess the degree of radial overlap of RSOs in low-earth orbit and its evolution in the last decade.


title: A morphological segmentation approach to determining bar lengths

abstract: Bars are important drivers of galaxy evolution, influencing many physical processes and properties. Characterising bars is a difficult task, especially in large-scale surveys. In this work, we propose a novel morphological segmentation technique for determining bar lengths based on deep learning. We develop U-Nets capable of decomposing galaxy images into pixel masks highlighting the regions corresponding to bars and spiral arms. We demonstrate the versatility of this technique through applying our models to galaxy images from two different observational datasets with different source imagery, and to RGB colour and monochromatic galaxy imaging. We apply our models to analyse SDSS and Subaru HSC imaging of barred galaxies from the NA10 and SAMI catalogues in order to determine the dependence of bar length on stellar mass, morphology, redshift and the spin parameter proxy $\lambda_{R_e}$. Based on the predicted bar masks, we show that the relative bar scale length varies with morphology, with early type galaxies hosting longer bars. While bars are longer in more massive galaxies in absolute terms, relative to the galaxy disc they are actually shorter. We also find that the normalised bar length decreases with increasing redshift, with bars in early-type galaxies exhibiting the strongest rate of decline. We show that it is possible to distinguish spiral arms and bars in monochrome imaging, although for a given galaxy the estimated length in monochrome tends to be longer than in colour imaging. Our morphological segmentation technique can be efficiently applied to study bars in large-scale surveys and even in cosmological simulations.


title: Reynolds Averaged Solutions of the Navier-Stokes Equation

abstract: The mean of Young measure solutions for the Navier-Stokes equations with general initial conditions are PDE solutions of the Navier-Stokes equation of the class considered by Leray and Hopf.


title: Beauty And The Beast Part 2: Apprehending The Missing Supercurrent

abstract: The Moonshine module is a $c=24$ conformal field theory (CFT) whose automorphism group is the Monster group. It was argued by Dixon, Ginsparg, and Harvey in \cite{Dixon:1988qd} that there exists a spin lift of the Moonshine CFT with superconformal symmetry. Reference \cite{Dixon:1988qd} did not provide an explicit construction of a superconformal current. The present paper fills that gap. In fact, we will construct several superconformal currents in a spin lift of the Moonshine CFT using techniques developed in \cite{Harvey:2020jvu}. In particular, our construction relies on error correcting codes.


title: From Curves to Words and Back Again: Geometric Computation of Minimum-Area Homotopy

abstract: Let $\gamma$ be a generic closed curve in the plane. Samuel Blank, in his 1967 Ph.D. thesis, determined if $\gamma$ is self-overlapping by geometrically constructing a combinatorial word from $\gamma$. More recently, Zipei Nie, in an unpublished manuscript, computed the minimum homotopy area of $\gamma$ by constructing a combinatorial word algebraically. We provide a unified framework for working with both words and determine the settings under which Blank's word and Nie's word are equivalent. Using this equivalence, we give a new geometric proof for the correctness of Nie's algorithm. Unlike previous work, our proof is constructive which allows us to naturally compute the actual homotopy that realizes the minimum area. Furthermore, we contribute to the theory of self-overlapping curves by providing the first polynomial-time algorithm to compute a self-overlapping decomposition of any closed curve $\gamma$ with minimum area.


title: Parameter Dependent Robust Control Invariant Sets for LPV Systems with Bounded Parameter Variation Rate

abstract: Real-time measurements of the scheduling parameter of linear parameter-varying (LPV) systems enables the synthesis of robust control invariant (RCI) sets and parameter dependent controllers inducing invariance. We present a method to synthesize parameter-dependent robust control invariant (PD-RCI) sets for LPV systems with bounded parameter variation, in which invariance is induced using PD-vertex control laws. The PD-RCI sets are parameterized as configuration-constrained polytopes that admit a joint parameterization of their facets and vertices. The proposed sets and associated control laws are computed by solving a single semidefinite programing (SDP) problem. Through numerical examples, we demonstrate that the proposed method outperforms state-of-the-art methods for synthesizing PD-RCI sets, both with respect to conservativeness and computational load.


title: Hybrid Design of Multiplicative Watermarking for Defense Against Malicious Parameter Identification

abstract: Watermarking is a promising active diagnosis technique for detection of highly sophisticated attacks, but is vulnerable to malicious agents that use eavesdropped data to identify and then remove or replicate the watermark. In this work, we propose a hybrid multiplicative watermarking (HMWM) scheme, where the watermark parameters are periodically updated, following the dynamics of the unobservable states of specifically designed piecewise affine (PWA) hybrid systems. We provide a theoretical analysis of the effects of this scheme on the closed-loop performance, and prove that stability properties are preserved. Additionally, we show that the proposed approach makes it difficult for an eavesdropper to reconstruct the watermarking parameters, both in terms of the associated computational complexity and from a systems theoretic perspective.


title: Design and Fabrication of Industrially Scalable low cost Liquid Impregnated Surfaces with extreme hydratephobic properties

abstract: The design and fabrication of extremely hydrate phobic Liquid Impregnated Surfaces (sometimes abbreviated as LIS) based on industrial material Aluminium Al6061 and industrially scalable low-cost method were carried out. A simple hydrochloric acid-based etching method and boiling water treatment were used to generate micro and nanoscale nanopetal roughness features respectably. A theoretical analysis was performed to find out the relationship between the interfacial interactions and surface roughness features to predict the stability of lubricant oil of LIS under water and oil environment. LIS with appropriate surface chemistry and textures were fabricated to experimentally validate the theoretical analysis on lubricant stability. Subsequent experimental measurements of hydrate adhesion were performed on LIS with stable lubricant layers, using a custom-made experimental setup and cantilever-based method. Cyclopentane hydrate, mimics gas hydrate forming mechanism at atmospheric pressure, and is used for the hydrate adhesion measurements. Extreme reduction of hydrate adhesion with more than four orders of magnitude was observed on LIS compared to control smooth aluminium surfaces


title: Semantic Communications Based on Adaptive Generative Models and Information Bottleneck

abstract: Semantic communications represent a significant breakthrough with respect to the current communication paradigm, as they focus on recovering the meaning behind the transmitted sequence of symbols, rather than the symbols themselves. In semantic communications, the scope of the destination is not to recover a list of symbols symbolically identical to the transmitted ones, but rather to recover a message that is semantically equivalent to the semantic message emitted by the source. This paradigm shift introduces many degrees of freedom to the encoding and decoding rules that can be exploited to make the design of communication systems much more efficient. In this paper, we present an approach to semantic communication building on three fundamental ideas: 1) represent data over a topological space as a formal way to capture semantics, as expressed through relations; 2) use the information bottleneck principle as a way to identify relevant information and adapt the information bottleneck online, as a function of the wireless channel state, in order to strike an optimal trade-off between transmit power, reconstruction accuracy and delay; 3) exploit probabilistic generative models as a general tool to adapt the transmission rate to the wireless channel state and make possible the regeneration of the transmitted images or run classification tasks at the receiver side.


title: A stochastic LATIN method for stochastic and parameterized elastoplastic analysis

abstract: The LATIN method has been developed and successfully applied to a variety of deterministic problems, but few work has been developed for nonlinear stochastic problems. This paper presents a stochastic LATIN method to solve stochastic and/or parameterized elastoplastic problems. To this end, the stochastic solution is decoupled into spatial, temporal and stochastic spaces, and approximated by the sum of a set of products of triplets of spatial functions, temporal functions and random variables. Each triplet is then calculated in a greedy way using a stochastic LATIN iteration. The high efficiency of the proposed method relies on two aspects: The nonlinearity is efficiently handled by inheriting advantages of the classical LATIN method, and the randomness and/or parameters are effectively treated by a sample-based approximation of stochastic spaces. Further, the proposed method is not sensitive to the stochastic and/or parametric dimensions of inputs due to the sample description of stochastic spaces. It can thus be applied to high-dimensional stochastic and parameterized problems. Four numerical examples demonstrate the promising performance of the proposed stochastic LATIN method.


title: Contextual Predictive Mutation Testing

abstract: Mutation testing is a powerful technique for assessing and improving test suite quality that artificially introduces bugs and checks whether the test suites catch them. However, it is also computationally expensive and thus does not scale to large systems and projects. One promising recent approach to tackling this scalability problem uses machine learning to predict whether the tests will detect the synthetic bugs, without actually running those tests. However, existing predictive mutation testing approaches still misclassify 33% of detection outcomes on a randomly sampled set of mutant-test suite pairs. We introduce MutationBERT, an approach for predictive mutation testing that simultaneously encodes the source method mutation and test method, capturing key context in the input representation. Thanks to its higher precision, MutationBERT saves 33% of the time spent by a prior approach on checking/verifying live mutants. MutationBERT, also outperforms the state-of-the-art in both same project and cross project settings, with meaningful improvements in precision, recall, and F1 score. We validate our input representation, and aggregation approaches for lifting predictions from the test matrix level to the test suite level, finding similar improvements in performance. MutationBERT not only enhances the state-of-the-art in predictive mutation testing, but also presents practical benefits for real-world applications, both in saving developer time and finding hard to detect mutants.


title: Explaining grokking through circuit efficiency

abstract: One of the most surprising puzzles in neural network generalisation is grokking: a network with perfect training accuracy but poor generalisation will, upon further training, transition to perfect generalisation. We propose that grokking occurs when the task admits a generalising solution and a memorising solution, where the generalising solution is slower to learn but more efficient, producing larger logits with the same parameter norm. We hypothesise that memorising circuits become more inefficient with larger training datasets while generalising circuits do not, suggesting there is a critical dataset size at which memorisation and generalisation are equally efficient. We make and confirm four novel predictions about grokking, providing significant evidence in favour of our explanation. Most strikingly, we demonstrate two novel and surprising behaviours: ungrokking, in which a network regresses from perfect to low test accuracy, and semi-grokking, in which a network shows delayed generalisation to partial rather than perfect test accuracy.


title: Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair

abstract: Decentralized Finance (DeFi) is emerging as a peer-to-peer financial ecosystem, enabling participants to trade products on a permissionless blockchain. Built on blockchain and smart contracts, the DeFi ecosystem has experienced explosive growth in recent years. Unfortunately, smart contracts hold a massive amount of value, making them an attractive target for attacks. So far, attacks against smart contracts and DeFi protocols have resulted in billions of dollars in financial losses, severely threatening the security of the entire DeFi ecosystem. Researchers have proposed various security tools for smart contracts and DeFi protocols as countermeasures. However, a comprehensive investigation of these efforts is still lacking, leaving a crucial gap in our understanding of how to enhance the security posture of the smart contract and DeFi landscape. To fill the gap, this paper reviews the progress made in the field of smart contract and DeFi security from the perspective of both vulnerability detection and automated repair. First, we analyze the DeFi smart contract security issues and challenges. Specifically, we lucubrate various DeFi attack incidents and summarize the attacks into six categories. Then, we present an empirical study of 42 state-of-the-art techniques that can detect smart contract and DeFi vulnerabilities. In particular, we evaluate the effectiveness of traditional smart contract bug detection tools in analyzing complex DeFi protocols. Additionally, we investigate 8 existing automated repair tools for smart contracts and DeFi protocols, providing insight into their advantages and disadvantages. To make this work useful for as wide of an audience as possible, we also identify several open issues and challenges in the DeFi ecosystem that should be addressed in the future.


title: Chiral coherent control of electronic population transfer: towards all-optical and highly enantioselective photochemistry

abstract: Recent experiments have demonstrated highly enantioselective population transfer among rotational states using microwave fields with non-coplanar polarizations, a milestone in our ability to control chiral molecules. Extending this ability to the optical domain would open the door to all-optical enantioselective photochemistry, the next milestone in this direction. Here we show that the spatial variation of the field presents a major challenge along this route, limiting the interaction region to a thin layer with a thickness of the order of a wavelength. We provide a solution to this restriction by carefully designing the quantum pathways leading to the excited state. Our simulations reveal that the proposed scheme can result in differences of up to 19% in the excited state populations of R and S carvone. This is a major improvement over what is possible with circularly polarized light (~0.01%) and brings all-optical enantioselective photochemistry within reach for practical applications.


title: In-Ear-Voice: Towards Milli-Watt Audio Enhancement With Bone-Conduction Microphones for In-Ear Sensing Platforms

abstract: The recent ubiquitous adoption of remote conferencing has been accompanied by omnipresent frustration with distorted or otherwise unclear voice communication. Audio enhancement can compensate for low-quality input signals from, for example, small true wireless earbuds, by applying noise suppression techniques. Such processing relies on voice activity detection (VAD) with low latency and the added capability of discriminating the wearer's voice from others - a task of significant computational complexity. The tight energy budget of devices as small as modern earphones, however, requires any system attempting to tackle this problem to do so with minimal power and processing overhead, while not relying on speaker-specific voice samples and training due to usability concerns. This paper presents the design and implementation of a custom research platform for low-power wireless earbuds based on novel, commercial, MEMS bone-conduction microphones. Such microphones can record the wearer's speech with much greater isolation, enabling personalized voice activity detection and further audio enhancement applications. Furthermore, the paper accurately evaluates a proposed low-power personalized speech detection algorithm based on bone conduction data and a recurrent neural network running on the implemented research platform. This algorithm is compared to an approach based on traditional microphone input. The performance of the bone conduction system, achieving detection of speech within 12.8ms at an accuracy of 95\% is evaluated. Different SoC choices are contrasted, with the final implementation based on the cutting-edge Ambiq Apollo 4 Blue SoC achieving 2.64mW average power consumption at 14uJ per inference, reaching 43h of battery life on a miniature 32mAh li-ion cell and without duty cycling.


title: Magnetic Navigation using Attitude-Invariant Magnetic Field Information for Loop Closure Detection

abstract: Indoor magnetic fields are a combination of Earth's magnetic field and disruptions induced by ferromagnetic objects, such as steel structural components in buildings. As a result of these disruptions, pervasive in indoor spaces, magnetic field data is often omitted from navigation algorithms in indoor environments. This paper leverages the spatially-varying disruptions to Earth's magnetic field to extract positional information for use in indoor navigation algorithms. The algorithm uses a rate gyro and an array of four magnetometers to estimate the robot's pose. Additionally, the magnetometer array is used to compute attitude-invariant measurements associated with the magnetic field and its gradient. These measurements are used to detect loop closure points. Experimental results indicate that the proposed approach can estimate the pose of a ground robot in an indoor environment within meter accuracy.


title: Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts

abstract: An "adequate" test suite should effectively find all inconsistencies between a system's requirements/specifications and its implementation. Practitioners frequently use code coverage to approximate adequacy, while academics argue that mutation score may better approximate true (oracular) adequacy coverage. High code coverage is increasingly attainable even on large systems via automatic test generation, including fuzzing. In light of all of these options for measuring and improving testing effort, how should a QA engineer spend their time? We propose a new framework for reasoning about the extent, limits, and nature of a given testing effort based on an idea we call the oracle gap, or the difference between source code coverage and mutation score for a given software element. We conduct (1) a large-scale observational study of the oracle gap across popular Maven projects, (2) a study that varies testing and oracle quality across several of those projects and (3) a small-scale observational study of highly critical, well-tested code across comparable blockchain projects. We show that the oracle gap surfaces important information about the extent and quality of a test effort beyond either adequacy metric alone. In particular, it provides a way for practitioners to identify source files where it is likely a weak oracle tests important code.


title: Black-Box Attacks against Signed Graph Analysis via Balance Poisoning

abstract: Signed graphs are well-suited for modeling social networks as they capture both positive and negative relationships. Signed graph neural networks (SGNNs) are commonly employed to predict link signs (i.e., positive and negative) in such graphs due to their ability to handle the unique structure of signed graphs. However, real-world signed graphs are vulnerable to malicious attacks by manipulating edge relationships, and existing adversarial graph attack methods do not consider the specific structure of signed graphs. SGNNs often incorporate balance theory to effectively model the positive and negative links. Surprisingly, we find that the balance theory that they rely on can ironically be exploited as a black-box attack. In this paper, we propose a novel black-box attack called balance-attack that aims to decrease the balance degree of the signed graphs. We present an efficient heuristic algorithm to solve this NP-hard optimization problem. We conduct extensive experiments on five popular SGNN models and four real-world datasets to demonstrate the effectiveness and wide applicability of our proposed attack method. By addressing these challenges, our research contributes to a better understanding of the limitations and resilience of robust models when facing attacks on SGNNs. This work contributes to enhancing the security and reliability of signed graph analysis in social network modeling. Our PyTorch implementation of the attack is publicly available on GitHub: https://github.com/JialongZhou666/Balance-Attack.git.


title: The Yamabe Problem

abstract: We start by taking the analytical approach to discuss how the minimizer of Yamabe functional provides constant scalar curvature and its relationship with the Sobolev Space $W^{1,2}.$ Then, after demonstrating the importance of the sphere $S^n$, with stereographic projection and dilation, we show that the minimizer of Yamabe functional on standard sphere is obtained from a standard round metric $\bar{g}$ by a conformal diffeomorphism, thus giving us the constraint $\lambda (M) < \lambda(S^n),$ which leads us to the final theorem that the Yamabe problem is solvable when $\lambda(M) < \lambda(S^n).$ For the proof of this theorem, we adopt the approach of Concentration-Compactness.


title: Exploring magnetic coupling of solar atmosphere through frequency modulations of 3-min slow magnetoacoustic waves

abstract: Coronal fan loops rooted in sunspot umbra show outward propagating waves with subsonic phase speed and period around 3-min. However, their source region in the lower atmosphere is still ambiguous. We performed multi-wavelength observations of a clean fan loop system rooted in sunspot observed by Interface Region Imaging Spectrograph (IRIS) and Solar Dynamics Observatory (SDO). We utilised less explored property of frequency modulation of these 3-min waves from the photosphere to corona, and found them to be periodic with the ranges in 14-20 min, and 24-35 min. Based on our findings, we interpret that 3-min slow waves observed in the coronal fan loops are driven by 3-min oscillations observed at the photospheric footpoints of these fan loops in the umbral region. We also explored any connection between 3-min and 5-min oscillations observed at the photosphere, and found them to be poorly understood. Results provide clear evidence of magnetic coupling of the solar umbral atmosphere through propagation of 3-min waves along the fan loops at different atmospheric heights.


title: The Batik-plays-Mozart Corpus: Linking Performance to Score to Musicological Annotations

abstract: We present the Batik-plays-Mozart Corpus, a piano performance dataset combining professional Mozart piano sonata performances with expert-labelled scores at a note-precise level. The performances originate from a recording by Viennese pianist Roland Batik on a computer-monitored B\"osendorfer grand piano, and are available both as MIDI files and audio recordings. They have been precisely aligned, note by note, with a current standard edition of the corresponding scores (the New Mozart Edition) in such a way that they can further be connected to the musicological annotations (harmony, cadences, phrases) on these scores that were recently published by Hentschel et al. (2021). The result is a high-quality, high-precision corpus mapping scores and musical structure annotations to precise note-level professional performance information. As the first of its kind, it can serve as a valuable resource for studying various facets of expressive performance and their relationship with structural aspects. In the paper, we outline the curation process of the alignment and conduct two exploratory experiments to demonstrate its usefulness in analyzing expressive performance.


title: Majorana neutrinos in the triple gauge boson coupling $ZZZ^*$

abstract: Confirmed by the measurement of neutrino oscillations, neutrino mass is recognized as a genuine manifestation of physics beyond the Standard Model, while its originating mechanism remains a mystery. Moreover, the proper field-theory description of neutrinos, whether they are Majorana or Dirac type, must be linked to such a mechanism. The present work addresses the calculation, estimation, and analysis of one-loop contributions from virtual Majorana neutrinos, light and heavy as well, to the neutral gauge boson coupling $ZZZ$, which participates in $Z$-boson pair production from $e^+e^-$ collisions. This task is carried out in the framework defined by a seesaw variant in which light neutrinos remain massless at tree level, then becoming massive radiatively. The $ZZZ^*$ coupling, with $Z^*$ an off-shell $Z$ boson, is defined by two form factors, namely, $f_4$, characterizing CP-odd effects, and $f_5$, which is CP-even. Constraints from the Large Hadron Collider on both these quantities are currently ${\cal O}(10^{-4})$. Our calculation yields CP-nonpreserving contributions to $ZZZ$, which are absent in the framework of the sole Standard Model. Our estimations show that the $f_4$ contribution might be as large as ${\cal O}(10^{-7})$ for heavy-neutrino masses $\sim1\,{\rm TeV}$. CP-even contributions $f_5$ are also generated, which are, in general, larger than their CP-odd counterparts. We estimate them to be as large as ${\cal O}(10^{-4})$ at a center-of-mass energy of $500\,{\rm GeV}$, in $e^+e^-$ collisions.


title: Prototype-based Dataset Comparison

abstract: Dataset summarisation is a fruitful approach to dataset inspection. However, when applied to a single dataset the discovery of visual concepts is restricted to those most prominent. We argue that a comparative approach can expand upon this paradigm to enable richer forms of dataset inspection that go beyond the most prominent concepts. To enable dataset comparison we present a module that learns concept-level prototypes across datasets. We leverage self-supervised learning to discover these prototypes without supervision, and we demonstrate the benefits of our approach in two case-studies. Our findings show that dataset comparison extends dataset inspection and we hope to encourage more works in this direction. Code and usage instructions available at https://github.com/Nanne/ProtoSim


title: Breaking Barriers to Creative Expression: Co-Designing and Implementing an Accessible Text-to-Image Interface

abstract: Text-to-image generation models have grown in popularity due to their ability to produce high-quality images from a text prompt. One use for this technology is to enable the creation of more accessible art creation software. In this paper, we document the development of an alternative user interface that reduces the typing effort needed to enter image prompts by providing suggestions from a large language model, developed through iterative design and testing within the project team. The results of this testing demonstrate how generative text models can support the accessibility of text-to-image models, enabling users with a range of abilities to create visual art.


title: Substitution-based Semantic Change Detection using Contextual Embeddings

abstract: Measuring semantic change has thus far remained a task where methods using contextual embeddings have struggled to improve upon simpler techniques relying only on static word vectors. Moreover, many of the previously proposed approaches suffer from downsides related to scalability and ease of interpretation. We present a simplified approach to measuring semantic change using contextual embeddings, relying only on the most probable substitutes for masked terms. Not only is this approach directly interpretable, it is also far more efficient in terms of storage, achieves superior average performance across the most frequently cited datasets for this task, and allows for more nuanced investigation of change than is possible with static word vectors.


title: Voice Morphing: Two Identities in One Voice

abstract: In a biometric system, each biometric sample or template is typically associated with a single identity. However, recent research has demonstrated the possibility of generating "morph" biometric samples that can successfully match more than a single identity. Morph attacks are now recognized as a potential security threat to biometric systems. However, most morph attacks have been studied on biometric modalities operating in the image domain, such as face, fingerprint, and iris. In this preliminary work, we introduce Voice Identity Morphing (VIM) - a voice-based morph attack that can synthesize speech samples that impersonate the voice characteristics of a pair of individuals. Our experiments evaluate the vulnerabilities of two popular speaker recognition systems, ECAPA-TDNN and x-vector, to VIM, with a success rate (MMPMR) of over 80% at a false match rate of 1% on the Librispeech dataset.


title: Generating Realistic Images from In-the-wild Sounds

abstract: Representing wild sounds as images is an important but challenging task due to the lack of paired datasets between sound and images and the significant differences in the characteristics of these two modalities. Previous studies have focused on generating images from sound in limited categories or music. In this paper, we propose a novel approach to generate images from in-the-wild sounds. First, we convert sound into text using audio captioning. Second, we propose audio attention and sentence attention to represent the rich characteristics of sound and visualize the sound. Lastly, we propose a direct sound optimization with CLIPscore and AudioCLIP and generate images with a diffusion-based model. In experiments, it shows that our model is able to generate high quality images from wild sounds and outperforms baselines in both quantitative and qualitative evaluations on wild audio datasets.


title: Investment-based optimisation of energy storage design parameters in a grid-connected hybrid renewable energy system

abstract: Grid-connected hybrid renewable power systems with energy storage can reduce the intermittency of renewable power supply. However, emerging energy storage technologies need improvement to compete with lithium-ion batteries and reduce the cost of energy. Identifying and optimizing the the most valuable improvement path of these technologies is challenging due to the non-linearity of the energy system model when considering parameters as independent variables. To overcome this, a novel investment-based optimization method is proposed. The method involves linear optimization of the hybrid renewable energy system and subsequent investment optimization, accounting for diminishing improvements per investment. Applied to thermal energy, pumped thermal energy, molten salt, and adiabatic compressed air energy storage technologies, the results show that enhancing discharge efficiency is most valuable for all technologies. Reducing discharge capacity costs and energy storage capacity cost can also become important. Charge capacity cost and charge efficiency are found to be of lesser significance. The study provides detailed improvement pathways for each technology under various operational conditions, assisting developers in resource allocation. Overall, the investment-based optimization method and findings contribute to enhancing the competitiveness of emerging energy storage technologies and reducing reliance on batteries in renewable energy systems.


title: Primary and Secondary Order Parameters in the Fully Frustrated Transverse Field Ising Model on the Square Lattice

abstract: Using quantum Monte Carlo simulations and field-theory arguments, we study the fully frustrated (Villain) transverse-field Ising model on the square lattice. We consider a "primary" spin order parameter and a "secondary" dimer order parameter, which both lead to the same phase diagram but detect $Z_8$ and $Z_4$ symmetry, respectively. The spin order scales with conventional exponents, both in the finite temperature critical phase and at the $T = 0$ quantum critical point. The scaling of the dimer order requires more detailed investigations of the applicable low-energy theories; the height model at $T > 0$ and the $O(2)$ model in 2+1 dimensions at $T = 0$. Relating the order parameters to operators in these effective models, we predict the secondary critical exponents and confirm them numerically. The relationships between the primary and secondary order parameters have not been previously discussed in this context and provide insight more broadly for Ising models whose low-energy physics involves dimer degrees of freedom.


title: Wiener type regularity for non-linear integro-differential equations

abstract: The primary purpose of this paper is to study the Wiener-type regularity criteria for non-linear equations driven by integro-differential operators, whose model is the fractional $p-$Laplace equation. In doing so, with the help of tools from potential analysis, such as fractional relative Sobolev capacities, Wiener type integrals, Wolff potentials, $(\alpha,p)-$barriers, and $(\alpha,p)-$balayages, we first prove the characterizations of the fractional thinness and the Perron boundary regularity. Then, we establish a Wiener test and a generalized fractional Wiener criterion. Furthermore, we also prove the continuity of the fractional superharmonic function, the fractional resolutivity, a connection between $(\alpha,p)-$potentials and $(\alpha,p)-$Perron solutions, and the existence of a capacitary function for an arbitrary condenser.


title: Classification of La3+ and Gd3+ rare earth ions using surface-enhanced Raman scattering

abstract: In this study, surface-enhanced Raman scattering (SERS) spectra of different rare earth (RE) ion-citrate complexes were investigated for the first time for the qualitative classification of RE3+ ions. With the addition of RE3+ ions to citrate-capped silver nanoparticles in aqueous solutions, the Raman signals of RE-citrate complexes were enhanced, and characteristic peaks appeared near 1065 cm-1 and 1315 cm-1. The I1065/I1315 ratios of La-citrate and Gd-citrate were approximately 1 and 0.5, respectively. Thus, different RE3+ ions were classified based on the ratio of characteristic SERS peaks near 1065 cm-1 and 1315 cm-1. In addition, the effects of RE3+ ions in the RE-citrate complexes were analyzed based on density functional theory (DFT) calculations. Calculation results show that these characteristic peaks are attributed to the coordination of carboxyl and hydroxyl groups of citrates with the RE3+ ions, suggesting that these are spin-related bands of the RE-citrate complexes.


title: B/PS bulges and barlenses from a kinematic viewpoint. I

abstract: A significant part of barred disc galaxies exhibits boxy/peanut-shaped structures (B/PS bulges) at high inclinations. Another structure also associated with the bar is a barlens, often observed in galaxies in a position close to face-on. At this viewing angle, special kinematic tests are required to detect a 3D extension of the bars in the vertical direction (B/PS bulges). We use four pure $N$-body models of galaxies with B/PS bulges, which have different bar morphology from bars with barlenses to the so-called face-on peanut bars. We analyse the kinematics of our models to establish how the structural features of B/PS bulges manifest themselves in the kinematics for galaxies at intermediate inclinations and whether these features are related to the barlenses. We apply the dissection of the bar into different orbital groups to determine which of them are responsible for the features of the LOSVD (line-of-sight velocity distribution), i.e., for the deep minima of the $h_4$ parameter along the major axis of the bar. As a result, we claim that for our models at the face-on position, the kinematic signatures of a `peanut' indeed track the vertical density distribution features. We conclude that orbits responsible for such kinematic signatures differ from model to model. We pay special attention to the barlens model. We show that orbits assembled into barlens are not responsible for the kinematic signatures of B/PS bulges. The results presented in this work are applicable to the interpretation of IFU observations of real galaxies.


title: Delta-LoRA: Fine-Tuning High-Rank Parameters with the Delta of Low-Rank Matrices

abstract: In this paper, we present Delta-LoRA, which is a novel parameter-efficient approach to fine-tune large language models (LLMs). In contrast to LoRA and other low-rank adaptation methods such as AdaLoRA, Delta-LoRA not only updates the low-rank matrices $\bA$ and $\bB$, but also propagate the learning to the pre-trained weights $\bW$ via updates utilizing the delta of the product of two low-rank matrices ($\bA^{(t+1)}\bB^{(t+1)} - \bA^{(t)}\bB^{(t)}$). Such a strategy effectively addresses the limitation that the incremental update of low-rank matrices is inadequate for learning representations capable for downstream tasks. Moreover, as the update of $\bW$ does not need to compute the gradients of $\bW$ and store their momentums, Delta-LoRA shares comparable memory requirements and computational costs with LoRA. Extensive experiments show that Delta-LoRA significantly outperforms existing low-rank adaptation methods. We further support these results with comprehensive analyses that underscore the effectiveness of Delta-LoRA.


title: First and zeroth-order implementations of the regularized Newton method with lazy approximated Hessians

abstract: In this work, we develop first-order (Hessian-free) and zero-order (derivative-free) implementations of the Cubically regularized Newton method for solving general non-convex optimization problems. For that, we employ finite difference approximations of the derivatives. We use a special adaptive search procedure in our algorithms, which simultaneously fits both the regularization constant and the parameters of the finite difference approximations. It makes our schemes free from the need to know the actual Lipschitz constants. Additionally, we equip our algorithms with the lazy Hessian update that reuse a previously computed Hessian approximation matrix for several iterations. Specifically, we prove the global complexity bound of $\mathcal{O}( n^{1/2} \epsilon^{-3/2})$ function and gradient evaluations for our new Hessian-free method, and a bound of $\mathcal{O}( n^{3/2} \epsilon^{-3/2} )$ function evaluations for the derivative-free method, where $n$ is the dimension of the problem and $\epsilon$ is the desired accuracy for the gradient norm. These complexity bounds significantly improve the previously known ones in terms of the joint dependence on $n$ and $\epsilon$, for the first-order and zeroth-order non-convex optimization.


title: Hyperbolic contractivity and the Hilbert metric on probability measures

abstract: This paper gives a self-contained introduction to the Hilbert projective metric $\mathcal{H}$ and its fundamental properties, with a particular focus on the space of probability measures. We start by defining the Hilbert pseudo-metric on convex cones, focusing mainly on dual formulations of $\mathcal{H}$ . We show that linear operators on convex cones contract in the distance given by the hyperbolic tangent of $\mathcal{H}$, which in particular implies Birkhoff's classical contraction result for $\mathcal{H}$. Turning to spaces of probability measures, where $\mathcal{H}$ is a metric, we analyse the dual formulation of $\mathcal{H}$ in the general setting, and explore the geometry of the probability simplex under $\mathcal{H}$ in the special case of discrete probability measures. Throughout, we compare $\mathcal{H}$ with other distances between probability measures. In particular, we show how convergence in $\mathcal{H}$ implies convergence in total variation, $p$-Wasserstein distance, and any $f$-divergence. Furthermore, we derive a novel sharp bound for the total variation between two probability measures in terms of their Hilbert distance.


title: Cohen-Macaulay weighted chordal graphs

abstract: In this paper I give a combinatorial characterization of all the Cohen-Macaulay weighted chordal graphs. In particular, it is shown that a weighted chordal graph is Cohen- Macaulay if and only if it is unmixed.