title: First order algorithms for computing linear and polyhedral estimates

abstract: It was recently shown [7, 9] that "properly built" linear and polyhedral estimates nearly attain minimax accuracy bounds in the problem of recovery of unknown signal from noisy observations of linear images of the signal when the signal set is an ellitope. However, design of nearly optimal estimates relies upon solving semidefinite optimization problems with matrix variables, what puts the synthesis of such estimates beyond the rich of the standard Interior Point algorithms of semidefinite optimization even for moderate size recovery problems. Our goal is to develop First Order Optimization algorithms for the computationally efficient design of linear and polyhedral estimates. In this paper we (a) explain how to eliminate matrix variables, thus reducing dramatically the design dimension when passing from Interior Point to First Order optimization algorithms and (2) develop and analyse a dedicated algorithm of the latter type -- Composite Truncated Level method.


title: Socioeconomic reorganization of communication and mobility networks in response to external shocks

abstract: Socioeconomic segregation patterns in networks usually evolve gradually, yet they can change abruptly in response to external shocks. The recent COVID-19 pandemic and the subsequent government policies induced several interruptions in societies, potentially disadvantaging the socioeconomically most vulnerable groups. Using large-scale digital behavioral observations as a natural laboratory, here we analyze how lockdown interventions lead to the reorganization of socioeconomic segregation patterns simultaneously in communication and mobility networks in Sierra Leone. We find that while segregation in mobility clearly increased during lockdown, the social communication network reorganized into a less segregated configuration as compared to reference periods. Moreover, due to differences in adaption capacities, the effects of lockdown policies varied across socioeconomic groups, leading to different or even opposite segregation patterns between the lower and higher socioeconomic classes. Such secondary effects of interventions need to be considered for better and more equitable policies.


title: \`A Propos Nonlinear Pulsations of R CrB Variables

abstract: Helium-star models were dynamically evolved into the region of the HR Diagram where R CrB variables are found. The MESA stellar evolution code was able to pick up pulsational instabilities with cycle lengths that are compatible with the periods observed in pulsating R CrB variables. The properties of the computed pulsations hint at their being strange modes.


title: String fragmentation of a quark pair with entangled spin states: application to $e^+e^-$ annihilation

abstract: We present a recursive quantum mechanical model for the fragmentation of a string stretched between a quark and an antiquark with entangled spin states. The quarks are assumed to be produced in the $e^+e^-$ annihilation process via the exchange of a virtual photon and the correlations between their spin states are described by a joint spin density matrix. The string fragmentation process is formulated at the amplitude level by using the splitting matrices of the recent string+${}^3P_0$ model of polarized quark fragmentation with pseudoscalar and vector meson emissions, and accounts for the systematic propagation of the spin correlations in the fragmentation chain. The model is formulated as a recursive recipe suitable for a Monte Carlo implementation. It reproduces the expected angular correlation, due to the Collins effect, between back-to-back pseudoscalar and/or vector mesons. For the latter, this correlation also involves the momenta of the decay products. We use the model for studying the sign of the Collins asymmetry for back-to-back vector and pseudoscalar mesons.


title: Decomposition of ${\widehat{\mathfrak{sl}_2}}_{,k} \ \oplus \ {\widehat{\mathfrak{sl}_2}}_{,1}$ highest weight representations for generic level $k$ and equivalence between two dimensional CFT models

abstract: We construct highest weight vectors of ${\widehat{\mathfrak{sl}_2}}_{,k+1} \oplus \mathsf{Vir}$ in tensor products of highest weight modules of ${\widehat{\mathfrak{sl}_2}}_{,k}$ and ${\widehat{\mathfrak{sl}_2}}_{,1}$, and thus for generic weights we find the decomposition of the tensor product into irreducibles of ${\widehat{\mathfrak{sl}_2}}_{,k+1} \oplus \mathsf{Vir}$. The construction uses Wakimoto representations of ${\widehat{\mathfrak{sl}_2}}_{,k}$, but the obtained vectors can be mapped back to Verma modules. Singularities of this mapping are cancelled by a renormalization. A detailed study of ``degenerations'' of Wakimoto modules allowed to find the renormalization factor explicitly. The obtained result is a significant step forward in a proof of equivalence of certain two-dimesnional CFT models.


title: On short Edgeworth expansions for weighted sums of random vectors

abstract: The "typical" asymptotic behavior of the weighted sums of independent, identically distibuted random vectors in k-dimensional space is considered. It is shown that under finitnes of fifth absolute moment of an individual term the rate of convergence by Edgeworth correction in the multivariate central limit theorem is of order O(1/n^3/2 ). This extends the one-dimensional Bobkov(2020) result.


title: Pola4All: survey of polarimetric applications and an open-source toolkit to analyze polarization

abstract: Polarization information of the light can provide rich cues for computer vision and scene understanding tasks, such as the type of material, pose, and shape of the objects. With the advent of new and cheap polarimetric sensors, this imaging modality is becoming accessible to a wider public for solving problems such as pose estimation, 3D reconstruction, underwater navigation, and depth estimation. However, we observe several limitations regarding the usage of this sensorial modality, as well as a lack of standards and publicly available tools to analyze polarization images. Furthermore, although polarization camera manufacturers usually provide acquisition tools to interface with their cameras, they rarely include processing algorithms that make use of the polarization information. In this paper, we review recent advances in applications that involve polarization imaging, including a comprehensive survey of recent advances on polarization for vision and robotics perception tasks. We also introduce a complete software toolkit that provides common standards to communicate with and process information from most of the existing micro-grid polarization cameras on the market. The toolkit also implements several image processing algorithms for this modality, and it is publicly available on GitHub: https://github.com/vibot-lab/Pola4all_JEI_2023.


title: Time-changed normalizing flows for accurate SDE modeling

abstract: The generative paradigm has become increasingly important in machine learning and deep learning models. Among popular generative models are normalizing flows, which enable exact likelihood estimation by transforming a base distribution through diffeomorphic transformations. Extending the normalizing flow framework to handle time-indexed flows gave dynamic normalizing flows, a powerful tool to model time series, stochastic processes, and neural stochastic differential equations (SDEs). In this work, we propose a novel variant of dynamic normalizing flows, a Time Changed Normalizing Flow (TCNF), based on time deformation of a Brownian motion which constitutes a versatile and extensive family of Gaussian processes. This approach enables us to effectively model some SDEs, that cannot be modeled otherwise, including standard ones such as the well-known Ornstein-Uhlenbeck process, and generalizes prior methodologies, leading to improved results and better inference and prediction capability.


title: The Hochschild cohomology ring of monomial algebras

abstract: We give an explicit description of a diagonal map on the Bardzell resolution for any monomial algebra, and we use this diagonal map to describe the cup product on Hochschild cohomology. Then, we prove that the cup product is zero in positive degrees for triangular monomial algebras. Our proof uses the graded-commutativity of the cup product on Hochschild cohomology and does not rely on explicit computation of the Hochschild cohomology modules.


title: Tunneling spin Nernst effect for a single quantum dot

abstract: We describe theoretically the spin Nernst effect for electrons tunneling to a quantum dot from a quantum wire with the heat flowing along it. Such a tunneling spin Nernst effect is shown to take place due to the spin-dependent electron tunneling produced by the spin-orbit coupling. The Coulomb interaction of electrons in the quantum dot is taken into account using nonequilibrium Green's functions and is shown to increase significantly the accumulated spin in a single quantum dot. The difference of the temperatures as small as tenth of Kelvin applied to the ends of the quantum wire can lead to the spin polarization as large as tens of percent.


title: Innovative and automated method for vortex identification. II. Application to numerical simulations of the solar atmosphere

abstract: Context. Ubiquitous small-scale vortical motions are seen to occur in the solar atmosphere both in simulations and observations. They are thought to play a significant role in the local heating of the quiet chromosphere and corona. In a previous paper, we proposed a new method for the automated identification of vortices based on the accurate estimation of curvature centers; this method was implemented in the SWIRL algorithm. Aims. We aim to assess the applicability of the SWIRL algorithm to self-consistent numerical simulations of the solar atmosphere. The highly turbulent and dynamical solar flow poses a challenge to any vortex-detection method. We also conduct a statistical analysis of the properties and characteristics of photospheric and chromospheric small-scale swirling motions in numerical simulations. Methods. We applied the SWIRL algorithm to realistic, three-dimensional, radiative, magneto-hydrodynamical simulations of the solar atmosphere carried out with the CO5BOLD code. In order to achieve statistical validity, we analyzed 30 time instances of the simulation covering 2 h of physical time. Results. The SWIRL algorithm accurately identified most of the photospheric and chromospheric swirls, which are perceived as spiraling instantaneous streamlines of the horizontal component of the flow. Part of the identified swirls form three-dimensional coherent structures that are generally rooted in magnetically dominated intergranular lanes and extend vertically into the chromospheric layers. From a statistical analysis, we find that the average number densities of swirls in the photosphere and chromosphere are 1 Mm-2 and 4 Mm-2, respectively, while the average radius is 50 - 60 km throughout the simulated atmosphere. We also find an approximately linear correlation between the rotational speed of chromospheric swirls and the local Alfv\'en speed. (Abridged)


title: The ALMaQUEST Survey XIV: do radial molecular gas flows affect the star-forming ability of barred galaxies?

abstract: We investigate whether barred galaxies are statistically more likely to harbour radial molecular gas flows and what effect those flows have on their global properties. Using 46 galaxies from the ALMA-MaNGA QUEnching and STar formation (ALMaQUEST) survey, we identify galaxies hosting optical bars using a combination of the morphological classifications in Galaxy Zoo 2 and HyperLEDA. In order to detect radial molecular gas flows, we employ full 3D kinematic modelling of the ALMaQUEST CO(1-0) datacubes. By combining our bar classifications with our radial bar-driven flow detections, we find that galaxies classed as barred are statistically more likely to host large-scale radial gas motions compared to their un-barred and edge-on galaxy counterparts. Moreover, the majority of barred galaxies require multi-component surface brightness profiles in their best-fit models, indicative of the presence of resonance systems. We find that galaxies classed as barred with radial bar-driven flows ("barred + radial flow" subset) have significantly suppressed global star-formation efficiencies compared to barred galaxies without radial bar-driven flows and galaxies in the other morphological sub-samples. Our "barred + radial flow" subset galaxies also possess consistently centrally concentrated molecular gas distributions, with no indication of depleted gas mass fractions, suggesting that gas exhaustion is not the cause of their suppressed star formation. Furthermore, these objects have higher median gas mass surface densities in their central 1 kpc, implying that a central gas enhancements do not fuel central starbursts in these objects. We propose that dynamical effects, such as shear caused by large-scale inflows of gas, act to gravitationally stabilise the inner gas reservoirs.


title: Explosive epidemic transitions induced by quarantine fatigue

abstract: Quarantine measures are one of the first lines of defense against the spread of infectious diseases. However, maintaining these measures over extended periods can be challenging due to a phenomenon known as quarantine fatigue. In this paper, we investigate the impact of quarantine fatigue on the spread of infectious diseases by using an epidemic model on random networks with cliques. In our model, susceptible individuals can be quarantined up to $n$ times, after which they stop complying with quarantine orders due to fatigue. Our results show that quarantine fatigue may induce a regime in which increasing the probability of detecting and isolating infected individuals (along with their close contacts) could subsequently increase the expected number of cases at the end of an outbreak. Moreover, we observe that quarantine fatigue can trigger an abrupt phase transition at the critical reproduction number $R_0=1$. Finally, we explore a scenario where a non-negligible number of individuals are infected at the beginning of an epidemic, and our results show that, depending on the value of $n$, an abrupt transition between a controlled epidemic and a large epidemic event can occur for $R_0<1$.


title: Tunneling in ABC trilayer graphene superlattice

abstract: We study the transport properties of Dirac fermions in ABC trilayer graphene (ABC-TLG) superlattices. More specifically, we analyze the impact of varying the physical parameters -- the number of cells, barrier/well width, and barrier heights -- on electron tunneling in the ABC-TLG. In the initial stage, we solved the eigenvalue equation to determine the energy spectrum solutions for the ABC-TLG superlattices. Subsequently, we applied boundary conditions to the eigenspinors and employed the transfer matrix method to calculate transmission probabilities and conductance. For the two-band model, we identified the presence of Klein tunneling, with a notable decrease as the number of cells increased. The introduction of interlayer bias opened a gap as the number of cells increased, accompanied by an asymmetry in scattered transmission. Increasing the barrier/well width and the number of cells resulted in an amplified number of gaps and oscillations in both two-band and six-band cases. We observed a corresponding decrease in conductance as the number of cells increased, coinciding with the occurrence of a gap region. Our study demonstrates that manipulating parameters such as the number of cells, the width of the barrier/well, and the barrier heights provides a means of controlling electron tunneling and the occurrence of gaps in ABC-TLG. Specifically, the interplay between interlayer bias and the number of cells is identified as a crucial factor influencing gap formation and transmission asymmetry.


title: SCUNet++: Swin-UNet and CNN Bottleneck Hybrid Architecture with Multi-Fusion Dense Skip Connection for Pulmonary Embolism CT Image Segmentation

abstract: Pulmonary embolism (PE) is a prevalent lung disease that can lead to right ventricular hypertrophy and failure in severe cases, ranking second in severity only to myocardial infarction and sudden death. Pulmonary artery CT angiography (CTPA) is a widely used diagnostic method for PE. However, PE detection presents challenges in clinical practice due to limitations in imaging technology. CTPA can produce noises similar to PE, making confirmation of its presence time-consuming and prone to overdiagnosis. Nevertheless, the traditional segmentation method of PE can not fully consider the hierarchical structure of features, local and global spatial features of PE CT images. In this paper, we propose an automatic PE segmentation method called SCUNet++ (Swin Conv UNet++). This method incorporates multiple fusion dense skip connections between the encoder and decoder, utilizing the Swin Transformer as the encoder. And fuses features of different scales in the decoder subnetwork to compensate for spatial information loss caused by the inevitable downsampling in Swin-UNet or other state-of-the-art methods, effectively solving the above problem. We provide a theoretical analysis of this method in detail and validate it on publicly available PE CT image datasets FUMPE and CAD-PE. The experimental results indicate that our proposed method achieved a Dice similarity coefficient (DSC) of 83.47% and a Hausdorff distance 95th percentile (HD95) of 3.83 on the FUMPE dataset, as well as a DSC of 83.42% and an HD95 of 5.10 on the CAD-PE dataset. These findings demonstrate that our method exhibits strong performance in PE segmentation tasks, potentially enhancing the accuracy of automatic segmentation of PE and providing a powerful diagnostic tool for clinical physicians. Our source code and new FUMPE dataset are available at https://github.com/JustlfC03/SCUNet-plusplus.


title: BonnBeetClouds3D: A Dataset Towards Point Cloud-based Organ-level Phenotyping of Sugar Beet Plants under Field Conditions

abstract: Agricultural production is facing severe challenges in the next decades induced by climate change and the need for sustainability, reducing its impact on the environment. Advancements in field management through non-chemical weeding by robots in combination with monitoring of crops by autonomous unmanned aerial vehicles (UAVs) and breeding of novel and more resilient crop varieties are helpful to address these challenges. The analysis of plant traits, called phenotyping, is an essential activity in plant breeding, it however involves a great amount of manual labor. With this paper, we address the problem of automatic fine-grained organ-level geometric analysis needed for precision phenotyping. As the availability of real-world data in this domain is relatively scarce, we propose a novel dataset that was acquired using UAVs capturing high-resolution images of a real breeding trial containing 48 plant varieties and therefore covering great morphological and appearance diversity. This enables the development of approaches for autonomous phenotyping that generalize well to different varieties. Based on overlapping high-resolution images from multiple viewing angles, we compute photogrammetric dense point clouds and provide detailed and accurate point-wise labels for plants, leaves, and salient points as the tip and the base. Additionally, we include measurements of phenotypic traits performed by experts from the German Federal Plant Variety Office on the real plants, allowing the evaluation of new approaches not only on segmentation and keypoint detection but also directly on the downstream tasks. The provided labeled point clouds enable fine-grained plant analysis and support further progress in the development of automatic phenotyping approaches, but also enable further research in surface reconstruction, point cloud completion, and semantic interpretation of point clouds.


title: Para-Sasakian $\phi$-symmetric spaces

abstract: We study the Boothby-Wang fibration of para-Sasakian manifolds and introduce the class of para-Sasakian $\phi$-symmetric spaces, canonically fibering over para-Hermitian symmetric spaces. Using this fibration we give a method to explicitly construct semisimple para-Sasakian $\phi$-symmetric spaces. We provide moreover an example of non-semisimple para-Sasakian $\phi$-symmetric space.


title: Balancing the Style-Content Trade-Off in Sentiment Transfer Using Polarity-Aware Denoising

abstract: Text sentiment transfer aims to flip the sentiment polarity of a sentence (positive to negative or vice versa) while preserving its sentiment-independent content. Although current models show good results at changing the sentiment, content preservation in transferred sentences is insufficient. In this paper, we present a sentiment transfer model based on polarity-aware denoising, which accurately controls the sentiment attributes in generated text, preserving the content to a great extent and helping to balance the style-content trade-off. Our proposed model is structured around two key stages in the sentiment transfer process: better representation learning using a shared encoder and sentiment-controlled generation using separate sentiment-specific decoders. Empirical results show that our methods outperforms state-of-the-art baselines in terms of content preservation while staying competitive in terms of style transfer accuracy and fluency.


title: Four-Manifold Invariants and Donaldson-Witten Theory

abstract: This article surveys invariants of four-manifolds and their relation to Donaldson-Witten theory, and other topologically twisted Yang-Mills theories. The article is written for the second edition of the Encyclopedia of Mathematical Physics, and focuses on the period since the first edition in 2006.


title: More on the Subleading Gravitational Waveform

abstract: In this short note, we address the calculation of the contribution to the one-loop gravitational waveform arising from the difference of the unitarity cuts associated to the $s$- and $s'$-channels recently pointed out in arXiv:2308.02125, providing its explicit expression for minimally-coupled massive scalars in momentum space.


title: Which Spaces can be Embedded in Reproducing Kernel Hilbert Spaces?

abstract: Given a Banach space $E$ consisting of functions, we ask whether there exists a reproducing kernel Hilbert space $H$ with bounded kernel such that $E\subset H$. More generally, we consider the question, whether for a given Banach space consisting of functions $F$ with $E\subset F$, there exists an intermediate reproducing kernel Hilbert space $E\subset H\subset F$. We provide both sufficient and necessary conditions for this to hold. Moreover, we show that for typical classes of function spaces described by smoothness there is a strong dependence on the underlying dimension: the smoothness $s$ required for the space $E$ needs to grow \emph{proportional} to the dimension $d$ in order to allow for an intermediate reproducing kernel Hilbert space $H$.


title: Robustness, Efficiency, or Privacy: Pick Two in Machine Learning

abstract: The success of machine learning (ML) applications relies on vast datasets and distributed architectures which, as they grow, present major challenges. In real-world scenarios, where data often contains sensitive information, issues like data poisoning and hardware failures are common. Ensuring privacy and robustness is vital for the broad adoption of ML in public life. This paper examines the costs associated with achieving these objectives in distributed ML architectures, from both theoretical and empirical perspectives. We overview the meanings of privacy and robustness in distributed ML, and clarify how they can be achieved efficiently in isolation. However, we contend that the integration of these two objectives entails a notable compromise in computational efficiency. In short, traditional noise injection hurts accuracy by concealing poisoned inputs, while cryptographic methods clash with poisoning defenses due to their non-linear nature. However, we outline future research directions aimed at reconciling this compromise with efficiency by considering weaker threat models.


title: Inverse Transfer Multiobjective Optimization

abstract: Transfer optimization enables data-efficient optimization of a target task by leveraging experiential priors from related source tasks. This is especially useful in multiobjective optimization settings where a set of trade-off solutions is sought under tight evaluation budgets. In this paper, we introduce a novel concept of inverse transfer in multiobjective optimization. Inverse transfer stands out by employing probabilistic inverse models to map performance vectors in the objective space to population search distributions in task-specific decision space, facilitating knowledge transfer through objective space unification. Building upon this idea, we introduce the first Inverse Transfer Multiobjective Evolutionary Optimizer (invTrEMO). A key highlight of invTrEMO is its ability to harness the common objective functions prevalent in many application areas, even when decision spaces do not precisely align between tasks. This allows invTrEMO to uniquely and effectively utilize information from heterogeneous source tasks as well. Furthermore, invTrEMO yields high-precision inverse models as a significant byproduct, enabling the generation of tailored solutions on-demand based on user preferences. Empirical studies on multi- and many-objective benchmark problems, as well as a practical case study, showcase the faster convergence rate and modelling accuracy of the invTrEMO relative to state-of-the-art evolutionary and Bayesian optimization algorithms. The source code of the invTrEMO is made available at https://github.com/LiuJ-2023/invTrEMO.


title: Revisiting fluid-wall interfacial tension

abstract: A fluid in contact with a flat structureless wall constitutes the simplest interface system, but the fluid-wall interfacial tension cannot be trivially and even unequivocally determined due to the ambiguity in identifying the precise location of fluid-wall dividing surface. To resolve this long-standing problem, we here derive the interfacial tension from two independent routes without needing the identification of dividing surface. The first one exploits a natural idea that the interfacial profiles of intensive quantities should remain perfectly invariant when deforming the fluid-wall system just to change its interface area. The second one considers the fluid-wall system as the limit of a fluid under a finite external potential field. By calculating the work required to create a differential interface area, the two methods yield exactly the same interfacial tension. Thus, our work provides strong evidence that the fluid-wall interfacial tension can be unambiguously quantified.


title: Resilient asynchronous primal Schur method

abstract: This paper introduces the application of the asynchronous iterations theory within the framework of the primal Schur domain decomposition method. A suitable relaxation scheme is designed, which asynchronous convergence is established under classical spectral radius conditions. For the usual case where the local Schur complement matrices are not constructed, suitable splittings only based on explicitly generated matrices are provided. Numerical experiments are conducted on a supercomputer for both Poisson's and linear elasticity problems. The asynchronous Schur solver outperformed the classical conjugate-gradient-based one in case of compute node failures.


title: Mass lumping the dual cell method to arbitrary polynomial degree for acoustic and electromagnetic waves

abstract: We present a fundamental improvement of a high polynomial degree time domain cell method recently introduced by the last three authors. The published work introduced a method featuring block-diagonal system matrices where the block size and conditioning scaled poorly with respect to polynomial degree. The issue is herein bypassed by the construction of new basis functions exploiting quadrature rule based mass lumping techniques for arbitrary polynomial degrees in two dimensions for the Maxwell equations and the acoustic wave equation in the first order velocity pressure formulation. We characterize the degrees of freedom of all new discrete approximation spaces we employ for differential forms and show that the resulting block diagonal (inverse) mass matrices have block sizes independent of the polynomial degree. We demonstrate on an extensive number of examples how the new technique is applicable and efficient for large scale computations.


title: Kinematic Characterization of Micro-Mobility Vehicles During Evasive Maneuvers

abstract: There is an increasing need to comprehensively characterize the kinematic performances of different Micromobility Vehicles (MMVs). This study aims to: 1) characterize the kinematic behaviors of different MMVs during emergency maneuvers; 2) explore the influence of different MMV power sources on the device performances; 3) investigate if piecewise linear models are suitable for modeling MMV trajectories. A test track experiment where 40 frequent riders performed emergency braking and swerving maneuvers riding a subset of electric MMVs, their traditional counterparts, and, in some cases, behaving as running pedestrians. A second experiment was conducted to determine the MMVs swerving lower boundaries. Device power source resulted having a statistically significant influence on kinematic capabilities of the MMVs: while e-MMVs displayed superior braking capabilities compared to their traditional counterparts, the opposite was observed in terms of swerving performance. Furthermore, performances varied significantly across the different MMV typologies, with handlebar-based devices consistently outperforming the handlebar-less devices across the metrics considered. The piecewise linear models used for braking profiles fit well for most MMVs, except for skateboards and pedestrians due to foot-ground engagement. These findings underscore that the effectiveness of steering or braking in preventing collisions may vary depending on the type and power source of the device. This study also demonstrates the applicability of piecewise linear models for generating parameterized functions that accurately model braking trajectories, providing a valuable resource for automated systems developers. The model, however, also reveals that the single brake ramp assumption does not apply for certain types of MMVs or for pedestrians, indicating the necessity for further improvements.


title: Tripartite quantum Rabi model with trapped Rydberg ions

abstract: We investigate a tripartite quantum Rabi model (TQRM) wherein a bosonic mode concurrently couples to two spin-$1/2$ particles through a spin-spin interaction, resulting in a spin-spin-boson coupling -- a departure from conventional quantum Rabi models featuring bipartite spin-boson couplings. The symmetries of the TQRM depend on the detuning parameter, representing the energy difference between the spin states. At zero detuning a parity symmetry renders the TQRM reducible to a quantum Rabi model. A subradiant to superradiant transition in the groundstate is predicted as the tripartite coupling strength increases. For non-zero detuning the total spin emerges as the sole conserved quantity in the TQRM. It is found that superradiance prevails in the groundstate as long as the tripartite coupling remains non-zero. We derive the Braak $\mathcal{G}$-function of the TQRM analytically, with which the eigenspectra are obtained. The TQRM can be realized in a viable trapped Rydberg ion quantum simulator, where the required tripartite couplings and single body interactions in the TQRM are naturally present. Our study opens opportunities to explore and create novel correlations and entanglement in the spin and motional degrees of freedoms with the TQRM.


title: Nonhomogeneous hidden semi-Markov models for toroidal data

abstract: A nonhomogeneous hidden semi-Markov model is proposed to segment toroidal time series according to a finite number of latent regimes and, simultaneously, estimate the influence of time-varying covariates on the process' survival under each regime. The model is a mixture of toroidal densities, whose parameters depend on the evolution of a semi-Markov chain, which is in turn modulated by time-varying covariates through a proportional hazards assumption. Parameter estimates are obtained using an EM algorithm that relies on an efficient augmentation of the latent process. The proposal is illustrated on a time series of wind and wave directions recorded during winter.


title: Digital homodyne and heterodyne detection for stationary bosonic modes

abstract: Homo- and heterodyne detection are fundamental techniques for measuring propagating electromagnetic fields. However, applying these techniques to stationary fields confined in cavities poses a challenge. As a way to overcome this challenge, we propose to use repeated indirect measurements of a two-level system interacting with the cavity. We demonstrate numerically that the proposed measurement scheme faithfully reproduces measurement statistics of homo- or heterodyne detection at the single-shot level. The scheme can be implemented in various physical architectures, including circuit quantum electrodynamics. Our results pave the way to the implementation of quantum algorithms requiring linear detection, including quantum verification protocols, in stationary modes.


title: Gerrymandering Planar Graphs

abstract: We study the computational complexity of the map redistricting problem (gerrymandering). Mathematically, the electoral district designer (gerrymanderer) attempts to partition a weighted graph into $k$ connected components (districts) such that its candidate (party) wins as many districts as possible. Prior work has principally concerned the special cases where the graph is a path or a tree. Our focus concerns the realistic case where the graph is planar. We prove that the gerrymandering problem is solvable in polynomial time in $\lambda$-outerplanar graphs, when the number of candidates and $\lambda$ are constants and the vertex weights (voting weights) are polynomially bounded. In contrast, the problem is NP-complete in general planar graphs even with just two candidates. This motivates the study of approximation algorithms for gerrymandering planar graphs. However, when the number of candidates is large, we prove it is hard to distinguish between instances where the gerrymanderer cannot win a single district and instances where the gerrymanderer can win at least one district. This immediately implies that the redistricting problem is inapproximable in polynomial time in planar graphs, unless P=NP. This conclusion appears terminal for the design of good approximation algorithms -- but it is not. The inapproximability bound can be circumvented as it only applies when the maximum number of districts the gerrymanderer can win is extremely small, say one. Indeed, for a fixed number of candidates, our main result is that there is a constant factor approximation algorithm for redistricting unweighted planar graphs, provided the optimal value is a large enough constant.


title: On strictly elliptic K3 surfaces and del Pezzo surfaces

abstract: This article primarily aims at classifying, on certain K3 surfaces, the elliptic fibrations induced by conic bundles on smooth del Pezzo surfaces. The key geometric tool employed is the Alexeev-Nikulin correspondence between del Pezzo surfaces with log-terminal singularities of Gorenstein index two and K3 surfaces with non-symplectic involutions of elliptic type: the latter surfaces are realized as appropriate double covers obtained from the former ones. The main application of this correspondence is in the study of linear systems that induce elliptic fibrations on K3 surfaces admitting a strictly elliptic non-symplectic involution, i.e., whose fixed locus consists of a single curve of genus $g\geq 2$. The obtained results are similar to those achieved by Garbagnati and Salgado for jacobian elliptic fibrations.


title: Evaluation of Project Performance in Participatory Budgeting

abstract: We study ways of evaluating the performance of losing projects in participatory budgeting (PB) elections by seeking actions that would have led to their victory. We focus on lowering the projects' costs, obtaining additional approvals for them, and asking supporters to refrain from approving other projects: The larger a change is needed, the less successful is the given project. We seek efficient algorithms for computing our measures and we analyze and compare them experimentally. We focus on the greedyAV, Phragm\'en, and Equal-Shares PB rules.


title: Images in Discrete Choice Modeling: Addressing Data Isomorphism in Multi-Modality Inputs

abstract: This paper explores the intersection of Discrete Choice Modeling (DCM) and machine learning, focusing on the integration of image data into DCM's utility functions and its impact on model interpretability. We investigate the consequences of embedding high-dimensional image data that shares isomorphic information with traditional tabular inputs within a DCM framework. Our study reveals that neural network (NN) components learn and replicate tabular variable representations from images when co-occurrences exist, thereby compromising the interpretability of DCM parameters. We propose and benchmark two methodologies to address this challenge: architectural design adjustments to segregate redundant information, and isomorphic information mitigation through source information masking and inpainting. Our experiments, conducted on a semi-synthetic dataset, demonstrate that while architectural modifications prove inconclusive, direct mitigation at the data source shows to be a more effective strategy in maintaining the integrity of DCM's interpretable parameters. The paper concludes with insights into the applicability of our findings in real-world settings and discusses the implications for future research in hybrid modeling that combines complex data modalities. Full control of tabular and image data congruence is attained by using the MIT moral machine dataset, and both inputs are merged into a choice model by deploying the Learning Multinomial Logit (L-MNL) framework.


title: Enhancing Text-to-SQL Translation for Financial System Design

abstract: Text-to-SQL, the task of translating natural language questions into SQL queries, is part of various business processes. Its automation, which is an emerging challenge, will empower software practitioners to seamlessly interact with relational databases using natural language, thereby bridging the gap between business needs and software capabilities. In this paper, we consider Large Language Models (LLMs), which have achieved state of the art for various NLP tasks. Specifically, we benchmark Text-to-SQL performance, the evaluation methodologies, as well as input optimization (e.g., prompting). In light of the empirical observations that we have made, we propose two novel metrics that were designed to adequately measure the similarity between SQL queries. Overall, we share with the community various findings, notably on how to select the right LLM on Text-to-SQL tasks. We further demonstrate that a tree-based edit distance constitutes a reliable metric for assessing the similarity between generated SQL queries and the oracle for benchmarking Text2SQL approaches. This metric is important as it relieves researchers from the need to perform computationally expensive experiments such as executing generated queries as done in prior works. Our work implements financial domain use cases and, therefore contributes to the advancement of Text2SQL systems and their practical adoption in this domain.


title: The determination of $r_0$ and $r_1$ in $N_f=2+1$ QCD

abstract: We determine the scales $r_0$, $r_1$, the ratio $r_0/r_1$ for $N_f$ = 2 + 1 flavor QCD ensembles generated by CLS. These scales are determined from an improved definition of the static force, which we measure using Wilson loops and furthermore use to study the shape of the potential. Our analysis involves various continuum and chiral extrapolations of data that covers pion masses between 134 MeV and 420 MeV and five lattice spacings down to 0.038 fm.


title: Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic

abstract: We determine the strictly positive fragment $\mathsf{QPL}^+(\mathsf{HA})$ of the quantified provability logic $\mathsf{QPL}(\mathsf{HA})$ of Heyting Arithmetic. We show that $\mathsf{QPL}^+(\mathsf{HA})$ is decidable and that it coincides with $\mathsf{QPL}^+(\mathsf{PA})$, which is the strictly positive fragment of the quantified provability logic of of Peano Arithmetic. This positively resolves a previous conjecture of the authors. On our way to proving these results, we carve out the strictly positive fragment $\mathsf{PL}^+(\mathsf{HA})$ of the provability logic $\mathsf{PL}(\mathsf{HA})$ of Heyting Arithmetic, provide a simple axiomatization, and prove it to be sound and complete for two types of arithmetical interpretations. The simple fragments presented in this paper should be contrasted with a 2022 result by Mojtahedi, where an axiomatization for $\mathsf{PL}(\mathsf{HA})$ is provided. This axiomatization, although decidable, is of considerable complexity.


title: Semiparametric Statistics and the Spread Inequality

abstract: Classical mathematical statistics deals with models that are parametrized by a Euclidean, i.e. finite dimensional, parameter. Quite often such models have been and still are chosen in practical situations for their mathematical simplicity and tractability. However, these models are typically inappropriate since the implied distributional assumptions cannot be supported by hard evidence. It is natural then to relax these assumptions. This leads to the class of semiparametric models. These models have been studied in a local asymptotic setting, in which the Convolution Theorem yields bounds on the performance of regular estimators. Alternatively, local asymptotics can be based on the Local Asymptotic Minimax Theorem and on the Local Asymptotic Spread Theorem, both valid for any sequence of estimators. This Local Asymptotic Spread Theorem is a straightforward consequence of a Finite Sample Spread Inequality, which has some intrinsic value for estimation theory in general. We will discuss both the Finite Sample and Local Asymptotic Spread Theorem, as well as the Convolution Theorem.


title: Effective models for dense vortex lattices in the Kitaev honeycomb model

abstract: We introduce low-energy effective models for dense configurations of vortices in the Kitaev honeycomb model. Specifically, we consider configurations of vortices in which vortex-free plaquettes form triangular lattices against a vortex-full background. Depending on the vortex density, these "dual" configurations belong to either one of two families classified by translation and inversion symmetry. As a function of a time-reversal symmetry breaking term, one family exhibits gapped phases with even Chern numbers separated by extended gapless phases, while the other exhibits gapped phases with even or odd Chern numbers, separated by critical points. We construct an effective model for each family, determine the parameters of these models by fitting the integrated density of states, and reproduce energy spectra and Chern numbers of the Kitaev honeycomb model. We also derive phase diagrams and determine these models' validity.


title: To Fuse or Not to Fuse: Measuring Consistency in Multi-Sensor Fusion for Aerial Robots

abstract: Aerial vehicles are no longer limited to flying in open space: recent work has focused on aerial manipulation and up-close inspection. Such applications place stringent requirements on state estimation: the robot must combine state information from many sources, including onboard odometry and global positioning sensors. However, flying close to or in contact with structures is a degenerate case for many sensing modalities, and the robot's state estimation framework must intelligently choose which sensors are currently trustworthy. We evaluate a number of metrics to judge the reliability of sensing modalities in a multi-sensor fusion framework, then introduce a consensus-finding scheme that uses this metric to choose which sensors to fuse or not to fuse. Finally, we show that such a fusion framework is more robust and accurate than fusing all sensors all the time and demonstrate how such metrics can be informative in real-world experiments in indoor-outdoor flight and bridge inspection.


title: Analytic Approximation of Free-Space Path Loss for Implanted Antennas

abstract: Implantable wireless bioelectronic devices enable communication and/or power transfer through RF wireless connections with external nodes. These devices encounter notable design challenges due to the lossy nature of the host body, which significantly diminishes the radiation efficiency of the implanted antenna and tightens the wireless link budget. Prior research has yielded closed-form approximate expressions for estimating losses occurring within the lossy host body, known as the in-body path loss. To assess the total path loss between the implanted transmitter and external receiver, this paper focuses on the free-space path loss of the implanted antenna, from the body-air interface to the external node. This is not trivial, as in addition to the inherent radial spreading of spherical electromagnetic waves common to all antennas, implanted antennas confront additional losses arising from electromagnetic scattering at the interface between the host body and air. Employing analytical modeling, we propose closed-form approximate expressions for estimating this free-space path loss. The approximation is formulated as a function of the free-space distance, the curvature radius of the body-air interface, and the permittivity of the lossy medium. This proposed method undergoes thorough validation through numerical calculations, simulations, and measurements for different implanted antenna scenarios. This study contributes to a comprehensive understanding of the path loss in implanted antennas and provides a reliable analytical framework for their efficient design and performance evaluation.


title: PlayMolecule Viewer: a toolkit for the visualization of molecules and other data

abstract: PlayMolecule Viewer is a web-based data visualization toolkit designed to streamline the exploration of data resulting from structural bioinformatics or computer-aided drug design efforts. By harnessing state-of-the-art web technologies such as WebAssembly, PlayMolecule Viewer integrates powerful Python libraries directly within the browser environment, which enhances its capabilities of managing multiple types of molecular data. With its intuitive interface, it allows users to easily upload, visualize, select, and manipulate molecular structures and associated data. The toolkit supports a wide range of common structural file formats and offers a variety of molecular representations to cater to different visualization needs. PlayMolecule Viewer is freely accessible at open.playmolecule.org, ensuring accessibility and availability to the scientific community and beyond.


title: Harnessing Diffusion Models for Visual Perception with Meta Prompts

abstract: The issue of generative pretraining for vision models has persisted as a long-standing conundrum. At present, the text-to-image (T2I) diffusion model demonstrates remarkable proficiency in generating high-definition images matching textual inputs, a feat made possible through its pre-training on large-scale image-text pairs. This leads to a natural inquiry: can diffusion models be utilized to tackle visual perception tasks? In this paper, we propose a simple yet effective scheme to harness a diffusion model for visual perception tasks. Our key insight is to introduce learnable embeddings (meta prompts) to the pre-trained diffusion models to extract proper features for perception. The effect of meta prompts are two-fold. First, as a direct replacement of the text embeddings in the T2I models, it can activate task-relevant features during feature extraction. Second, it will be used to re-arrange the extracted features to ensures that the model focuses on the most pertinent features for the task on hand. Additionally, we design a recurrent refinement training strategy that fully leverages the property of diffusion models, thereby yielding stronger visual features. Extensive experiments across various benchmarks validate the effectiveness of our approach. Our approach achieves new performance records in depth estimation tasks on NYU depth V2 and KITTI, and in semantic segmentation task on CityScapes. Concurrently, the proposed method attains results comparable to the current state-of-the-art in semantic segmentation on ADE20K and pose estimation on COCO datasets, further exemplifying its robustness and versatility.


title: Nanosecond chain dynamics of single-stranded nucleic acids

abstract: The conformational dynamics of single-stranded nucleic acids are fundamental for nucleic acid folding and function. However, their elementary chain dynamics have been difficult to resolve experimentally. Here we employ a combination of single-molecule F\"orster resonance energy transfer, nanosecond fluorescence correlation spectroscopy, fluorescence lifetime analysis, and nanophotonic enhancement to determine the conformational ensembles and rapid chain dynamics of short single-stranded nucleic acids in solution. To interpret the experimental results in terms of end-to-end distance dynamics, we utilize the hierarchical chain growth approach, simple polymer models, and refinement with Bayesian inference of ensembles to generate structural ensembles that closely align with the experimental data. The resulting chain reconfiguration times are exceedingly rapid, in the 10-ns range. Solvent viscosity-dependent measurements indicate that these dynamics of single-stranded nucleic acids exhibit negligible internal friction and are thus dominated by solvent friction. Our results provide a detailed view of the conformational distributions and rapid dynamics of single-stranded nucleic acids.


title: Line defects in nematic liquid crystals as charged superelastic rods with negative twist--stretch coupling

abstract: Topological defects are a ubiquitous phenomenon in diverse physical systems. In nematic liquid crystals (LCs), they are dynamic, physicochemically distinct, sensitive to stimuli, and are thereby promising for a range of applications. However, our current understanding of the mechanics and dynamics of defects in nematic LCs remain limited and are often overwhelmed by the intricate details of the specific systems. Here, we unify singular and nonsingular line defects as superelastic rods and combine theory, simulation, and experiment to quantitatively measure their effective elastic moduli, including line tension, torsional rigidity, and twist--stretch coefficient. Interestingly, we found that line defects exhibit a negative twist--stretch coupling, meaning that twisted line defects tend to unwind under stretching, which is reminiscent of DNA molecules. A patterned nematic cell experiment further confirmed the above findings. Taken together, we have established an effective elasticity theory for nematic defects, paving the way towards understanding and engineering their deformation and transformation in driven and active nematic materials.


title: Ion Reflection by a Rippled Perpendicular Shock

abstract: We use multi-spacecraft Magnetospheric Multiscale (MMS) observations to investigate electric fields and ion reflection at the ramp of a non-stationary perpendicular shock with $M_A$=6. We identify sub-proton scale (5-10 electron inertial lengths) large-amplitude normal electric field structures primarily balanced by the Hall term ($\mathbf{J} \times \mathbf{B}/ne$). Such electric fields are a transient feature related to the shock non-stationarity (rippling). The corresponding electrostatic potential is comparable to the energy of the incident solar wind ions and thus significantly contributes to ion reflection.


title: Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar

abstract: We present a compositional semantics for various types of polar questions and wh-questions within the framework of Combinatory Categorial Grammar (CCG). To assess the explanatory power of our proposed analysis, we introduce a question-answering dataset QSEM specifically designed to evaluate the semantics of interrogative sentences. We implement our analysis using existing CCG parsers and conduct evaluations using the dataset. Through the evaluation, we have obtained annotated data with CCG trees and semantic representations for about half of the samples included in QSEM. Furthermore, we discuss the discrepancy between the theoretical capacity of CCG and the capabilities of existing CCG parsers.


title: The JWST and standard cosmology

abstract: Recent observations from the James Webb Space Telescope have identified a population of massive galaxy sources ($\mathrm{>10^{10}\ M_\odot}$) at $z>7-10$, formed less than 700 Myr after the Big Bang. Such massive galaxies do not have enough time to form within the standard cosmological model, and hence these observations significantly challenge standard cosmology. A number of possible solutions to this problem have been put forward, including an enhancement of the gravitational force in a modified theory of gravity and the claim that massive primordial black holes, which were created in the early universe before galaxy formation, might provide seeds for galaxies and black holes to subsequently form. We discuss two more exotic possibilities. Black holes can persist through a cosmological bounce and constitute large seeds formed in the previous cosmic cycle existing before current galaxy formation. And spikes, both incomplete spikes that occur in the early initial oscillatory regime of general cosmological models and permanent spikes that can form in inhomogeneous models at later times, could provide a mechanism for generating large structures early in the Universe.


title: Estimation of electrostatic interaction energies on a trapped-ion quantum computer

abstract: We present the first hardware implementation of electrostatic interaction energies using a trapped-ion quantum computer. As test system for our computation, we focus on the reduction of $\mathrm{NO}$ to $\mathrm{N}_2\mathrm{O}$ catalyzed by a nitric oxide reductase (NOR). The quantum computer is used to generate an approximate ground state within the NOR active space. To efficiently measure the necessary one-particle density matrices, we incorporate fermionic basis rotations into the quantum circuit without extending the circuit length, laying the groundwork for further efficient measurement routines using factorizations. Measurements in the computational basis are then used as inputs for computing the electrostatic interaction energies on a classical computer. Our experimental results strongly agree with classical noise-less simulations of the same circuits, finding electrostatic interaction energies within chemical accuracy despite hardware noise. This work shows that algorithms tailored to specific observables of interest, such as interaction energies, may require significantly fewer quantum resources than individual ground state energies would in the straightforward supermolecular approach.


title: Convergence of Equilibrium Measures under $K$-regular Polynomial Sequences and their Derivatives

abstract: Let $K\subset\mathbb{C}$ be non-polar, compact and polynomially convex. We study the limits of equilibrium measures on preimages of compact sets, under $K$-regular sequences of polynomials, that center on $K$ and under the sequences of derivatives of all orders of such sequences. We show that under mild assumptions such limits always exist and equal the equilibrium measure on $K$. From this we derive convergence of the equilibrium distributions on the Julia sets of the sequence of polynomials and their derivatives of all orders.


title: Bose-Einstein Condensation of Photons in a Four-Site Quantum Ring

abstract: Thermalization of radiation by contact to matter is a well-known concept, but the application of thermodynamic methods to complex quantum states of light remains a challenge. Here we observe Bose-Einstein condensation of photons into the hybridized ground state of a four-site ring potential with coherent tunnel couplings. In our experiment, the periodically-closed ring lattice superimposed by a weak harmonic trap for photons is realized inside a spatially structured dye-filled microcavity. Photons thermalize to room temperature, and above a critical photon number macroscopically occupy the symmetric linear combination of the site eigenstates with zero phase winding, which constitutes the ground state of the system. The mutual phase coherence of photons at different lattice sites is verified by optical interferometry.


title: The lattice Boltzmann method for fluid flows at relaxation time equal one: performance study

abstract: Running large-scale computer codes for huge fluid flow problems requires not only large supercomputers but also efficient and well-optimized computer codes that save the resources of those supercomputers. This paper evaluates the high-performance implementation of the recently proposed Lattice Boltzmann Method (LBM) algorithm with a fixed viscosity and relaxation time $\tau=1$ called Tau1. We show that the performance of the Tau1 algorithm is almost $4\times$ higher than other state-of-the-art standard LBM implementations. We support this finding by detailed complexity analysis and performance study based on the code with several optimizations, including multithreading, vector processing, significantly decreased number of divisions, and dedicated memory layout. We studied its performance in porous media flow in the three-dimensional model of porosity-varying porous medium to make it sound in the physical context. We find performance drops with porosity, which we link to the fact that memory access patterns change dramatically with the increased complexity of the pore space. In contrast to standard LBM implementations, where the performance drops with the number of lattice links, the processing speed of the new algorithm measured in fluid node updates per second is almost constant regardless of lattice arrangements.


title: Iterated Entropy Derivatives and Binary Entropy Inequalities

abstract: We embark on a systematic study of the $(k+1)$-th derivative of $x^{k-r}H(x^r)$, where $H(x):=-x\log x-(1-x)\log(1-x)$ is the binary entropy and $k>r\geq 1$ are integers. Our motivation is the conjectural entropy inequality $\alpha_k H(x^k)\geq x^{k-1}H(x)$, where $0<\alpha_k<1$ is given by a functional equation. The $k=2$ case was the key technical tool driving recent breakthroughs on the union-closed sets conjecture. We express $ \frac{d^{k+1}}{dx^{k+1}}x^{k-r}H(x^r)$ as a rational function, an infinite series, and a sum over generalized Stirling numbers. This allows us to reduce the proof of the entropy inequality for real $k$ to showing that an associated polynomial has only two real roots in the interval $(0,1)$, which also allows us to prove the inequality for fractional exponents such as $k=3/2$. The proof suggests a new framework for proving tight inequalities for the sum of polynomials times the logarithms of polynomials, which converts the inequality into a statement about the real roots of a simpler associated polynomial.


title: Boundary Liouville Conformal Field Theory in Four Dimensions

abstract: Higher dimensional Euclidean Liouville conformal field theories (LCFTs) consist of a log-correlated real scalar field with a background charge and an exponential potential. We analyse the LCFT on a four-dimensional manifold with a boundary. We extend to the boundary, the conformally covariant GJMS operator and the ${\cal Q}$-curvature term in the LCFT action and classify the conformal boundary conditions. Working on a flat space with plate boundary, we calculate the dimensions of the boundary conformal primary operators, the two- and three-point functions of the displacement operator and the boundary conformal anomaly coefficients.


title: Strengthening Nash Equilibria

abstract: Nash equilibrium is often heralded as a guiding principle for rational decision-making in strategic interactions. However, it is well-known that Nash equilibrium sometimes fails as a reliable predictor of outcomes, with two of the most notable issues being the fact that it is not resilient to collusion and that there may be multiple Nash equilibria in a single game. In this paper, we show that a mechanism designer can get around these two issues for free by expanding the action sets of the original game. More precisely, given a normal-form or Bayesian game $\Gamma$ and a Nash equilibrium $\vec{\sigma}$ in $\Gamma$, a mechanism designer can construct a new game $\Gamma^{\vec{\sigma}}$ by expanding the action set of each player and defining appropriate utilities in the action profiles that were not already in the original game. We show that the designer can construct $\Gamma^{\vec{\sigma}}$ in such a way that (a) $\vec{\sigma}$ is a semi-strong Nash equilibrium of $\Gamma^{\vec{\sigma}}$, and (b) $\vec{\sigma}$ Pareto-dominates or quasi Pareto-dominates all other Nash equilibria of $\Gamma^{\vec{\sigma}}$.


title: ESBMC v7.4: Harnessing the Power of Intervals

abstract: ESBMC implements many state-of-the-art techniques for model checking. We report on new and improved features that allow us to obtain verification results for previously unsupported programs and properties. ESBMC employs a new static interval analysis of expressions in programs to increase verification performance. This includes interval-based reasoning over booleans and integers, forward and backward contractors, and particular optimizations related to singleton intervals because of their ubiquity. Other relevant improvements concern the verification of concurrent programs, as well as several operational models, internal ones, and also those of libraries such as pthread and the C mathematics library. An extended memory safety analysis now allows tracking of memory leaks that are considered still reachable.


title: A quantum computing concept for 1-D elastic wave simulation with exponential speedup

abstract: Quantum computing has attracted considerable attention in recent years because it promises speed-ups that conventional supercomputers cannot offer, at least for some applications. Though existing quantum computers are, in most cases, still too small to solve significant problems, their future impact on domain sciences is already being explored now. Within this context, we present a quantum computing concept for 1-D elastic wave propagation in heterogeneous media with two components: a theoretical formulation and an implementation on a real quantum computer. The method rests on a finite-difference approximation, followed by a sparsity-preserving transformation of the discrete elastic wave equation to a Schr\"{o}dinger equation, which can be simulated directly on a gate-based quantum computer. An implementation on an error-free quantum simulator verifies our approach and forms the basis of numerical experiments with small problems on the real quantum computer IBM Brisbane. The latter produce simulation results that qualitatively agree with the error-free version but are contaminated by quantum decoherence and noise effects. Complementing the discrete transformation to the Schr\"{o}dinger equation by a continuous version allows the replacement of finite differences by other spatial discretisation schemes, such as the spectral-element method. Anticipating the emergence of error-corrected quantum chips, an analogy between our method and analyses of coupled mass-spring systems suggests that our quantum computing approach may lead to wave field simulations that run exponentially faster than simulations on classical computers.


title: Progressing from Anomaly Detection to Automated Log Labeling and Pioneering Root Cause Analysis

abstract: The realm of AIOps is transforming IT landscapes with the power of AI and ML. Despite the challenge of limited labeled data, supervised models show promise, emphasizing the importance of leveraging labels for training, especially in deep learning contexts. This study enhances the field by introducing a taxonomy for log anomalies and exploring automated data labeling to mitigate labeling challenges. It goes further by investigating the potential of diverse anomaly detection techniques and their alignment with specific anomaly types. However, the exploration doesn't stop at anomaly detection. The study envisions a future where root cause analysis follows anomaly detection, unraveling the underlying triggers of anomalies. This uncharted territory holds immense potential for revolutionizing IT systems management. In essence, this paper enriches our understanding of anomaly detection, and automated labeling, and sets the stage for transformative root cause analysis. Together, these advances promise more resilient IT systems, elevating operational efficiency and user satisfaction in an ever-evolving technological landscape.


title: Row-Merged Polar Codes: Analysis, Design and Decoder Implementation

abstract: Row-merged polar codes are a family of pre-transformed polar codes (PTPCs) with little precoding overhead. Providing an improved distance spectrum over plain polar codes, they are capable to perform close to the finite-length capacity bounds. However, there is still a lack of efficient design procedures for row-merged polar codes. Using novel weight enumeration algorithms with low computational complexity, we propose a design methodology for row-merged polar codes that directly considers their minimum distance properties. The codes significantly outperform state-of-the-art cyclic redundancy check (CRC)-aided polar codes under successive cancellation list (SCL) decoding in error-correction performance. Furthermore, we present fast simplified successive cancellation list (Fast-SSCL) decoding of PTPCs, based on which we derive a high-throughput, unrolled architecture template for fully pipelined decoders. Implementation results of SCL decoders for row-merged polar codes in a 12 nm technology additionally demonstrate the superiority of these codes with respect to the implementation costs, compared to state-of-the-art reference decoder implementations.


title: Siracusa: A 16 nm Heterogenous RISC-V SoC for Extended Reality with At-MRAM Neural Engine

abstract: Extended reality (XR) applications are Machine Learning (ML)-intensive, featuring deep neural networks (DNNs) with millions of weights, tightly latency-bound (10-20 ms end-to-end), and power-constrained (low tens of mW average power). While ML performance and efficiency can be achieved by introducing neural engines within low-power systems-on-chip (SoCs), system-level power for nontrivial DNNs depends strongly on the energy of non-volatile memory (NVM) access for network weights. This work introduces Siracusa, a near-sensor heterogeneous SoC for next-generation XR devices manufactured in 16 nm CMOS. Siracusa couples an octa-core cluster of RISC-V digital signal processing cores with a novel tightly-coupled "At-Memory" integration between a state-of-the-art digital neural engine called N-EUREKA and an on-chip NVM based on magnetoresistive memory(MRAM), achieving 1.7x higher throughput and 3x better energy efficiency than XR SoCs using NVM as background memory. The fabricated SoC prototype achieves an area efficiency of 65.2 GOp/s/mm2 and a peak energy efficiency of 8.84 TOp/J for DNN inference while supporting complex heterogeneous application workloads, which combine ML with conventional signal processing and control.


title: Hazards from Increasingly Accessible Fine-Tuning of Downloadable Foundation Models

abstract: Public release of the weights of pretrained foundation models, otherwise known as downloadable access \citep{solaiman_gradient_2023}, enables fine-tuning without the prohibitive expense of pretraining. Our work argues that increasingly accessible fine-tuning of downloadable models may increase hazards. First, we highlight research to improve the accessibility of fine-tuning. We split our discussion into research that A) reduces the computational cost of fine-tuning and B) improves the ability to share that cost across more actors. Second, we argue that increasingly accessible fine-tuning methods may increase hazard through facilitating malicious use and making oversight of models with potentially dangerous capabilities more difficult. Third, we discuss potential mitigatory measures, as well as benefits of more accessible fine-tuning. Given substantial remaining uncertainty about hazards, we conclude by emphasizing the urgent need for the development of mitigations.


title: Lagrangian Intersections and the spectral norm in convex-at-infinity symplectic manifolds

abstract: Given a compact Lagrangian $L$ in a semipositive convex-at-infinity symplectic manifold $W$, we establish a cup-length estimate for the action values of $L$ associated to a Hamiltonian isotopy whose spectral norm is smaller than some $\hbar(L)$. When $L$ is rational, this implies a cup-length estimate on the number of intersection points. This Chekanov-type result generalizes a theorem of Kislev and Shelukhin proving non-displaceability in the case when $W$ is closed and monotone. The method of proof is to deform the pair-of-pants product on Hamiltonian Floer cohomology using the Lagrangian $L$.


title: Fermions at finite density in the path integral approach

abstract: We study relativistic fermionic systems in $3+1$ spacetime dimensions at finite chemical potential and zero temperature, from a path-integral point of view. We show how to properly account for the $i\varepsilon$ term that projects on the finite density ground state, and compute the path integral analytically for free fermions in homogeneous external backgrounds, using complex analysis techniques. As an application, we show that the ${\rm U}(1)$ symmetry is always linearly realized for free fermions at finite charge density, differently from scalars. We study various aspects of finite density QED in a homogeneous magnetic background. We compute the free energy density, non-perturbatively in the electromagnetic coupling and the external magnetic field, obtaining the finite density generalization of classic results of Euler--Heisenberg and Schwinger. We also obtain analytically the magnetic susceptibility of a relativistic Fermi gas at finite density, reproducing the de Haas--van Alphen effect. Finally, we consider a (generalized) Gross--Neveu model for $N$ interacting fermions at finite density. We compute its non-perturbative effective potential in the large-$N$ limit, and discuss the fate of the ${\rm U}(1)$ vector and $\mathbb{Z}_2^A$ axial symmetries.


title: Absence of a dissipative quantum phase transition in Josephson junctions: Theory

abstract: We investigate the resistively shunted Josephson junction (RSJ), using the stochastic Liouville equation method in imaginary time - an exact scheme based on the Feynman-Vernon influence functional. The formulation we use makes it clear that Schmid's superconducting - insulating quantum phase transition long believed to occur in the RSJ is forbidden already at the qualitative level. This confirms theoretically a similar conclusion based on experimental observations drawn in 2020 by Murani et al. For all parameters investigated, we find that shunting a junction makes it more superconducting. We reveal that the UV cutoff of the resistor plays an unforeseen key role in these systems, and show that the erroneous prediction of an insulating state resulted from ill-assuming it would not.


title: A survey on topological properties of $P(K)$ spaces

abstract: Given a compact space $K$, we denote by $P(K)$ the space of all Radon probability measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. For nonmetrizable compacta $K$ even basic properties of $P(K)$ spaces depend of additional axioms of set theory. We discuss here older and quite recent results on the subject.


title: Data augmentation for the POD formulation of the parametric laminar incompressible Navier-Stokes equations

abstract: A posteriori reduced-order models, e.g. proper orthogonal decomposition, are essential to affordably tackle realistic parametric problems. They rely on a trustful training set, that is a family of full-order solutions (snapshots) representative of all possible outcomes of the parametric problem. Having such a rich collection of snapshots is not, in many cases, computationally viable. A strategy for data augmentation, designed for parametric laminar incompressible flows, is proposed to enrich poorly populated training sets. The goal is to include in the new, artificial snapshots emerging features, not present in the original basis, that do enhance the quality of the reduced-order solution. The methodologies devised are based on exploiting basic physical principles, such as mass and momentum conservation, to devise physically-relevant, artificial snapshots at a fraction of the cost of additional full-order solutions. Interestingly, the numerical results show that the ideas exploiting only mass conservation (i.e., incompressibility) are not producing significant added value with respect to the standard linear combinations of snapshots. Conversely, accounting for the linearized momentum balance via the Oseen equation does improve the quality of the resulting approximation and therefore is an effective data augmentation strategy in the framework of viscous incompressible laminar flows.


title: A mathematical theory of the critical point of ferromagnetic Ising systems

abstract: We develop a theory of the critical point of the ferromagnetic Ising model, whose basic objects are the ergodic (pure) states of the infinite system. It proves the existence of anomalous critical fluctuations, for dimension $\nu=2$ and, under a standard assumption, for $\nu=3$, for the model with nearest neighbor interaction, in a way which is consistent with the probabilistic approach of Cassandro, Jona-Lasinio and several others, reviewed in Jona-Lasinio's article in Phys. Rep. 352, 439 (2001). We propose to single out the state at the critical temperature $T_{c}$ among the ergodic thermal states associated to temperatures $0 \le T \le T_{c}$, by a condition of non-summable clustering of the connected two-point function. The analogous condition for the connected $(2r)-$ point functions for $r \ge 2$, together with a scaling hypothesis, proves that the (macroscopic) fluctuation state is quasi-free, also at the critical temperature, after a proper rescaling, also at the critical temperature, in agreement with a theorem by Cassandro and Jona-Lasinio, whose proof is, however, shown to be incomplete. Other subjects include topics related to universality, including spontaneous breaking of continuous symmetries and violations of universality in problems of energetic and dynamic stability.


title: Diffusion Maps for Signal Filtering in Graph Learning

abstract: This paper explores the application diffusion maps as graph shift operators in understanding the underlying geometry of graph signals. The study evaluates the improvements in graph learning when using diffusion map generated filters to the Markov Variation minimization problem. The paper showcases the effectiveness of this approach through examples involving synthetically generated and real-world temperature sensor data. These examples also compare the diffusion map graph signal model with other commonly used graph signal operators. The results provide new approaches for the analysis and understanding of complex, non-Euclidean data structures.


title: Influence of Ionization on the Polytropic Index of the Solar Atmosphere within Local Thermodynamic Equilibrium Approximation

abstract: An initial theoretical attempt to explain the observed decrease of the polytropic/adiabatic index $\gamma$ in the solar corona has been accomplished. The chemical reactions of the ionization-recombination processes in local thermodynamic equilibrium (LTE) of a solar plasma cocktail containing heavy elements are found to cause $1.1 < \gamma \leq 5/3$ in the quiet solar atmosphere. It is also shown that the quiet solar atmosphere is in LTE justifying this theoretical study. This result is obtained by numerically solving the Saha equation and subsequently using a newly derived equation for calculation of the polytropic index from thermodynamic partial derivatives of the enthalpy and pressure with respect to density and temperature. In addition, a comparison between calculated in this way polytropic index and measured from spectroscopic observations of propagating slow magneto-hydrodynamics (MHD) waves in coronal loops shows that LTE ionization accounts for very small part of the observed decrease of $\gamma$ meaning that the solar plasma in the active region is not in LTE as expected. However, the observed dependency of higher polytropic index at higher temperatures is confirmed by the current theoretical approach. It is concluded that to account for the polytropic index decrease in the active regions of the solar corona, it is necessary kinetic non-LTE ionization calculations to be performed.


title: Action formalism for geometric phases from self-closing quantum trajectories

abstract: When subject to measurements, quantum systems evolve along stochastic quantum trajectories that can be naturally equipped with a geometric phase observable via a post-selection in a final projective measurement. When post-selecting the trajectories to form a close loop, the geometric phase undergoes a topological transition driven by the measurement strength. Here, we study the geometric phase of a subset of self-closing trajectories induced by a continuous Gaussian measurement of a single qubit system. We utilize a stochastic path integral that enables the analysis of rare self-closing events using action methods and develop the formalism to incorporate the measurement-induced geometric phase therein. We show that the geometric phase of the most likely trajectories undergoes a topological transition for self-closing trajectories as a function of the measurement strength parameter. Moreover, the inclusion of Gaussian corrections in the vicinity of the most probable self-closing trajectory quantitatively changes the transition point in agreement with results from numerical simulations of the full set of quantum trajectories.


title: Planar $3$-webs and the boundary measurement matrix

abstract: We compute connection probabilities for reduced $3$-webs in the triple-dimer model on circular planar graphs using the boundary measurement matrix (reduced Kasteleyn matrix). As one application we compute several "$\text{SL}_3$ generalizations'' of the Lindstr{\o}m-Gessel-Viennot theorem, for "parallel" webs and for honeycomb webs. We also apply our results to the scaling limit of the dimer model in a planar domain, giving conformally invariant expressions for reduced web probabilities.


title: Algebraic Sparse Factor Analysis

abstract: Factor analysis is a statistical technique that explains correlations among observed random variables with the help of a smaller number of unobserved factors. In traditional full factor analysis, each observed variable is influenced by every factor. However, many applications exhibit interesting sparsity patterns, that is, each observed variable only depends on a subset of the factors. In this paper, we study such sparse factor analysis models from an algebro-geometric perspective. Under mild conditions on the sparsity pattern, we examine the dimension of the set of covariance matrices that corresponds to a given model. Moreover, we study algebraic relations among the covariances in sparse two-factor models. In particular, we identify cases in which a Gr\"obner basis for these relations can be derived via a 2-delightful term order and joins of toric edge ideals.


abstract: Latent multi-view subspace clustering has been demonstrated to have desirable clustering performance. However, the original latent representation method vertically concatenates the data matrices from multiple views into a single matrix along the direction of dimensionality to recover the latent representation matrix, which may result in an incomplete information recovery. To fully recover the latent space representation, we in this paper propose an Enhanced Latent Multi-view Subspace Clustering (ELMSC) method. The ELMSC method involves constructing an augmented data matrix that enhances the representation of multi-view data. Specifically, we stack the data matrices from various views into the block-diagonal locations of the augmented matrix to exploit the complementary information. Meanwhile, the non-block-diagonal entries are composed based on the similarity between different views to capture the consistent information. In addition, we enforce a sparse regularization for the non-diagonal blocks of the augmented self-representation matrix to avoid redundant calculations of consistency information. Finally, a novel iterative algorithm based on the framework of Alternating Direction Method of Multipliers (ADMM) is developed to solve the optimization problem for ELMSC. Extensive experiments on real-world datasets demonstrate that our proposed ELMSC is able to achieve higher clustering performance than some state-of-art multi-view clustering methods.


title: Orbit determination from one position vector and a very short arc of optical observations

abstract: In this paper we address the problem of computing a preliminary orbit of a celestial body from one topocentric position vector and a very short arc (VSA) of optical observations. Using the conservation laws of the two-body dynamics, we write the problem as a system of 8 polynomial equations in 6 unknowns. We prove that this system is generically consistent, namely it admits solutions at least in the complex field. From this system we derive a univariate polynomial $\mathfrak{v}$ of degree 8 in the unknown topocentric distance at the mean epoch of the VSA. Through Gr\"obner bases theory, we show that the degree of $\mathfrak{v}$ is minimum among the degrees of all the univariate polynomials solving this problem. The proposed method is relevant for different purposes, e.g. the computation of a preliminary orbit of an Earth satellite with radar and optical observations, the detection of maneuvres of an Earth satellite, and the recovery of asteroids which are lost due to a planetary close encounter. We also show some numerical tests in the case of asteroids undergoing a close encounter with the Earth.


title: A hypothesis test for the long-term calibration in rating systems with overlapping time windows

abstract: We present a statistical test that can be used to verify supervisory requirements concerning overlapping time windows for the long-term calibration in rating systems. In a first step, we show that the long-run default rate is approximately normally distributed with respect to random effects in default realization. We then perform a detailed analysis of the correlation effects caused by the overlapping time windows and solve the problem of an unknown distribution of default probabilities for the long-run default rate. In this context, we present several methods for a conservative calibration test that can deal with the unknown variance in the test statistic. We present a test for individual rating grades, and then pass to the portfolio level by suitably adapting the test statistic. We conclude with comparative statics analysing the effect of persisting customers and the number of customers per reference date.


title: SANC Monte Carlo programs for small-angle Bhabha scattering

abstract: Luminosity monitoring at $e^+e^-$ colliders is investigated using SANC Monte Carlo event generator ReneSANCe and integrator MCSANC for simulation of Bhabha scattering at low angles. Results are presented for center-of-mass energies of the Z boson resonance and 240 GeV for the conditions of typical luminosity detectors. It is shown that taking into account bremsstrahlung events with extremely low electron scattering angles is relevant to match the precision tags of the future electron-positron colliders.


title: Evidence for correlated electron pairs and triplets in quantum Hall interferometers

abstract: Pairing of electrons is ubiquitous in electronic systems featuring attractive inter-electron interactions, as exemplified in superconductors. Counter-intuitively, it can also be mediated in certain circumstances by the repulsive Coulomb interaction alone. Quantum Hall (QH) Fabry-P\'erot interferometers (FPIs) tailored in two-dimensional electron gas under a perpendicular magnetic field has been argued to exhibit such unusual electron pairing seemingly without attractive interaction. Here, we show evidence in graphene QH FPIs revealing not only a similar electron pairing at bulk filling factor nu=2 but also an unforeseen emergence of electron tripling characterized by a fractional Aharonov-Bohm flux period h/3e (h is the Planck constant and e the electron charge) at nu=3. Leveraging a novel plunger-gate spectroscopy, we demonstrate that electron pairing (tripling) involves correlated charge transport on two (three) entangled QH edge channels. This spectroscopy indicates a quantum interference flux-periodicity determined by the sum of the phases acquired by the distinct QH edge channels having slightly different interfering areas. While recent theory invokes the dynamical exchange of neutral magnetoplasmons -- dubbed neutralons -- as mediator for electron pairing, our discovery of three entangled QH edge channels with apparent electron tripling defies understanding and introduces a new three-body problem for interacting fermions.


title: On the Conditions for a Quantum Violent Relaxation

abstract: In general, classical fully-connected systems are known to undergo violent relaxation. This phenomenon refers to the relaxation of observables to stationary, non-thermal, values on a finite timescale, despite their long-time dynamics being dominated by mean-field effects in the thermodynamic limit. Here, we analyze the ``quantum" violent relaxation by studying the dynamics of generic many-body systems with two-body, all-to-all, interactions in the thermodynamic limit. We show that, in order for violent relaxation to occur very specific conditions on the spectrum of the mean-field effective Hamiltonian have to be met. These conditions are hardly met and ``quantum" violent relaxation is observed rarely with respect to its classical counterpart. Our predictions are validated by the study of a spin model which, depending on the value of the coupling, shows a transition between violent-relaxation and a generic prethermal phase. We also analyze a spin version of the quantum Hamiltonian-Mean-Field model, which is shown not to exhibit violent-relaxation. Finally, we discuss how the violent-relaxation picture emerges back in the classical limit. Our results demonstrate how, even in the mean-field regime, quantum effects have a rather dramatic impact on the dynamics, paving the way to a better understanding of light-matter coupled systems.


title: Large Language Model (LLM) Bias Index -- LLMBI

abstract: The Large Language Model Bias Index (LLMBI) is a pioneering approach designed to quantify and address biases inherent in large language models (LLMs), such as GPT-4. We recognise the increasing prevalence and impact of LLMs across diverse sectors. This research introduces a novel metric, LLMBI, to systematically measure and mitigate biases potentially skewing model responses. We formulated LLMBI using a composite scoring system incorporating multiple dimensions of bias, including but not limited to age, gender, and racial biases. To operationalise this metric, we engaged in a multi-step process involving collecting and annotating LLM responses, applying sophisticated Natural Language Processing (NLP) techniques for bias detection, and computing the LLMBI score through a specially crafted mathematical formula. The formula integrates weighted averages of various bias dimensions, a penalty for dataset diversity deficiencies, and a correction for sentiment biases. Our empirical analysis, conducted using responses from OpenAI's API, employs advanced sentiment analysis as a representative method for bias detection. The research reveals LLMs, whilst demonstrating impressive capabilities in text generation, exhibit varying degrees of bias across different dimensions. LLMBI provides a quantifiable measure to compare biases across models and over time, offering a vital tool for systems engineers, researchers and regulators in enhancing the fairness and reliability of LLMs. It highlights the potential of LLMs in mimicking unbiased human-like responses. Additionally, it underscores the necessity of continuously monitoring and recalibrating such models to align with evolving societal norms and ethical standards.


title: Integration Of Evolutionary Automated Machine Learning With Structural Sensitivity Analysis For Composite Pipelines

abstract: Automated machine learning (AutoML) systems propose an end-to-end solution to a given machine learning problem, creating either fixed or flexible pipelines. Fixed pipelines are task independent constructs: their general composition remains the same, regardless of the data. In contrast, the structure of flexible pipelines varies depending on the input, making them finely tailored to individual tasks. However, flexible pipelines can be structurally overcomplicated and have poor explainability. We propose the EVOSA approach that compensates for the negative points of flexible pipelines by incorporating a sensitivity analysis which increases the robustness and interpretability of the flexible solutions. EVOSA quantitatively estimates positive and negative impact of an edge or a node on a pipeline graph, and feeds this information to the evolutionary AutoML optimizer. The correctness and efficiency of EVOSA was validated in tabular, multimodal and computer vision tasks, suggesting generalizability of the proposed approach across domains.


title: SubRiemannian cut time and cut locus in Reiter-Heisenberg groups

abstract: We study the subRiemannian cut time and cut locus of a given point in a class of step-2 Carnot groups of Reiter-Heisenberg type. Following the Hamiltonian point of view, we write and analyze extremal curves, getting the cut time of any of them, and a precise description of the set of cut points.


title: Very high-energy gamma rays from GRB 180720B and GRB 190829A with external Compton emission

abstract: Gamma-ray bursts (GRBs) comprise of short, bright, energetic flashes of emission from extragalactic sources followed by a longer afterglow phase of decreased brightness. Recent discoveries of very-high-energy (VHE, $\gtrsim 100$ GeV) afterglow emission from GRB 180720B and GRB 190829A by H.E.S.S. have raised questions regarding the emission mechanism responsible. We interpret these observed late-time emission to be the result of inverse Compton emission of ultra-relativistic electrons in the GRB blastwave in an external radiation field, i.e., external Compton (EC), considering both the wind and interstellar medium scenarios. We present predictions of multiwavelength light curves and energy spectra, ranging from optical to VHE, and include the synchrotron and synchrotron self-Compton (SSC) radiation mechanisms as well. We corrected the EC and SSC model for the $\gamma$-ray attenuation by absorption of photons through their interaction with the extragalactic background light (EBL). We compared our results to multiwavelength data and found that EC gives a satisfactory fit for a given set of fixed model parameters for GRB 180720B, whereas SSC result in a better fit for GRB 190829A. For both GRBs a wind environment is preferred over constant density inter-stellar medium, and the Cosmic Microwave Background as the external radiation field. However, with more data and an effective optimisation tool we can find a more robust fit of the model, implying better constraints on the GRB environment and the particle energy requirements for the emission observed at late times. This has consequences for future observations of GRBs at these extreme energies.


title: Cross-Age and Cross-Site Domain Shift Impacts on Deep Learning-Based White Matter Fiber Estimation in Newborn and Baby Brains

abstract: Deep learning models have shown great promise in estimating tissue microstructure from limited diffusion magnetic resonance imaging data. However, these models face domain shift challenges when test and train data are from different scanners and protocols, or when the models are applied to data with inherent variations such as the developing brains of infants and children scanned at various ages. Several techniques have been proposed to address some of these challenges, such as data harmonization or domain adaptation in the adult brain. However, those techniques remain unexplored for the estimation of fiber orientation distribution functions in the rapidly developing brains of infants. In this work, we extensively investigate the age effect and domain shift within and across two different cohorts of 201 newborns and 165 babies using the Method of Moments and fine-tuning strategies. Our results show that reduced variations in the microstructural development of babies in comparison to newborns directly impact the deep learning models' cross-age performance. We also demonstrate that a small number of target domain samples can significantly mitigate domain shift problems.


title: Computational Guarantees for Restarted PDHG for LP based on "Limiting Error Ratios" and LP Sharpness

abstract: In recent years, there has been growing interest in solving linear optimization problems - or more simply "LP" - using first-order methods. The restarted primal-dual hybrid gradient method (PDHG) - together with some heuristic techniques - has emerged as a powerful tool for solving huge-scale LPs. However, the theoretical understanding of it and the validation of various heuristic implementation techniques are still very limited. Existing complexity analyses have relied on the Hoffman constant of the LP KKT system, which is known to be overly conservative, difficult to compute (and hence difficult to empirically validate), and fails to offer insight into instance-specific characteristics of the LP problems. These limitations have limited the capability to discern which characteristics of LP instances lead to easy versus difficult LP. With the goal of overcoming these limitations, in this paper we introduce and develop two purely geometry-based condition measures for LP instances: the "limiting error ratio" and the LP sharpness. We provide new computational guarantees for the restarted PDHG based on these two condition measures. For the limiting error ratio, we provide a computable upper bound and show its relationship with the data instance's proximity to infeasibility under perturbation. For the LP sharpness, we prove its equivalence to the stability of the LP optimal solution set under perturbation of the objective function. We validate our computational guarantees in terms of these condition measures via specially constructed instances. Conversely, our computational guarantees validate the practical efficacy of certain heuristic techniques (row preconditioners and step-size tuning) that improve computational performance in practice. Finally, we present computational experiments on LP relaxations from the MIPLIB dataset that demonstrate the promise of various implementation strategies.


title: Bounding the Communication Complexity of Fault-Tolerant Common Coin Tossing

abstract: Protocols for tossing a common coin play a key role in the vast majority of implementations of consensus. Even though the common coins in the literature are usually \emph{fair} (they have equal chance of landing heads or tails), we focus on the problem of implementing a \emph{biased} common coin such that the probability of landing heads is $p \in [0,1]$. Even though biased common coins can be implemented using fair common coins, we show that this can require significant inter-party communication. In fact, we show that there is no bound on the number of messages needed to generate a common coin of bias $p$ in a way that tolerates even one malicious agent, even if we restrict $p$ to an arbitrary infinite subset of $[0,1]$ (e.g., rational numbers of the form $1/2^n$) and assume that the system is synchronous. By way of contrast, if we do not require the protocol to tolerate a faulty agent, we can do this. Thus, the cause of the message complexity is the requirement of fault tolerance.


title: Compressing Image-to-Image Translation GANs Using Local Density Structures on Their Learned Manifold

abstract: Generative Adversarial Networks (GANs) have shown remarkable success in modeling complex data distributions for image-to-image translation. Still, their high computational demands prohibit their deployment in practical scenarios like edge devices. Existing GAN compression methods mainly rely on knowledge distillation or convolutional classifiers' pruning techniques. Thus, they neglect the critical characteristic of GANs: their local density structure over their learned manifold. Accordingly, we approach GAN compression from a new perspective by explicitly encouraging the pruned model to preserve the density structure of the original parameter-heavy model on its learned manifold. We facilitate this objective for the pruned model by partitioning the learned manifold of the original generator into local neighborhoods around its generated samples. Then, we propose a novel pruning objective to regularize the pruned model to preserve the local density structure over each neighborhood, resembling the kernel density estimation method. Also, we develop a collaborative pruning scheme in which the discriminator and generator are pruned by two pruning agents. We design the agents to capture interactions between the generator and discriminator by exchanging their peer's feedback when determining corresponding models' architectures. Thanks to such a design, our pruning method can efficiently find performant sub-networks and can maintain the balance between the generator and discriminator more effectively compared to baselines during pruning, thereby showing more stable pruning dynamics. Our experiments on image translation GAN models, Pix2Pix and CycleGAN, with various benchmark datasets and architectures demonstrate our method's effectiveness.