title: Towards NeuroAI: Introducing Neuronal Diversity into Artificial Neural Networks

abstract: Throughout history, the development of artificial intelligence, particularly artificial neural networks, has been open to and constantly inspired by the increasingly deepened understanding of the brain, such as the inspiration of neocognitron, which is the pioneering work of convolutional neural networks. Per the motives of the emerging field: NeuroAI, a great amount of neuroscience knowledge can help catalyze the next generation of AI by endowing a network with more powerful capabilities. As we know, the human brain has numerous morphologically and functionally different neurons, while artificial neural networks are almost exclusively built on a single neuron type. In the human brain, neuronal diversity is an enabling factor for all kinds of biological intelligent behaviors. Since an artificial network is a miniature of the human brain, introducing neuronal diversity should be valuable in terms of addressing those essential problems of artificial networks such as efficiency, interpretability, and memory. In this Primer, we first discuss the preliminaries of biological neuronal diversity and the characteristics of information transmission and processing in a biological neuron. Then, we review studies of designing new neurons for artificial networks. Next, we discuss what gains can neuronal diversity bring into artificial networks and exemplary applications in several important fields. Lastly, we discuss the challenges and future directions of neuronal diversity to explore the potential of NeuroAI.


title: On the Biplanarity of Blowups

abstract: The 2-blowup of a graph is obtained by replacing each vertex with two non-adjacent copies; a graph is biplanar if it is the union of two planar graphs. We disprove a conjecture of Gethner that 2-blowups of planar graphs are biplanar: iterated Kleetopes are counterexamples. Additionally, we construct biplanar drawings of 2-blowups of planar graphs whose duals have two-path induced path partitions, and drawings with split thickness two of 2-blowups of 3-chromatic planar graphs, and of graphs that can be decomposed into a Hamiltonian path and a dual Hamiltonian path.


title: A New Approximation Algorithm for Minimum-Weight $(1,m)$--Connected Dominating Set

abstract: Consider a graph with nonnegative node weight. A vertex subset is called a CDS (connected dominating set) if every other node has at least one neighbor in the subset and the subset induces a connected subgraph. Furthermore, if every other node has at least $m$ neighbors in the subset, then the node subset is called a $(1,m)$CDS. The minimum-weight $(1,m)$CDS problem aims at finding a $(1,m)$CDS with minimum total node weight. In this paper, we present a new polynomial-time approximation algorithm for this problem with approximation ratio $2H(\delta_{\max}+m-1)$, where $\delta_{\max}$ is the maximum degree of the given graph and $H(\cdot)$ is the Harmonic function, i.e., $H(k)=\sum_{i=1}^k \frac{1}{i}$.


title: Target-Mounted Intelligent Reflecting Surface for Joint Location and Orientation Estimation

abstract: Intelligent reflecting surface (IRS) has been widely recognized as an efficient technique to reconfigure the electromagnetic environment in favor of wireless communication performance. In this paper, we propose a new application of IRS for device-free target sensing via joint location and orientation estimation. In particular, different from the existing works that use IRS as an additional anchor node for localization/sensing, we consider mounting IRS on the sensing target, whereby estimating the IRS's location and orientation as that of the target by leveraging IRS's controllable signal reflection. To this end, we first propose a tensor-based method to acquire essential angle information between the IRS and the sensing transmitter as well as a set of distributed sensing receivers. Next, based on the estimated angle information, we formulate two optimization problems to estimate the location and orientation of the IRS/target, respectively, and obtain the locally optimal solutions to them by invoking two iterative algorithms, namely, gradient descent method and manifold optimization. In particular, we show that the orientation estimation problem admits a closed-form solution in a special case that usually holds in practice. Furthermore, theoretical analysis is conducted to draw essential insights into the proposed sensing system design and performance. Simulation results verify our theoretical analysis and demonstrate that the proposed methods can achieve high estimation accuracy which is close to the theoretical bound.


title: Exploring Active 3D Object Detection from a Generalization Perspective

abstract: To alleviate the high annotation cost in LiDAR-based 3D object detection, active learning is a promising solution that learns to select only a small portion of unlabeled data to annotate, without compromising model performance. Our empirical study, however, suggests that mainstream uncertainty-based and diversity-based active learning policies are not effective when applied in the 3D detection task, as they fail to balance the trade-off between point cloud informativeness and box-level annotation costs. To overcome this limitation, we jointly investigate three novel criteria in our framework Crb for point cloud acquisition - label conciseness}, feature representativeness and geometric balance, which hierarchically filters out the point clouds of redundant 3D bounding box labels, latent features and geometric characteristics (e.g., point cloud density) from the unlabeled sample pool and greedily selects informative ones with fewer objects to annotate. Our theoretical analysis demonstrates that the proposed criteria align the marginal distributions of the selected subset and the prior distributions of the unseen test set, and minimizes the upper bound of the generalization error. To validate the effectiveness and applicability of Crb, we conduct extensive experiments on the two benchmark 3D object detection datasets of KITTI and Waymo and examine both one-stage (i.e., Second) and two-stage 3D detectors (i.e., Pv-rcnn). Experiments evidence that the proposed approach outperforms existing active learning strategies and achieves fully supervised performance requiring $1\%$ and $8\%$ annotations of bounding boxes and point clouds, respectively. Source code: https://github.com/Luoyadan/CRB-active-3Ddet.


title: Strict comparison and stable rank one

abstract: Let $A$ be a $\sigma$-unital finite simple $C^*$-algebra which has strict comparison property. We show that if the canonical map $\Gamma$ from the Cuntz semigroup to certain lower semi-continuous affine functions is surjective, then $A$ has tracial approximate oscillation zero and stable rank one. Equivalently, if $A$ has an almost unperforated and almost divisible Cuntz semigroup, then $A$ has stable rank one and tracial approximate oscillation zero.


title: Congested Bandits: Optimal Routing via Short-term Resets

abstract: For traffic routing platforms, the choice of which route to recommend to a user depends on the congestion on these routes -- indeed, an individual's utility depends on the number of people using the recommended route at that instance. Motivated by this, we introduce the problem of Congested Bandits where each arm's reward is allowed to depend on the number of times it was played in the past $\Delta$ timesteps. This dependence on past history of actions leads to a dynamical system where an algorithm's present choices also affect its future pay-offs, and requires an algorithm to plan for this. We study the congestion aware formulation in the multi-armed bandit (MAB) setup and in the contextual bandit setup with linear rewards. For the multi-armed setup, we propose a UCB style algorithm and show that its policy regret scales as $\tilde{O}(\sqrt{K \Delta T})$. For the linear contextual bandit setup, our algorithm, based on an iterative least squares planner, achieves policy regret $\tilde{O}(\sqrt{dT} + \Delta)$. From an experimental standpoint, we corroborate the no-regret properties of our algorithms via a simulation study.


title: Gender-Segmented Labor Markets and Foreign Demand Shocks

abstract: Gender segmentation in labor markets shapes the local effects of international trade. We develop a theory that combines exports with gender-segmented labor markets and show that, in this framework, foreign demand shocks may either increase or decrease the female-to-male employment ratio. If a foreign demand shock happens in a female-intensive (male-intensive) sector, the model predicts that the female-to-male employment ratio should increase (decrease). We then use plausibly exogenous variation in the exposure of Tunisian local labor markets to foreign demand shocks and show that the empirical results are consistent with the theoretical prediction. In Tunisia, a developing country with a high degree of gender segmentation in labor markets, foreign-demand shocks have been relatively larger in male-intensive sectors. This induced a decrease in the female-to-male employment ratio, with households likely substituting female for male labor supply.


title: CircNet: Meshing 3D Point Clouds with Circumcenter Detection

abstract: Reconstructing 3D point clouds into triangle meshes is a key problem in computational geometry and surface reconstruction. Point cloud triangulation solves this problem by providing edge information to the input points. Since no vertex interpolation is involved, it is beneficial to preserve sharp details on the surface. Taking advantage of learning-based techniques in triangulation, existing methods enumerate the complete combinations of candidate triangles, which is both complex and inefficient. In this paper, we leverage the duality between a triangle and its circumcenter, and introduce a deep neural network that detects the circumcenters to achieve point cloud triangulation. Specifically, we introduce multiple anchor priors to divide the neighborhood space of each point. The neural network then learns to predict the presences and locations of circumcenters under the guidance of those anchors. We extract the triangles dual to the detected circumcenters to form a primitive mesh, from which an edge-manifold mesh is produced via simple post-processing. Unlike existing learning-based triangulation methods, the proposed method bypasses an exhaustive enumeration of triangle combinations and local surface parameterization. We validate the efficiency, generalization, and robustness of our method on prominent datasets of both watertight and open surfaces. The code and trained models are provided at https://github.com/EnyaHermite/CircNet.


title: Learning to Linearize Deep Neural Networks for Secure and Efficient Private Inference

abstract: The large number of ReLU non-linearity operations in existing deep neural networks makes them ill-suited for latency-efficient private inference (PI). Existing techniques to reduce ReLU operations often involve manual effort and sacrifice significant accuracy. In this paper, we first present a novel measure of non-linearity layers' ReLU sensitivity, enabling mitigation of the time-consuming manual efforts in identifying the same. Based on this sensitivity, we then present SENet, a three-stage training method that for a given ReLU budget, automatically assigns per-layer ReLU counts, decides the ReLU locations for each layer's activation map, and trains a model with significantly fewer ReLUs to potentially yield latency and communication efficient PI. Experimental evaluations with multiple models on various datasets show SENet's superior performance both in terms of reduced ReLUs and improved classification accuracy compared to existing alternatives. In particular, SENet can yield models that require up to ~2x fewer ReLUs while yielding similar accuracy. For a similar ReLU budget SENet can yield models with ~2.32% improved classification accuracy, evaluated on CIFAR-100.


title: Combined Use of Federated Learning and Image Encryption for Privacy-Preserving Image Classification with Vision Transformer

abstract: In recent years, privacy-preserving methods for deep learning have become an urgent problem. Accordingly, we propose the combined use of federated learning (FL) and encrypted images for privacy-preserving image classification under the use of the vision transformer (ViT). The proposed method allows us not only to train models over multiple participants without directly sharing their raw data but to also protect the privacy of test (query) images for the first time. In addition, it can also maintain the same accuracy as normally trained models. In an experiment, the proposed method was demonstrated to well work without any performance degradation on the CIFAR-10 and CIFAR-100 datasets.


title: Vacuum stability conditions of the general two-Higgs-doublet potential

abstract: In this paper, we present the novel analytical expressions for the bounded-from-below or the vacuum stability conditions of scalar potential for a general CP violating two-Higgs-doublet model by using the concepts of co-positivity and the gauge orbit spaces. More precisely, several analyticial sufficient conditions and necessary conditions are established for the vacuum stability of the general 2HDM potential, respectively. We also give an equivalent condition of the vacuum stability of the general 2HDM potential in theory, and then, apply it to derive the analyticial necessary conditions of the general 2HDM potential. Meanwhile, the semi-positive definiteness is proved for a class of 4th-order 2-dimensional complex tensor.


title: Real-Time Simultaneous Localization and Mapping with LiDAR intensity

abstract: We propose a novel real-time LiDAR intensity image-based simultaneous localization and mapping method , which addresses the geometry degeneracy problem in unstructured environments. Traditional LiDAR-based front-end odometry mostly relies on geometric features such as points, lines and planes. A lack of these features in the environment can lead to the failure of the entire odometry system. To avoid this problem, we extract feature points from the LiDAR-generated point cloud that match features identified in LiDAR intensity images. We then use the extracted feature points to perform scan registration and estimate the robot ego-movement. For the back-end, we jointly optimize the distance between the corresponding feature points, and the point to plane distance for planes identified in the map. In addition, we use the features extracted from intensity images to detect loop closure candidates from previous scans and perform pose graph optimization. Our experiments show that our method can run in real time with high accuracy and works well with illumination changes, low-texture, and unstructured environments.


title: EDEFuzz: A Web API Fuzzer for Excessive Data Exposures

abstract: APIs often transmit far more data to client applications than they need, and in the context of web applications, often do so over public channels. This issue, termed Excessive Data Exposure (EDE), was OWASP's third most significant API vulnerability of 2019. However, there are few automated tools -- either in research or industry -- to effectively find and remediate such issues. This is unsurprising as the problem lacks an explicit test oracle: the vulnerability does not manifest through explicit abnormal behaviours (e.g., program crashes or memory access violations). In this work, we develop a metamorphic relation to tackle that challenge and build the first fuzzing tool -- that we call EDEFuzz -- to systematically detect EDEs. EDEFuzz can significantly reduce false negatives that occur during manual inspection and ad-hoc text-matching techniques, the current most-used approaches. We tested EDEFuzz against the sixty-nine applicable targets from the Alexa Top-200 and found 33,365 potential leaks -- illustrating our tool's broad applicability and scalability. In a more-tightly controlled experiment of eight popular websites in Australia, EDEFuzz achieved a high true positive rate of 98.65% with minimal configuration, illustrating our tool's accuracy and efficiency.


title: Normalizer decompositions of p-local compact groups

abstract: We give a normalizer decomposition for a p-local compact group (S, F, L) that describes |L| as a homotopy colimit indexed over a finite poset. Our work generalizes the normalizer decompositions for finite groups due to Dwyer, for p-local finite groups due to Libman, and for compact Lie groups in separate work due to Libman. Our approach gives a result in the Lie group case that avoids topological subtleties with Quillen's Theorem A, because we work with discrete groups. We compute the normalizer decomposition for the p-completed classifying spaces of U(p) and SU(p) and for the p-compact groups of Aguade and Zabrodsky.


title: Stochastic six-vertex models, Hall-Littlewood positivity and $t$-deformed Schensted insertions

abstract: We prove a positivity theorem for a certain family of operators defined in terms of the stochastic six-vertex model. We explore connections of this result with other vertex models and $t$-deformed Schensted insertions.


title: The Combinational Mutation Strategy of Differential Evolution Algorithm for Pricing Vanilla Options and Its Implementation on Data during Covid-19 Pandemic

abstract: Investors always want to know about the profit and the risk that they will be get before buying some assets. Our main focus is getting the profit and the probability of getting that profit using the differential evolution algorithm for vanilla option pricing on data before and during COVID-19 pandemic. Therefore, we model the pricing of an option using a bi-objective optimization problem using data before and during COVID-19 pandemic for one year expiration date. We change this problem into an optimization problem using adaptive weighted sum method. We use metaheuristics algorithm like Differential Evolution (DE) algorithm to solve this bi-objective optimization problems. In this paper, we also use modification of Differential Evolution for getting Pareto optimal solutions on vanilla option pricing for all contract. The algorithm is called Combinational Mutation Strategy of Differential Evolution (CmDE) algorithm. The results of our algorithm are satisfactory close to the real option price in the market data. Besides that, we also compare our result with the Black-Scholes results for validation. The results show that our results can approximate the real market options more accurate than Black-Scholes results. Hence, our bi-objective optimization using Combinational Mutation Strategy of Differential Evolution algorithm can be used to approximate the market real vanilla option pricing before and during COVID-19 pandemic.


title: AttMEMO : Accelerating Transformers with Memoization on Big Memory Systems

abstract: Transformer models gain popularity because of their superior inference accuracy and inference throughput. However, the transformer is computation-intensive, causing a long inference time. The existing works on transformer inference acceleration have limitations caused by either the modification of transformer architectures or the need of specialized hardware. In this paper, we identify the opportunities of using memoization to accelerate the self-attention mechanism in transformers without the above limitations. Built upon a unique observation that there is rich similarity in attention computation across inference sequences, we build a memoization database that leverages the emerging big memory system. We introduce a novel embedding technique to find semantically similar inputs to identify computation similarity. We also introduce a series of techniques such as memory mapping and selective memoization to avoid memory copy and unnecessary overhead. We enable 22% inference-latency reduction on average (up to 68%) with negligible loss in inference accuracy.


title: On the solutions of $x^2= By^p+Cz^p$ and $2x^2= By^p+Cz^p$ over totally real fields

abstract: In this article, we study the solutions of certain type over $K$ of the Diophantine equation $x^2= By^p+Cz^p$ with prime exponent $p$, where $B$ is an odd integer and $C$ is either an odd integer or $C=2^r$ for $r \in \mathbb{N}$. Further, we study the non-trivial primitive solutions of the Diophantine equation $x^2= By^p+2^rz^p$ ($r\in {1,2,4,5}$) (resp., $2x^2= By^p+2^rz^p$ with $r \in \mathbb{N}$) with prime exponent $p$, over $K$. We also present several purely local criteria of $K$.


title: Efficient Training Under Limited Resources

abstract: Training time budget and size of the dataset are among the factors affecting the performance of a Deep Neural Network (DNN). This paper shows that Neural Architecture Search (NAS), Hyper Parameters Optimization (HPO), and Data Augmentation help DNNs perform much better while these two factors are limited. However, searching for an optimal architecture and the best hyperparameter values besides a good combination of data augmentation techniques under low resources requires many experiments. We present our approach to achieving such a goal in three steps: reducing training epoch time by compressing the model while maintaining the performance compared to the original model, preventing model overfitting when the dataset is small, and performing the hyperparameter tuning. We used NOMAD, which is a blackbox optimization software based on a derivative-free algorithm to do NAS and HPO. Our work achieved an accuracy of 86.0 % on a tiny subset of Mini-ImageNet at the ICLR 2021 Hardware Aware Efficient Training (HAET) Challenge and won second place in the competition. The competition results can be found at haet2021.github.io/challenge and our source code can be found at github.com/DouniaLakhmiri/ICLR\_HAET2021.


title: On $p$-index extremal groups

abstract: The question on connection between the structure of a finite group $G$ and the properties of the indices of elements of $G$ has been a popular research topic for many years. The $p$-index $|x^G|_p$ of an element $x$ of a group $G$ is the $p$-part of its index $|x^G|=|G:C_G(x)|$. The presented short note describes some new results and open problems in this direction, united by the concept of the $p$-index of a group element.


title: FInC Flow: Fast and Invertible $k \times k$ Convolutions for Normalizing Flows

abstract: Invertible convolutions have been an essential element for building expressive normalizing flow-based generative models since their introduction in Glow. Several attempts have been made to design invertible $k \times k$ convolutions that are efficient in training and sampling passes. Though these attempts have improved the expressivity and sampling efficiency, they severely lagged behind Glow which used only $1 \times 1$ convolutions in terms of sampling time. Also, many of the approaches mask a large number of parameters of the underlying convolution, resulting in lower expressivity on a fixed run-time budget. We propose a $k \times k$ convolutional layer and Deep Normalizing Flow architecture which i.) has a fast parallel inversion algorithm with running time O$(n k^2)$ ($n$ is height and width of the input image and k is kernel size), ii.) masks the minimal amount of learnable parameters in a layer. iii.) gives better forward pass and sampling times comparable to other $k \times k$ convolution-based models on real-world benchmarks. We provide an implementation of the proposed parallel algorithm for sampling using our invertible convolutions on GPUs. Benchmarks on CIFAR-10, ImageNet, and CelebA datasets show comparable performance to previous works regarding bits per dimension while significantly improving the sampling time.


title: Two-dimensional charge distributions of the $\Delta$ baryon: Interpolation between the nonrelativistic and ultrarelativistic limit

abstract: We investigate how the charge distributions of both the unpolarized and transversely polarized $\Delta$ baryon change as the longitudinal momentum~($P_{z}$) of the $\Delta$ baryon increases from $P_{z}=0$ to $P_{z}=\infty$ in a Wigner phase-space perspective. When the $\Delta$ baryon is longitudinally polarized, its two-dimensional charge distribution is kept to be spherically symmetric with $P_{z}$ varied, whereas when the $\Delta$ baryon is transversely polarized along the $x$-axis, the quadrupole contribution emerges at the rest frame ($P_{z}=0$). When $P_{z}$ grows, the electric dipole and octupole moments are induced. The induced dipole moment dominates over other higher multipole contributions and governs the deformation of the charge distribution of the $\Delta$ baryon.


title: PCBDet: An Efficient Deep Neural Network Object Detection Architecture for Automatic PCB Component Detection on the Edge

abstract: There can be numerous electronic components on a given PCB, making the task of visual inspection to detect defects very time-consuming and prone to error, especially at scale. There has thus been significant interest in automatic PCB component detection, particularly leveraging deep learning. However, deep neural networks typically require high computational resources, possibly limiting their feasibility in real-world use cases in manufacturing, which often involve high-volume and high-throughput detection with constrained edge computing resource availability. As a result of an exploration of efficient deep neural network architectures for this use case, we introduce PCBDet, an attention condenser network design that provides state-of-the-art inference throughput while achieving superior PCB component detection performance compared to other state-of-the-art efficient architecture designs. Experimental results show that PCBDet can achieve up to 2$\times$ inference speed-up on an ARM Cortex A72 processor when compared to an EfficientNet-based design while achieving $\sim$2-4\% higher mAP on the FICS-PCB benchmark dataset.


title: M22: A Communication-Efficient Algorithm for Federated Learning Inspired by Rate-Distortion

abstract: In federated learning (FL), the communication constraint between the remote learners and the Parameter Server (PS) is a crucial bottleneck. For this reason, model updates must be compressed so as to minimize the loss in accuracy resulting from the communication constraint. This paper proposes ``\emph{${\bf M}$-magnitude weighted $L_{\bf 2}$ distortion + $\bf 2$ degrees of freedom''} (M22) algorithm, a rate-distortion inspired approach to gradient compression for federated training of deep neural networks (DNNs). In particular, we propose a family of distortion measures between the original gradient and the reconstruction we referred to as ``$M$-magnitude weighted $L_2$'' distortion, and we assume that gradient updates follow an i.i.d. distribution -- generalized normal or Weibull, which have two degrees of freedom. In both the distortion measure and the gradient, there is one free parameter for each that can be fitted as a function of the iteration number. Given a choice of gradient distribution and distortion measure, we design the quantizer minimizing the expected distortion in gradient reconstruction. To measure the gradient compression performance under a communication constraint, we define the \emph{per-bit accuracy} as the optimal improvement in accuracy that one bit of communication brings to the centralized model over the training period. Using this performance measure, we systematically benchmark the choice of gradient distribution and distortion measure. We provide substantial insights on the role of these choices and argue that significant performance improvements can be attained using such a rate-distortion inspired compressor.


title: Analog de Sitter universe in quantum Hall systems with an expanding edge

abstract: Expanding edges in quantum Hall systems can become a simulator of quantum 1+1 dimensional expanding universes. In these systems, edge exciations are represented as a chiral scalar field in curved spacetimes. We investigate Hawking radiation and entanglement behavior predicted by this model assuming that the expansion law of the edge region corresponds to a de Sitter universe. As observable quantities for the quantum field, local spatial modes associated with detection regions are introduced using window functions for the field, and their correlations are evaluated. We found impact of Hawking radiation caused by the edge expansion on auto-correlation functions of the local modes, and confirmed that entanglement death due to Hawking radiation occurs. This behavior of entanglement is related to ``quantum to classical transition" in cosmic inflations.


title: Novel ensemble algorithms for random two-domain parabolic problems

abstract: In this paper, three efficient ensemble algorithms are proposed for fast-solving the random fluid-fluid interaction model. Such a model can be simplified as coupling two heat equations with random diffusion coefficients and a friction parameter due to its complexity and uncertainty. We utilize the Monte Carlo method for the coupled model with random inputs to derive some deterministic fluid-fluid numerical models and use the ensemble idea to realize the fast computation of multiple problems. Our remarkable feature of these algorithms is employing the same coefficient matrix for multiple linear systems, significantly reducing the computational cost. By data-passing partitioned techniques, we can decouple the numerical models into two smaller sub-domain problems and achieve parallel computation. Theoretically, we derive that both algorithms are unconditionally stable and convergent. Finally, numerical experiments are conducted not only to support the theoretical results but also to validate the exclusive feature of the proposed algorithms.


title: Improved Hardness of Approximation for Geometric Bin Packing

abstract: The Geometric Bin Packing (GBP) problem is a generalization of Bin Packing where the input is a set of $d$-dimensional rectangles, and the goal is to pack them into unit $d$-dimensional cubes efficiently. It is NP-Hard to obtain a PTAS for the problem, even when $d=2$. For general $d$, the best-known approximation algorithm has an approximation guarantee exponential in $d$, while the best hardness of approximation is still a small constant inapproximability from the case when $d=2$. In this paper, we show that the problem cannot be approximated within $d^{1-\epsilon}$ factor unless NP=ZPP. Recently, $d$-dimensional Vector Bin Packing, a closely related problem to the GBP, was shown to be hard to approximate within $\Omega(\log d)$ when $d$ is a fixed constant, using a notion of Packing Dimension of set families. In this paper, we introduce a geometric analog of it, the Geometric Packing Dimension of set families. While we fall short of obtaining similar inapproximability results for the Geometric Bin Packing problem when $d$ is fixed, we prove a couple of key properties of the Geometric Packing Dimension which highlight fundamental differences between Geometric Bin Packing and Vector Bin Packing.


title: Constraining SMEFT BSM scenarios with EWPO and $\Delta_{CKM}$

abstract: Precision observables are well known for constraining most of the Beyond Standard Model (BSM) scenarios tightly. We present here a simple and comprehensive fitting framework for various BSM scenarios to these observables. We start with the fit of $S$, $T$ and $V$ parameter and their correlations using the Electroweak Precision Observables (EWPO) including the recent $m_W$ measurement from CDF-II. Utilizing these observables, we also fit various New Physics (NP) scenarios consisting of different subsets of dimension-6 Standard Model Effective Field Theory (SMEFT) operators in the Warsaw basis out of a total of 10 appearing at tree level in EWPO. To further constrain these scenarios, we augment these observables with $\Delta_{CKM}$ measurement using 1-loop matching of the Low Energy Effective Field Theory (LEFT) to SMEFT operators at the Z-pole. We show that the inclusion of $\Delta_{CKM}$ constraint indeed results in stronger bounds on the SMEFT Wilson Coefficients. We also constrain the UV parameters of BSM extensions like Vectorlike leptons (VLL) and find out that such a minimal extension is in tension with the forward-backward asymmetry in $b$-sector ($A_b^{FB}$) and the recent measurement of $M_W$. In order to lift the two blind directions, which one encounters while fitting all the 10 SMEFT WCs at tree-level, we also include the LEP-II observables pertaining to the $WW$ production and present the results for the fits with and without $\Delta_{CKM}$ constraint.


title: Describing the Wave Function Collapse Process with a State-dependent Hamiltonian

abstract: It is well-known that quantum mechanics admits two distinct evolutions: the unitary evolution, which is deterministic and well described by the Schr\"{o}dinger equation, and the collapse of the wave function, which is probablistic, generally non-unitary, and cannot be described by the Schr\"{o}dinger equation. In this paper, starting with pure states, we show how the continuous collapse of the wave function can be described by the Schr\"{o}dinger equation with a stochastic, time-dependent Hamiltonian. We analytically solve for the Hamiltonian responsible for projective measurements on an arbitrary $n$-level system and the position measurement on an harmonic oscillator in the ground state, and propose several experimental schemes to verify and utilize the conclusions. A critical feature is that the Hamiltonian must be state-dependent. We then discuss how the above formalism can also be applied to describe the collapse of the wave function of mixed quantum states. The formalism we proposed may unify the two distinct evolutions in quantum mechanics.


title: ALMA Lensing Cluster Survey: Properties of Millimeter Galaxies Hosting X-ray Detected Active Galactic Nuclei

abstract: We report the multi-wavelength properties of millimeter galaxies hosting X-ray detected active galactic nuclei (AGNs) from the ALMA Lensing Cluster Survey (ALCS). ALCS is an extensive survey of well-studied lensing clusters with ALMA, covering an area of 133 arcmin$^2$ over 33 clusters with a 1.2 mm flux-density limit of ${\sim}$60 $\mathrm{\mu Jy}$ ($1\sigma$). Utilizing the archival data of Chandra, we identify three AGNs at $z=$1.06, 2.09, and 2.84 among the 180 millimeter sources securely detected in the ALCS (of which 155 are inside the coverage of Chandra). The X-ray spectral analysis shows that two AGNs are not significantly absorbed ($\log N_{\mathrm{H}}/\mathrm{cm}^{-2} < 23$), while the other shows signs of moderate absorption ($\log N_{\mathrm{H}}/\mathrm{cm}^{-2}\sim 23.5$). We also perform spectral energy distribution (SED) modelling of X-ray to millimeter photometry. We find that our X-ray AGN sample shows both high mass accretion rates (intrinsic 0.5--8 keV X-ray luminosities of ${\sim}10^{\text{44--45}}\,\mathrm{erg\ s^{-1}}$) and star-formation rates (${\gtrsim}100\,M_{\odot}\,\mathrm{yr}^{-1}$). This demonstrates that a wide-area survey with ALMA and Chandra can selectively detect intense growth of both galaxies and supermassive black holes (SMBHs) in the high-redshift universe.


title: STRASSE: A Silicon Tracker for Quasi-free Scattering Measurements at the RIBF

abstract: STRASSE (Silicon Tracker for RAdioactive nuclei Studies at SAMURAI Experiments) is a new detection system under construction for quasi-free scattering (QFS) measurements at 200-250 MeV/nucleon at the RIBF facility of the RIKEN Nishina Center. It consists of a charged-particle silicon tracker coupled with a dedicated thick liquid hydrogen target (up to 150-mm long) in a compact geometry to fit inside large scintillator or germanium arrays. Its design was optimized for two types of studies using QFS: missing-mass measurements and in-flight prompt $\gamma$-ray spectroscopy. This article describes (i) the resolution requirements needed to go beyond the sensitivity of existing systems for these two types of measurements, (ii) the conceptual design of the system using detailed simulations of the setup and (iii) its complete technical implementation and challenges. The final tracker aims at a sub-mm reaction vertex resolution and is expected to reach a missing-mass resolution below 2 MeV in $\sigma$ for $(p,2p)$ reactions when combined with the CsI(Na) CATANA array.


title: Scalable and ultralow power silicon photonic two-dimensional phased array

abstract: Photonic integrated circuit based optical phased arrays (PIC-OPA) are emerging as promising programmable processors and spatial light modulators, combining the best of planar and free-space optics. Their implementation in silicon photonic platforms has been especially fruitful. Despite much progress in this field, demonstrating steerable two-dimensional (2D) OPAs scalable to a large number of array elements and operating with a single wavelength has proven a challenge. In addition, the phase shifters used in the array for programming the far field beam are either power hungry or have a large footprint, preventing implementation of large scale 2D arrays. Here, we demonstrate a two-dimensional silicon photonic phased array with high-speed (~330 KHz) and ultralow power microresonator phase-shifters with a compact radius (~3 {\mu}m) and 2{\pi} phase shift ability. Each phase-shifter consumes an average ~250 {\mu}W static power for resonance alignment and ~50 {\mu}W power for far field beamforming. Such PIC-OPA devices can enable a new generation of compact and scalable low power processors and sensors.


title: DAG-based Task Orchestration for Edge Computing

abstract: As we increase the number of personal computing devices that we carry (mobile devices, tablets, e-readers, and laptops) and these come equipped with increasing resources, there is a vast potential computation power that can be utilized from those devices. Edge computing promises to exploit these underlying computation resources closer to users to help run latency-sensitive applications such as augmented reality and video analytics. However, one key missing piece has been how to incorporate personally owned unmanaged devices into a usable edge computing system. The primary challenges arise due to the heterogeneity, lack of interference management, and unpredictable availability of such devices. In this paper we propose an orchestration framework IBDASH, which orchestrates application tasks on an edge system that comprises a mix of commercial and personal edge devices. IBDASH targets reducing both end-to-end latency of execution and probability of failure for applications that have dependency among tasks, captured by directed acyclic graphs (DAGs). IBDASH takes memory constraints of each edge device and network bandwidth into consideration. To assess the effectiveness of IBDASH, we run real application tasks on real edge devices with widely varying capabilities.We feed these measurements into a simulator that runs IBDASH at scale. Compared to three state-of-the-art edge orchestration schemes, LAVEA, Petrel, and LaTS, and two intuitive baselines, IBDASH reduces the end-to-end latency and probability of failure, by 14% and 41% on average respectively. The main takeaway from our work is that it is feasible to combine personal and commercial devices into a usable edge computing platform, one that delivers low latency and predictable and high availability.


title: StockEmotions: Discover Investor Emotions for Financial Sentiment Analysis and Multivariate Time Series

abstract: There has been growing interest in applying NLP techniques in the financial domain, however, resources are extremely limited. This paper introduces StockEmotions, a new dataset for detecting emotions in the stock market that consists of 10,000 English comments collected from StockTwits, a financial social media platform. Inspired by behavioral finance, it proposes 12 fine-grained emotion classes that span the roller coaster of investor emotion. Unlike existing financial sentiment datasets, StockEmotions presents granular features such as investor sentiment classes, fine-grained emotions, emojis, and time series data. To demonstrate the usability of the dataset, we perform a dataset analysis and conduct experimental downstream tasks. For financial sentiment/emotion classification tasks, DistilBERT outperforms other baselines, and for multivariate time series forecasting, a Temporal Attention LSTM model combining price index, text, and emotion features achieves the best performance than using a single feature.


title: Maia variables and other anomalies among pulsating stars

abstract: From TESS photometry, 493 mid- to late-B stars with high frequencies (Maia variables) have been identified. The distribution of projected rotational velocities shows that the rotation rates of Maia variables are no different from those of SPB stars. Moreover, many Maia stars pulsate with frequencies exceeding 60 c/d. Rapid rotation is ruled out as a possible factor in understanding the Maia variables. There is clearly a serious problem with current pulsational models. Not only are the models unable to account for the Maia stars, but they also fail to account for the fact that SPB and gamma Dor variables form one continuous instability strip from the cool end of the delta Sct region to the hot end of the beta Cep instability strip. Likewise, there is continuity between the distributions of delta Sct, Maia, and beta Cep variables. In fact, Maia stars seem to be an extension of delta Sct stars to the mid-B type. These observations suggest an interplay between multiple driving mechanisms rather than separate dominant mechanisms for each variability group.


title: The Expected Values of Hosoya Index and Merrifield-Simmons Index of Random Hexagonal Cacti

abstract: Hosoya index and Merrifield-Simmons index are two well-known topological descriptors that reflex some physical properties, boiling point or heat of formation for instance, of bezenoid hydrocarbon compounds. In this paper, we establish the generating functions of the expected values of these two indices of random hexagonal cacti. This generalizes the results of Doslic and Maloy, published in Discrete Mathemaics, in 2010. By applying the ideas on meromorphic functions and the growth of power series coefficients, the asymptotic behaviors of these indices on the random cacti have been established.


title: Classification of Luminal Subtypes in Full Mammogram Images Using Transfer Learning

abstract: Automatic identification of patients with luminal and non-luminal subtypes during a routine mammography screening can support clinicians in streamlining breast cancer therapy planning. Recent machine learning techniques have shown promising results in molecular subtype classification in mammography; however, they are highly dependent on pixel-level annotations, handcrafted, and radiomic features. In this work, we provide initial insights into the luminal subtype classification in full mammogram images trained using only image-level labels. Transfer learning is applied from a breast abnormality classification task, to finetune a ResNet-18-based luminal versus non-luminal subtype classification task. We present and compare our results on the publicly available CMMD dataset and show that our approach significantly outperforms the baseline classifier by achieving a mean AUC score of 0.6688 and a mean F1 score of 0.6693 on the test dataset. The improvement over baseline is statistically significant, with a p-value of p<0.0001.


title: New vacuum stability limit from cosmological history

abstract: The stability of the electroweak vacuum imposes important constraints on new physics models. Such new physics models may introduce one or more new thermal phases with a lower free energy than that of the electroweak vacuum. In this case, the early universe may stay or have already evolved into one of these deeper vacuum states. We investigate this possibility in detail in the singlet extension of the Standard Model, and delineate the corresponding constraints in its parameter space. We also discuss the situation in supersymmetry as another example. To account for the possibility that the universe is trapped in a non-electroweak vacuum, we propose a procedure of calculating the vacuum stability limit efficiently.


title: Effect of solvation shell structure on thermopower of liquid redox pairs

abstract: Recent advancements in thermogalvanic batteries offer a promising route to efficient harvesting of low-grade heat with temperatures below 100 {\deg}C. The thermogalvanic temperature coefficient {\alpha}, usually referred to as effective thermopower, is the key parameter determining the power density and efficiency of thermogalvanic batteries. However, the current understanding of improving {\alpha} of redox pairs remains at the phenomenological level without microscopic insights, and the development of electrolytes with high {\alpha} largely relies on experimental trial and error. This work applies the free energy perturbation method based on molecular dynamics simulations to predict the {\alpha} of the {Fe^{3+}/Fe^{2+}} redox pair in aqueous and acetone solutions. We showed that {\alpha} of the {Fe^{3+}/Fe^{2+}} redox pair can be increased from 1.5{\pm}0.3 mV/K to 4.1{\pm}0.4 mV/K with the increased acetone to water fraction. The predicted {\alpha} of {Fe^{3+}/Fe^{2+}} both in pure water and acetone show excellent agreement with experimental values. By monitoring the fluctuation of dipole orientations in the first solvation shell, we discovered a significant change in the variance of solvent dipole orientation between Fe^{3+} and Fe^{2+}, which can be a microscopic indicator for large magnitudes of {\alpha}. The effect of acetone weight fraction in the mixed acetone-water solvent on the {\alpha} of {Fe^{3+}/Fe^{2+}} is also studied. Acetone molecules are found to intercalate into the first solvation shell of the {Fe^{2+}} ion at high acetone fractions, while this phenomenon is not observed in the solvation shell of the Fe^{3+} ion. Such solvation shell structure change of {Fe^{2+}} ions contributes to the enhanced {\alpha} at high acetone fractions. Our discovery provides atomistic insights into how solvation shell order can be leveraged to develop electrolytes with high thermopower.


title: Heterodyne measurement of sidebands and frequency combs: a derivation

abstract: A mathematical description of heterodyne measurement of an optical frequency comb is presented. It is shown that for a signal beam containing many frequency teeth, the amplitude and phase of each tooth can be determined from the beatnote generated when the signal is interfered with a local oscillator with known offset frequency.


title: Isospin 0 and 2 two-pion scattering at physical pion mass using all-to-all propagators with periodic boundary conditions in lattice QCD

abstract: A study of two-pion scattering for the isospin channels, $I=0$ and $I=2$, using lattice QCD is presented. M\"obius domain wall fermions on top of the Iwasaki-DSDR gauge action for gluons with periodic boundary conditions are used for the lattice computations which are carried out on two ensembles of gauge field configurations generated by the RBC and UKQCD collaborations with physical masses, inverse lattice spacings of 1.023 and 1.378 GeV, and spatial extents of $L=4.63$ and 4.58 fm, respectively. The all-to-all propagator method is employed to compute a matrix of correlation functions of two-pion operators. The generalized eigenvalue problem (GEVP) is solved for a matrix of correlation functions to extract phase shifts with multiple states, two pions with a non-zero relative momentum as well as two pions at rest. Our results for phase shifts for both $I=0$ and $I=2$ channels are consistent with and the Roy Equation and chiral perturbation theory, though at this preliminary stage our errors for $I=0$ are large. An important outcome of this work is that we are successful in extracting two-pion excited states, which are useful for studying $K\to\pi\pi$ decay, on physical-mass ensembles using GEVP.


title: The $k$-XORSAT threshold revisited

abstract: We provide a simplified proof of the random $k$-XORSAT satisfiability threshold theorem. As an extension we also determine the full rank threshold for sparse random matrices over finite fields with precisely $k$ non-zero entries per row. This complements a result from [Ayre, Coja-Oghlan, Gao, M\"uller: Combinatorica 2020]. The proof combines physics-inspired message passing arguments with a surgical moment computation.


title: Evidence of electron correlation and weak bulk plasmon in SrMoO$_{3}$

abstract: We investigate the electronic structure of highly conducting perovskite SrMoO$_{3}$ using valence band photoemission spectroscopy and electronic structure calculations. Large intensity corresponding to coherent feature close to Fermi level is captured by density functional theory (DFT) calculation. An additional satellite at $\sim$ 3 eV binding energy remains absent in DFT, hybrid functional (DFT-hybrid) and dynamical mean field theory (DFT + DMFT) calculations. Mo 4$d$ spectra obtained with different surface sensitive photoemission spectroscopy suggest different surface and bulk electronic structures. DFT + DMFT spectral function is in excellent agreement with the coherent feature in the bulk Mo 4$d$ spectra, revealing moderate electron correlation strength. A large plasmon satellite and signature of strong electron correlation are observed in the surface spectra, while the bulk spectra exhibits a $weak$ plasmon satellite.


title: Fundamental Limits of Spectral Clustering in Stochastic Block Models

abstract: Spectral clustering has been widely used for community detection in network sciences. While its empirical successes are well-documented, a clear theoretical understanding, particularly for sparse networks where degrees are much smaller than $\log n$, remains unclear. In this paper, we address this significant gap by demonstrating that spectral clustering offers exponentially small error rates when applied to sparse networks under Stochastic Block Models. Our analysis provides sharp characterizations of its performance, backed by matching upper and lower bounds possessing an identical exponent with the same leading constant. The key to our results is a novel truncated $\ell_2$ perturbation analysis for eigenvectors, coupled with a new analysis idea of eigenvectors truncation.


title: The Massey Vanishing Conjecture for fourfold Massey products modulo 2

abstract: We prove the Massey Vanishing Conjecture for $n=4$ and $p=2$. That is, we show that for all fields $F$, if a fourfold Massey product modulo $2$ is defined over $F$, then it vanishes over $F$.


title: Magnon-bandgap controllable artificial domain wall waveguide

abstract: In this paper, a magnon-bandgap controllable artificial domain wall waveguide is proposed by means of micromagnetic simulation. By the investigation of the propagation behavior and dispersion relationship of spin waves in artificial domain wall waveguides, it is found that the nonreciprocal propagation of spin waves in the artificial domain walls are mainly affected by the local effective exchange field, and the magnon bandgap can be controlled by changing the maximum value of the effective exchange field. In addition, it is observed that the artificial domain wall waveguides are structurally more stable than the natural domain wall waveguides under the same spin wave injection conditions, and the magnon bandgap of the artificial domain wall waveguides can be adjusted by its width and magnetic anisotropy parameters. The bandgap controllable artificial domain wall scheme is beneficial to the miniaturization and integration of magnon devices and can be applied to future magnonic technology as a novel frequency filter.


title: Investigating time variability of X-ray absorption in Swift GRBs

abstract: The existence of excess absorption in the X-ray spectra of GRBs is well known, but the primary location of the absorbing material is still uncertain. To gain more knowledge about this, we have performed a time-resolved analysis of the X-ray spectra of 199 GRBs observed by the \textit{Swift} X-ray telescope, searching for evidence of a decreasing column density ($N_{\mathrm{H,intr}}$) that would indicate that the GRBs are ionizing matter in their surroundings. We structured the analysis as Bayesian inference and used an absorbed power-law as our baseline model. We also explored alternative spectral models in cases where decreasing absorption was inferred. The analysis reveals seven GRBs that show signs of a decrease in $N_{\mathrm{H,intr}}$, but we note that alternative models for the spectral evolution cannot be ruled out. We conclude that the excess absorption in the vast majority of GRBs must originate on large scales of the host galaxies and/or in the intergalactic medium. Our results also imply that an evolving column density is unlikely to affect the spectral analysis of the early X-ray spectra of GRBs. In line with this, we show that estimating the total $N_{\mathrm{H,intr}}$ from early {\it Swift} data in Window Timing mode reveals the same increasing trend with redshift as previous results based on data taken at later times, but with tighter constraints.


title: The period-index problem for complex tori

abstract: We solve the period-index problem for the Brauer group of a general complex torus of dimension at least three, giving an explicit formula for the index of each Brauer class. As a consequence, the complex-analytic version of the period-index conjecture is false for infinitely many Brauer classes on a general complex torus of dimension at least three.


title: Forecaster-aided User Association and Load Balancing in Multi-band Mobile Networks

abstract: Cellular networks are becoming increasingly heterogeneous with higher base station (BS) densities and ever more frequency bands, making BS selection and band assignment key decisions in terms of rate and coverage. In this paper, we decompose the mobility-aware user association task into (i) forecasting of user rate and then (ii) convex utility maximization for user association accounting for the effects of BS load and handover overheads. Using a linear combination of normalized mean-squared error and normalized discounted cumulative gain as a novel loss function, a recurrent deep neural network is trained to reliably forecast the mobile users' future rates. Based on the forecast, the controller optimizes the association decisions to maximize the service rate-based network utility using our computationally efficient (speed up of 100x versus generic convex solver) algorithm based on the Frank-Wolfe method. Using an industry-grade network simulator developed by Meta, we show that the proposed model predictive control (MPC) approach improves the 5th percentile service rate by 3.5x compared to the traditional signal strength-based association, reduces the median number of handovers by 7x compared to a handover agnostic strategy, and achieves service rates close to a genie-aided scheme. Furthermore, our model-based approach is significantly more sample-efficient (needs 100x less training data) compared to model-free reinforcement learning (RL), and generalizes well across different user drop scenarios.


title: Sensemaking About Contraceptive Methods Across Online Platforms

abstract: Selecting a birth control method is a complex healthcare decision. While birth control methods provide important benefits, they can also cause unpredictable side effects and be stigmatized, leading many people to seek additional information online, where they can find reviews, advice, hypotheses, and experiences of other birth control users. However, the relationships between their healthcare concerns, sensemaking activities, and online settings are not well understood. We gather texts about birth control shared on Twitter, Reddit, and WebMD -- platforms with different affordances, moderation, and audiences -- to study where and how birth control is discussed online. Using a combination of topic modeling and hand annotation, we identify and characterize the dominant sensemaking practices across these platforms, and we create lexicons to draw comparisons across birth control methods and side effects. We use these to measure variations from survey reports of side effect experiences and method usage. Our findings characterize how online platforms are used to make sense of difficult healthcare choices and highlight unmet needs of birth control users.


title: Characterizing CO Emitters in the SSA22-AzTEC26 Field

abstract: We report the physical characterization of four CO emitters detected near the bright submillimeter galaxy (SMG) SSA22-AzTEC26. We analyze the data from Atacama Large Millimeter/submillileter Array band 3, 4, and 7 observations of the SSA22-AzTEC26 field. In addition to the targeted SMG, we detect four line emitters with a signal-to-noise ratio $>5.2$ in the cube smoothed with 300 km s$^{-1}$ FWHM Gaussian filter. All four sources have NIR counterparts within 1$\arcsec$. We perform UV-to-FIR spectral energy distribution modeling to derive the photometric redshifts and physical properties. Based on the photometric redshifts, we reveal that two of them are CO(2-1) at redshifts of 1.113 and 1.146 and one is CO(3-2) at $z=2.124$. The three sources are massive galaxies with a stellar mass $\gtrsim10^{10.5}M_\odot$, but have different levels of star formation. Two lie within the scatter of the main sequence (MS) of star-forming galaxies at $z\sim1-2$, and the most massive galaxy lies significantly below the MS. However, all three sources have a gas fraction within the scatter of the MS scaling relation. This shows that a blind CO line search can detect massive galaxies with low specific star formation rates that still host large gas reservoirs and that it also complements targeted surveys, suggesting later gas acquisition and the need for other mechanisms in addition to gas consumption to suppress star formation.


title: Model Based Reinforcement Learning with Non-Gaussian Environment Dynamics and its Application to Portfolio Optimization

abstract: With the fast development of quantitative portfolio optimization in financial engineering, lots of AI-based algorithmic trading strategies have demonstrated promising results, among which reinforcement learning begins to manifest competitive advantages. However, the environment from real financial markets is complex and hard to be fully simulated, considering the observation of abrupt transitions, unpredictable hidden causal factors, heavy tail properties and so on. Thus, in this paper, first, we adopt a heavy-tailed preserving normalizing flows to simulate high-dimensional joint probability of the complex trading environment and develop a model-based reinforcement learning framework to better understand the intrinsic mechanisms of quantitative online trading. Second, we experiment with various stocks from three different financial markets (Dow, NASDAQ and S&P) and show that among these three financial markets, Dow gets the best performance based on various evaluation metrics under our back-testing system. Especially, our proposed method is able to mitigate the impact of unpredictable financial market crises during the COVID-19 pandemic period, resulting in a lower maximum drawdown. Third, we also explore the explanation of our RL algorithm. (1), we utilize the pattern causality method to study the interactive relation among different stocks in the environment. (2), We analyze the dynamic loss and actor loss to ensure the convergence of our strategies. (3), by visualizing high dimensional state transition data comparisons from real and virtual buffers with t-SNE, we uncover some effective patterns of better portfolio optimization strategies. (4), we also utilize eigenvalue analysis to study the convergence properties of the environmen's model.


title: Matrix similarity transformations derived from extended $q$-analogues of the Toda equation and Lotka-Volterra system

abstract: The $q$-Toda equation is derived from replacing ordinary derivatives with $q$-derivatives in the famous Toda equation. In this paper, we associate an extension of the $q$-Toda equation with matrix eigenvalue problems, and then show applications of its time-discretization to computing matrix eigenvalues. With respect to the Lotka-Volterra system, we also have the similar discussion on the case of the Toda equation.


title: Self-Supervised Image Representation Learning: Transcending Masking with Paired Image Overlay

abstract: Self-supervised learning has become a popular approach in recent years for its ability to learn meaningful representations without the need for data annotation. This paper proposes a novel image augmentation technique, overlaying images, which has not been widely applied in self-supervised learning. This method is designed to provide better guidance for the model to understand underlying information, resulting in more useful representations. The proposed method is evaluated using contrastive learning, a widely used self-supervised learning method that has shown solid performance in downstream tasks. The results demonstrate the effectiveness of the proposed augmentation technique in improving the performance of self-supervised models.


title: A Tale of Two Latent Flows: Learning Latent Space Normalizing Flow with Short-run Langevin Flow for Approximate Inference

abstract: We study a normalizing flow in the latent space of a top-down generator model, in which the normalizing flow model plays the role of the informative prior model of the generator. We propose to jointly learn the latent space normalizing flow prior model and the top-down generator model by a Markov chain Monte Carlo (MCMC)-based maximum likelihood algorithm, where a short-run Langevin sampling from the intractable posterior distribution is performed to infer the latent variables for each observed example, so that the parameters of the normalizing flow prior and the generator can be updated with the inferred latent variables. We show that, under the scenario of non-convergent short-run MCMC, the finite step Langevin dynamics is a flow-like approximate inference model and the learning objective actually follows the perturbation of the maximum likelihood estimation (MLE). We further point out that the learning framework seeks to (i) match the latent space normalizing flow and the aggregated posterior produced by the short-run Langevin flow, and (ii) bias the model from MLE such that the short-run Langevin flow inference is close to the true posterior. Empirical results of extensive experiments validate the effectiveness of the proposed latent space normalizing flow model in the tasks of image generation, image reconstruction, anomaly detection, supervised image inpainting and unsupervised image recovery.


title: Geometric Theory of Mechanical Screening in two-dimensional solids

abstract: Holes in mechanical metamaterials, quasi-localized plastic events in amorphous solids, and bound dislocations in a hexatic matter are different mechanisms of generic stress relaxation in solids. Regardless of the specific mechanism, these and other local stress relaxation modes are quadrupolar in nature, forming the foundation for stress screening in solids, similar to polarization fields in electrostatic media. We propose a geometric theory for stress screening in generalized solids based on this observation. The theory includes a hierarchy of screening modes, each characterized by internal length scales, and is partially analogous to theories of electrostatic screening such as dielectrics and Debye-H{\"u}ckel theory. Additionally, our formalism suggests that the hexatic phase, traditionally defined by structural properties, can also be defined by mechanical properties and may exist in amorphous materials.


title: Spectral Properties of Jacobi-like Band Matrices on the Sequence Space $\ell_p$

abstract: In this paper, the spectral properties of a class of Jacobi-like operators defined over the sequence space $\ell_{p}, (1<p<\infty)$ which has a representation of an infinite band matrix where the entries of each non-zero band form a sequence with two limit points are investigated. The idea of compact perturbation is used to study the spectrum. Several spectral subdivisions are obtained. In addition, a few sufficient conditions on the absence of point spectrum over the essential spectrum are also discussed.


title: Downlink Transmission under Heterogeneous Blocklength Constraints: Discrete Signaling with Single-User Decoding

abstract: In this paper, we consider the downlink broadcast channel under heterogenous blocklength constraints, where each user experiences different interference statistics across its received symbols. Different from the homogeneous blocklength case, the strong users with short blocklength transmitted symbol blocks usually cannot wait to receive the entire transmission frame and perform successive interference cancellation (SIC) owing to their stringent latency requirements. Even if SIC is feasible, it may not be perfect under finite blocklength constraints. To cope with the heterogeneity in latency and reliability requirements, we propose a practical downlink transmission scheme with discrete signaling and single-user decoding, i.e., without SIC. In addition, we derive the finite blocklength achievable rate and use it for guiding the design of channel coding and modulations. Both achievable rate and error probability simulation show that the proposed scheme can operate close to the benchmark scheme which assumes capacity-achieving signaling and perfect SIC.


title: Engineering meter-scale porous media flow experiments for quantitative studies of geological carbon sequestration

abstract: This technical note describes the FluidFlower concept, a new laboratory infrastructure for geological carbon storage research. The highly controlled and adjustable system produces a strikingly visual physical ground truth of studied processes for model validation, comparison, and forecasting, including detailed physical studies of the behavior and storage mechanisms of carbon dioxide and its derivative forms in relevant geological settings for subsurface carbon storage. The design, instrumentation, structural aspects and methodology are described. Furthermore, we share engineering insights on construction, operation, fluid considerations, and fluid resetting in the porous media. The new infrastructure enables researchers to study variability between repeated CO2 injections, making the FluidFlower concept a suitable tool for sensitivity studies on a range of determining carbon storage parameters in varying geological formations.


title: Practical Adversarial Attacks Against AI-Driven Power Allocation in a Distributed MIMO Network

abstract: In distributed multiple-input multiple-output (D-MIMO) networks, power control is crucial to optimize the spectral efficiencies of users and max-min fairness (MMF) power control is a commonly used strategy as it satisfies uniform quality-of-service to all users. The optimal solution of MMF power control requires high complexity operations and hence deep neural network based artificial intelligence (AI) solutions are proposed to decrease the complexity. Although quite accurate models can be achieved by using AI, these models have some intrinsic vulnerabilities against adversarial attacks where carefully crafted perturbations are applied to the input of the AI model. In this work, we show that threats against the target AI model which might be originated from malicious users or radio units can substantially decrease the network performance by applying a successful adversarial sample, even in the most constrained circumstances. We also demonstrate that the risk associated with these kinds of adversarial attacks is higher than the conventional attack threats. Detailed simulations reveal the effectiveness of adversarial attacks and the necessity of smart defense techniques.


title: Chore Cutting: Envy and Truth

abstract: We study the fair division of divisible bad resources with strategic agents who can manipulate their private information to get a better allocation. Within certain constraints, we are particularly interested in whether truthful envy-free mechanisms exist over piecewise-constant valuations. We demonstrate that no deterministic truthful envy-free mechanism can exist in the connected-piece scenario, and the same impossibility result occurs for hungry agents. We also show that no deterministic, truthful dictatorship mechanism can satisfy the envy-free criterion, and the same result remains true for non-wasteful constraints rather than dictatorship. We further address several related problems and directions.


title: Measurement of cosmic-ray muon spallation products in a xenon-loaded liquid scintillator with KamLAND

abstract: Cosmic-ray muons produce various radioisotopes when passing through material. These spallation products can be backgrounds for rare event searches such as in solar neutrino, double-beta decay, and dark matter search experiments. The KamLAND-Zen experiment searches for neutrinoless double-beta decay in 745kg of xenon dissolved in liquid scintillator. The experiment includes dead-time-free electronics with a high efficiency for detecting muon-induced neutrons. The production yields of different radioisotopes are measured with a combination of delayed coincidence techniques, newly developed muon reconstruction and xenon spallation identification methods. The observed xenon spallation products are consistent with results from the FLUKA and Geant4 simulation codes.


title: On the Expressive Power of Geometric Graph Neural Networks

abstract: The expressive power of Graph Neural Networks (GNNs) has been studied extensively through the Weisfeiler-Leman (WL) graph isomorphism test. However, standard GNNs and the WL framework are inapplicable for geometric graphs embedded in Euclidean space, such as biomolecules, materials, and other physical systems. In this work, we propose a geometric version of the WL test (GWL) for discriminating geometric graphs while respecting the underlying physical symmetries: permutations, rotation, reflection, and translation. We use GWL to characterise the expressive power of geometric GNNs that are invariant or equivariant to physical symmetries in terms of distinguishing geometric graphs. GWL unpacks how key design choices influence geometric GNN expressivity: (1) Invariant layers have limited expressivity as they cannot distinguish one-hop identical geometric graphs; (2) Equivariant layers distinguish a larger class of graphs by propagating geometric information beyond local neighbourhoods; (3) Higher order tensors and scalarisation enable maximally powerful geometric GNNs; and (4) GWL's discrimination-based perspective is equivalent to universal approximation. Synthetic experiments supplementing our results are available at \url{https://github.com/chaitjo/geometric-gnn-dojo}


title: Goppa codes over Edwards curves

abstract: Given an Edwards curve, we determine a basis for the Riemann-Roch space of any divisor whose support does not contain any of the two singular points. This basis allows us to compute a generating matrix for an algebraic-geometric Goppa code over the Edwards curve.


title: SaLoBa: Maximizing Data Locality and Workload Balance for Fast Sequence Alignment on GPUs

abstract: Sequence alignment forms an important backbone in many sequencing applications. A commonly used strategy for sequence alignment is an approximate string matching with a two-dimensional dynamic programming approach. Although some prior work has been conducted on GPU acceleration of a sequence alignment, we identify several shortcomings that limit exploiting the full computational capability of modern GPUs. This paper presents SaLoBa, a GPU-accelerated sequence alignment library focused on seed extension. Based on the analysis of previous work with real-world sequencing data, we propose techniques to exploit the data locality and improve workload balancing. The experimental results reveal that SaLoBa significantly improves the seed extension kernel compared to state-of-the-art GPU-based methods.


title: Manifestation of the electric dipole moment in the decays of $\tau$ leptons produced in $e^+e^-$ annihilation

abstract: $\mbox{CP}$-odd asymmetries in the processes $e^+e^-\rightarrow \tau^+\pi^-\nu_\tau$, $e^+e^-\rightarrow \pi^+\tau^-\bar\nu_ \tau$, $e^+e^-\rightarrow \tau^+\rho^-\nu_\tau$, $e^+e^-\rightarrow \rho^+\tau^-\bar\nu_\tau $, $e^+e^-\to \tau^+e^-\nu_\tau{\bar\nu}_e\,,\,$ and $\,e^+e^-\to \tau^-e^+\nu_e{\bar\nu}_\tau$ are investigated with account for longitudinal polarization of electron (or positron) beam. These asymmetries is a manifestation of electric dipole form factor $F_3^\tau\equiv b$ in the $\gamma\tau^+\tau^-$ vertex. It is shown that, to measure $\mbox{Im}\,b$ in the specified processes, polarization is not needed, while to measure $\mbox{Re}\,b$ it is required. The processes $e^+e^-\to \pi^+\pi^-\nu_\tau{\bar\nu}_\tau$, $e^+e^-\to e^+e^-\nu_\tau{\bar\nu}_\tau\nu_e\bar\nu_e$, $e^+e^-\to \mu^+\mu^-\nu_\tau{\bar\nu}_\tau\nu_\mu\bar\nu_\mu$, $e^+e^-\to \mu^+e^-\nu_\tau{\bar\nu}_\tau\nu_\mu\bar\nu_e$, and $e^+e^-\to \mu^-e^+\nu_\tau{\bar\nu}_\tau\nu_e\bar\nu_\mu$ are also discussed for the case of unpolarized electron and positron beams. In the latter cases it is possible to measure $\mbox{Re}\,b$ using the differential cross section over momenta of both registered particles.


title: Enabling Hard Constraints in Differentiable Neural Network and Accelerator Co-Exploration

abstract: Co-exploration of an optimal neural architecture and its hardware accelerator is an approach of rising interest which addresses the computational cost problem, especially in low-profile systems. The large co-exploration space is often handled by adopting the idea of differentiable neural architecture search. However, despite the superior search efficiency of the differentiable co-exploration, it faces a critical challenge of not being able to systematically satisfy hard constraints such as frame rate. To handle the hard constraint problem of differentiable co-exploration, we propose HDX, which searches for hard-constrained solutions without compromising the global design objectives. By manipulating the gradients in the interest of the given hard constraint, high-quality solutions satisfying the constraint can be obtained.


title: Two-stage 2D-to-3D reconstruction of realistic microstructures: Implementation and numerical validation by effective properties

abstract: Realistic microscale domains are an essential step towards making modern multiscale simulations more applicable to computational materials engineering. For this purpose, 3D computed tomography scans can be very expensive or technically impossible for certain materials, whereas 2D information can be easier obtained. Based on a single or three orthogonal 2D slices, the recently proposed differentiable microstructure characterization and reconstruction (DMCR) algorithm is able to reconstruct multiple plausible 3D realizations of the microstructure based on statistical descriptors, i.e., without the need for a training data set. Building upon DMCR, this work introduces a highly accurate two-stage reconstruction algorithm that refines the DMCR results under consideration of microstructure descriptors. Furthermore, the 2D-to-3D reconstruction is validated using a real computed tomography (CT) scan of a recently developed beta-Ti/TiFe alloy as well as anisotropic "bone-like" spinodoid structures. After a detailed discussion of systematic errors in the descriptor space, the reconstructed microstructures are compared to the reference in terms of the numerically obtained effective elastic and plastic properties. Together with the free accessibility of the presented algorithms in MCRpy, the excellent results in this study motivate interdisciplinary cooperation in applying numerical multiscale simulations for computational materials engineering.


title: Hooke and Coulomn Energy of Tripod Spiders

abstract: Tripod spiders are the simplest examples of arachnoid mechanisms. Their workspaces and configuration spaces are well known. For Hooke potential, we give a complete description of the Morse theory and treat the robust control of the spider. For the Coulomb energy, we use stationary charges and the trapping domain to study the robust control of spiders. We show that, for a regular triangle and positive charges, the domain of robust control is non-void. This relates to questions about the Maxwell conjecture about point charges. We end with several natural problems and research perspectives suggested by our results.


title: AI-Based Framework for Understanding Car Following Behaviors of Drivers in A Naturalistic Driving Environment

abstract: The most common type of accident on the road is a rear-end crash. These crashes have a significant negative impact on traffic flow and are frequently fatal. To gain a more practical understanding of these scenarios, it is necessary to accurately model car following behaviors that result in rear-end crashes. Numerous studies have been carried out to model drivers' car-following behaviors; however, the majority of these studies have relied on simulated data, which may not accurately represent real-world incidents. Furthermore, most studies are restricted to modeling the ego vehicle's acceleration, which is insufficient to explain the behavior of the ego vehicle. As a result, the current study attempts to address these issues by developing an artificial intelligence framework for extracting features relevant to understanding driver behavior in a naturalistic environment. Furthermore, the study modeled the acceleration of both the ego vehicle and the leading vehicle using extracted information from NDS videos. According to the study's findings, young people are more likely to be aggressive drivers than elderly people. In addition, when modeling the ego vehicle's acceleration, it was discovered that the relative velocity between the ego vehicle and the leading vehicle was more important than the distance between the two vehicles.


title: Approximation of the Nearest Classical-Classical State to a Quantum State

abstract: The capacity of quantum computation exceeds that of classical computers. A revolutionary step in computation is driven by quantumness or quantum correlations, which are permanent in entanglements but often in separable states; therefore, quantifying the quantumness of a state in a quantum system is an important task. The exact quantification of quantumness is an NP-hard problem; thus, we consider alternative approaches to approximate it. In this paper, we take the Frobenius norm to establish an objective function and propose a gradient-driven descent flow on Stiefel manifolds to determine the quantity. We show that the objective value decreases along the flow by proofs and numerical results. Besides, the method guarantees the ability to decompose quantum states into tensor products of certain structures and maintain basic quantum assumptions. Finally, the numerical results eventually confirm the applicability of our method in real-world settings.


title: A Survey on Actionable Knowledge

abstract: Actionable Knowledge Discovery (AKD) is a crucial aspect of data mining that is gaining popularity and being applied in a wide range of domains. This is because AKD can extract valuable insights and information, also known as knowledge, from large datasets. The goal of this paper is to examine different research studies that focus on various domains and have different objectives. The paper will review and discuss the methods used in these studies in detail. AKD is a process of identifying and extracting actionable insights from data, which can be used to make informed decisions and improve business outcomes. It is a powerful tool for uncovering patterns and trends in data that can be used for various applications such as customer relationship management, marketing, and fraud detection. The research studies reviewed in this paper will explore different techniques and approaches for AKD in different domains, such as healthcare, finance, and telecommunications. The paper will provide a thorough analysis of the current state of AKD in the field and will review the main methods used by various research studies. Additionally, the paper will evaluate the advantages and disadvantages of each method and will discuss any novel or new solutions presented in the field. Overall, this paper aims to provide a comprehensive overview of the methods and techniques used in AKD and the impact they have on different domains.


title: Toward Foundation Models for Earth Monitoring: Generalizable Deep Learning Models for Natural Hazard Segmentation

abstract: Climate change results in an increased probability of extreme weather events that put societies and businesses at risk on a global scale. Therefore, near real-time mapping of natural hazards is an emerging priority for the support of natural disaster relief, risk management, and informing governmental policy decisions. Recent methods to achieve near real-time mapping increasingly leverage deep learning (DL). However, DL-based approaches are designed for one specific task in a single geographic region based on specific frequency bands of satellite data. Therefore, DL models used to map specific natural hazards struggle with their generalization to other types of natural hazards in unseen regions. In this work, we propose a methodology to significantly improve the generalizability of DL natural hazards mappers based on pre-training on a suitable pre-task. Without access to any data from the target domain, we demonstrate this improved generalizability across four U-Net architectures for the segmentation of unseen natural hazards. Importantly, our method is invariant to geographic differences and differences in the type of frequency bands of satellite data. By leveraging characteristics of unlabeled images from the target domain that are publicly available, our approach is able to further improve the generalization behavior without fine-tuning. Thereby, our approach supports the development of foundation models for earth monitoring with the objective of directly segmenting unseen natural hazards across novel geographic regions given different sources of satellite imagery.


title: Mean-to-max ratio of the torsion function and honeycomb structures

abstract: In this paper we study extremal behaviors of the mean to max ratio of the $p$-torsion function with respect to the geometry of the domain. For $p$ larger than the dimension of the space $N$, we prove that the upper bound is uniformly below $1$, contrary to the case $p \in (1,N]$. For $p=+\infty$, in two dimensions, we prove that the upper bound is asymptotically attained by a disc from which is removed a network of points consisting on the vertices of a tiling of the plane with regular hexagons of vanishing size.


title: A Framework for Evaluating the Impact of Food Security Scenarios

abstract: This study proposes an approach for predicting the impacts of scenarios on food security and demonstrates its application in a case study. The approach involves two main steps: (1) scenario definition, in which the end user specifies the assumptions and impacts of the scenario using a scenario template, and (2) scenario evaluation, in which a Vector Autoregression (VAR) model is used in combination with Monte Carlo simulation to generate predictions for the impacts of the scenario based on the defined assumptions and impacts. The case study is based on a proprietary time series food security database created using data from the Food and Agriculture Organization of the United Nations (FAOSTAT), the World Bank, and the United States Department of Agriculture (USDA). The database contains a wide range of data on various indicators of food security, such as production, trade, consumption, prices, availability, access, and nutritional value. The results show that the proposed approach can be used to predict the potential impacts of scenarios on food security and that the proprietary time series food security database can be used to support this approach. The study provides specific insights on how this approach can inform decision-making processes related to food security such as food prices and availability in the case study region.


title: Optimal Inter-area Oscillation Damping Control: A Transfer Deep Reinforcement Learning Approach with Switching Control Strategy

abstract: Wide-area damping control for inter-area oscillation (IAO) is critical to modern power systems. The recent breakthroughs in deep learning and the broad deployment of phasor measurement units (PMU) promote the development of datadriven IAO damping controllers. In this paper, the damping control of IAOs is modeled as a Markov Decision Process (MDP) and solved by the proposed Deep Deterministic Policy Gradient (DDPG) based deep reinforcement learning (DRL) approach. The proposed approach optimizes the eigenvalue distribution of the system, which determines the IAO modes in nature. The eigenvalues are evaluated by the data-driven method called dynamic mode decomposition. For a given power system, only a subset of generators selected by participation factors needs to be controlled, alleviating the control and computing burdens. A Switching Control Strategy (SCS) is introduced to improve the transient response of IAOs. Numerical simulations of the IEEE-39 New England power grid model validate the effectiveness and advanced performance of the proposed approach as well as its robustness against communication delays. In addition, we demonstrate the transfer ability of the DRL model trained on the linearized power grid model to provide effective IAO damping control in the non-linear power grid model environment.


title: Deep Learning-Based Assessment of Cerebral Microbleeds in COVID-19

abstract: Cerebral Microbleeds (CMBs), typically captured as hypointensities from susceptibility-weighted imaging (SWI), are particularly important for the study of dementia, cerebrovascular disease, and normal aging. Recent studies on COVID-19 have shown an increase in CMBs of coronavirus cases. Automatic detection of CMBs is challenging due to the small size and amount of CMBs making the classes highly imbalanced, lack of publicly available annotated data, and similarity with CMB mimics such as calcifications, irons, and veins. Hence, the existing deep learning methods are mostly trained on very limited research data and fail to generalize to unseen data with high variability and cannot be used in clinical setups. To this end, we propose an efficient 3D deep learning framework that is actively trained on multi-domain data. Two public datasets assigned for normal aging, stroke, and Alzheimer's disease analysis as well as an in-house dataset for COVID-19 assessment are used to train and evaluate the models. The obtained results show that the proposed method is robust to low-resolution images and achieves 78% recall and 80% precision on the entire test set with an average false positive of 1.6 per scan.


title: Non-Markovianity in the time evolution of open quantum systems assessed by means of quantum state distance

abstract: We provide a quantitative evaluation of non-Markovianity (NM) for an XX chain of interacting qubits with one end coupled to a reservoir. The NM of several non-Markovian spectral densities is assessed in terms of various quantum state distance (QSD) measures. Our approach is based on the construction of the density matrix of the open chain, without the necessity of a master equation. For the quantification of NM we calculate the dynamics of the QSD measures between the Markovian-damped and various types of non-Markovian-damped cases. Since in the literature several QSD measures, appear in forms that imply trace preserving density matrices, we introduced appropriate modifications so as to render them applicable to the case of decaying traces. The results produce remarkable consistency between the various QSD measures. They also reveal a subtle and potentially useful interplay between qubit-qubit interaction and non-Markovian damping. Our calculations have also uncovered a surprisingly dramatic slowing-down of dissipation by the squared Lorentzian reservoir.


title: Uncertainties in asteroseismic grid-based estimates of the ages of halo stars

abstract: [...] The aim of this paper is to study the precision and theoretical biases in the age determinations of halo stars adopting both asteroseismic and classic observational constraints. [...] We adopt the well-tested SCEPtER pipeline, covering evolutionary phases up to the red giant branch (RGB). The fitting grids contain stars with mass in the range of [0.7; 1.0] $M_{\odot}$ and metallicity [Fe/H] from -2.5 to -0.5. We investigate several scenarios characterised by different adopted observational uncertainties. We also assess the impact of systematic discrepancies between the recovery grid models and target stars by computing several synthetic grids of stellar models with perturbed input physics. In our reference scenario, we recover ages for stars in the main sequence (MS) or subgiant branch (SGB) with a typical 10\%--20\% precision, while we recover those of RGB stars with a precision of about 60\%. However, adopting tighter constraints on asteroseismic parameters, the age precision in RGB improved to 20\%, while few modifications occur in the other analysed evolutionary phases. A systematic discrepancies between grid models and target stars shows that a mismatch in the mixing-length parameter value leads to significant bias in the age estimations for MS stars (about 10\%), but this bias is smaller for SGB and RGB stars. Neglecting the microscopic diffusion effect in the recovery grid leads to a typical 40\% bias in age estimates for stars on the MS. Finally, we applied the technique to stars in globular clusters. We find a precision in age estimates of around 20\% for MS stars and up to 40\% for RGB stars, greater than those obtained with classical methods. We demonstrate the method on stars of the cluster M4, obtaining a cluster age of $11.9 \pm 1.5$ Gyr and a mass at the turn-of off $0.86 \pm 0.04$ $M_{\odot}$, which are in good agreement with literature results.


title: cc-differential uniformity, (almost) perfect cc-nonlinearity, and equivalences

abstract: In this article, we introduce new notions $cc$-differential uniformity, $cc$-differential spectrum, PccN functions and APccN functions, and investigate their properties. We also introduce $c$-CCZ equivalence, $c$-EA equivalence, and $c1$-equivalence. We show that $c$-differential uniformity is invariant under $c1$-equivalence, and $cc$-differential uniformity and $cc$-differential spectrum are preserved under $c$-CCZ equivalence. We characterize $cc$-differential uniformity of vectorial Boolean functions in terms of the Walsh transformation. We investigate $cc$-differential uniformity of power functions $F(x)=x^d$. We also illustrate examples to prove that $c$-CCZ equivalence is strictly more general than $c$-EA equivalence.


title: Quantum conditional entropies and steerability of states with maximally mixed marginals

abstract: Quantum steering is an asymmetric correlation which occupies a place between entanglement and Bell nonlocality. In the paradigmatic scenario involving the protagonists Alice and Bob, the entangled state shared between them, is said to be steerable from Alice to Bob if the steering assemblage on Bob's side do not admit a local hidden state (LHS) description. Quantum conditional entropies, on the other hand provide for another characterization of quantum correlations. Contrary to our common intuition conditional entropies for some entangled states can be negative, marking a significant departure from the classical realm. Quantum steering and quantum nonlocality in general share an intricate relation with quantum conditional entropies. In the present contribution, we investigate this relationship. For a significant class, namely the two-qubit Weyl states we show that negativity of conditional R\'enyi 2-entropy and conditional Tsallis 2-entropy is a necessary and sufficient condition for the violation of a suitably chosen three settings steering inequality. With respect to the same inequality we find an upper bound for the conditional R\'enyi 2-entropy, such that the general two-qubit state is steerable. Moving from a particular steering inequality to local hidden state descriptions, we show that some two-qubit Weyl states which admit a LHS model possess non-negative conditional R\'enyi 2-entropy. However, the same does not hold true for some non-Weyl states. Our study further investigates the relation between non-negativity of conditional entropy and LHS models in two-qudits for the isotropic and Werner states. There we find that whenever these states admit a LHS model, they possess a non-negative conditional R\'enyi 2-entropy. We then observe that the same holds true for a noisy variant of the two-qudit Werner state.


title: Subjective probability, trivalent logics and compound conditionals

abstract: In this work we first illustrate the subjective theory of de Finetti. We recall the notion of coherence for both the betting scheme and the penalty criterion, by considering the unconditional and conditional cases. We show the equivalence of the two criteria by giving the geometrical interpretation of coherence. We also consider the notion of coherence based on proper scoring rules. We discuss conditional events in the trivalent logic of de Finetti and the numerical representation of truth-values. We check the validity of selected basic logical and probabilistic properties for some trivalent logics: Kleene-Lukasiewicz-Heyting-de Finetti; Lukasiewicz; Bochvar-Kleene; Sobocinski. We verify that none of these logics satisfies all the properties. Then, we consider our approach to conjunction and disjunction of conditional events in the setting of conditional random quantities. We verify that all the basic logical and probabilistic properties (included the Fr\'{e}chet-Hoeffding bounds) are preserved in our approach. We also recall the characterization of p-consistency and p-entailment by our notion of conjunction.


title: Insights into the reionization epoch from cosmic-noon-CIV emitters in the VANDELS survey

abstract: Recently, intense emission from nebular C III] and C IV emission lines have been observed in galaxies in the epoch of reionization ($z>6$) and have been proposed as the prime way of measuring their redshift and studying their stellar populations. These galaxies might represent the best examples of cosmic reionizers, as suggested by recent low-z observations of Lyman Continuum emitting galaxies, but it is hard to directly study the production and escape of ionizing photons at such high redshifts. The ESO spectroscopic public survey VANDELS offers the unique opportunity to find rare examples of such galaxies at cosmic noon ($z\sim 3$), thanks to the ultra deep observations available. We have selected a sample of 39 galaxies showing C IV emission, whose origin (after a careful comparison to photoionization models) can be ascribed to star formation and not to AGN. By using a multi-wavelength approach, we determine their physical properties including metallicity and ionization parameter and compare them to the properties of the parent population to understand what are the ingredients that could characterize the analogs of the cosmic reionizers. We find that C IV emitters are galaxies with high photons production efficiency and there are strong indications that they might have also large escape fraction: given the visibility of C IV in the epoch of reionization this could become the best tool to pinpoint the cosmic reioinzers.


title: Transient 2D IR spectroscopy and multiscale simulations reveal vibrational couplings in the Cyanobacteriochrome Slr1393-g3

abstract: Cyanobacteriochromes are bi-stable photoreceptor proteins with desirable photochemical properties for biotechnological applications such as optogenetics or fluorescence microscopy. Here, we investigated Slr1393-g3, a cyanobacteriochrome that reversibly photo-switches between a red-absorbing (Pr) and green-absorbing (Pg) form. We applied advanced IR spectroscopic methods to track the sequence of intermediates during the photocycle over many orders in magnitude in time. In the conversion from Pg to Pr, we have revealed a new intermediate which precedes the Pr formation by using transient IR spectroscopy. In addition, stationary and transient 2D~IR experiments measured the vibrational couplings between different groups of the chromophore and the protein during these intermediate states. Anharmonic QM/MM calculations predict spectra in close-to-quantitative agreement with experimental 2D~IR spectra of the initial and the final state of the photocycle. They facilitate the assignment of the IR spectra and provide an atomistic insight into the coupling mechanism. This serves as a basis for the interpretation of the spectroscopic results and suggests structural changes of the intermediates along the photocycle.


title: Dyonic black holes: The theory of two electromagnetic potentials

abstract: In the present paper we argue that the dyonic black hole spacetimes must be studied within the theory of two electromagnetic potentials, and we use the dyonic Reissner-Nordstr\"om solution to demonstrate that the field of the monopole magnetic charge is correctly described by the $t$-component of the dual electromagnetic potential. As a result, the Dirac string associated with the $\varphi$-component of the usual electromagnetic 4-potential becomes just a mathematical object, without any physical content, that arises in some calculations when one employs unsymmetrical representations of the electromagnetic field. We use three different, though equivalent, forms of the electromagnetic energy-momentum tensor to calculate the Komar mass of the Reissner-Nordstr\"om black hole, and in one case the Dirac string is linked to the magnetic charge, in another to the electric charge, while the third, symmetrical case, is string-free.


title: The ring of twisted tilting modules of quantum $GL_n$

abstract: Let $G$ be the quantum $GL_n$ over a field of characteristic $p\neq 0$. In this paper we define the ring of twisted tilting modules of $G$. We give generators and relations for the ring of twisted tilting modules of quantum $GL_2(k)$. We also show that this is a reduced ring