title: On the thermodynamic theory of curvature-dependent surface tension

abstract: An exact equation for determining the Tolman length (TL) as a function of radius is obtained and a computational procedure for solving it is proposed. As a result of implementing this procedure, the dependences of the TL and surface tension on radius are obtained for the drop and bubble cases and various equations of state. As one of the results of the thermodynamic study, a new equation for the dependence of surface tension on radius (curvature effect), alternative to the corresponding Tolman equation and associated with the spinodal point, is obtained. The Kelvin type equation for the equimolecular radius is shown to be exact over the entire metastability region and serves as the basis for the TL equation. The expansions of surface tension near the spinodal and binodal points show that the correction to Rusanov s linear asymptotics in the first case is a series in cubes of the radius, whereas a series in curvature holds in the second case. As a result of the analysis of these expansions, the fundamental impossibility to determine the curvature effect analytically from the binodal point is established; the computational procedure determines it from the spinodal point. It is shown that just the characteristics of the system on the spinodal, mainly the TL value at zero radius, determine the curvature effect. In general, the theory reveals a close connection between surface and bulk properties.


title: Non-Hermitian Mott Skin Effect

abstract: We propose a novel type of skin effects in non-Hermitian quantum many-body systems which we dub a non-Hermitian Mott skin effect. This phenomenon is induced by the interplay between strong correlations and the non-Hermitian point-gap topology. The Mott skin effect induces extreme sensitivity to the boundary conditions only in the spin degree of freedom (i.e., the charge distribution is not sensitive to boundary conditions), which is in sharp contrast to the ordinary non-Hermitian skin effect in non-interacting systems. Concretely, we elucidate that a bosonic non-Hermitian chain exhibits the Mott skin effect in the strongly correlated regime by closely examining an effective Hamiltonian. The emergence of the Mott skin effect is also supported by numerical diagonalization of the bosonic chain. The difference between the ordinary non-Hermitian skin effect and the Mott skin effect is also reflected in the time-evolution of physical quantities; under the time-evolution spin accumulation is observed while the charge distribution remains spatially uniform.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Semi-Abstract Value-Based Argumentation Framework

abstract: In his seminal paper, Phan Minh Dung (1995) proposed abstract argumentation framework, which models argumentation using directed graphs where structureless arguments are the nodes and attacks among the arguments are the edges. In the following years, many extensions of this framework were introduced. These extensions typically add a certain form of structure to the arguments. This thesis showcases two such extensions -- value-based argumentation framework by Trevor Bench-Capon (2002) and semi-abstract argumentation framework by Esther Anna Corsi and Christian Ferm\"uller (2017). The former introduces a mapping function that links individual arguments to a set of ordered values, enabling a distinction between objectively and subjectively acceptable arguments. The latter links claims of individual arguments to propositional formulae and then applies newly-introduced attack principles in order to make implicit attacks explicit and to enable a definition of a consequence relation that relies on neither the truth values nor the interpretations in the usual sense. The contribution of this thesis is two-fold. Firstly, the new semi-abstract value-based argumentation framework is introduced. This framework maps propositional formulae associated with individual arguments to a set of ordered values. Secondly, a complex moral dilemma is formulated using the original and the value-based argumentation frameworks showcasing the expressivity of these formalisms.


title: HyperTrack: Neural Combinatorics for High Energy Physics

abstract: Combinatorial inverse problems in high energy physics span enormous algorithmic challenges. This work presents a new deep learning driven clustering algorithm that utilizes a space-time non-local trainable graph constructor, a graph neural network, and a set transformer. The model is trained with loss functions at the graph node, edge and object level, including contrastive learning and meta-supervision. The algorithm can be applied to problems such as charged particle tracking, calorimetry, pile-up discrimination, jet physics, and beyond. We showcase the effectiveness of this cutting-edge AI approach through particle tracking simulations. The code is available online.


title: Hybrid Strangeon Stars

abstract: It was conjectured that the basic units of the ground state of bulk strong matter may be strange-clusters called strangeons, and they can form self-bound strangeon stars that are highly compact. Strangeon stars can develop a strange quark matter (SQM) core at high densities, particularly in the color-flavor-locking phase, yielding a branch of hybrid strangeon stars. We explore the stellar structure and astrophysical implications of hybrid strangeon stars. We find that hybrid strangeon stars can meet various astrophysical constraints on pulsar masses, radii, and tidal deformabilities. Finally, we show that the strangeon-SQM mixed phase is not preferred if the charge-neutrality condition is imposed at the strangeon-SQM transition region.


title: On Galois realizations of special linear groups

abstract: We study the determinant of certain etale sheaves constructed via middle convolution in order to realize special linear groups regularly as Galois groups over the rationals.


title: Radial and Angular Correlations in a Confined System of Two Atoms in a Two-Dimensional Geometry

abstract: We study the ground-state correlations between two atoms in a two-dimensional isotropic harmonic trap. We consider a finite-range soft-core interaction that can be applied to simulate various atomic systems. We provide detailed results on the dependence of the correlations on the parameters of the system. Our investigations show that in the hardcore limit, the wave function can be approximated as the product of the radial and angular components regardless of the interaction range. This implies that the radial and angular correlations are independent of one another. However, correlations within the radial and angular components persist and are heavily influenced by the interaction range. The radial correlations are generally weaker than the angular correlations. When soft-core interactions are considered, the correlations exhibit more complex behavior.


title: Small Objects Matters in Weakly-supervised Semantic Segmentation

abstract: Weakly-supervised semantic segmentation (WSSS) performs pixel-wise classification given only image-level labels for training. Despite the difficulty of this task, the research community has achieved promising results over the last five years. Still, current WSSS literature misses the detailed sense of how well the methods perform on different sizes of objects. Thus we propose a novel evaluation metric to provide a comprehensive assessment across different object sizes and collect a size-balanced evaluation set to complement PASCAL VOC. With these two gadgets, we reveal that the existing WSSS methods struggle in capturing small objects. Furthermore, we propose a size-balanced cross-entropy loss coupled with a proper training strategy. It generally improves existing WSSS methods as validated upon ten baselines on three different datasets.


title: MultiModN- Multimodal, Multi-Task, Interpretable Modular Networks

abstract: Predicting multiple real-world tasks in a single model often requires a particularly diverse feature space. Multimodal (MM) models aim to extract the synergistic predictive potential of multiple data types to create a shared feature space with aligned semantic meaning across inputs of drastically varying sizes (i.e. images, text, sound). Most current MM architectures fuse these representations in parallel, which not only limits their interpretability but also creates a dependency on modality availability. We present MultiModN, a multimodal, modular network that fuses latent representations in a sequence of any number, combination, or type of modality while providing granular real-time predictive feedback on any number or combination of predictive tasks. MultiModN's composable pipeline is interpretable-by-design, as well as innately multi-task and robust to the fundamental issue of biased missingness. We perform four experiments on several benchmark MM datasets across 10 real-world tasks (predicting medical diagnoses, academic performance, and weather), and show that MultiModN's sequential MM fusion does not compromise performance compared with a baseline of parallel fusion. By simulating the challenging bias of missing not-at-random (MNAR), this work shows that, contrary to MultiModN, parallel fusion baselines erroneously learn MNAR and suffer catastrophic failure when faced with different patterns of MNAR at inference. To the best of our knowledge, this is the first inherently MNAR-resistant approach to MM modeling. In conclusion, MultiModN provides granular insights, robustness, and flexibility without compromising performance.


title: Hopf Semimetals

abstract: We construct two-band topological semimetals in four dimensions using the unstable homotopy of maps from the three-torus $T^3$ (Brillouin zone of a 3D crystal) to the two-sphere $S^2$. Dubbed ``Hopf semimetals'', these gapless phases generically host nodal lines, with a surface enclosing such a nodal line in the four-dimensional Brillouin zone carrying a Hopf flux. These semimetals show a unique class of surface states: while some three-dimensional surfaces host gapless Fermi-arc states {\em and} drumhead states, other surfaces have gapless Fermi surfaces. Gapless two-dimensional corner states are also present at the intersection of three-dimensional surfaces.


title: Regression with Variable Dimension Covariates

abstract: Regression is one of the most fundamental statistical inference problems. A broad definition of regression problems is as estimation of the distribution of an outcome using a family of probability models indexed by covariates. Despite the ubiquitous nature of regression problems and the abundance of related methods and results there is a surprising gap in the literature. There are no well established methods for regression with a varying dimension covariate vectors, despite the common occurrence of such problems. In this paper we review some recent related papers proposing varying dimension regression by way of random partitions.


title: Miyaoka-Yau inequalities and the topological characterization of certain klt varieties

abstract: Ball quotients, hyperelliptic varieties, and projective spaces are characterized by their Chern classes, as the varieties where the Miyaoka-Yau inequality becomes an equality. Ball quotients, Abelian varieties, and projective spaces are also characterized topologically: if a complex, projective manifold $X$ is homeomorphic to a variety of this type, then $X$ is itself of this type. In this paper, similar results are established for projective varieties with klt singularities that are homeomorphic to singular ball quotients, quotients of Abelian varieties, or projective spaces.


title: SurrogatePrompt: Bypassing the Safety Filter of Text-To-Image Models via Substitution

abstract: Advanced text-to-image models such as DALL-E 2 and Midjourney possess the capacity to generate highly realistic images, raising significant concerns regarding the potential proliferation of unsafe content. This includes adult, violent, or deceptive imagery of political figures. Despite claims of rigorous safety mechanisms implemented in these models to restrict the generation of not-safe-for-work (NSFW) content, we successfully devise and exhibit the first prompt attacks on Midjourney, resulting in the production of abundant photorealistic NSFW images. We reveal the fundamental principles of such prompt attacks and suggest strategically substituting high-risk sections within a suspect prompt to evade closed-source safety measures. Our novel framework, SurrogatePrompt, systematically generates attack prompts, utilizing large language models, image-to-text, and image-to-image modules to automate attack prompt creation at scale. Evaluation results disclose an 88% success rate in bypassing Midjourney's proprietary safety filter with our attack prompts, leading to the generation of counterfeit images depicting political figures in violent scenarios. Both subjective and objective assessments validate that the images generated from our attack prompts present considerable safety hazards.


title: Harnessing Supervised Learning for Adaptive Beamforming in Multibeam Satellite Systems

abstract: In today's ever-connected world, the demand for fast and widespread connectivity is insatiable, making multibeam satellite systems an indispensable pillar of modern telecommunications infrastructure. However, the evolving communication landscape necessitates a high degree of adaptability. This adaptability is particularly crucial for beamforming, as it enables the adjustment of peak throughput and beamwidth to meet fluctuating traffic demands by varying the beamwidth, side lobe level (SLL), and effective isotropic radiated power (EIRP). This paper introduces an innovative approach rooted in supervised learning to efficiently derive the requisite beamforming matrix, aligning it with system requirements. Significantly reducing computation time, this method is uniquely tailored for real-time adaptation, enhancing the agility and responsiveness of satellite multibeam systems. Exploiting the power of supervised learning, this research enables multibeam satellites to respond quickly and intelligently to changing communication needs, ultimately ensuring uninterrupted and optimized connectivity in a dynamic world.


title: Emergence of hydrodynamics in expanding relativistic plasmas

abstract: I consider a simple set of equations that govern the expansion of boost-invariant plasmas of massless particles. These equations describe the transition from a collisionless regime at early time to hydrodynamics at late time. Their mathematical structure encompasses all versions of second order hydrodynamics. We emphasize that the apparent success of Israel-Stewart hydrodynamics at early time has little to do with ``hydrodynamics'' proper, but rather with a particular feature of Israel-Stewart equations that allows them to effectively mimic the collisionless regime.


title: Driving behavior-guided battery health monitoring for electric vehicles using machine learning

abstract: An accurate estimation of the state of health (SOH) of batteries is critical to ensuring the safe and reliable operation of electric vehicles (EVs). Feature-based machine learning methods have exhibited enormous potential for rapidly and precisely monitoring battery health status. However, simultaneously using various health indicators (HIs) may weaken estimation performance due to feature redundancy. Furthermore, ignoring real-world driving behaviors can lead to inaccurate estimation results as some features are rarely accessible in practical scenarios. To address these issues, we proposed a feature-based machine learning pipeline for reliable battery health monitoring, enabled by evaluating the acquisition probability of features under real-world driving conditions. We first summarized and analyzed various individual HIs with mechanism-related interpretations, which provide insightful guidance on how these features relate to battery degradation modes. Moreover, all features were carefully evaluated and screened based on estimation accuracy and correlation analysis on three public battery degradation datasets. Finally, the scenario-based feature fusion and acquisition probability-based practicality evaluation method construct a useful tool for feature extraction with consideration of driving behaviors. This work highlights the importance of balancing the performance and practicality of HIs during the development of feature-based battery health monitoring algorithms.


title: Non-equilibrium steady states of electrolyte interfaces

abstract: The non-equilibrium steady states of a semi-infinite quasi-one-dimensional univalent binary electrolyte solution, characterised by non-vanishing electric currents, are investigated by means of Poisson-Nernst-Planck (PNP) theory. Exact analytical expressions of the electric field, the charge density and the number density are derived, which depend on the electric current density as a parameter. From a non-equilibrium version of the Grahame equation, which relates the total space charge per cross-sectional area and the corresponding contribution of the electric potential drop, the current-dependent differential capacitance of the diffuse layer is derived. In the limit of vanishing electric current these results reduce to those within Gouy-Chapman theory. It is shown that improperly chosen boundary conditions lead to non-equilibrium steady state solutions of the PNP equations with negative ion number densities. A necessary and sufficient criterion on surface conductivity constitutive relations is formulated which allows one to detect such unphysical solutions.


title: Dual digraphs of finite meet-distributive and modular lattices

abstract: We describe the digraphs that are dual representations of finite lattices satisfying conditions related to meet-distributivity and modularity. This is done using the dual digraph representation of finite lattices by Craig, Gouveia and Haviar (2015). These digraphs, known as TiRS digraphs, have their origins in the dual representations of lattices by Urquhart (1978) and Plo\v{s}\v{c}ica (1995). We describe two properties of finite lattices which are weakenings of (upper) semimodularity and lower semimodularity respectively, and then show how these properties have a simple description in the dual digraphs. Combined with previous work on dual digraphs of semidistributive lattices (2022), it leads to a dual representation of finite meet-distributive lattices. This provides a natural link to finite convex geometries. In addition, we present two sufficient conditions on a finite TiRS digraph for its dual lattice to be modular. We close by posing four open problems.


title: Symmetry of $f$-vectors of toric arrangements in general position and some applications

abstract: A toric hyperplane is the preimage of a point $x \in S^1$ of a continuous surjective group homomorphism $\theta: \mathbb{T}^n \to S^1$. A finite hyperplane arrangement is a finite collection of such hyperplanes. In this paper, we study the combinatorial properties of finite hyperplane arrangements on $\mathbb{T}^n$ which are spanning and in general position. Specifically, we describe the symmetry of $f$-vectors arising in such arrangements and a few applications of the result to count configurations of hyperplanes.


title: Speaker anonymization using neural audio codec language models

abstract: The vast majority of approaches to speaker anonymization involve the extraction of fundamental frequency estimates, linguistic features and a speaker embedding which is perturbed to obfuscate the speaker identity before an anonymized speech waveform is resynthesized using a vocoder. Recent work has shown that x-vector transformations are difficult to control consistently: other sources of speaker information contained within fundamental frequency and linguistic features are re-entangled upon vocoding, meaning that anonymized speech signals still contain speaker information. We propose an approach based upon neural audio codecs (NACs), which are known to generate high-quality synthetic speech when combined with language models. NACs use quantized codes, which are known to effectively bottleneck speaker-related information: we demonstrate the potential of speaker anonymization systems based on NAC language modeling by applying the evaluation framework of the Voice Privacy Challenge 2022.


title: On the Relation between Internal Language Model and Sequence Discriminative Training for Neural Transducers

abstract: Internal language model (ILM) subtraction has been widely applied to improve the performance of the RNN-Transducer with external language model (LM) fusion for speech recognition. In this work, we show that sequence discriminative training has a strong correlation with ILM subtraction from both theoretical and empirical points of view. Theoretically, we derive that the global optimum of maximum mutual information (MMI) training shares a similar formula as ILM subtraction. Empirically, we show that ILM subtraction and sequence discriminative training achieve similar effects across a wide range of experiments on Librispeech, including both MMI and minimum Bayes risk (MBR) criteria, as well as neural transducers and LMs of both full and limited context. The benefit of ILM subtraction also becomes much smaller after sequence discriminative training. We also provide an in-depth study to show that sequence discriminative training has a minimal effect on the commonly used zero-encoder ILM estimation, but a joint effect on both encoder and prediction + joint network for posterior probability reshaping including both ILM and blank suppression.


title: Photometric follow-up of the 20 Myr-old multi-planet host star V1298~Tau with CHEOPS and ground-based telescopes

abstract: V1298 Tau hosts at least four planets. Since its discovery, this system has been a target of intensive photometric and spectroscopic monitoring. The characterisation of its architecture and planets' fundamental properties turned out to be very challenging so far. The determination of the orbital ephemeris of the outermost planet V1298 Tau $e$ remains an open question. Only two transits have been detected so far by $Kepler/K2$ and TESS, allowing for a grid of reference periods to be tested with new observations, without excluding the possibility of transit timing variations. Observing a third transit would allow to better constrain the orbital period, and would also help determining an accurate radius of V1298 Tau $e$ because the former transits showed different depths. We observed V1298 Tau with the CHEOPS space telescope to search for a third transit of planet $e$ within observing windows that have been selected in order to test three of the shortest predicted orbital periods. We also collected ground-based observations to verify the result found with CHEOPS. We reanalysed $Kepler/K2$ and TESS light curves to test how the results derived from these data are affected by alternative photometric extraction and detrending methods. We report the detection with CHEOPS of a transit that could be attributed to V1298 Tau $e$. If so, that result implies that the orbital period calculated from fitting a linear ephemeris to the three available transits is close to $\sim45$ days. Results from the ground-based follow-up marginally support this possibility. We found that $\textit{i}$) the transit observed by CHEOPS has a longer duration compared to that of the transits observed by $Kepler/K2$ and TESS; $\textit{ii}$) the transit observed by TESS is $>30\%$ deeper than that of $Kepler/K2$ and CHEOPS, and deeper than the measurement previously reported in the literature, according to our reanalysis.


title: Effect of surfactant-laden droplets on turbulent flow topology

abstract: In this work, we investigate flow topology modifications produced by a swarm of large surfactant-laden droplets released in a turbulent channel flow. Droplets have same density and viscosity of the carrier fluid, so that only surface tension effects are considered. We run one single-phase flow simulation at $Re_\tau=\rho u_\tau h / \mu = 300$, and ten droplet-laden simulations at the same $Re_\tau$ with a constant volume fraction equal to $\Phi \simeq5.4\%$. For each simulation, we vary the Weber number ($We$, ratio between inertial and surface tension forces) and the elasticity number ($\beta_s$, parameter that quantifies the surface tension reduction). We use direct numerical simulations of turbulence coupled with a phase field method to investigate the role of capillary forces (normal to the interface) and Marangoni forces (tangential to the interface) on turbulence (inside and outside the droplets). As expected, due to the low volume fraction of droplets, we observe minor modifications in the macroscopic flow statistics. However, we observe major modifications of the vorticity at the interface and important changes in the local flow topology. We highlight the role of Marangoni forces in promoting an elongational type of flow in the dispersed phase and at the interface. We provide detailed statistical quantification of these local changes as a function of the Weber number and elasticity number, which may be useful for simplified models.


title: Induced Superconductivity in Hybrid Au/YBa2Cu3O7-x Electrodes on Vicinal Substrates

abstract: Superconducting electrodes are an integral part of hybrid Josephson junctions used in many applications including quantum technologies. We report on the fabrication and characterization of superconducting hybrid Au/YBa2Cu3O7-x (YBCO) electrodes on vicinal substrates. In these structures, superconducting CuO2-planes face the gold film, resulting in a higher value and smaller variation of the induced energy gap compared to the conventional Au/YBCO electrodes based on films with the c-axis normal to the substrate surface. Using scanning tunneling microscopy, we observe an energy gap of about 10-17 meV at the surface of the 15- nm-thick gold layer deposited in situ atop the YBCO film. To study the origin of this gap, we fabricate nanoconstrictions from the Au/YBCO heterostructure and measure their electrical transport characteristics. The conductance of the nanoconstrictions shows a series of dips due to multiple Andreev reflections in YBCO and gold providing clear evidence of the superconducting nature of the gap in gold. We consider the Au/YBCO electrodes to be a versatile platform for hybrid Josephson devices with a high operating temperature.


title: One-Class Classification for Intrusion Detection on Vehicular Networks

abstract: Controller Area Network bus systems within vehicular networks are not equipped with the tools necessary to ward off and protect themselves from modern cyber-security threats. Work has been done on using machine learning methods to detect and report these attacks, but common methods are not robust towards unknown attacks. These methods usually rely on there being a sufficient representation of attack data, which may not be available due to there either not being enough data present to adequately represent its distribution or the distribution itself is too diverse in nature for there to be a sufficient representation of it. With the use of one-class classification methods, this issue can be mitigated as only normal data is required to train a model for the detection of anomalous instances. Research has been done on the efficacy of these methods, most notably One-Class Support Vector Machine and Support Vector Data Description, but many new extensions of these works have been proposed and have yet to be tested for injection attacks in vehicular networks. In this paper, we investigate the performance of various state-of-the-art one-class classification methods for detecting injection attacks on Controller Area Network bus traffic. We investigate the effectiveness of these techniques on attacks launched on Controller Area Network buses from two different vehicles during normal operation and while being attacked. We observe that the Subspace Support Vector Data Description method outperformed all other tested methods with a Gmean of about 85%.


title: Structure of hyperbolic polynomial automorphisms of C^2 with disconnected Julia sets

abstract: For a hyperbolic polynomial automorphism of C^2 with a disconnected Julia set, and under a mild dissipativity condition, we give a topological description of the components of the Julia set. Namely, there are finitely many "quasi-solenoids" that govern the asymptotic behavior of the orbits of all non-trivial components. This can be viewed as a refined Spectral Decomposition for a hyperbolic map, as well as a two-dimensional version of the (generalized) Branner-Hubbard theory in one-dimensional polynomial dynamics. An important geometric ingredient of the theory is a John-like property of the Julia set in the unstable leaves.


title: Masked Image Residual Learning for Scaling Deeper Vision Transformers

abstract: Deeper Vision Transformers (ViTs) are more challenging to train. We expose a degradation problem in deeper layers of ViT when using masked image modeling (MIM) for pre-training. To ease the training of deeper ViTs, we introduce a self-supervised learning framework called Masked Image Residual Learning (MIRL), which significantly alleviates the degradation problem, making scaling ViT along depth a promising direction for performance upgrade. We reformulate the pre-training objective for deeper layers of ViT as learning to recover the residual of the masked image. We provide extensive empirical evidence showing that deeper ViTs can be effectively optimized using MIRL and easily gain accuracy from increased depth. With the same level of computational complexity as ViT-Base and ViT-Large, we instantiate 4.5$\times$ and 2$\times$ deeper ViTs, dubbed ViT-S-54 and ViT-B-48. The deeper ViT-S-54, costing 3$\times$ less than ViT-Large, achieves performance on par with ViT-Large. ViT-B-48 achieves 86.2% top-1 accuracy on ImageNet. On one hand, deeper ViTs pre-trained with MIRL exhibit excellent generalization capabilities on downstream tasks, such as object detection and semantic segmentation. On the other hand, MIRL demonstrates high pre-training efficiency. With less pre-training time, MIRL yields competitive performance compared to other approaches.


title: IEBins: Iterative Elastic Bins for Monocular Depth Estimation

abstract: Monocular depth estimation (MDE) is a fundamental topic of geometric computer vision and a core technique for many downstream applications. Recently, several methods reframe the MDE as a classification-regression problem where a linear combination of probabilistic distribution and bin centers is used to predict depth. In this paper, we propose a novel concept of iterative elastic bins (IEBins) for the classification-regression-based MDE. The proposed IEBins aims to search for high-quality depth by progressively optimizing the search range, which involves multiple stages and each stage performs a finer-grained depth search in the target bin on top of its previous stage. To alleviate the possible error accumulation during the iterative process, we utilize a novel elastic target bin to replace the original target bin, the width of which is adjusted elastically based on the depth uncertainty. Furthermore, we develop a dedicated framework composed of a feature extractor and an iterative optimizer that has powerful temporal context modeling capabilities benefiting from the GRU-based architecture. Extensive experiments on the KITTI, NYU-Depth-v2 and SUN RGB-D datasets demonstrate that the proposed method surpasses prior state-of-the-art competitors. The source code is publicly available at https://github.com/ShuweiShao/IEBins.


title: Stellar Activity Cycles

abstract: The magnetic field of the Sun is generated by internal dynamo process with a cyclic period of 11 years or a 22 year magnetic cycle. The signatures of the Sun's magnetic cycle are observed in the different layers of its atmosphere and in its internal layers. In this review, we use the same diagnostics to understand the magnetic cycles of other stars with the same internal structure as the Sun. We review what is currently known about mapping the surface magnetic fields, chromospheric and coronal indicators, cycles in photometry and asteroseismology. We conclude our review with an outlook for the future.


title: Exploring the Impact of Serverless Computing on Peer To Peer Training Machine Learning

abstract: The increasing demand for computational power in big data and machine learning has driven the development of distributed training methodologies. Among these, peer-to-peer (P2P) networks provide advantages such as enhanced scalability and fault tolerance. However, they also encounter challenges related to resource consumption, costs, and communication overhead as the number of participating peers grows. In this paper, we introduce a novel architecture that combines serverless computing with P2P networks for distributed training and present a method for efficient parallel gradient computation under resource constraints. Our findings show a significant enhancement in gradient computation time, with up to a 97.34\% improvement compared to conventional P2P distributed training methods. As for costs, our examination confirmed that the serverless architecture could incur higher expenses, reaching up to 5.4 times more than instance-based architectures. It is essential to consider that these higher costs are associated with marked improvements in computation time, particularly under resource-constrained scenarios. Despite the cost-time trade-off, the serverless approach still holds promise due to its pay-as-you-go model. Utilizing dynamic resource allocation, it enables faster training times and optimized resource utilization, making it a promising candidate for a wide range of machine learning applications.


title: Magnetic States and Electronic Properties of Manganese-Based Intermetallic Compounds Mn$_2$YAl and Mn$_3$Z (Y = V, Cr, Fe, Co, Ni; Z = Al, Ge, Sn, Si, Pt)

abstract: We present a brief review of experimental and theoretical papers on studies of electron transport and magnetic properties in manganese-based compounds Mn$_2$YZ and Mn$_3$Z (Y = V, Cr, Fe, Co, Ni, etc.; Z = Al, Ge, Sn, Si, Pt, etc.). It has been shown that in the electronic subsystem of Mn$_2$YZ compounds, the states of a half-metallic ferromagnet and a spin gapless semiconductor can arise with the realization of various magnetic states, such as a ferromagnet, a compensated ferrimagnet, and a frustrated antiferromagnet. Binary compounds Mn$_3$Z have the properties of a half-metallic ferromagnet and a topological semimetal with a large anomalous Hall effect, spin Hall effect, spin Nernst effect, and thermal Hall effect. Their magnetic states are also very diverse: from a ferrimagnet and an antiferromagnet to a compensated ferrimagnet and a frustrated antiferromagnet, as well as an antiferromagnet with a kagome-type lattice. It has been demonstrated that the electronic and magnetic properties of such materials are very sensitive to external influences (temperature, magnetic field, external pressure), as well as the processing method (cast, rapidly quenched, nanostructured, etc.). Knowledge of the regularities in the behavior of the electronic and magnetic characteristics of Mn$_2$YAl and Mn$_3$Z compounds can be used for applications in micro- and nanoelectronics and spintronics.


title: The Generalized Capacity of a Quantum Channel

abstract: The transmission of classical information over a classical channel gave rise to the classical capacity theorem with the optimal rate in terms of the classical mutual information. Despite classical information being a subset of quantum information, the rate of the quantum capacity problem is expressed in terms of the coherent information, which does not mathematically generalize the classical mutual information. Additionally, there are multiple capacity theorems with distinct formulas when dealing with transmitting information over a noisy quantum channel. This leads to the question of what constitutes a mathematically accurate quantum generalization of classical mutual information and whether there exists a quantum task that directly extends the classical capacity problem. In this paper, we address these inquiries by introducing a quantity called the generalized information, which serves as a mathematical extension encompassing both classical mutual information and coherent information. We define a transmission task, which includes as specific instances both classical information and quantum information capacity problems, and show that the transmission capacity of this task is characterized by the generalized information.


title: ADMM-Tracking Gradient for Distributed Optimization over Asynchronous and Unreliable Networks

abstract: In this paper, we propose (i) a novel distributed algorithm for consensus optimization over networks and (ii) a robust extension tailored to deal with asynchronous agents and packet losses. The key idea is to achieve dynamic consensus on (i) the agents' average and (ii) the global descent direction by iteratively solving an online auxiliary optimization problem through a distributed implementation of the Alternating Direction Method of Multipliers (ADMM). Such a mechanism is suitably interlaced with a local proportional action steering each agent estimate to the solution of the original consensus optimization problem. First, in the case of ideal networks, by using tools from system theory, we prove the linear convergence of the scheme with strongly convex costs. Then, by exploiting the averaging theory, we extend such a first result to prove that the robust extension of our method preserves linear convergence in the case of asynchronous agents and packet losses. Further, by using the notion of Input-to-State Stability, we also guarantee the robustness of the schemes with respect to additional, generic errors affecting the agents' updates. Finally, some numerical simulations confirm our theoretical findings and show that the proposed methods outperform the existing state-of-the-art distributed methods for consensus optimization.


title: Nonlinear Filtering of Classical and Quantum Spin Systems

abstract: In this paper we consider classical and quantum spin systems on discrete lattices and in Euclidean spaces, modeled by infinite dimensional stochastic diffusions in Hilbert spaces. Existence and uniqueness of various notions of solutions, existence and uniqueness of invariant measures as well as exponential convergence to equilibrium are known for these models. We formulate nonlinear filtering problem for these classes of models, derive nonlinear filtering equations of Fujisaki-Kallianpur-Kunita and Zakai tye, and prove existence and uniqueness of measure-valued solutions to these filtering equations. We then establish the Feller property and Markov property of the semigroups associated with the filtering equations and also prove existence and uniqueness of invariant measures. Evolution of error covariance equation for the nonlinear filter is derived. We also derive the nonlinear filtering equations associated with finitely-additive white noise formulation due to Kallianpur and Karandikar for the classical and quantum spin systems, and study existence and uniqueness of measure-valued solutions


title: Demazure Filtrations of Tensor Product Modules and Character Formula

abstract: We study the structure of the finite-dimensional representations of $\mathfrak{sl}_2[t]$, the current Lie algebra type of $A_1$, which are obtained by taking tensor products of special Demazure modules. We show that these representations admit a Demazure flag and obtain a closed formula for the graded multiplicities of the level 2 Demazure modules in the filtration of the tensor product of two local Weyl modules for $\mathfrak{sl}_2[t]$. Furthermore, we derive an explicit expression for graded character of the tensor product of a local Weyl module with an irreducible $\mathfrak{sl}_2[t]$ module. In conjunction with the results of \cite{MR3210603}, our findings provide evidence for the conjecture in \cite{9} that the tensor product of Demazure modules of levels m and n respectively has a filtration by Demazure modules of level m + n.


title: Feedback Increases the Capacity of Queues with Bounded Service Times

abstract: In the "Bits Through Queues" paper, it was conjectured that full feedback always increases the capacity of first-in-first-out queues, except when the service time distribution is memoryless. More recently, a non-explicit sufficient condition on the service time under which feedback increases capacity was provided, along with simple examples of service times satisfying this condition. In this paper, it is shown that full feedback increases the capacity of queues with bounded service times. This result is obtained by investigating a generalized notion of feedback, with full feedback and weak feedback as particular cases.


title: Examining Temporal Bias in Abusive Language Detection

abstract: The use of abusive language online has become an increasingly pervasive problem that damages both individuals and society, with effects ranging from psychological harm right through to escalation to real-life violence and even death. Machine learning models have been developed to automatically detect abusive language, but these models can suffer from temporal bias, the phenomenon in which topics, language use or social norms change over time. This study aims to investigate the nature and impact of temporal bias in abusive language detection across various languages and explore mitigation methods. We evaluate the performance of models on abusive data sets from different time periods. Our results demonstrate that temporal bias is a significant challenge for abusive language detection, with models trained on historical data showing a significant drop in performance over time. We also present an extensive linguistic analysis of these abusive data sets from a diachronic perspective, aiming to explore the reasons for language evolution and performance decline. This study sheds light on the pervasive issue of temporal bias in abusive language detection across languages, offering crucial insights into language evolution and temporal bias mitigation.


title: Comparison of distance measurements to dust clouds using GRB X-ray halos and 3D dust extinction

abstract: X-ray photons from energetic sources such as gamma-ray bursts (GRBs) can be scattered on dust clouds in the Milky Way, creating a time-evolving halo around the GRB position. X-ray observations of such halos allow the measurement of dust clouds distances in the Galaxy on which the scattering occurs. We present the first systematic comparison of the distances to scattering regions derived from GRB halos with the 3D dust distribution derived from recently published optical-to-near infrared extinction maps. GRB halos were observed around 7 sources by the Swift XRT and the XMM-Newton EPIC instruments, namely GRB 031203, GRB 050713A, GRB 050724, GRB 061019, GRB 070129, GRB 160623A and GRB 221009A. We used four 3D extinction maps that exploit photometric data from different surveys and apply diverse algorithms for the 3D mapping of extinction, and compared the X-ray halo-derived distances with the local maxima in the 3D extinction density distribution. We found that in all GRBs we can find at least one local maximum in the 3D dust extinction map that is in agreement with the dust distance measured from X-ray rings. For GRBs with multiple X-ray rings, the dust distance measurements coincide with at least 3 maxima in the extinction map for GRB 160623A, and 5 maxima for GRB 221009A. The agreement of these independent distance measurements shows that the methods used to create dust extinction maps may potentially be optimized by the X-ray halo observations from GRBs.


title: SPIRT: A Fault-Tolerant and Reliable Peer-to-Peer Serverless ML Training Architecture

abstract: The advent of serverless computing has ushered in notable advancements in distributed machine learning, particularly within parameter server-based architectures. Yet, the integration of serverless features within peer-to-peer (P2P) distributed networks remains largely uncharted. In this paper, we introduce SPIRT, a fault-tolerant, reliable, and secure serverless P2P ML training architecture. designed to bridge this existing gap. Capitalizing on the inherent robustness and reliability innate to P2P systems, SPIRT employs RedisAI for in-database operations, leading to an 82\% reduction in the time required for model updates and gradient averaging across a variety of models and batch sizes. This architecture showcases resilience against peer failures and adeptly manages the integration of new peers, thereby highlighting its fault-tolerant characteristics and scalability. Furthermore, SPIRT ensures secure communication between peers, enhancing the reliability of distributed machine learning tasks. Even in the face of Byzantine attacks, the system's robust aggregation algorithms maintain high levels of accuracy. These findings illuminate the promising potential of serverless architectures in P2P distributed machine learning, offering a significant stride towards the development of more efficient, scalable, and resilient applications.


title: Multi-Domain Adaptation by Self-Supervised Learning for Speaker Verification

abstract: In real-world applications, speaker recognition models often face various domain-mismatch challenges, leading to a significant drop in performance. Although numerous domain adaptation techniques have been developed to address this issue, almost all present methods focus on a simple configuration where the model is trained in one domain and deployed in another. However, real-world environments are often complex and may contain multiple domains, making the methods designed for one-to-one adaptation suboptimal. In our paper, we propose a self-supervised learning method to tackle this multi-domain adaptation problem. Building upon the basic self-supervised adaptation algorithm, we designed three strategies to make it suitable for multi-domain adaptation: an in-domain negative sampling strategy, a MoCo-like memory bank scheme, and a CORAL-like distribution alignment. We conducted experiments using VoxCeleb2 as the source domain dataset and CN-Celeb1 as the target multi-domain dataset. Our results demonstrate that our method clearly outperforms the basic self-supervised adaptation method, which simply treats the data of CN-Celeb1 as a single domain. Importantly, the improvement is consistent in nearly all in-domain tests and cross-domain tests, demonstrating the effectiveness of our proposed method.


title: Fast LiDAR Informed Visual Search in Unseen Indoor Environments

abstract: This paper explores the problem of planning for visual search without prior map information. We leverage the pixel-wise environment perception problem where one is given wide Field of View 2D scan data and must perform LiDAR segmentation to contextually label points in the surroundings. These pixel classifications provide an informed prior on which to plan next best viewpoints during visual search tasks. We present LIVES: LiDAR Informed Visual Search, a method aimed at finding objects of interest in unknown indoor environments. A robust map-free classifier is trained from expert data collected using a simple cart platform equipped with a map-based classifier. An autonomous exploration planner takes the contextual data from scans and uses that prior to plan viewpoints more likely to yield detection of the search target. We propose a utility function that accounts for traditional metrics like information gain and path cost and for the contextual information. LIVES is baselined against several existing exploration methods in simulation to verify its performance. It is validated in real-world experiments with single and multiple search objects with a Spot robot in two unseen environments. Videos of experiments, implementation details and open source code can be found at https://sites.google.com/view/lives-2024/home.


title: Structural and universal completeness in algebra and logic

abstract: In this work we study the notions of structural and universal completeness both from the algebraic and logical point of view. In particular, we provide new algebraic characterizations of quasivarieties that are actively and passively universally complete, and passively structurally complete. We apply these general results to varieties of bounded lattices and to quasivarieties related to substructural logics. In particular we show that a substructural logic satisfying weakening is passively structurally complete if and only if every classical contradiction is explosive in it. Moreover, we fully characterize the passively structurally complete varieties of MTL-algebras, i.e., bounded commutative integral residuated lattices generated by chains.


title: Assessment of Brightness Mitigation Practices for Starlink Satellites

abstract: Photometric characteristics for all models of Starlink satellites launched to date are reviewed. The Original design that lacked brightness mitigation is the most luminous. SpaceX installed a sunshade on the VisorSat model which reduced its luminosity by a factor of 3. The visor was omitted on Post-VisorSat spacecraft with laser communication which followed, but the company added a reflective layer which resulted in an intermediate brightness between Original and VisorSat. SpaceX is applying advanced brightness mitigation techniques to their Generation 2 Starlink satellites which are larger. The first of these, called Minis, are dimmer than Gen 1 Starlinks despite their greater size. Photometric observations verify that brightness mitigation efforts employed by SpaceX reduce spacecraft luminosity substantially. However, the satellites still have some negative impact on astronomical observations and the very large satellites planned for later in Gen 2 may interfere more seriously.


title: An optimized quantum minimum searching algorithm with sure-success probability and its experiment simulation with Cirq

abstract: Finding a minimum is an essential part of mathematical models, and it plays an important role in some optimization problems. Durr and Hoyer proposed a quantum searching algorithm (DHA), with a certain probability of success, to achieve quadratic speed than classical ones. In this paper, we propose an optimized quantum minimum searching algorithm with sure-success probability, which utilizes Grover-Long searching to implement the optimal exact searching, and the dynamic strategy to reduce the iterations of our algorithm. Besides, we optimize the oracle circuit to reduce the number of gates by the simplified rules. The performance evaluation including the theoretical success rate and computational complexity shows that our algorithm has higher accuracy and efficiency than DHA algorithm. Finally, a simulation experiment based on Cirq is performed to verify its feasibility.


title: Hadronic physics from a Wilson fermion mixed-action approach: Charm quark mass and $D_{(s)}$ meson decay constants

abstract: We present our first set of results for charm physics, using the mixed-action setup introduced in a companion paper. Maximally twisted Wilson valence fermions are used on a sea of non-perturbatively $O(a)$-improved Wilson fermions, made up by CLS $N_{\mathrm{\scriptstyle f}}=2+1$ ensembles. Our charm-sector observables are free from $O(am_c)$ discretisation effects, without need of tuning any improvement coefficient, and show continuum-limit scaling properties consistent with leading cutoff effects of $O(a^2)$. We consider a subset of CLS ensembles -- including four values of the lattice spacing and pion masses down to 200 MeV -- allowing to take the continuum limit and extrapolate to the physical pion mass. A number of techniques are incorporated in the analysis in order to estimate the systematic uncertainties of our results for the charm quark mass and the $D_{(s)}$-meson decay constants. This first study of observables in the charm sector, where the emphasis has been on the control of the methodology, demonstrates the potential of our setup to achieve high-precision results.


title: Extragradient Type Methods for Riemannian Variational Inequality Problems

abstract: Riemannian convex optimization and minimax optimization have recently drawn considerable attention. Their appeal lies in their capacity to adeptly manage the non-convexity of the objective function as well as constraints inherent in the feasible set in the Euclidean sense. In this work, we delve into monotone Riemannian Variational Inequality Problems (RVIPs), which encompass both Riemannian convex optimization and minimax optimization as particular cases. In the context of Euclidean space, it is established that the last-iterates of both the extragradient (EG) and past extragradient (PEG) methods converge to the solution of monotone variational inequality problems at a rate of $O\left(\frac{1}{\sqrt{T}}\right)$ (Cai et al., 2022). However, analogous behavior on Riemannian manifolds remains an open question. To bridge this gap, we introduce the Riemannian extragradient (REG) and Riemannian past extragradient (RPEG) methods. We demonstrate that both exhibit $O\left(\frac{1}{\sqrt{T}}\right)$ last-iterate convergence. Additionally, we show that the average-iterate convergence of both REG and RPEG is $O\left(\frac{1}{{T}}\right)$, aligning with observations in the Euclidean case (Mokhtari et al., 2020). These results are enabled by judiciously addressing the holonomy effect so that additional complications in Riemannian cases can be reduced and the Euclidean proof inspired by the performance estimation problem (PEP) technique or the sum-of-squares (SOS) technique can be applied again.


title: Designing and evaluating an online reinforcement learning agent for physical exercise recommendations in N-of-1 trials

abstract: Personalized adaptive interventions offer the opportunity to increase patient benefits, however, there are challenges in their planning and implementation. Once implemented, it is an important question whether personalized adaptive interventions are indeed clinically more effective compared to a fixed gold standard intervention. In this paper, we present an innovative N-of-1 trial study design testing whether implementing a personalized intervention by an online reinforcement learning agent is feasible and effective. Throughout, we use a new study on physical exercise recommendations to reduce pain in endometriosis for illustration. We describe the design of a contextual bandit recommendation agent and evaluate the agent in simulation studies. The results show that, first, implementing a personalized intervention by an online reinforcement learning agent is feasible. Second, such adaptive interventions have the potential to improve patients' benefits even if only few observations are available. As one challenge, they add complexity to the design and implementation process. In order to quantify the expected benefit, data from previous interventional studies is required. We expect our approach to be transferable to other interventions and clinical interventions.


title: LAPP: Layer Adaptive Progressive Pruning for Compressing CNNs from Scratch

abstract: Structured pruning is a commonly used convolutional neural network (CNN) compression approach. Pruning rate setting is a fundamental problem in structured pruning. Most existing works introduce too many additional learnable parameters to assign different pruning rates across different layers in CNN or cannot control the compression rate explicitly. Since too narrow network blocks information flow for training, automatic pruning rate setting cannot explore a high pruning rate for a specific layer. To overcome these limitations, we propose a novel framework named Layer Adaptive Progressive Pruning (LAPP), which gradually compresses the network during initial training of a few epochs from scratch. In particular, LAPP designs an effective and efficient pruning strategy that introduces a learnable threshold for each layer and FLOPs constraints for network. Guided by both task loss and FLOPs constraints, the learnable thresholds are dynamically and gradually updated to accommodate changes of importance scores during training. Therefore the pruning strategy can gradually prune the network and automatically determine the appropriate pruning rates for each layer. What's more, in order to maintain the expressive power of the pruned layer, before training starts, we introduce an additional lightweight bypass for each convolutional layer to be pruned, which only adds relatively few additional burdens. Our method demonstrates superior performance gains over previous compression methods on various datasets and backbone architectures. For example, on CIFAR-10, our method compresses ResNet-20 to 40.3% without accuracy drop. 55.6% of FLOPs of ResNet-18 are reduced with 0.21% top-1 accuracy increase and 0.40% top-5 accuracy increase on ImageNet.


title: An Investigation of Distribution Alignment in Multi-Genre Speaker Recognition

abstract: Multi-genre speaker recognition is becoming increasingly popular due to its ability to better represent the complexities of real-world applications. However, a major challenge is the significant shift in the distribution of speaker vectors across different genres. While distribution alignment is a common approach to address this challenge, previous studies have mainly focused on aligning a source domain with a target domain, and the performance of multi-genre data is unknown. This paper presents a comprehensive study of mainstream distribution alignment methods on multi-genre data, where multiple distributions need to be aligned. We analyze various methods both qualitatively and quantitatively. Our experiments on the CN-Celeb dataset show that within-between distribution alignment (WBDA) performs relatively better. However, we also found that none of the investigated methods consistently improved performance in all test cases. This suggests that solely aligning the distributions of speaker vectors may not fully address the challenges posed by multi-genre speaker recognition. Further investigation is necessary to develop a more comprehensive solution.


title: Long-term monitoring of the radio-galaxy M87 in gamma-rays: joint analysis of MAGIC, VERITAS and Fermi-LAT data

abstract: M87 was discovered in the very-high-energy band (VHE, E > 100 GeV) with HEGRA in 2003, long before its emission was detected in the high-energy band (HE, E > 100 MeV) with Fermi-LAT in 2009, opening the window to a new family of extragalactic sources with tilted jets. After a series of major VHE flares in 2005, 2008, and 2010, which were detected in multiple bands, the source has been found in a low activity state, interrupted only by comparatively smaller-scale flares. MAGIC and VERITAS, two stereoscopic Cherenkov telescope arrays located at Roque de los Muchachos Observatory (Canary Islands, Spain) and the Fred Lawrence Whipple Observatory (Arizona, US), have monitored M87 continuously and in coordination for more than 10 years. In this work, we present the data for 4 years of MAGIC and VERITAS observations corresponding to 2019, 2020, 2021 and 2022. The resulting light curves are shown in daily and monthly scales where no significant variability is observed. In addition, we show the first joint analysis using combined event data from the two VHE instruments and Fermi-LAT to compute the spectral energy distribution.


title: Unified Inference for Dynamic Quantile Predictive Regression

abstract: This paper develops unified asymptotic distribution theory for dynamic quantile predictive regressions which is useful when examining quantile predictability in stock returns under possible presence of nonstationarity.


title: Room-temperature ferroelectric nematic liquid crystal showing a large and divergent density

abstract: The ferroelectric nematic phase (NF) is a recently discovered phase of matter in which the orientational order of the conventional nematic liquid crystal state is augmented with polar order. Atomistic simulations suggest that the polar NF phase would be denser than conventional nematics owing to contributions from polar order. Using an oscillating U-tube densitometer, we obtain detailed temperature-dependent density values for a selection of conventional liquid crystals with excellent agreement with earlier reports. Having demonstrated the validity of our method, we then record density as a function of temperature for M5, a novel room-temperature ferroelectric nematic material. We present the first experimental density data for a NF material as well as density data for a nematic that has not previously been reported. We find that the room-temperature NF material shows a large (>1.3 g cm3) density at all temperatures studied, with an increase in density at phase transitions. The magnitude of the increase for the intermediate splay-ferroelectric nematic (NX-NF) transition is an order of magnitude smaller than the isotropic-nematic (I-N) transition. Present results may be typical of ferroelectric nematic materials, potentially guiding material development, and is especially relevant for informing ongoing studies into this emerging class of materials.


title: Data Upcycling Knowledge Distillation for Image Super-Resolution

abstract: Knowledge distillation (KD) compresses deep neural networks by transferring task-related knowledge from cumbersome pre-trained teacher models to compact student models. However, current KD methods for super-resolution (SR) networks overlook the nature of SR task that the outputs of the teacher model are noisy approximations to the ground-truth distribution of high-quality images (GT), which shades the teacher model's knowledge to result in limited KD effects. To utilize the teacher model beyond the GT upper-bound, we present the Data Upcycling Knowledge Distillation (DUKD), to transfer the teacher model's knowledge to the student model through the upcycled in-domain data derived from training data. Besides, we impose label consistency regularization to KD for SR by the paired invertible augmentations to improve the student model's performance and robustness. Comprehensive experiments demonstrate that the DUKD method significantly outperforms previous arts on several SR tasks.


title: Uniform multi-penalty regularization for linear ill-posed inverse problems

abstract: This study examines, in the framework of variational regularization methods, a multi-penalty regularization approach which builds upon the Uniform PENalty (UPEN) method, previously proposed by the authors for Nuclear Magnetic Resonance (NMR) data processing. The paper introduces two iterative methods, UpenMM and GUpenMM, formulated within the Majorization-Minimization (MM) framework. These methods are designed to identify appropriate regularization parameters and solutions for linear inverse problems utilizing multi-penalty regularization. The paper demonstrates the convergence of these methods and illustrates their potential through numerical examples in one and two-dimensional scenarios, showing the practical utility of point-wise regularization terms in solving various inverse problems.


title: What rationales drive architectural decisions? An empirical inquiry

abstract: Architectural decision-making is a crucial concern for researchers and practitioners alike. There is a rationale behind every architectural decision that motivates an architect to choose one architectural solution out of a set of options. This study aims to identify which categories of rationale most frequently impact architectural decisions and investigates why these are important to practitioners. Our research comprises two steps of empirical inquiry: a questionnaire (63 participants) and 13 interviews. As a result, we obtained a set of rationales that motivated architects' decisions in practice. Out of them, we extracted a list of software quality attributes that practitioners were the most concerned about. We found that, overall, architects prefer to choose solutions which are familiar to them or that guarantee fast software implementation. Mid-career architects (5 to 15 years of experience) are more open to new solutions than senior and junior practitioners. Additionally, we found that most practitioners are not concerned about the quality attributes of compatibility and portability due to modern software development practices, such as the prevalence of using specific standards and virtualisation/containerization.


title: Towards End-User Development for IoT: A Case Study on Semantic Parsing of Cooking Recipes for Programming Kitchen Devices

abstract: Semantic parsing of user-generated instructional text, in the way of enabling end-users to program the Internet of Things (IoT), is an underexplored area. In this study, we provide a unique annotated corpus which aims to support the transformation of cooking recipe instructions to machine-understandable commands for IoT devices in the kitchen. Each of these commands is a tuple capturing the semantics of an instruction involving a kitchen device in terms of "What", "Where", "Why" and "How". Based on this corpus, we developed machine learning-based sequence labelling methods, namely conditional random fields (CRF) and a neural network model, in order to parse recipe instructions and extract our tuples of interest from them. Our results show that while it is feasible to train semantic parsers based on our annotations, most natural-language instructions are incomplete, and thus transforming them into formal meaning representation, is not straightforward.


title: Targeted Attacks: Redefining Spear Phishing and Business Email Compromise

abstract: In today's digital world, cybercrime is responsible for significant damage to organizations, including financial losses, operational disruptions, or intellectual property theft. Cyberattacks often start with an email, the major means of corporate communication. Some rare, severely damaging email threats - known as spear phishing or Business Email Compromise - have emerged. However, the literature disagrees on their definition, impeding security vendors and researchers from mitigating targeted attacks. Therefore, we introduce targeted attacks. We describe targeted-attack-detection techniques as well as social-engineering methods used by fraudsters. Additionally, we present text-based attacks - with textual content as malicious payload - and compare non-targeted and targeted variants.


title: Ultrafast Demagnetization through Femtosecond Generation of Non-thermal Magnons

abstract: Ultrafast laser excitation of ferromagnetic metals gives rise to correlated, highly non-equilibrium dynamics of electrons, spins and lattice, which are, however, poorly described by the widely-used three-temperature model (3TM). Here, we develop a fully ab-initio parameterized out-of-equilibrium theory based on a quantum kinetic approach--termed (N+2) temperature model--that describes magnon occupation dynamics due to electron-magnon scattering. We apply this model to perform quantitative simulations on the ultrafast, laser-induced generation of magnons in iron and demonstrate that on these timescales the magnon distribution is non-thermal: predominantly high-energy magnons are created, while the magnon occupation close to the center of the Brillouin zone even decreases, due to a repopulation towards higher energy states via a so-far-overlooked scattering term. We demonstrate that the simple relation between magnetization and temperature computed at equilibrium does not hold in the ultrafast regime and that the 3TM greatly overestimates the demagnetization. The ensuing Gilbert damping becomes strongly magnon wavevector dependent and requires a description beyond the conventional Landau-Lifshitz-Gilbert spin dynamics. Our ab-initio-parameterized calculations show that ultrafast generation of non-thermal magnons provides a sizable demagnetization within 200fs in excellent comparison with experimentally observed laser-induced demagnetizations. Our investigation emphasizes the importance of non-thermal magnon excitations for the ultrafast demagnetization process.


title: The population of young low-mass stars in Trumpler 14

abstract: Massive star-forming regions are thought to be the most common birth environments in the Galaxy and the only birth places of very massive stars. Their presence in the stellar cluster alters the conditions within the cluster impacting at the same time the evolution of other cluster members. In principle, copious amounts of ultraviolet radiation produced by massive stars can remove material from outer parts of the protoplanetary disks around low- and intermediate-mass stars in the process of external photoevaporation, effectively reducing the planet-formation capabilities of those disks. Here, we present deep VLT/MUSE observations of low-mass stars in Trumpler 14, one of the most massive, young, and compact clusters in the Carina Nebula Complex. We provide spectral and stellar properties of 717 sources and based on the distribution of stellar ages derive the cluster age of $\sim$1~Myr. The majority of the stars in our sample have masses $\leqslant$1~$M_\odot$, what makes our spectroscopic catalogue the most deep to date in term of masses, and proves that detailed investigations of low-mass stars are possible in the massive but distant regions. Spectroscopic studies of low-mass members of the whole Carina Nebula Complex are missing. Our work provides an important step forward towards filling this gap and set the stage for follow-up investigation of accretion properties in Trumpler 14.


title: Extrapolated regularization of nearly singular integrals on surfaces

abstract: We present a method for computing nearly singular integrals that occur when single or double layer surface integrals, for harmonic potentials or Stokes flow, are evaluated at points nearby. Such values could be needed in solving an integral equation when one surface is close to another or to obtain values at grid points. We replace the singular kernel with a regularized version having a length parameter $\delta$ in order to control discretization error. Analysis near the singularity leads to an expression for the error due to regularization which has terms with unknown coefficients multiplying known quantities. By computing the integral with three choices of $\delta$ we can solve for an extrapolated value that has regularization error reduced to $O(\delta^5)$, uniformly for target points on or near the surface. In examples with $\delta/h$ constant and moderate resolution we observe total error about $O(h^5)$ close to the surface. For convergence as $h \to 0$ we can choose $\delta$ proportional to $h^q$ with $q < 1$ to ensure the discretization error is dominated by the regularization error. With $q = 4/5$ we find errors about $O(h^4)$. For harmonic potentials we extend the approach to a version with $O(\delta^7)$ regularization; it typically has smaller errors but the order of accuracy is less predictable.


title: Finite regular semigroups with permutations that map elements to inverses

abstract: We give an account on what is known on the subject of permutation matchings, which are bijections of a finite regular semigroup that map each element to one of its inverses. This includes partial solutions to some open questions, including a related novel combinatorial problem.


title: Dual-GSE: Resource-efficient Generalized Quantum Subspace Expansion

abstract: There are considerable obstacles against realizing practical quantum computing: a significant amount of computation errors and the restricted qubit count. As a unified method of noise-agnostic quantum error mitigation (QEM) methods, i.e., the quantum subspace expansion and virtual purification, a generalized quantum subspace expansion (GSE) has recently been proposed that is significantly robust against stochastic and coherent errors. However, GSE requires entangled measurements between copies of the quantum states, which is a significant drawback under the current situation of the restricted number of qubits and their connectivity. In this work, we propose a resource-efficient implementation of GSE, which we name "Dual-GSE", circumventing significant overheads of state copies by constructing an ansatz of error-mitigated quantum states via dual-state purification. Remarkably, Dual-GSE can further simulate larger quantum systems beyond the size of available quantum hardware with a suitable ansatz construction inspired by divide-and-conquer methods that forge entanglement classically. This also significantly reduces the measurement overhead because we only need to measure subsystems' Pauli operators. The proposed method is demonstrated by a numerical simulation of the eight-qubit transverse-field Ising model, showing that our method estimates the ground state energy with high precision under gate noise with low mitigation overhead and practical sampling cost.


title: Error and Disturbance as Irreversibility with Applications: Unified Definition, Wigner--Araki--Yanase Theorem and Out-of-Time-Order Correlator

abstract: Error and disturbance are fundamental concepts in quantum measurements. Here we show that these two concepts can be defined as special cases of the irreversibility of quantum processes. The re-definitions provide fruitful byproducts: First, we can unify the existing various definitions of error and disturbance as special aspects of irreversibility. Second, we extend the quantitative Wigner--Araki--Yanase theorem -- a universal restriction on measurement implementation under a conservation law -- to error and disturbance of arbitrary definitions. Third, we provide a novel treatment of out-of-time-orderd-correlator (OTOC) -- a measure of quantum chaos in a quantum many-body system -- as irreversibility, and its experimental evaluation method.


title: Why every observatory needs a disco ball

abstract: Commercial disco balls provide a safe, effective and instructive way of observing the Sun. We explore the optics of solar projections with disco balls, and find that while sunspot observations are challenging, the solar disk and its changes during eclipses are easy and fun to observe. We explore the disco ball's potential for observing the moon and other bright astronomical phenomena.


title: Only 5\% Attention Is All You Need: Efficient Long-range Document-level Neural Machine Translation

abstract: Document-level Neural Machine Translation (DocNMT) has been proven crucial for handling discourse phenomena by introducing document-level context information. One of the most important directions is to input the whole document directly to the standard Transformer model. In this case, efficiency becomes a critical concern due to the quadratic complexity of the attention module. Existing studies either focus on the encoder part, which cannot be deployed on sequence-to-sequence generation tasks, e.g., Machine Translation (MT), or suffer from a significant performance drop. In this work, we keep the translation performance while gaining 20\% speed up by introducing extra selection layer based on lightweight attention that selects a small portion of tokens to be attended. It takes advantage of the original attention to ensure performance and dimension reduction to accelerate inference. Experimental results show that our method could achieve up to 95\% sparsity (only 5\% tokens attended) approximately, and save 93\% computation cost on the attention module compared with the original Transformer, while maintaining the performance.


title: The Influence of Cognitive Biases on Architectural Technical Debt

abstract: Cognitive biases exert a significant influence on human thinking and decision-making. In order to identify how they influence the occurrence of architectural technical debt, a series of semi-structured interviews with software architects was performed. The results show which classes of architectural technical debt originate from cognitive biases, and reveal the antecedents of technical debt items (classes) through biases. This way, we analysed how and when cognitive biases lead to the creation of technical debt. We also identified a set of debiasing techniques that can be used in order to prevent the negative influence of cognitive biases. The observations of the role of organisational culture in the avoidance of inadvertent technical debt throw a new light on that issue.


title: Federated Learning Under Restricted User Availability

abstract: Federated Learning (FL) is a decentralized machine learning framework that enables collaborative model training while respecting data privacy. In various applications, non-uniform availability or participation of users is unavoidable due to an adverse or stochastic environment, the latter often being uncontrollable during learning. Here, we posit a generic user selection mechanism implementing a possibly randomized, stationary selection policy, suggestively termed as a Random Access Model (RAM). We propose a new formulation of the FL problem which effectively captures and mitigates limited participation of data originating from infrequent, or restricted users, at the presence of a RAM. By employing the Conditional Value-at-Risk (CVaR) over the (unknown) RAM distribution, we extend the expected loss FL objective to a risk-aware objective, enabling the design of an efficient training algorithm that is completely oblivious to the RAM, and with essentially identical complexity as FedAvg. Our experiments on synthetic and benchmark datasets show that the proposed approach achieves significantly improved performance as compared with standard FL, under a variety of setups.


title: Anoplophora graafi Longhorn Beetle Coloration is due to Disordered Diamond-like Packed Spheres

abstract: While artificially photonic materials are typically highly ordered, photonic structures in many species of birds and insects do not possess a long-range order. Studying their order-disorder interplay sheds light on the origin of the photonic band gap. Here, we investigated the scale morphology of the Anoplophora graafi longhorn beetle. Combining small-angle X-ray scattering and slice-and-view FIB-SEM tomography with molecular dynamics and optical simulations, we characterised the chitin sphere assemblies within blue and green. A. graafi scales. The low volume fraction of spheres and the number of their nearest neighbours are incompatible with any known close-packed sphere morphology. A short-range diamond lattice with long-range disorder best describes the sphere assembly, which will inspire the development of new colloid-based photonic materials.


title: Chebyshev HOPGD with sparse grid sampling for parameterized linear systems

abstract: We consider approximating solutions to parameterized linear systems of the form $A(\mu_1,\mu_2) x(\mu_1,\mu_2) = b$, where $(\mu_1, \mu_2) \in \mathbb{R}^2$. Here the matrix $A(\mu_1,\mu_2) \in \mathbb{R}^{n \times n}$ is nonsingular, large, and sparse and depends nonlinearly on the parameters $\mu_1$ and $\mu_2$. Specifically, the system arises from a discretization of a partial differential equation and $x(\mu_1,\mu_2) \in \mathbb{R}^n$, $b \in \mathbb{R}^n$. This work combines companion linearization with the Krylov subspace method preconditioned bi-conjugate gradient (BiCG) and a decomposition of a tensor matrix of precomputed solutions, called snapshots. As a result, a reduced order model of $x(\mu_1,\mu_2)$ is constructed, and this model can be evaluated in a cheap way for many values of the parameters. Tensor decompositions performed on a set of snapshots can fail to reach a certain level of accuracy, and it is not known a priori if a decomposition will be successful. Moreover, the selection of snapshots can affect both the quality of the produced model and the computation time required for its construction. This new method offers a way to generate a new set of solutions on the same parameter space at little additional cost. An interpolation of the model is used to produce approximations on the entire parameter space, and this method can be used to solve a parameter estimation problem. Numerical examples of a parameterized Helmholtz equation show the competitiveness of our approach. The simulations are reproducible, and the software is available online.


title: Anticipation of Oligocene's climate heartbeat by simplified eigenvalue estimation

abstract: The Eocene-Oligocene transition marks a watershed point of earth's climate history. The climate shifts from a greenhouse state to an icehouse state in which Antarctica glaciated for the first time and periodic dynamics arise which are still relevant for our current climate. We analyse a $CaCO_3$ concentration time series which covers the Eocene-Oligocene transition and which is obtained from a Pacific sediment core at site DSDP1218. Therefore, we introduce a simplified autoregression-based variant of the dominant eigenvalue (DEV) estimation procedure. The DEV works as leading indicator of bifurcation-induced transitions and enables us to identify the bifurcation type. We confirm its reliability in a methodological study and demonstrate the crucial importance of proper detrending to obtain unbiased results. As a remark, we discuss also possible pathways to estimate the stability of limit cycles based on the DEV and the alternative drift slope as a proof of principle. Finally, we present the DEV analysis results of the $CaCO_3$ concentration time series which are reproducible in a wide parameter range. Our findings demonstrate that the onset of Oligocene's periodic dynamics might be announced by a Neimark-Sacker/Hopf bifurcation in course of the Eocene-Oligocene transition 34 mya. (We follow the convention and use mya$\widehat{=}$"million years ago" and Ma$\widehat{=}$"million years" throughout the article.)

categories: physics.ao-ph nlin.CD physics.comp-ph physics.data-an


title: Small body harvest with the Antarctic Search for Transiting Exoplanets (ASTEP) project

abstract: Small Solar system bodies serve as pristine records that have been minimally altered since their formation. Their observations provide valuable information regarding the formation and evolution of our Solar system. Interstellar objects (ISOs) can also provide insight on the formation of exoplanetary systems and planetary system evolution as a whole. In this work, we present the application of our framework to search for small Solar system bodies in exoplanet transit survey data collected by the Antarctic Search for Transiting ExoPlanets (ASTEP) project. We analysed data collected during the Austral winter of 2021 by the ASTEP 400 telescope located at the Concordia Station, at Dome C, Antarctica. We identified 20 known objects from dynamical classes ranging from Inner Main-belt asteroids to one comet. Our search recovered known objects down to a magnitude of $V$ = 20.4 mag, with a retrieval rate of $\sim$80% for objects with $V \le $ 20 mag. Future work will apply the pipeline to archival ASTEP data that observed fields for periods of longer than a few hours to treat them as deep-drilling datasets and reach fainter limiting magnitudes for slow-moving objects, on the order of $V\approx $ 23-24 mag.


title: Q-Bench: A Benchmark for General-Purpose Foundation Models on Low-level Vision

abstract: The rapid evolution of Multi-modality Large Language Models (MLLMs) has catalyzed a shift in computer vision from specialized models to general-purpose foundation models. Nevertheless, there is still an inadequacy in assessing the abilities of MLLMs on low-level visual perception and understanding. To address this gap, we present Q-Bench, a holistic benchmark crafted to systematically evaluate potential abilities of MLLMs on three realms: low-level visual perception, low-level visual description, and overall visual quality assessment. a) To evaluate the low-level perception ability, we construct the LLVisionQA dataset, consisting of 2,990 diverse-sourced images, each equipped with a human-asked question focusing on its low-level attributes. We then measure the correctness of MLLMs on answering these questions. b) To examine the description ability of MLLMs on low-level information, we propose the LLDescribe dataset consisting of long expert-labelled golden low-level text descriptions on 499 images, and a GPT-involved comparison pipeline between outputs of MLLMs and the golden descriptions. c) Besides these two tasks, we further measure their visual quality assessment ability to align with human opinion scores. Specifically, we design a softmax-based strategy that enables MLLMs to predict quantifiable quality scores, and evaluate them on various existing image quality assessment (IQA) datasets. Our evaluation across the three abilities confirms that MLLMs possess preliminary low-level visual skills. However, these skills are still unstable and relatively imprecise, indicating the need for specific enhancements on MLLMs towards these abilities. We hope that our benchmark can encourage the research community to delve deeper to discover and enhance these untapped potentials of MLLMs. Project Page: https://q-future.github.io/Q-Bench.


title: Magneto-thermal evolution in the cores of adolescent neutron stars: The Grad-Shafranov equilibrium is never reached in the 'strong-coupling' regime

abstract: At the high temperatures present inside recently formed neutron stars ($T\gtrsim 5\times 10^{8}\, \text{K}$), the particles in their cores are in the "strong-coupling" regime, in which collisional forces make them behave as a single, stably stratified, and thus non-barotropic fluid. In this regime, axially symmetric hydromagnetic quasi-equilibrium states are possible, which are only constrained to have a vanishing azimuthal Lorentz force. In such equilibria, the particle species are not in chemical ($\beta$) equilibrium, so $\beta$ decays (Urca reactions) tend to restore the chemical equilibrium, inducing fluid motions that change the magnetic field configuration. If the stars remained hot for a sufficiently long time, this evolution would eventually lead to a chemical equilibrium state, in which the fluid is barotropic and the magnetic field, if axially-symmetric, satisfies the non-linear Grad-Shafranov equation. In this work, we present a numerical scheme that decouples the magnetic and thermal evolution, enabling to efficiently perform, for the first time, long-term magneto-thermal simulations in this regime for different magnetic field strengths and geometries. Our results demonstrate that, even for magnetar-strength fields $\gtrsim 10^{16} \, \mathrm{G}$, the feedback from the magnetic evolution on the thermal evolution is negligible. Thus, as the core passively cools, the Urca reactions quickly become inefficient at restoring chemical equilibrium, so the magnetic field evolves very little, and the Grad-Shafranov equilibrium is not attained in this regime. Therefore, any substantial evolution of the core magnetic field must occur later, in the cooler "weak-coupling" regime ($T\lesssim 5\times 10^8 \, \mathrm{K}$), in which Urca reactions are effectively frozen and ambipolar diffusion becomes relevant.


title: Species196: A One-Million Semi-supervised Dataset for Fine-grained Species Recognition

abstract: The development of foundation vision models has pushed the general visual recognition to a high level, but cannot well address the fine-grained recognition in specialized domain such as invasive species classification. Identifying and managing invasive species has strong social and ecological value. Currently, most invasive species datasets are limited in scale and cover a narrow range of species, which restricts the development of deep-learning based invasion biometrics systems. To fill the gap of this area, we introduced Species196, a large-scale semi-supervised dataset of 196-category invasive species. It collects over 19K images with expert-level accurate annotations Species196-L, and 1.2M unlabeled images of invasive species Species196-U. The dataset provides four experimental settings for benchmarking the existing models and algorithms, namely, supervised learning, semi-supervised learning, self-supervised pretraining and zero-shot inference ability of large multi-modal models. To facilitate future research on these four learning paradigms, we conduct an empirical study of the representative methods on the introduced dataset. The dataset is publicly available at https://species-dataset.github.io/.


title: Linearly implicit exponential integrators for damped Hamiltonian PDEs

abstract: Structure-preserving linearly implicit exponential integrators are constructed for Hamiltonian partial differential equations with linear constant damping. Linearly implicit integrators are derived by polarizing the polynomial terms of the Hamiltonian function and portioning out the nonlinearly of consecutive time steps. They require only a solution of one linear system at each time step. Therefore they are computationally more advantageous than implicit integrators. We also construct an exponential version of the well-known one-step Kahan's method by polarizing the quadratic vector field. These integrators are applied to one-dimensional damped Burger's, Korteweg-de-Vries, and nonlinear Schr{\"o}dinger equations. Preservation of the dissipation rate of linear and quadratic conformal invariants and the Hamiltonian is illustrated by numerical experiments.


title: Temporal Separators with Deadlines

abstract: We study temporal analogues of the Unrestricted Vertex Separator problem from the static world. An $(s,z)$-temporal separator is a set of vertices whose removal disconnects vertex $s$ from vertex $z$ for every time step in a temporal graph. The $(s,z)$-Temporal Separator problem asks to find the minimum size of an $(s,z)$-temporal separator for the given temporal graph. We introduce a generalization of this problem called the $(s,z,t)$-Temporal Separator problem, where the goal is to find a smallest subset of vertices whose removal eliminates all temporal paths from $s$ to $z$ which take less than $t$ time steps. Let $\tau$ denote the number of time steps over which the temporal graph is defined (we consider discrete time steps). We characterize the set of parameters $\tau$ and $t$ when the problem is $\mathcal{NP}$-hard and when it is polynomial time solvable. Then we present a $\tau$-approximation algorithm for the $(s,z)$-Temporal Separator problem and convert it to a $\tau^2$-approximation algorithm for the $(s,z,t)$-Temporal Separator problem. We also present an inapproximability lower bound of $\Omega(\ln(n) + \ln(\tau))$ for the $(s,z,t)$-Temporal Separator problem assuming that $\mathcal{NP}\not\subset\mbox{\sc Dtime}(n^{\log\log n})$. Then we consider three special families of graphs: (1) graphs of branchwidth at most $2$, (2) graphs $G$ such that the removal of $s$ and $z$ leaves a tree, and (3) graphs of bounded pathwidth. We present polynomial-time algorithms to find a minimum $(s,z,t)$-temporal separator for (1) and (2). As for (3), we show a polynomial-time reduction from the Discrete Segment Covering problem with bounded-length segments to the $(s,z,t)$-Temporal Separator problem where the temporal graph has bounded pathwidth.


title: Value-transforming financial, carbon and biodiversity footprint accounting

abstract: Transformative changes in our production and consumption habits are needed to enable the sustainability transition towards carbon neutrality, no net loss of biodiversity, and planetary well-being. Organizations are the way we humans have organized our everyday life, and much of our negative environmental impacts, also called carbon and biodiversity footprints, are caused by organizations. Here we show how the financial accounts of any organization can be exploited to develop an integrated carbon and biodiversity footprint account. As a metric we utilize spatially explicit potential global loss of species which, we argue, can be understood as the biodiversity equivalent, the utility of which for biodiversity is similar to what carbon dioxide equivalent is for climate. We provide a global Biodiversity Footprint Database that organizations, experts and researchers can use to assess consumption-based biodiversity footprints. We also argue that the current integration of financial and environmental accounting is superficial, and provide a framework for a more robust financial value-transforming accounting model. To test the methodologies, we utilized a Finnish university as a living lab. Assigning an offsetting cost to the footprints significantly altered the financial value of the organization. We believe such value-transforming accounting is needed in order to draw the attention of senior executives and investors to the negative environmental impacts of their organizations.


title: Two tricks to trivialize higher-indexed families

abstract: The conventional general syntax of indexed families in dependent type theories follow the style of "constructors returning a special case", as in Agda, Lean, Idris, Coq, and probably many other systems. Fording is a method to encode indexed families of this style with index-free inductive types and an identity type. There is another trick that merges interleaved higher inductive-inductive types into a single big family of types. It makes use of a small universe as the index to distinguish the original types. In this paper, we show that these two methods can trivialize some very fancy-looking indexed families with higher inductive indices (which we refer to as higher indexed families).


title: Selfless C*-algebras

abstract: The aim of this note is to advertise a class of simple monotracial C*-algebras which includes noteworthy examples such as the Jiang-Su C*-algebra, the infinite dimensional UHF C*-algebras, and the reduced group C*-algebra of the free group in infintely many generators. We pose several questions concerning this class.


title: Asymptotic optimality of the edge finite element approximation of the time-harmonic Maxwell's equations

abstract: We analyze the conforming approximation of the time-harmonic Maxwell's equations using N\'ed\'elec (edge) finite elements. We prove that the approximation is asymptotically optimal, i.e., the approximation error in the energy norm is bounded by the best-approximation error times a constant that tends to one as the mesh is refined and/or the polynomial degree is increased. Moreover, under the same conditions on the mesh and/or the polynomial degree, we establish discrete inf-sup stability with a constant that corresponds to the continuous constant up to a factor of two at most. Our proofs apply under minimal regularity assumptions on the exact solution, so that general domains, material coefficients, and right-hand sides are allowed.


title: Quantum Torque on a Non-Reciprocal Body out of Thermal Equilibrium and Induced by a Magnetic Field of Arbitrary Strength

abstract: A stationary body that is out of thermal equilibrium with its environment, and for which the electric susceptibility is non-reciprocal, experiences a quantum torque. This arises from the spatially non-symmetric electrical response of the body to its interaction with the non-equilibrium thermal fluctuations of the electromagnetic field: the non-equilibrium nature of the thermal field fluctuations results in a net energy flow through the body, and the spatially non-symmetric nature of the electrical response of the body to its interaction with these field fluctuations causes that energy flow to be transformed into a rotational motion. We establish an exact, closed-form, analytical expression for this torque in the case that the environment is the vacuum and the material of the body is described by a damped oscillator model, where the non-reciprocal nature of the electric susceptibility is induced by an external magnetic field, as for magneto-optical media. We also generalise this expression to the context in which the body is slowly rotating. By exploring the high-temperature expansion of the torque, we are able to identify the separate contributions from the continuous spectral distribution of the non-reciprocal electric susceptibility, and from the resonance modes. In particular, we find that the torque persists in the limiting case of zero damping parameter, due to the contribution of the resonance modes. We also consider the low-temperature expansion of the torque. This work extends our previous consideration of this model to an external magnetic field of arbitrary strength, thereby including non-linear magnetic field effects.


title: Some isoperimetric inequalities involving the boundary momentum

abstract: The aim of this paper is twofold. In the first part of this paper we focus on a functional involving a weighted curvature integral and the quermassintegrals. We prove upper and lower bounds for this functional in the class of convex sets, which provide a stronger form of the classical Aleksandrov-Fenchel inequality involving the $(n-1)$ and $(n-2)$-quermassintegrals, and consequently a stronger form of the classical isoperimetric inequality in the planar case. Moreover quantitative estimates are proved. In the second part we deal with a shape optimization problem of a functional involving the boundary momentum. It is known that in dimension two the ball is a maximizer among simply connected sets when the perimeter and centroid is fixed. In higher dimensions the same result does not hold and we consider a new scaling invariant functional that might be a good candidate to generalize the bidimensional case. For this functional we prove that the ball is a stable maximizer in the class of nearly spherical sets in any dimension.