title: Cross-Stitched Multi-task Dual Recursive Networks for Unified Single Image Deraining and Desnowing

abstract: We present the Cross-stitched Multi-task Unified Dual Recursive Network (CMUDRN) model targeting the task of unified deraining and desnowing in a multi-task learning setting. This unified model borrows from the basic Dual Recursive Network (DRN) architecture developed by Cai et al. The proposed model makes use of cross-stitch units that enable multi-task learning across two separate DRN models, each tasked for single image deraining and desnowing, respectively. By fixing cross-stitch units at several layers of basic task-specific DRN networks, we perform multi-task learning over the two separate DRN models. To enable blind image restoration, on top of these structures we employ a simple neural fusion scheme which merges the output of each DRN. The separate task-specific DRN models and the fusion scheme are simultaneously trained by enforcing local and global supervision. Local supervision is applied on the two DRN submodules, and global supervision is applied on the data fusion submodule of the proposed model. Consequently, we both enable feature sharing across task-specific DRN models and control the image restoration behavior of the DRN submodules. An ablation study shows the strength of the hypothesized CMUDRN model, and experiments indicate that its performance is comparable or better than baseline DRN models on the single image deraining and desnowing tasks. Moreover, CMUDRN enables blind image restoration for the two underlying image restoration tasks, by unifying task-specific image restoration pipelines via a naive parametric fusion scheme. The CMUDRN implementation is available at https://github.com/VCL3D/CMUDRN.


title: Attacking and Defending Deep-Learning-Based Off-Device Wireless Positioning Systems

abstract: Localization services for wireless devices play an increasingly important role in our daily lives and a plethora of emerging services and applications already rely on precise position information. Widely used on-device positioning methods, such as the global positioning system, enable accurate outdoor positioning and provide the users with full control over what services and applications are allowed to access their location information. In order to provide accurate positioning indoors or in cluttered urban scenarios without line-of-sight satellite connectivity, powerful off-device positioning systems, which process channel state information (CSI) measured at the infrastructure base stations or access points with deep neural networks, have emerged recently. Such off-device wireless positioning systems inherently link a user's data transmission with its localization, since accurate CSI measurements are necessary for reliable wireless communication -- this not only prevents the users from controlling who can access this information but also enables virtually everyone in the device's range to estimate its location, resulting in serious privacy and security concerns. We therefore propose on-device attacks against off-device wireless positioning systems in multi-antenna orthogonal frequency-division multiplexing systems while remaining standard compliant and minimizing the impact on quality-of-service, and we demonstrate their efficacy using real-world measured datasets for cellular outdoor and wireless LAN indoor scenarios. We also investigate defenses to counter such attack mechanisms, and we discuss the limitations and implications on protecting location privacy in existing and future wireless communication systems.


title: Mobile-Aware Scheduling for Low Latency Backhaul over DOCSIS

abstract: In this paper, we discuss latency reduction techniques for mobile backhaul over Data Over Cable Service Interface Specifications (DOCSIS) networks. When the latencies from both the wireless and the DOCSIS networks are added together, it can result in noticeable end-to-end system latency, particularly under network congestion. Previously, we proposed a method to improve upstream user-to-mobile core latency by coordinating the LTE and DOCSIS scheduling. The method reduces the impact on system latency from the DOCSIS network's request-grant-data loop, which is the main contributor of backhaul upstream latency. Since the method reduces latency on the DOCSIS data path, it will therefore improve performance of latency sensitive applications, particularly if TCP is used as the transport protocol, especially when the link is congested. In this paper, we investigate the effect of HARQ failure on system performance. Through simulation, we show that despite the uncertainty introduced by the LTE protocol, coordinated scheduling improves overall system latency.


title: The ATLAS EventIndex: a BigData catalogue for all ATLAS experiment events

abstract: The ATLAS EventIndex system comprises the catalogue of all events collected, processed or generated by the ATLAS experiment at the CERN LHC accelerator, and all associated software tools to collect, store and query this information. ATLAS records several billion particle interactions every year of operation, processes them for analysis and generates even larger simulated data samples; a global catalogue is needed to keep track of the location of each event record and be able to search and retrieve specific events for in-depth investigations. Each EventIndex record includes summary information on the event itself and the pointers to the files containing the full event. Most components of the EventIndex system are implemented using BigData open-source tools. This paper describes the architectural choices and their evolution in time, as well as the past, current and foreseen future implementations of all EventIndex components.


title: Radial Velocity Survey for Planets around Young stars (RVSPY) A transiting warm super-Jovian planet around HD 114082, a young star with a debris disk

abstract: Aiming to detect planetary companions to young stars with debris disks via the radial velocity method, we observed HD114082 during April 2018 - August 2022 as one of the targets of our RVSPY program (Radial Velocity Survey for Planets around Young stars). We used the FEROS spectrograph, mounted to the MPG/ESO 2.2 m telescope in Chile, to obtain high signal-to-noise spectra and time series of precise radial velocities (RVs). Additionally, we analyzed archival HARPS spectra and TESS photometric data. We used the CERES, CERES++ and SERVAL pipelines to derive RVs and activity indicators and ExoStriker for the independent and combined analysis of the RVs and TESS photometry. We report the discovery of a warm super-Jovian companion around HD114082 based on a 109.8$\pm$0.4 day signal in the combined RV data from FEROS and HARPS, and on one transit event in the TESS photometry. The best-fit model indicates a 8.0$\pm$1.0 Mjup companion with a radius of 1.00$\pm$0.03 Rjup in an orbit with a semi-major axis of 0.51$\pm$0.01 au and an eccentricity of 0.4$\pm$0.04. The companions orbit is in agreement with the known near edge-on debris disk located at about 28 au. HD114082b is possibly the youngest (15$\pm$6 Myr), and one of only three younger than 100 Myr giant planetary companions for which both their mass and radius have been determined observationally. It is probably the first properly model-constraining giant planet that allows distinguishing between hot and cold-start models. It is significantly more compatible with the cold-start model.


title: An FNet based Auto Encoder for Long Sequence News Story Generation

abstract: In this paper, we design an auto encoder based off of Google's FNet Architecture in order to generate text from a subset of news stories contained in Google's C4 dataset. We discuss previous attempts and methods to generate text from autoencoders and non LLM Models. FNET poses multiple advantages to BERT based encoders in the realm of efficiency which train 80% faster on GPUs and 70% faster on TPUs. We then compare outputs of how this autencoder perfroms on different epochs. Finally, we analyze what outputs the encoder produces with different seed text.


title: Deep-Learning-Empowered Inverse Design for Freeform Reconfigurable Metasurfaces

abstract: The past decade has witnessed the advances of artificial intelligence with various applications in engineering. Recently, artificial neural network empowered inverse design for metasurfaces has been developed that can design on-demand meta-atoms with diverse shapes and high performance, where the design process based on artificial intelligence is fast and automatic. However, once the inverse-designed static meta-atom is fabricated, the function of the metasurface is fixed. Reconfigurable metasurfaces can realize dynamic functions, while applying artificial intelligence to design practical reconfigurable meta-atoms inversely has not been reported yet. Here, we present a deep-learning-empowered inverse design method for freeform reconfigurable metasurfaces, which can generate on-demand reconfigurable coding meta-atoms at self-defined frequency bands. To reduce the scale of dataset, a decoupling method of the reconfigurable meta-atom based on microwave network theory is proposed at first, which can convert the inverse design process for reconfigurable coding meta-atoms to the inverse design for static structures. A convolutional neural network model is trained to predict the responses of free-shaped meta-atoms, and the genetic algorithm is applied to generate the optimal structure patterns rapidly. As a demonstration of concept, several inverse-designed examples are generated with different self-defined spectrum responses in microwave band, and an inverse-designed wideband reconfigurable metasurface prototype is fabricated and measured for beam scanning applications with broad bandwidth. Our work paves the way for the fast and automatic design process of high-performance reconfigurable metasurfaces.


title: Diffusion of muonic hydrogen in hydrogen gas and the measurement of the 1$s$ hyperfine splitting of muonic hydrogen

abstract: The CREMA collaboration is pursuing a measurement of the ground-state hyperfine splitting (HFS) in muonic hydrogen ($\mu$p) with 1 ppm accuracy by means of pulsed laser spectroscopy. In the proposed experiment, the $\mu$p atom is excited by a laser pulse from the singlet to the triplet hyperfine sub-levels, and is quenched back to the singlet state by an inelastic collision with a H$_2$ molecule. The resulting increase of kinetic energy after this cycle modifies the $\mu$p atom diffusion in the hydrogen gas and the arrival time of the $\mu$p atoms at the target walls. This laser-induced modification of the arrival times is used to expose the atomic transition. In this paper we present the simulation of the $\mu$p diffusion in the H$_2$ gas which is at the core of the experimental scheme. These simulations have been implemented with the Geant4 framework by introducing various low-energy processes including the motion of the H$_2$ molecules, i.e. the effects related with the hydrogen target temperature. The simulations have been used to optimize the hydrogen target parameters (pressure, temperatures and thickness) and to estimate signal and background rates. These rates allow to estimate the maximum time needed to find the resonance and the statistical accuracy of the spectroscopy experiment.


title: Low Latency Techniques for Mobile Backhaul over DOCSIS

abstract: The mobile network operators (MNOs) are looking into economically viable backhaul solutions as alternatives to fiber, specifically the hybrid fiber coaxial networks (HFC). When the latencies from both the wireless and the HFC networks are added together, the result is a noticeable end-to-end system latency, particularly under network congestion. In order to decrease total system latency, we proposed a method to improve upstream user- to-mobile core latency by coordinating the LTE and HFC scheduling in previous papers. In this paper, we implement and optimize the proposed method on a custom LTE and DOCSIS end-to-end system testbed. The testbed uses the OpenAirInterface (OAI) platform for the LTE network, along with Cisco's broadband router cBR-8 that is currently deployed in the HFC networks around the world. Our results show a backhaul latency improvement under all traffic load conditions.


title: Some properties defined by relative versions of star-covering properties II

abstract: In this paper we consider some recent relative versions of Menger property called set strongly star Menger and set star Menger properties and the corresponding Hurewicz-type properties. In particular, using \cite {BMae}, we "easily" prove that the set strong star Menger and set strong star Hurewicz properties are between countable compactness and the property of having countable extent. Also we show that the extent of a regular set star Menger or a set star Hurewicz space cannot exceed $\frak c$. Moreover, we construct (1) a consistent example of a set star Menger (set star Hurewicz) space which is not set strongly star Menger (set strongly star Hurewicz) and show that (2) the product of a set star Menger (set star Hurewicz) space with a compact space need not be set star Menger (set star Hurewicz). In particular, (1) and (2) answer to some questions posed by Ko\v{c}inac, Konca and Singh in \cite{KKS-MS} and \cite{S-AM}.


title: Molecular Strong Coupling and Cavity Finesse

abstract: Molecular strong coupling offers exciting prospects in physics, chemistry and materials science. Whilst attention has been focused on including realistic models for the molecular systems involved, the important role played by the entire mode structure of the optical cavities employed so far has been largely overlooked. We show that the extent and effectiveness of molecular strong coupling is critically dependent on cavity finesse. Low finesse cavities can show strong coupling as judged from the presence of Rabi splitting in reflectivity measurements, but give photoluminescence signals equivalent to that of bare molecules outside the cavity. The emission of light is shown to involve hybridized light-matter polaritonic states only for cavities with high finesse. By developing an analytical model of cavity photoluminescence in multimode structures, we clarify the role of finite finesse in polariton formation. The detailed nature of the modes supported by a cavity and how these modes interact with the molecular system - whether on resonance or not - will be as important in developing a coherent framework for molecular strong coupling as the inclusion of realistic molecular models.


title: The Many Faces of Fluctuation-Dissipation Relations Out of Equilibrium

abstract: In this paper, we offer to the reader an essential review of the theory of Fluctuation-Dissipation Relations (FDR), from the first formulations due to Einstein and Onsager, to the recent developments in the framework of stochastic thermodynamics of non-equilibrium system. We focus on two general approaches, somehow complementary, where out-of-equilibrium contributions to the FDR are expressed in terms of different quantities, related either to the stationary distribution or to the transition rates of the system. In particular, we discuss applications of the FDR in the general field of causation and inference, and in the contexts of non-equilibrium systems, such as spin models, granular media and active matter.


title: Solving clustering as ill-posed problem: experiments with K-Means algorithm

abstract: In this contribution, the clustering procedure based on K-Means algorithm is studied as an inverse problem, which is a special case of the illposed problems. The attempts to improve the quality of the clustering inverse problem drive to reduce the input data via Principal Component Analysis (PCA). Since there exists a theorem by Ding and He that links the cardinality of the optimal clusters found with K-Means and the cardinality of the selected informative PCA components, the computational experiments tested the theorem between two quantitative features selection methods: Kaiser criteria (based on imperative decision) versus Wishart criteria (based on random matrix theory). The results suggested that PCA reduction with features selection by Wishart criteria leads to a low matrix condition number and satisfies the relation between clusters and components predicts by the theorem. The data used for the computations are from a neuroscientific repository: it regards healthy and young subjects that performed a task-oriented functional Magnetic Resonance Imaging (fMRI) paradigm.


title: Reverberation as Supervision for Speech Separation

abstract: This paper proposes reverberation as supervision (RAS), a novel unsupervised loss function for single-channel reverberant speech separation. Prior methods for unsupervised separation required the synthesis of mixtures of mixtures or assumed the existence of a teacher model, making them difficult to consider as potential methods explaining the emergence of separation abilities in an animal's auditory system. We assume the availability of two-channel mixtures at training time, and train a neural network to separate the sources given one of the channels as input such that the other channel may be predicted from the separated sources. As the relationship between the room impulse responses (RIRs) of each channel depends on the locations of the sources, which are unknown to the network, the network cannot rely on learning that relationship. Instead, our proposed loss function fits each of the separated sources to the mixture in the target channel via Wiener filtering, and compares the resulting mixture to the ground-truth one. We show that minimizing the scale-invariant signal-to-distortion ratio (SI-SDR) of the predicted right-channel mixture with respect to the ground truth implicitly guides the network towards separating the left-channel sources. On a semi-supervised reverberant speech separation task based on the WHAMR! dataset, using training data where just 5% (resp., 10%) of the mixtures are labeled with associated isolated sources, we achieve 70% (resp., 78%) of the SI-SDR improvement obtained when training with supervision on the full training set, while a model trained only on the labeled data obtains 43% (resp., 45%).


title: PARTNR: Pick and place Ambiguity Resolving by Trustworthy iNteractive leaRning

abstract: Several recent works show impressive results in mapping language-based human commands and image scene observations to direct robot executable policies (e.g., pick and place poses). However, these approaches do not consider the uncertainty of the trained policy and simply always execute actions suggested by the current policy as the most probable ones. This makes them vulnerable to domain shift and inefficient in the number of required demonstrations. We extend previous works and present the PARTNR algorithm that can detect ambiguities in the trained policy by analyzing multiple modalities in the pick and place poses using topological analysis. PARTNR employs an adaptive, sensitivity-based, gating function that decides if additional user demonstrations are required. User demonstrations are aggregated to the dataset and used for subsequent training. In this way, the policy can adapt promptly to domain shift and it can minimize the number of required demonstrations for a well-trained policy. The adaptive threshold enables to achieve the user-acceptable level of ambiguity to execute the policy autonomously and in turn, increase the trustworthiness of our system. We demonstrate the performance of PARTNR in a table-top pick and place task.


title: Microstructure sensitive fatigue life prediction model for SLM fabricated Hastelloy-X

abstract: A microstructure-sensitive fatigue life prediction framework based on CP-FFT is proposed to study SLM fabricated Hastelloy-X. The microstructure enters in the model through the shape, size and orientation distributions of grains in the RVEs, which are generated from experimental EBSD data. The framework has been applied to specimens built in two different directions with different polycrystalline microstructures and is able to accurately predict their fatigue life, using just two experiments for calibration. The model reproduces the better fatigue performance found experimentally at high stresses for samples built in transverse direction, identifying the origin of this anisotropy in grain aspect ratios.


title: The Dissipation of the Solar Nebula Constrained by Impacts and Core Cooling in Planetesimals

abstract: Rapid cooling of planetesimal cores has been inferred for several iron meteorite parent bodies based on metallographic cooling rates, and linked to the loss of their insulating mantles during impacts. However, the timing of these disruptive events is poorly constrained. Here, we used the short-lived 107Pd / 107Ag decay system to date rapid core cooling by determining Pd-Ag ages for iron meteorites. We show closure times for the iron meteorites equate to cooling in the timeframe ~7.8 to 11.7 Myr after CAI, and indicate that an energetic inner Solar System persisted at this time. This likely results from the dissipation of gas in the protoplanetary disk, after which the damping effect of gas drag ceases. An early giant planet instability between 5 and 14 Myr after CAI could have reinforced this effect. This correlates well with the timing of impacts recorded by the Pd Ag system for iron meteorites.


title: A New Simheuristic Approach for Stochastic Runway Scheduling

abstract: We consider a stochastic, dynamic runway scheduling problem involving aircraft landings on a single runway. Sequencing decisions are made with knowledge of the estimated arrival times (ETAs) of all aircraft due to arrive at the airport, and these ETAs vary according to continuous-time stochastic processes. Time separations between consecutive runway landings are modeled via sequence-dependent Erlang distributions and are affected by weather conditions, which also evolve continuously over time. The resulting multi-stage optimization problem is intractable using exact methods and we propose a novel simheuristic approach, based on the application of methods analogous to variable neighborhood search (VNS) in a high-dimensional stochastic environment. Our model is calibrated using flight tracking data for over 98,000 arrivals at Heathrow Airport. Results from numerical experiments indicate that our proposed simheuristic algorithm outperforms an alternative based on deterministic forecasts under a wide range of parameter values, with the largest benefits being seen when the underlying stochastic processes become more volatile and also when the on-time requirements of individual flights are given greater weight in the objective function.


title: Covariance-Based Hybrid Beamforming for Spectrally Efficient Joint Radar-Communications

abstract: Joint radar-communications (JRC) is considered to be a vital technology in deploying the next generation systems, since its useful in decongestion of the radio frequency (RF) spectrum and utilising the same hardware resources for dual functions. Using JRC systems for dual function generates interference between both the operations which needs to be addressed in future standardization. Furthermore, JRC systems can be advanced by deploying hybrid beamforming which implements fewer number of RF chains than the number of transmit antennas. This paper designs a robust hybrid beamformer for minimizing the interference of a JRC transmitter via RF chain selection resulting into mutual information maximization. We consider a weighted mutual information for the dual function JRC system and implement a common analog beamformer for both the operations. The mutual information maximization problem is formulated which is non-convex and difficult to solve. The problem is simplified to convex form and solved using Dinkelbach approximation abased fractional programming. The performance of the optimal RF selection based proposed approach is evaluated, compared with baselines and its effectiveness is inferred via numerical results.


title: Scaling laws for two-dimensional dendritic crystal growth in a narrow channel

abstract: We investigate analytically and computationally the dynamics of 2D needle crystal growth from the melt in a narrow channel. Our analytical theory predicts that, in the low supersaturation limit, the growth velocity $V$ decreases in time $t$ as a power law $V \sim t^{-2/3}$, which we validate by phase-field and dendritic-needle-network simulations. Simulations further reveal that, above a critical channel width $\Lambda \approx 5l_D$, where $l_D$ the diffusion length, needle crystals grow with a constant $V<V_s$, where $V_s$ is the free-growth needle crystal velocity, and approaches $V_s$ in the limit $\Lambda\gg l_D$.


title: Identification of medical devices using machine learning on distribution feeder data for informing power outage response

abstract: Power outages caused by extreme weather events due to climate change have doubled in the United States in the last two decades. Outages pose severe health risks to over 4.4 million individuals dependent on in-home medical devices. Data on the number of such individuals residing in a given area is limited. This study proposes a load disaggregation model to predict the number of medical devices behind an electric distribution feeder. This data can be used to inform planning and response. The proposed solution serves as a measure for climate change adaptation.


title: On Penalization in Stochastic Multi-armed Bandits

abstract: We study an important variant of the stochastic multi-armed bandit (MAB) problem, which takes penalization into consideration. Instead of directly maximizing cumulative expected reward, we need to balance between the total reward and fairness level. In this paper, we present some new insights in MAB and formulate the problem in the penalization framework, where rigorous penalized regret can be well defined and more sophisticated regret analysis is possible. Under such a framework, we propose a hard-threshold UCB-like algorithm, which enjoys many merits including asymptotic fairness, nearly optimal regret, better tradeoff between reward and fairness. Both gap-dependent and gap-independent regret bounds have been established. Multiple insightful comments are given to illustrate the soundness of our theoretical analysis. Numerous experimental results corroborate the theory and show the superiority of our method over other existing methods.


title: Time-varying Bayesian Network Meta-Analysis

abstract: The presence of methicillin-resistant \textit{Staphylococus Aureus} (MRSA) in complicated skin and soft structure infections (cSSSI) is associated with greater health risks and economic costs to patients. There is concern that MRSA is becoming resistant to other "gold standard" treatments such as vancomycin, and there is disagreement about the relative efficacy of vancocymin compared to linezolid. There are several review papers employing Bayesian Network Meta-Analyses (BNMAs) to investigate which treatments are best for MRSA related cSSSIs, but none address time-based design inconsistencies. This paper proposes a time-varying BNMA (tBNMA), which models time-varying treatment effects across studies using a Gaussian Process kernel. A dataset is compiled from nine existing MRSA cSSSI NMA review papers containing 58 studies comparing 19 treatments over 19 years. tBNMA finds evidence of a non-linear trend in the treatment effect of vancomycin - it became less effective than linezolid between 2002 and 2007, but has since recovered statistical equivalence.


title: Projective normality of canonical symmetric squares

abstract: Recall that a smooth complex projective curve has a very ample canonical bundle when it is non-hyperelliptic, and according to a theorem of M. Noether the resulting embedding is projectively normal. A theorem of Petri further asserts that the homogeneous ideal is generated by quadrics if the curve is neither trigonal nor a smooth plane quintic. In this note, we prove an analogue of Noether's theorem for the symmetric square of the curve - namely, the canonical bundle of the symmetric square determines a projectively normal embedding exactly when the curve itself is neither hyperelliptic, trigonal nor a smooth plane quintic. The theorem of Petri highlights the governing role played by quadric generation of the ideal of the curve.


title: Extracting task trees using knowledge retrieval search algorithms in functional object-oriented network

abstract: The functional object-oriented network (FOON) has been developed as a knowledge representation method that can be used by robots in order to perform task planning. A FOON can be observed as a graph that can provide an ordered plan for robots to retrieve a task tree, through the knowledge retrieval process. We compare two search algorithms to evaluate their performance in extracting task trees: iterative deepening search (IDS) and greedy best-first search (GBFS) with two different heuristic functions. Then, we determine which algorithm is capable of obtaining a task tree for various cooking recipes using the least number of functional units. Preliminary results show that each algorithm can perform better than the other, depending on the recipe provided to the search algorithm.


title: Existence and non-existence results for a semilinear fractional Neumann problem

abstract: We establish a priori $L^\infty$-estimates for non-negative solutions of a semilinear nonlocal Neumann problem. As a consequence of these estimates, we get non-existence of non-constant solutions under suitable assumptions on the diffusion coefficient and on the nonlinearity. Moreover, we prove an existence result for radial, radially non-decreasing solutions in the case of a possible supercritical nonlinearity, extending to the case $0<s\le 1/2$ the analysis started in [7].


title: FolkScope: Intention Knowledge Graph Construction for E-commerce Commonsense Discovery

abstract: Understanding users' intentions in e-commerce platforms requires commonsense knowledge. In this paper, we present FolkScope, an intention knowledge graph construction framework to reveal the structure of humans' minds about purchasing items. As commonsense knowledge is usually ineffable and not expressed explicitly, it is challenging to perform information extraction. Thus, we propose a new approach that leverages the generation power of large language models~(LLMs) and human-in-the-loop annotation to semi-automatically construct the knowledge graph. LLMs first generate intention assertions via e-commerce-specific prompts to explain shopping behaviors, where the intention can be an open reason or a predicate falling into one of 18 categories aligning with ConceptNet, e.g., IsA, MadeOf, UsedFor, etc. Then we annotate plausibility and typicality labels of sampled intentions as training data in order to populate human judgments to all automatic generations. Last, to structurize the assertions, we propose pattern mining and conceptualization to form more condensed and abstract knowledge. Extensive evaluations and studies demonstrate that our constructed knowledge graph can well model e-commerce knowledge and have many potential applications.


title: The logic of quantum mechanics incorporating time dimension

abstract: Similarly as classical propositional calculus is based algebraically on Boolean algebras, the logic of quantum mechanics was based on orthomodular lattices by G. Birkhoff and J. von Neumann and K. Husimi. However, this logic does not incorporate time dimension although it is apparent that the propositions occurring in the logic of quantum mechanics are depending on time. The aim of the present paper is to show that so-called tense operators can be introduced also in such a logic for given time set and given time preference relation. In this case we can introduce these operators in a purely algebraic way. We derive several important properties of such operators, in particular we show that they form dynamic pairs and, altogether, a dynamic algebra. We investigate connections of these operators with logical connectives conjunction and implication derived from Sasaki projections. Then we solve the converse problem, namely to find for given time set and given tense operators a time preference relation in order that the resulting time frame induces the given operators. We show that the given operators can be obtained as restrictions of operators induced by a suitable extended time frame.


title: Quantum simulation of dynamical phase transitions in noisy quantum devices

abstract: Zero-noise extrapolation provides an especially useful error mitigation method for noisy intermediate-scale quantum devices. Our analysis, based on matrix product density operators, of the transverse-field Ising model with depolarizing noise, reveals both advantages and inherent problems associated with zero-noise extrapolation when simulating non-equilibrium many-body dynamics. On the one hand, interestingly, noise alters systematically the behavior of the Loschmidt echo at the dynamical phase transition times, doubling the number of non-analytic points, and hence inducing an error that, inherently, cannot be mitigated. On the other, zero-noise extrapolation may be employed to recover quantum revivals of the Loschmidt echo, which would be completely missed in the absence of mitigation, and to retrieve faithfully noise-free inter-site correlations. Our results, which are in good agreement with those obtained using quantum simulators, reveal the potential of matrix product density operators for the investigation of the performance of quantum devices with a large number of qubits and deep noisy quantum circuits.


title: Reduced order modeling inversion of mono static data in a multi-scattering environment

abstract: The data-driven reduced order models (ROMs) have recently emerged as an efficient tool for the solution of the inverse scattering problems with applications to seismic and sonar imaging. One specification of this approach is that it requires the full square multiple-output/multiple-input (MIMO) matrix valued transfer function as data for multidimensional problems. The synthetic aperture radar (SAR), however, is limited to single input/single output (SISO) measurements corresponding to the diagonal of the matrix transfer function. Here we present a ROM based Lippmann-Schwinger approach overcoming this drawback. The ROMs are constructed to match the data for each source-receiver pair separately, and these are used to construct internal solutions for the corresponding source using only the data-driven Gramian. Efficiency of the proposed approach is demonstrated on 2D and 2.5D (3D propagation and 2D reflectors) numerical examples. The new algorithm not only suppresses multiple echoes seen in the Born imaging, but also takes advantage of illumination by them of some back sides of the reflectors, improving the quality of their mapping.


abstract: We consider a non-reciprocically coupled two-field Cahn-Hilliard system that has been shown to allow for oscillatory behaviour, a suppression of coarsening as well as the existence of localised states. Here, after introducing the model we first briefly review the linear stability of homogeneous states and show that all instability thresholds are identical to the ones for a corresponding Turing system (i.e., a two-species reaction-diffusion system). Next, we discuss possible interactions of linear modes and analyse the specific case of a ``Hopf-Turing'' resonance by discussing corresponding amplitude equations in a weakly nonlinear approach. The thereby obtained states are finally compared with fully nonlinear simulations for a specific conserved amended FitzHugh-Nagumo system. We conclude by a discussion of the limitations of the weakly nonlinear approach. The published version of this preprint can be found under T. Frohoff-Hu\"ulsmann, U. Thiele and L. M. Pismen. Nonreciprocity induces resonances in two-field Cahn-Hilliard model. Phil. Trans. R. Soc. A. 381: 20220087. 20220087. DOI: 10.1098/rsta.2022.0087


title: Simulated Mental Imagery for Robotic Task Planning

abstract: Traditional AI-planning methods for task planning in robotics require a symbolically encoded domain description. While powerful in well-defined scenarios, as well as human-interpretable, setting this up requires substantial effort. Different from this, most everyday planning tasks are solved by humans intuitively, using mental imagery of the different planning steps. Here we suggest that the same approach can be used for robots, too, in cases which require only limited execution accuracy. In the current study, we propose a novel sub-symbolic method called Simulated Mental Imagery for Planning (SiMIP), which consists of perception, simulated action, success-checking and re-planning performed on 'imagined' images. We show that it is possible to implement mental imagery-based planning in an algorithmically sound way by combining regular convolutional neural networks and generative adversarial networks. With this method, the robot acquires the capability to use the initially existing scene to generate action plans without symbolic domain descriptions, while at the same time plans remain human-interpretable, different from deep reinforcement learning, which is an alternative sub-symbolic approach. We create a dataset from real scenes for a packing problem of having to correctly place different objects into different target slots. This way efficiency and success rate of this algorithm could be quantified.


title: Forward Inclusive Jet Productions in pA Collisions

abstract: Motivated by recent experimental LHC measurements on the forward inclusive jet productions and based on our previous calculations on forward hadron productions, we calculate single inclusive jet cross-section in $pA$ collisions at forward rapidity within the color glass condensate framework up to the next-to-leading-order. Moreover, with the application of jet algorithm and proper subtraction of the rapidity and collinear divergences, we further demonstrate that the resulting next-to-leading-order hard coefficients are finite. In addition, in order to deal with the large logarithms that can potentially spoil the convergence of the perturbative expansion and improve the reliability of the numerical predictions, we introduce the collinear jet function and the threshold jet function and resum these large logarithms hidden in the hard coefficients.


title: The Universality of Power Law Slopes in the Solar Photosphere and Transition Region Observed with HMI and IRIS

abstract: We compare the size distributions of self-organized criticality (SOC) systems in the solar photosphere and the transition region, using magnetogram data from Helioseismic and Magnetic Imager (HMI) and Interface Region Imaging Spectrograph (IRIS)} data. For each dataset we fit a combination of a Gaussian and a power law size distribution function, which yields information on four different physical processes: (i) Gaussian random noise in IRIS data; (ii) spicular events in the plages of the transition region (described by power law size distribution in IRIS data); (iii) salt-and-pepper small-scale magnetic structures (described by the random noise in HMI magnetograms); and (iv) magnetic reconnection processes in flares and nanoflares (described by power law size distributions in HMI data). We find a high correlation (CCC=0.90) between IRIS and HMI data. Datasets with magnetic flux balance are generally found to match the SOC-predicted power law slope a_F=1.80 (for mean fluxes F), but exceptions occur due to arbitrary choices of the HMI field-of-view. The matching cases confirm the universality of SOC-inferred flux size distributions, and agree with the results of Parnell et al.~(2009), a_F=1.85 +/- 0.14.


title: Approximating Flexible Graph Connectivity via R\"acke Tree based Rounding

abstract: Flexible graph connectivity is a new network design model introduced by Adjiashvili. It has seen several recent algorithmic advances. Despite these, the approximability even in the setting of a single-pair $(s,t)$ is poorly understood. In our recent work, we raised the question of whether there is poly-logarithmic approximation for the survivable network design version (Flex-SNDP) when the connectivity requirements are fixed constants. In this paper, we adapt a powerful framework for survivable network design recently developed by Chen, Laekhanukit, Liao, and Zhang to give an affirmative answer to the question. The framework of is based on R\"acke trees and group Steiner tree rounding. The algorithm and analysis also establishes an upper bound on the integrality gap of an LP relaxation for Flex-SNDP.


title: The Point of Primitive Ontology

abstract: Bohmian mechanics grounds the predictions of quantum mechanics in precise dynamical laws for a primitive ontology of point particles. In an appraisal of the de-Broglie-Bohm theory, the paper discusses the crucial epistemological and conceptual role that a primitive ontology plays within a physical theory. It argues that quantum theories without primitive ontology fail to make contact with observable reality in a clear and consistent manner. Finally, it discusses Einstein's epistemological model and why it supports the primitive ontology approach.


title: Contrastive learning for regression in multi-site brain age prediction

abstract: Building accurate Deep Learning (DL) models for brain age prediction is a very relevant topic in neuroimaging, as it could help better understand neurodegenerative disorders and find new biomarkers. To estimate accurate and generalizable models, large datasets have been collected, which are often multi-site and multi-scanner. This large heterogeneity negatively affects the generalization performance of DL models since they are prone to overfit site-related noise. Recently, contrastive learning approaches have been shown to be more robust against noise in data or labels. For this reason, we propose a novel contrastive learning regression loss for robust brain age prediction using MRI scans. Our method achieves state-of-the-art performance on the OpenBHB challenge, yielding the best generalization capability and robustness to site-related noise.


title: Weighted Sum-Rate Maximization With Causal Inference for Latent Interference Estimation

abstract: The paper investigates the weighted sum-rate maximization (WSRM) problem with latent interfering sources outside the known network, whose power allocation policy is hidden from and uncontrollable to optimization. The paper extends the famous alternate optimization algorithm weighted minimum mean square error (WMMSE) [1] under a causal inference framework to tackle with WSRM. Specifically, with the possibility of power policy shifting in the hidden network, computing an iterating direction based only on the observed interference inherently implies that counterfactual is ignored in decision making. A method called synthetic control (SC) is used to estimate the counterfactual. For any link in the known network, SC constructs a convex combination of the interference on other links and uses it as an estimate for the counterfactual. Power iteration in the proposed SC-WMMSE is performed taking into account both the observed interference and its counterfactual. SC-WMMSE requires no more information than the original WMMSE in the optimization stage. To our best knowledge, this is the first paper explores the potential of SC in assisting mathematical optimization in addressing classic wireless optimization problems. Numerical results suggest the superiority of the SC-WMMSE over the original in both convergence and objective.


title: Ion-atom-atom three-body recombination: from the cold to the thermal regime

abstract: We present a study on ion-atom-atom reaction A+A+B$^+$ in a wide range of systems and collision energies ranging from 100$~\mu$K to 10$^5~$K, analyzing the two possible products: molecules and molecular ions. The dynamics is performed via a direct three-body formalism based on a classical trajectory method in hyperspherical coordinates developed in [J. Chem. Phys. $\textbf{140}$, 044307 (2014)]. Our chief finding is that the dissociation energy of the molecular ion product acts as a threshold energy separating the low and high energy regimes. In the low energy regime, the long-range tail of the three-body potential dictates the fate of the reaction and the main reaction product. On the contrary, in the high energy regime, the short-range of atom-atom and atom-ion interaction potential dominates the dynamics, enhancing molecular formation for the low energy regime.


title: Orthogonally Constrained Orbital Optimization: assessing changes of optimal orbitals for orthogonal multi-reference states

abstract: The choice of molecular orbitals is decisive in configuration interaction calculations. In this letter, a democratic description of the ground and excited states follows an orthogonally constrained orbitals optimization to produce state-specific orbitals. The approach faithfully recovers the excitation energy of afour-electron Hubbard trimer, whereas state-average calculations can miss the value by a factor 2.5. The method emphasises the need for orbitals optimizationto reduce expansions and to reach spectroscopic accuracy.


title: On Landauer--B\"uttiker formalism from a quantum quench

abstract: We study transport in the free fermionic one-dimensional systems subjected to arbitrary local potentials. The bias needed for the transport is modeled by the initial highly non-equilibrium distribution where only half of the system is populated. Additionally to that, the local potential is also suddenly changed when the transport starts. For such a quench protocol we compute the Full Counting Statistics (FCS) of the number of particles in the initially empty part. In the thermodynamic limit, the FCS can be expressed via the Fredholm determinant with the kernel depending on the scattering data and Jost solutions of the pre-quench and the post-quench potentials. We discuss the large-time asymptotic behavior of the obtained determinant and observe that if two or more bound states are present in the spectrum of the post-quench potential the information about the initial state manifests itself in the persistent oscillations of the FCS. On the contrary, when there are no bound states the asymptotic behavior of the FCS is determined solely by the scattering data of the post-quench potential, which for the current (the first moment) is given by the Landauer--B\"uttiker formalism. The information about the initial state can be observed only in the transient dynamics.

categories: cond-mat.mes-hall cond-mat.stat-mech math-ph math.MP


title: Extensive anisotropic lath martensite plasticity in dual-phase steels: A numerical-experimental investigation

abstract: This work presents a detailed experimental-numerical analysis of a low-carbon dual-phase steel microstructure, revealing evidence of significant anisotropic plastic deformation in lath martensite. A careful determination of the habit plane orientations in the present martensitic variants demonstrates that the observed traces of plastic slip coincide with the directions of the corresponding habit planes. To study the local lath martensite plastic activity, a dedicated substructure-enriched crystal plasticity based model is exploited. Compared with conventional bcc crystal plasticity, the model incorporates an extra crystallographic slip plane containing 3 softer slip systems parallel to the habit planes to capture the role of habit-plane plasticity. Simulations reveal consistent strain localization patterns as those observed in the experiments, with most plasticity localized in the martensite packets with their habit plane oriented favorably with respect to the applied load. Based on these insights, recommendations for future martensite modelling strategies and potential improvements of steels are discussed.


title: Versatile Diffusion: Text, Images and Variations All in One Diffusion Model

abstract: Recent advances in diffusion models have set an impressive milestone in many generation tasks, and trending works such as DALL-E2, Imagen, and Stable Diffusion have attracted great interest. Despite the rapid landscape changes, recent new approaches focus on extensions and performance rather than capacity, thus requiring separate models for separate tasks. In this work, we expand the existing single-flow diffusion pipeline into a multi-task multimodal network, dubbed Versatile Diffusion (VD), that handles multiple flows of text-to-image, image-to-text, and variations in one unified model. The pipeline design of VD instantiates a unified multi-flow diffusion framework, consisting of sharable and swappable layer modules that enable the crossmodal generality beyond images and text. Through extensive experiments, we demonstrate that VD successfully achieves the following: a) VD outperforms the baseline approaches and handles all its base tasks with competitive quality; b) VD enables novel extensions such as disentanglement of style and semantics, dual- and multi-context blending, etc.; c) The success of our multi-flow multimodal framework over images and text may inspire further diffusion-based universal AI research. Our code and models are open-sourced at https://github.com/SHI-Labs/Versatile-Diffusion.


title: Deformation Spaces and Static Animations

abstract: We study applications of 3D printing to the broad goal of understanding how mathematical objects vary continuously in families. To do so, we model the varying parameter as the vertical axis of a 3D print, introducing the notion of a static animation: a 3D printed object each of whose layers is a member of the continuously deforming family. We survey examples and draw connections to algebraic geometry, complex dynamics, chaos theory, and more. We also include a detailed tutorial (with accompanying code and files) so that the reader can create static animations of their own.


title: La matrice de logarithme en termes de chiffres $p$-adiques (The logarithm matrix in terms of $p$-adic digits)

abstract: Nous donnons une nouvelle description de la matrice de logarithme d'une forme modulaire en termes de distributions, g\'en\'eralisant le travail de Dion et Lei pour le cas $a_p=0$. Ce qui nous permet d'inclure le cas $a_p\ne 0$ est une nouvelle d\'efinition, celle d'une matrice de distributions, et la caract\'erisation de cette matrice par de chiffres $p$-adiques. On peut appliquer ces m\'ethodes au cas correspondant d'une distribution \`a plusieurs variables. -- We give a new description of the logarithm matrix of a modular form in terms of distributions, generalizing the work of Dion and Lei for the case $a_p=0$. What allows us to include the case $a_p\ne 0$ is a new definition, that of a distribution matrix, and the characterization of this matrix by $p$-adic digits. One can apply these methods to the corresponding case of distributions in multiple variables.


title: Three-dimensional streaming around an obstacle in a Hele-Shaw cell

abstract: The application of oscillatory flow around an obstacle drives a steady ``streaming'' due to inertial rectification, which has been used in a host of microfluidic applications. While theory has focused largely on two-dimensional (2D) flows, streaming in many practical microfluidic devices is three-dimensional (3D) due to confinement. We develop a three-dimensional streaming theory around an obstacle in a microchannel with a Hele-Shaw like geometry, where one dimension (depth) is much shorter than the other two dimensions. Utilizing inertial lubrication theory, we demonstrate that the time-averaged streaming flow has a three-dimensional structure. Notably, the flow changes direction across the depth of the channel, which is a feature not observed in less confined streaming setups. This feature is confirmed by our experiments of streaming around a cylinder sandwiched in a microchannel. Our theory also predicts that the streaming velocity decays as the inverse cube of the distance from the cylinder, faster than that expected from previous two-dimensional approaches. We verify this decay rate quantitatively using particle tracking measurements from experiments of streaming around cylinders with different aspect ratios at different driving frequencies.


title: BiGONLight: a new package for computing optical observables in Numerical Relativity

abstract: The investigation of relativistic effects in the most general way requires a unified treatment of light propagation in cosmology. This goal can be achieved with the new interpretation of the geodesic deviation equation in terms of the bilocal geodesic operators (BGO). The BGO formalism extends the standard formulation, providing a unified framework to describe all possible optical phenomena due to the interaction between light and spacetime curvature. In my dissertation, I present {\tt BiGONLight}, a {\tt Mathematica} package that applies the BGO formalism to study light propagation in numerical relativity. The package encodes the 3+1 bilocal geodesic operators framework as a collection of {\tt Mathematica} functions. The inputs are the spacetime metric plus the kinematics of the observer and the source in the form of the 3+1 quantities, which may come directly from a numerical simulation or can be provided by the user as analytical components. These data are then used for ray tracing and computing the BGOs in a completely general way, i.e. without relying on symmetries or specific coordinate choices. The primary purpose of the package is the computation of optical observables in arbitrary spacetimes. The uniform theoretical framework of the BGO formalism allows for the extraction of multiple observables within a single computation, while the {\tt Wolfram} language provides a flexible computational framework that makes the package highly adaptable to perform both numerical and analytical studies of light propagation.


title: Hopf algebras of multiple polylogarithms, and holomorphic 1-forms

abstract: We associate to a multiple polylogarithm a holomorphic 1-form on the universal abelian cover of its domain. We relate the 1-forms to the symbol and variation matrix and show that the 1-forms naturally define a lift of the variation of mixed Hodge structure associated to a polylogarithm. The results are conveniently described in terms of a variant H of Goncharov's Hopf algebra of multiple polylogarithms. In particular, we show that the association of a 1-form to a multiple polylogarithm induces a map from the Chevalley-Eilenberg complex of the Lie coalgebra of indecomposables of H to the de Rham complex.


title: Quantum simulation of quantum mechanical system with spatial noncommutativity

abstract: Quantum simulation has become a promising avenue of research that allows one to simulate and gain insight into the models of High Energy Physics whose experimental realizations are either complicated or inaccessible with current technology. We demonstrate the quantum simulation of such a model, a quantum mechanical system with spatial noncommutativity, which is inspired by the works in Noncommutative Geometry and Noncommutative Field theory for a universal quantum computer. We use the novel group theoretical formalism to map the Hamiltonian of such a noncommutative quantum system into the ordinary quantum mechanical Hamiltonian and then carry out the quantum simulation using the Trotter-Suzuki product formula. Furthermore, we distinguish the impact of the noncommutativity parameter on the quantum simulation, especially on the Trotter error, and point out how its sizable value affects the simulation.


title: Pruning Very Deep Neural Network Channels for Efficient Inference

abstract: In this paper, we introduce a new channel pruning method to accelerate very deep convolutional neural networks. Given a trained CNN model, we propose an iterative two-step algorithm to effectively prune each layer, by a LASSO regression based channel selection and least square reconstruction. We further generalize this algorithm to multi-layer and multi-branch cases. Our method reduces the accumulated error and enhances the compatibility with various architectures. Our pruned VGG-16 achieves the state-of-the-art results by 5x speed-up along with only 0.3% increase of error. More importantly, our method is able to accelerate modern networks like ResNet, Xception and suffers only 1.4%, 1.0% accuracy loss under 2x speed-up respectively, which is significant. Our code has been made publicly available.


title: Rank of the Nijenhuis tensor on parallelizable almost complex manifolds

abstract: We study almost complex structures on parallelizable manifolds via the rank of their Nijenhuis tensor. First, we show how the computations of such rank can be reduced to finding smooth functions on the underlying manifold solving a system of first order PDEs. On specific manifolds, we find an explicit solution. Then we compute the Nijenhuis tensor on curves of almost complex structures, showing that there is no constraint (except for lower semi-continuity) to the possible jumps of its rank. Finally, we focus on $6$-nilmanifolds and the associated Lie algebras. We classify which $6$-dimensional, nilpotent, real Lie algebras admit almost complex structures whose Nijenhuis tensor has a given rank, deducing the corresponding classification for left-invariant structures on $6$-nilmanifolds. We also find a topological upper-bound for the rank of the Nijenhuis tensor for left-invariant almost complex structures on solvmanifolds of any dimension, obtained as a quotient of a completely solvable Lie group. Our results are complemented by a large number of examples.


title: Transverse momentum dependent distribution functions in the threshold limit

abstract: We apply the joint threshold and transverse momentum dependent (TMD) factorization theorem to introduce new threshold-TMD distribution functions, including threshold-TMD parton distribution functions (PDFs) and fragmentation functions (FFs). We apply Soft-Collinear Effective Theory and renormalization group methods to carry out QCD evolution for both threshold-TMD PDFs and FFs. We show the universality of threshold-TMD functions among three standard processes, i.e. the Drell-Yan production in $pp$ collisions, semi-inclusive deep-inelastic scattering and back-to-back two hadron production in $e^+e^-$ collisions. In the end, we present the numerical predictions for different threshold-TMD functions and also transverse momentum distributions at $pp$, $ep$, and $e^+e^-$ collisions.


title: A positive cosmological constant as a geometrical artifact

abstract: We revisit the classical mechanism to produce $d-$dimensional spacetimes via Kaluza-Klein compactification. We made the assumption that the $\left(d+1\right) -$dimensional bulk geometry $\mathcal{M}$ admits a Homothetic Vector Field (HVF) $\mathbf{H}$ relaxing the existence of a zero i.e. $\mathbf{H}\neq 0$ holds on $\mathcal{M}$ and the homothetic bivector $F_{ab}(\mathbf{H})=0$. Under these circumstances we identify the origin of a positive cosmological constant in the $d-$dimensional spacetime as the homothetic factor representing a geometrical artifact of late time state of the $\left( d+1\right) -$dimensional bulk spacetime.


title: ALP production in weak mesonic decays

abstract: Axion-Like-Particles are among the most economical and well motivated extensions of the Standard Model. In this work ALP production from hadronic and leptonic meson decays are studied. The hadronization part of these decay amplitudes have been obtained using Brodsky-Lepage method or LQCD, at needs. In particular, the general expressions for ALP emission in mesonic s- and t-channel tree-level processes are thoroughly discussed, for pseudoscalar and vector mesons. Accordingly, the calculation of the decay amplitudes for $M_I\to M_F \,a$ and $M\to \ell \nu a$ are presented. Finally, bounds on the (low-energy effective Lagrangian) ALP-fermion couplings are derived, from present and future flavor experiments.


title: Quantum sensing with tunable superconducting qubits: optimization and speed-up

abstract: Sensing and metrology play an important role in fundamental science and applications by fulfilling the ever-present need for more precise data sets and by allowing researchers to make more reliable conclusions on the validity of theoretical models. Sensors are ubiquitous. They are used in applications across a diverse range of fields including gravity imaging, geology, navigation, security, timekeeping, spectroscopy, chemistry, magnetometry, healthcare, and medicine. Current progress in quantum technologies has inevitably triggered the exploration of the use of quantum systems as sensors with new and improved capabilities. This article describes the optimization of the quantum-enhanced sensing of external magnetic fluxes with a Kitaev phase estimation algorithm based on a sensor with tunable transmon qubits. It provides the optimal flux biasing point for sensors with different maximal qubit transition frequencies. An estimation of decoherence rates is made for a given design. The use of $2-$ and $3-$qubit entangled states for sensing are compared in simulation with the single qubit case. The flux sensing accuracy reaches $10^{-8}\cdot\Phi_0$ and scales with time as $\sim\ 1/t$ which proves the speed-up of sensing with high ultimate accuracy.


title: On interpretability and proper latent decomposition of autoencoders

abstract: The dynamics of a turbulent flow tend to occupy only a portion of the phase space at a statistically stationary regime. From a dynamical systems point of view, this portion is the attractor. The knowledge of the turbulent attractor is useful for two purposes, at least: (i) We can gain physical insight into turbulence (what is the shape and geometry of the attractor?), and (ii) it provides the minimal number of degrees of freedom to accurately describe the turbulent dynamics. Autoencoders enable the computation of an optimal latent space, which is a low-order representation of the dynamics. If properly trained and correctly designed, autoencoders can learn an approximation of the turbulent attractor, as shown by Doan, Racca and Magri (2022). In this paper, we theoretically interpret the transformations of an autoencoder. First, we remark that the latent space is a curved manifold with curvilinear coordinates, which can be analyzed with simple tools from Riemann geometry. Second, we characterize the geometrical properties of the latent space. We mathematically derive the metric tensor, which provides a mathematical description of the manifold. Third, we propose a method -- proper latent decomposition (PLD) -- that generalizes proper orthogonal decomposition of turbulent flows on the autoencoder latent space. This decomposition finds the dominant directions in the curved latent space. This theoretical work opens up computational opportunities for interpreting autoencoders and creating reduced-order models of turbulent flows.


title: Zooming into CP violation in $B_{(s)}\to hh$ Decays

abstract: The LHCb collaboration has recently reported the first observation of CP violation in the penguin-dominated $B^0_s\to K^-K^+$ decay and further new measurements, indicating differences between the direct CP asymmetries of both the $B^0_s\to K^-K^+$, $B^0_d\to\pi^-K^+$ and the $B^0_d\to \pi^-\pi^+$, $B^0_s\to K^-\pi^+$ modes. We show that these puzzling differences can be accommodated through sizeable penguin annihilation and exchange topologies in the Standard Model, and constrain them. Utilising the $U$-spin symmetry, we extract the angle $\gamma$ of the unitarity triangle from the CP asymmetries in the $B^0_s\to K^-K^+$, $B^0_d\to \pi^-\pi^+$ system alone, finding $\gamma=(65^{+11}_{-7})^\circ$, in perfect agreement with the determination from tree-level $B\to DK$ decays. The $B^0_s$--$\bar B^0_s$ mixing phase $\phi_s$ can be extracted from CP violation measurements in $B^0_s\to K^-K^+$ in a clean way. We present a new strategy and extract $\phi_s=-(3.6\pm 5.4)^\circ$. This result is in agreement with the determination from $B^0_s\to J/\psi \phi$ decays. New CP-violating contributions would influence these determinations differently. Hence it is interesting to keep monitoring both as the experimental picture sharpens.


title: Photometric detection of internal gravity waves in upper main-sequence stars. III. Comparison of amplitude spectrum fitting and Gaussian process regression using celerite2

abstract: Studies of massive stars using space photometry have revealed that they commonly exhibit stochastic low-frequency (SLF) variability. This has been interpreted as being caused by internal gravity waves (IGWs) excited at the interface of convective and radiative regions within stellar interiors, such as the convective core or sub-surface convection zones. We aim to compare the properties of SLF variability in massive main-sequence stars observed by the TESS mission determined by different statistical methods, and confirm the correlation between the morphology of SLF variability and a star's location in the HR diagram. From a sample of 30 massive stars observed by TESS, we compare the resultant parameters of SLF variability, in particular the characteristic frequency, obtained from fitting the amplitude spectrum of the light curve with those inferred from fitting the covariance structure of the light curve using the celerite2 Gaussian process (GP) regression software and a damped SHO kernel. We find a difference in the characteristic frequency obtained from the amplitude spectrum fitting and from fitting the co-variance structure of the light curve using a GP regression with celerite2 for only a minority of the considered sample. However, the trends among mass, age and the properties of SLF variability previously reported remain unaffected. GP regression is a useful and novel methodology to efficiently characterise SLF variability in massive stars compared to previous techniques used in the literature. We conclude that the correlation between a star's SLF variability, in particular the characteristic frequency, and its location in the HR diagram is robust for main-sequence massive stars. There also exists a distribution in the stochasticity of SLF variability in massive stars, which indicates that the coherency of SLF variability is also a function of mass and age in massive stars.


title: Non-perturbative non-Gaussianity and primordial black holes

abstract: We present a non-perturbative method for calculating the abundance of primordial black holes given an arbitrary one-point probability distribution function for the primordial curvature perturbation, $P(\zeta)$. A non-perturbative method is essential when considering non-Gaussianities that cannot be treated using a conventional perturbative expansion. To determine the full statistics of the density field, we relate $\zeta$ to a Gaussian field by equating the cumulative distribution functions. We consider two examples: a specific local-type non-Gaussian distribution arising from ultra slow roll models, and a general piecewise model for $P(\zeta)$ with an exponential tail. We demonstrate that the enhancement of primordial black hole formation is due to the intermediate regime, rather than the far tail. We also show that non-Gaussianity can have a significant impact on the shape of the primordial black hole mass distribution.


title: Probabilistic Deep Metric Learning for Hyperspectral Image Classification

abstract: This paper proposes a probabilistic deep metric learning (PDML) framework for hyperspectral image classification, which aims to predict the category of each pixel for an image captured by hyperspectral sensors. The core problem for hyperspectral image classification is the spectral variability between intraclass materials and the spectral similarity between interclass materials, motivating the further incorporation of spatial information to differentiate a pixel based on its surrounding patch. However, different pixels and even the same pixel in one patch might not encode the same material due to the low spatial resolution of most hyperspectral sensors, leading to an inconsistent judgment of a specific pixel. To address this issue, we propose a probabilistic deep metric learning framework to model the categorical uncertainty of the spectral distribution of an observed pixel. We propose to learn a global probabilistic distribution for each pixel in the patch and a probabilistic metric to model the distance between distributions. We treat each pixel in a patch as a training sample, enabling us to exploit more information from the patch compared with conventional methods. Our framework can be readily applied to existing hyperspectral image classification methods with various network architectures and loss functions. Extensive experiments on four widely used datasets including IN, UP, KSC, and Houston 2013 datasets demonstrate that our framework improves the performance of existing methods and further achieves the state of the art. Code is available at: https://github.com/wzzheng/PDML.


title: Motor imagery classification using EEG spectrograms

abstract: The loss of limb motion arising from damage to the spinal cord is a disability that could effect people while performing their day-to-day activities. The restoration of limb movement would enable people with spinal cord injury to interact with their environment more naturally and this is where a brain-computer interface (BCI) system could be beneficial. The detection of limb movement imagination (MI) could be significant for such a BCI, where the detected MI can guide the computer system. Using MI detection through electroencephalography (EEG), we can recognize the imagination of movement in a user and translate this into a physical movement. In this paper, we utilize pre-trained deep learning (DL) algorithms for the classification of imagined upper limb movements. We use a publicly available EEG dataset with data representing seven classes of limb movements. We compute the spectrograms of the time series EEG signal and use them as an input to the DL model for MI classification. Our novel approach for the classification of upper limb movements using pre-trained DL algorithms and spectrograms has achieved significantly improved results for seven movement classes. When compared with the recently proposed state-of-the-art methods, our algorithm achieved a significant average accuracy of 84.9% for classifying seven movements.


title: Quantum-Dynamical Semigroups and the Church of the Larger Hilbert Space

abstract: In this work we investigate Stinespring dilations of quantum-dynamical semigroups, which are known to exist by means of a constructive proof given by Davies in the early 70s. We show that if the semigroup describes an open system, that is, if it does not consist of only unitary channels, then the evolution of the dilated closed system has to be generated by an unbounded Hamiltonian; subsequently the environment has to correspond to an infinite-dimensional Hilbert space, regardless of the original system. Moreover, we prove that the second derivative of Stinespring dilations with a bounded total Hamiltonian yields the dissipative part of some quantum-dynamical semigroup -- and vice versa. In particular this characterizes the generators of quantum-dynamical semigroups via Stinespring dilations.


title: Visual Semantic Segmentation Based on Few/Zero-Shot Learning: An Overview

abstract: Visual semantic segmentation aims at separating a visual sample into diverse blocks with specific semantic attributes and identifying the category for each block, and it plays a crucial role in environmental perception. Conventional learning-based visual semantic segmentation approaches count heavily on large-scale training data with dense annotations and consistently fail to estimate accurate semantic labels for unseen categories. This obstruction spurs a craze for studying visual semantic segmentation with the assistance of few/zero-shot learning. The emergence and rapid progress of few/zero-shot visual semantic segmentation make it possible to learn unseen-category from a few labeled or zero-labeled samples, which advances the extension to practical applications. Therefore, this paper focuses on the recently published few/zero-shot visual semantic segmentation methods varying from 2D to 3D space and explores the commonalities and discrepancies of technical settlements under different segmentation circumstances. Specifically, the preliminaries on few/zero-shot visual semantic segmentation, including the problem definitions, typical datasets, and technical remedies, are briefly reviewed and discussed. Moreover, three typical instantiations are involved to uncover the interactions of few/zero-shot learning with visual semantic segmentation, including image semantic segmentation, video object segmentation, and 3D segmentation. Finally, the future challenges of few/zero-shot visual semantic segmentation are discussed.


title: LHC EFT WG Report: Experimental Measurements and Observables

abstract: The LHC effective field theory working group gathers members of the LHC experiments and the theory community to provide a framework for the interpretation of LHC data in the context of EFT. In this note we discuss experimental observables and corresponding measurements in analysis of the Higgs, top, and electroweak data at the LHC. We review the relationship between operators and measurements relevant for the interpretation of experimental data in the context of a global SMEFT analysis. One of the goals of ongoing effort is bridging the gap between theory and experimental communities working on EFT, and in particular concerning optimised analyses. This note serves as a guide to experimental measurements and observables leading to EFT fits and establishes good practice, but does not present authoritative guidelines how those measurements should be performed.


title: Lattice Instability of UTe$_2$ Studied by Ultrasonic Measurements

abstract: The elastic constants of an unconventional superconductor, UTe$_2$, were investigated using ultrasound. In this paper, we report the elastic response of the normal state at temperatures down to 2 K and up to 14 T for $H \parallel b$ at ambient pressure. The transverse ultrasonic mode $C_{55}$, which corresponds to the strain susceptibility of $\varepsilon_{zx}$, shows softening with decreasing temperature, whereas the $C_{44}$ and $C_{33}$ modes do not show such softening. This clear mode dependence strongly suggests that UTe$_2$ has a lattice instability for this specific symmetry.


title: Galaxy And Mass Assembly: Galaxy Morphology in the Green Valley, Prominent rings and looser Spiral Arms

abstract: Galaxies broadly fall into two categories: star-forming (blue) galaxies and quiescent (red) galaxies. In between, one finds the less populated ``green valley". Some of these galaxies are suspected to be in the process of ceasing their star-formation through a gradual exhaustion of gas supply or already dead and are experiencing a rejuvenation of star-formation through fuel injection. We use the Galaxy And Mass Assembly database and the Galaxy Zoo citizen science morphological estimates to compare the morphology of galaxies in the green valley against those in the red sequence and blue cloud. Our goal is to examine the structural differences within galaxies that fall in the green valley, and what brings them there. Previous results found disc features such as rings and lenses are more prominently represented in the green valley population. We revisit this with a similar sized data set of galaxies with morphology labels provided by the Galaxy Zoo for the GAMA fields based on new KiDS images. Our aim is to compare qualitatively the results from expert classification to that of citizen science. We observe that ring structures are indeed found more commonly in green valley galaxies compared to their red and blue counterparts. We suggest that ring structures are a consequence of disc galaxies in the green valley actively exhibiting characteristics of fading discs and evolving disc morphology of galaxies. We note that the progression from blue to red correlates with loosening spiral arm structure.


title: Monte Carlo Simulation of Lane-Emden Type Equations Arising in Astrophysics

abstract: Monte Carlo (MC) method played an essential role in many areas of human activity and has found application in many branches of physical science. This paper proposes a computational technique based on MC algorithms to solve Lane-Emden (LE) type equations. We analyze four LE equations arising in astrophysics: the positive and negative indices of the polytropic gas spheres, the isothermal gas sphere, and the white dwarf equation. We calculated eleven models (i.e., eleven LE equations) of the positive index polytropes, nine for the negative index polytrope, the isothermal gas sphere, and the white dwarf equation. Comparing the MC and numerical/analytical models gives good agreement for the four LE equations under study.


title: Improving AFL++ CmpLog: Tackling the bottlenecks

abstract: The performance of the AFL++ CmpLog feature varies considerably for specific programs under test (PUTs). In this paper it is demonstrated that the main cause of the poor performance is low seed entropy, and a lack of deduplication of magic bytes candidates. An improvement is proposed by mapping comparisons to input bytes, in order to track which comparisons are controlled by what input bytes. This mapping is then used to fuzz only the comparison values that are magic byte candidates for that input part. Second, a caching mechanism is introduced to reduce the number of redundant executions. The evaluation of the improved versions shows a significant coverage gain compared to the original AFL++ implementation of CmpLog for all PUTs, without breaking functionality. The proposed solution in this paper provides a solid basis for a redesign of CmpLog.


title: MEAL: Stable and Active Learning for Few-Shot Prompting

abstract: Few-shot classification has made great strides due to foundation models that, through priming and prompting, are highly effective few-shot learners. However, this approach has high variance both across different sets of few shots (data selection) and across different finetuning runs (run variability). This is problematic not only because it impedes the fair comparison of different approaches, but especially because it makes few-shot learning too unreliable for many real-world applications. To alleviate these issues, we make two contributions for more stable and effective few-shot learning: First, we propose novel ensembling methods and show that they substantially reduce run variability. Second, we introduce a new active learning (AL) criterion for data selection and present the first AL-based approach specifically tailored towards prompt-based learning. In our experiments, we show that our combined method, MEAL (Multiprompt finetuning and prediction Ensembling with Active Learning), improves overall performance of prompt-based finetuning by 2.3 points on five diverse tasks. We publicly share our code and data splits in https://github.com/akoksal/MEAL.


title: Dark Matter from freeze-in and its inhomogeneities

abstract: We consider generic freeze-in processes for generation of Dark Matter, together with the consequent re-thermalization of the Standard Model fluid. We find that Dark Matter inherits the Standard Model adiabatic inhomogeneities on the cosmological scales probed by current observations, that were super-horizon during freeze-in. Thereby, freeze-in satisfies the bounds on iso-curvature perturbations.


title: An environmental disturbance observer framework for autonomous surface vessels

abstract: This paper proposes a robust disturbance observer framework for maritime autonomous surface vessels considering model and measurement uncertainties. The core contribution lies in a nonlinear disturbance observer, reconstructing the forces on a vessel impacted by the environment. For this purpose, mappings are found leading to synchronized global exponentially stable error dynamics. With the stability theory of Lyapunov, it is proven that the error converges exponentially into a ball, even if the disturbances are highly dynamic. Since measurements are affected by noise and physical models can be erroneous, an unscented Kalman filter (UKF) is used to generate more reliable state estimations. In addition, a noise estimator is introduced, which approximates the noise strength. Depending on the severity of the measurement noise, the observed disturbances are filtered through a cascaded structure consisting of a weighted moving average (WMA) filter, a UKF, and the proposed disturbance observer. To investigate the capability of this observer framework, the environmental disturbances are simulated dynamically under consideration of different model and measurement uncertainties. It can be seen that the observer framework can approximate dynamical forces on a vessel impacted by the environment despite using a low measurement sampling rate, an erroneous model, and noisy measurements.


title: Collaborative and AI-aided Exam Question Generation using Wikidata in Education

abstract: Since the COVID-19 outbreak, the use of digital learning or education platforms has significantly increased. Teachers now digitally distribute homework and provide exercise questions. In both cases, teachers need to continuously develop novel and individual questions. This process can be very time-consuming and should be facilitated and accelerated both through exchange with other teachers and by using Artificial Intelligence (AI) capabilities. To address this need, we propose a multilingual Wikimedia framework that allows for collaborative worldwide teacher knowledge engineering and subsequent AI-aided question generation, test, and correction. As a proof of concept, we present >>PhysWikiQuiz<<, a physics question generation and test engine. Our system (hosted by Wikimedia at https://physwikiquiz.wmflabs.org) retrieves physics knowledge from the open community-curated database Wikidata. It can generate questions in different variations and verify answer values and units using a Computer Algebra System (CAS). We evaluate the performance on a public benchmark dataset at each stage of the system workflow. For an average formula with three variables, the system can generate and correct up to 300 questions for individual students based on a single formula concept name as input by the teacher.


title: LST Numbers for $Q^{\text{e.c.}}$ and $I$ style quantifiers

abstract: We introduce two schemes of quantifiers analogous to $I$ and $Q^\text{e.c.}$, which tell us about regular cardinals of small Cantor-Bendixson rank. We examine how the L\"owenheim-Skolem-Tarski numbers of these quantifiers interact with one another, and with those of $I$ and $Q^{\text{e.c.}}$. We then find the exact lower bound for each of the LST numbers, assuming the consistency of supercompacts.


title: Emergence of Classicality in Stern-Gerlach Experiment via Self-Gravity

abstract: Emergence of classicality from quantum mechanics, a hotly debated topic, has had no satisfactory resolution so far. Various approaches including decoherence and gravitational interactions have been suggested. In the present work, the Schr\"odinger-Newton model is used to study the role of semi-classical self-gravity in the evolution of massive spin-1/2 particles in a Stern-Gerlach experiment. For small mass, evolution of the initial wavepacket in a spin superposition shows a splitting in the magnetic field gradient into two trajectories as in the standard Stern-Gerlach experiment. For larger mass, the deviations from the central path are less than in the standard Stern-Gerlach case, while for high enough mass, the wavepacket does not split, and instead follows the classical trajectory for a magnetic moment in inhomogeneous magnetic field. This indicates the emergence of classicality due to self-gravitational interaction when the mass is increased. In contrast, decoherence which is a strong contender for emergence of classicality, leads to a \emph{mixed state} of two trajectories corresponding to the spin-up and spin-down states, and not the classically expected path. The classically expected path of the particle probably cannot be explained even in the many-worlds interpretation of quantum mechanics. Stern-Gerlach experiments in the macroscopic domain are needed to settle this question.


title: From incoherent field to coherent reconnection: understanding convection-driven coronal heating in the quiet Sun

abstract: Magnetic reconnection in the quiet Sun is a phenomenon that is consistently observed, and it has recently become feasible to simulate via 3D numerical models of realistically stratified and convection-driven reconnection. We aim to illustrate ways by which quiet Sun fields may contribute to solar atmospheric heating via magnetic reconnection that is driven by convective motion. We also aim to compare our stratified model to earlier idealized coronal models in terms of reconnection drivers and topological conditions. We analyzed a simulation of the quiet Sun in which a complex coronal magnetic field is self-consistently driven by the underlying convection. We employed a selection of Lagrangian markers to trace the spatiotemporal behavior of specific magnetic features that are relevant to magnetic reconnection and atmospheric heating. A large-scale reconnection-driven heating event occurs in the simulated corona, in a flattened X-shaped feature characterized by a weak field and high current. Relevant features include a smooth overlying horizontal field, an arcade, and a horizontal flux rope which eventually reconnect with the overlying field, raising coronal plasma temperatures up to 1.47 MK. We find that our results are in good agreement with idealized coronal flare models, which demonstrates that the same physical concepts are valid. We also find that the reconnecting flux rope and arcade are neither formed by any obvious coherent flux emergence, nor by any ordered photospheric motion or flux cancellation. Instead, they seem to develop merely from the self-consistent convective driving of pre-existing tangled field lines. This gradual ordering suggests an inverse cascade of magnetic helicity via smaller reconnection events, located at or above photospheric flux concentrations. We suggest that this case is representative of heating events that may be ubiquitous in the real quiet Sun.


title: Classifying text using machine learning models and determining conversation drift

abstract: Text classification helps analyse texts for semantic meaning and relevance, by mapping the words against this hierarchy. An analysis of various types of texts is invaluable to understanding both their semantic meaning, as well as their relevance. Text classification is a method of categorising documents. It combines computer text classification and natural language processing to analyse text in aggregate. This method provides a descriptive categorization of the text, with features like content type, object field, lexical characteristics, and style traits. In this research, the authors aim to use natural language feature extraction methods in machine learning which are then used to train some of the basic machine learning models like Naive Bayes, Logistic Regression, and Support Vector Machine. These models are used to detect when a teacher must get involved in a discussion when the lines go off-topic.


title: User-Specific Bicluster-based Collaborative Filtering: Handling Preference Locality, Sparsity and Subjectivity

abstract: Collaborative Filtering (CF), the most common approach to build Recommender Systems, became pervasive in our daily lives as consumers of products and services. However, challenges limit the effectiveness of Collaborative Filtering approaches when dealing with recommendation data, mainly due to the diversity and locality of user preferences, structural sparsity of user-item ratings, subjectivity of rating scales, and increasingly high item dimensionality and user bases. To answer some of these challenges, some authors proposed successful approaches combining CF with Biclustering techniques. This work assesses the effectiveness of Biclustering approaches for CF, comparing the impact of algorithmic choices, and identifies principles for superior Biclustering-based CF. As a result, we propose USBFC, a Biclustering-based CF approach that creates user-specific models from strongly coherent and statistically significant rating patterns, corresponding to subspaces of shared preferences across users. Evaluation on real-world data reveals that USBCF achieves competitive predictive accuracy against state-of-the-art CF methods. Moreover, USBFC successfully suppresses the main shortcomings of the previously proposed state-of-the-art biclustering-based CF by increasing coverage, and coclustering-based CF by strengthening subspace homogeneity.


title: FlowGrad: Using Motion for Visual Sound Source Localization

abstract: Most recent work in visual sound source localization relies on semantic audio-visual representations learned in a self-supervised manner, and by design excludes temporal information present in videos. While it proves to be effective for widely used benchmark datasets, the method falls short for challenging scenarios like urban traffic. This work introduces temporal context into the state-of-the-art methods for sound source localization in urban scenes using optical flow as a means to encode motion information. An analysis of the strengths and weaknesses of our methods helps us better understand the problem of visual sound source localization and sheds light on open challenges for audio-visual scene understanding.


title: A Survey on the Integration of Machine Learning with Sampling-based Motion Planning

abstract: Sampling-based methods are widely adopted solutions for robot motion planning. The methods are straightforward to implement, effective in practice for many robotic systems. It is often possible to prove that they have desirable properties, such as probabilistic completeness and asymptotic optimality. Nevertheless, they still face challenges as the complexity of the underlying planning problem increases, especially under tight computation time constraints, which impact the quality of returned solutions or given inaccurate models. This has motivated machine learning to improve the computational efficiency and applicability of Sampling-Based Motion Planners (SBMPs). This survey reviews such integrative efforts and aims to provide a classification of the alternative directions that have been explored in the literature. It first discusses how learning has been used to enhance key components of SBMPs, such as node sampling, collision detection, distance or nearest neighbor computation, local planning, and termination conditions. Then, it highlights planners that use learning to adaptively select between different implementations of such primitives in response to the underlying problem's features. It also covers emerging methods, which build complete machine learning pipelines that reflect the traditional structure of SBMPs. It also discusses how machine learning has been used to provide data-driven models of robots, which can then be used by a SBMP. Finally, it provides a comparative discussion of the advantages and disadvantages of the approaches covered, and insights on possible future directions of research. An online version of this survey can be found at: https://prx-kinodynamic.github.io/


title: Easy to Decide, Hard to Agree: Reducing Disagreements Between Saliency Methods

abstract: A popular approach to unveiling the black box of neural NLP models is to leverage saliency methods, which assign scalar importance scores to each input component. A common practice for evaluating whether an interpretability method is faithful has been to use evaluation-by-agreement -- if multiple methods agree on an explanation, its credibility increases. However, recent work has found that saliency methods exhibit weak rank correlations even when applied to the same model instance and advocated for the use of alternative diagnostic methods. In our work, we demonstrate that rank correlation is not a good fit for evaluating agreement and argue that Pearson-$r$ is a better-suited alternative. We further show that regularization techniques that increase faithfulness of attention explanations also increase agreement between saliency methods. By connecting our findings to instance categories based on training dynamics, we show that the agreement of saliency method explanations is very low for easy-to-learn instances. Finally, we connect the improvement in agreement across instance categories to local representation space statistics of instances, paving the way for work on analyzing which intrinsic model properties improve their predisposition to interpretability methods.


title: Methodological proposal to identify the nationality of Twitter users through Random-Forests

abstract: We disclose a methodology to determine the participants in discussions and their contributions in social networks with a local relationship (e.g., nationality), providing certain levels of trust and efficiency in the process. The dynamic is a challenge that has demanded studies and some approximations to recent solutions. The study addressed the problem of identifying the nationality of users in the Twitter social network before an opinion request (of a political nature and social participation). The employed methodology classifies, via machine learning, the Twitter users' nationality to carry out opinion studies in three Central American countries. The Random Forests algorithm is used to generate classification models with small training samples, using exclusively numerical characteristics based on the number of times that different interactions among users occur. When averaging the proportions achieved by inferences of the ratio of nationals of each country, in the initial data, an average of 77.40% was calculated, compared to 91.60% averaged after applying the automatic classification model, an average increase of 14.20%. In conclusion, it can be seen that the suggested set of method provides a reasonable approach and efficiency in the face of opinion problems.


title: Pragmatics in Language Grounding: Phenomena, Tasks, and Modeling Approaches

abstract: People rely heavily on context to enrich meaning beyond what is literally said, enabling concise but effective communication. To interact successfully and naturally with people, user-facing artificial intelligence systems will require similar skills in pragmatics: relying on various types of context -- from shared linguistic goals and conventions, to the visual and embodied world -- to use language effectively. We survey existing grounded settings and pragmatic modeling approaches and analyze how the task goals, environmental contexts, and communicative affordances in each work enrich linguistic meaning. We present recommendations for future grounded task design to naturally elicit pragmatic phenomena, and suggest directions that focus on a broader range of communicative contexts and affordances.


title: A study of the hydrostatic mass bias dependence and evolution within The Three Hundred clusters

abstract: We use a set of about 300 simulated clusters from The Three Hundred Project to calculate their hydrostatic masses and evaluate the associated bias by comparing them with the true cluster mass. Over a redshift range from 0.07 to 1.3, we study the dependence of the hydrostatic bias on redshift, concentration, mass growth, dynamical state, mass, and halo shapes. We find almost no correlation between the bias and any of these parameters. However, there is a clear evidence that the scatter of the mass-bias distribution is larger for low-concentrated objects, high mass growth, and more generically for disturbed systems. Moreover, we carefully study the evolution of the bias of twelve clusters throughout a major-merger event. We find that the hydrostatic-mass bias follows a particular evolution track along the merger process: to an initial significant increase of the bias recorded at the begin of merger, a constant plateaus follows until the end of merge, when there is a dramatic decrease in the bias before the cluster finally become relaxed again. This large variation of the bias is in agreement with the large scatter of the hydrostatic bias for dynamical disturbed clusters. These objects should be avoided in cosmological studies because their exact relaxation phase is difficult to predict, hence their mass bias cannot be trivially accounted for.


title: SDPs and Robust Satisfiability of Promise CSP

abstract: For a constraint satisfaction problem (CSP), a robust satisfaction algorithm is one that outputs an assignment satisfying most of the constraints on instances that are near-satisfiable. It is known that the CSPs that admit efficient robust satisfaction algorithms are precisely those of bounded width, i.e., CSPs whose satisfiability can be checked by a simple local consistency algorithm (eg., 2-SAT or Horn-SAT in the Boolean case). While the exact satisfiability of a bounded width CSP can be checked by combinatorial algorithms, the robust algorithm is based on rounding a canonical Semidefinite programming(SDP) relaxation. In this work, we initiate the study of robust satisfaction algorithms for promise CSPs, which are a vast generalization of CSPs that have received much attention recently. The motivation is to extend the theory beyond CSPs, as well as to better understand the power of SDPs. We present robust SDP rounding algorithms under some general conditions, namely the existence of particular high-dimensional Boolean symmetries known as majority or alternating threshold polymorphisms. On the hardness front, we prove that the lack of such polymorphisms makes the PCSP hard for all pairs of symmetric Boolean predicates. Our method involves a novel method to argue SDP gaps via the absence of certain colorings of the sphere, with connections to sphere Ramsey theory. We conjecture that PCSPs with robust satisfaction algorithms are precisely those for which the feasibility of the canonical SDP implies (exact) satisfiability. We also give a precise algebraic condition, known as a minion characterization, of which PCSPs have the latter property.


title: On the length of Pierce expansions

abstract: For a given positive integer $n$, how long can the process $x \mapsto n\text{ }(\text{mod } x)$ last before reaching $0$? We improve Erd\H{o}s and Shallit's upper bound of $O(n^{\frac{1}{3}+\varepsilon})$ to $O(n^{\frac{1}{3}-\frac{2}{177}+\varepsilon})$ for any $\varepsilon > 0$.