title: Approach to Alleviate Wealth Compounding in Proof-of-Stake Cryptocurrencies

abstract: Due to its minimal energy requirement the PoS consensus protocol has become an attractive alternative to PoW in modern cryptocurrencies. In this protocol the chance of being selected as a block proposer in each round is proportional to the current stake of any node. Thus, nodes with higher stakes will achieve more block rewards, resulting in the so-called rich-getting-richer problem. In this paper, we introduce a new block reward mechanism called the FRD (Fair Reward Distribution) mechanism, in which for each block produced, in addition to a major reward given to the block proposer, a small reward is given to all other nodes. We prove that this reward mechanism makes the PoS protocol fairer in terms of concentration of wealth by developing on the Bagchi-Pal urn model.


title: Properties of minimal charts and their applications IX: charts of type $(4,3)$

abstract: Charts are oriented labeled graphs in a disk. Any simple surface braid (2-dimensonal braid) can be described by using a chart. Also, a chart represents an oriented closed surface embedded in 4-space. In this paper, we investigate embedded surfaces in 4-space by using charts. Let $\Gamma$ be a chart, and we denote by $\Gamma_m$ the union of all the edges of label $m$. A chart $\Gamma$ is of type $(4,3)$ if there exists a label $m$ such that $w(\Gamma)=7$, $w(\Gamma_m\cap\Gamma_{m+1})=4$, $w(\Gamma_{m+1}\cap\Gamma_{m+2})=3$ where $w(G)$ is the number of white vertices in $G$. In this paper, we prove that there is no minimal chart of type $(4,3)$.


title: A Cognitive Study on Semantic Similarity Analysis of Large Corpora: A Transformer-based Approach

abstract: Semantic similarity analysis and modeling is a fundamentally acclaimed task in many pioneering applications of natural language processing today. Owing to the sensation of sequential pattern recognition, many neural networks like RNNs and LSTMs have achieved satisfactory results in semantic similarity modeling. However, these solutions are considered inefficient due to their inability to process information in a non-sequential manner, thus leading to the improper extraction of context. Transformers function as the state-of-the-art architecture due to their advantages like non-sequential data processing and self-attention. In this paper, we perform semantic similarity analysis and modeling on the U.S Patent Phrase to Phrase Matching Dataset using both traditional and transformer-based techniques. We experiment upon four different variants of the Decoding Enhanced BERT - DeBERTa and enhance its performance by performing K-Fold Cross-Validation. The experimental results demonstrate our methodology's enhanced performance compared to traditional techniques, with an average Pearson correlation score of 0.79.


title: A Priority Map for Vision-and-Language Navigation with Trajectory Plans and Feature-Location Cues

abstract: In a busy city street, a pedestrian surrounded by distractions can pick out a single sign if it is relevant to their route. Artificial agents in outdoor Vision-and-Language Navigation (VLN) are also confronted with detecting supervisory signal on environment features and location in inputs. To boost the prominence of relevant features in transformer-based architectures without costly preprocessing and pretraining, we take inspiration from priority maps - a mechanism described in neuropsychological studies. We implement a novel priority map module and pretrain on auxiliary tasks using low-sample datasets with high-level representations of routes and environment-related references to urban features. A hierarchical process of trajectory planning - with subsequent parameterised visual boost filtering on visual inputs and prediction of corresponding textual spans - addresses the core challenges of cross-modal alignment and feature-level localisation. The priority map module is integrated into a feature-location framework that doubles the task completion rates of standalone transformers and attains state-of-the-art performance on the Touchdown benchmark for VLN. Code and data are referenced in Appendix C.


title: TIPS: Text-Induced Pose Synthesis

abstract: In computer vision, human pose synthesis and transfer deal with probabilistic image generation of a person in a previously unseen pose from an already available observation of that person. Though researchers have recently proposed several methods to achieve this task, most of these techniques derive the target pose directly from the desired target image on a specific dataset, making the underlying process challenging to apply in real-world scenarios as the generation of the target image is the actual aim. In this paper, we first present the shortcomings of current pose transfer algorithms and then propose a novel text-based pose transfer technique to address those issues. We divide the problem into three independent stages: (a) text to pose representation, (b) pose refinement, and (c) pose rendering. To the best of our knowledge, this is one of the first attempts to develop a text-based pose transfer framework where we also introduce a new dataset DF-PASS, by adding descriptive pose annotations for the images of the DeepFashion dataset. The proposed method generates promising results with significant qualitative and quantitative scores in our experiments.


title: Gradient-based Bi-level Optimization for Deep Learning: A Survey

abstract: Bi-level optimization, especially the gradient-based category, has been widely used in the deep learning community including hyperparameter optimization and meta-knowledge extraction. Bi-level optimization embeds one problem within another and the gradient-based category solves the outer-level task by computing the hypergradient, which is much more efficient than classical methods such as the evolutionary algorithm. In this survey, we first give a formal definition of the gradient-based bi-level optimization. Next, we delineate criteria to determine if a research problem is apt for bi-level optimization and provide a practical guide on structuring such problems into a bi-level optimization framework, a feature particularly beneficial for those new to this domain. More specifically, there are two formulations: the single-task formulation to optimize hyperparameters such as regularization parameters and the distilled data, and the multi-task formulation to extract meta-knowledge such as the model initialization. With a bi-level formulation, we then discuss four bi-level optimization solvers to update the outer variable including explicit gradient update, proxy update, implicit function update, and closed-form update. Finally, we wrap up the survey by highlighting two prospective future directions: (1) Effective Data Optimization for Science examined through the lens of task formulation. (2) Accurate Explicit Proxy Update analyzed from an optimization standpoint.


title: Progressive Feature Learning for Realistic Cloth-Changing Gait Recognition

abstract: Gait recognition is instrumental in crime prevention and social security, for it can be conducted at a long distance to figure out the identity of persons. However, existing datasets and methods cannot satisfactorily deal with the most challenging cloth-changing problem in practice. Specifically, the practical gait models are usually trained on automatically labeled data, in which the sequences' views and cloth conditions of each person have some restrictions. To be concrete, the cross-view sub-dataset only has normal walking condition without cloth-changing, while the cross-cloth sub-dataset has cloth-changing sequences but only in front views. As a result, the cloth-changing accuracy cannot meet practical requirements. In this work, we formulate the problem as Realistic Cloth-Changing Gait Recognition (abbreviated as RCC-GR) and we construct two benchmarks: CASIA-BN-RCC and OUMVLP-RCC, to simulate the above setting. Furthermore, we propose a new framework called Progressive Feature Learning that can be applied with off-the-shelf backbones to improve their performance in RCC-GR. Specifically, in our framework, we design Progressive Mapping and Progressive Uncertainty to extract cross-view features and then extract cross-cloth features on the basis. In this way, the feature from the cross-view sub-dataset can first dominate the feature space and relieve the uneven distribution caused by the adverse effect from the cross-cloth sub-dataset. The experiments on our benchmarks show that our framework can effectively improve recognition performance, especially in the cloth-changing conditions.


title: Would quantum coherence be increased by curvature effect in de Sitter space?

abstract: We study the quantum coherence in de Sitter space for the bipartite system of Alice and Bob who initially share an entangled state between the two modes of a free massive scalar field. It is shown that the space-curvature effect can produce both local coherence and correlated coherence, leading to the increase of the total coherence of the bipartite system. These results are sharp different from the Unruh effect or Hawking effect, which, in the single mode approximation, cannot produce local coherence and at the same time destroy correlated coherence, leading to the decrease of the total coherence of the bipartite systems. Interestingly, we find that quantum coherence has the opposite behavior compared with the quantum correlation in de Sitter space. We also find that quantum coherence is most severely affected by the curvature effect of de Sitter space for the cases of conformal invariance and masslessness. Our result reveals the difference between the curvature effect in the de Sitter space and the Unruh effect in Rindler spacetime or the Hawking effect in black hole spacetime on quantum coherence.


title: Semantic-guided Multi-Mask Image Harmonization

abstract: Previous harmonization methods focus on adjusting one inharmonious region in an image based on an input mask. They may face problems when dealing with different perturbations on different semantic regions without available input masks. To deal with the problem that one image has been pasted with several foregrounds coming from different images and needs to harmonize them towards different domain directions without any mask as input, we propose a new semantic-guided multi-mask image harmonization task. Different from the previous single-mask image harmonization task, each inharmonious image is perturbed with different methods according to the semantic segmentation masks. Two challenging benchmarks, HScene and HLIP, are constructed based on $150$ and $19$ semantic classes, respectively. Furthermore, previous baselines focus on regressing the exact value for each pixel of the harmonized images. The generated results are in the `black box' and cannot be edited. In this work, we propose a novel way to edit the inharmonious images by predicting a series of operator masks. The masks indicate the level and the position to apply a certain image editing operation, which could be the brightness, the saturation, and the color in a specific dimension. The operator masks provide more flexibility for users to edit the image further. Extensive experiments verify that the operator mask-based network can further improve those state-of-the-art methods which directly regress RGB images when the perturbations are structural. Experiments have been conducted on our constructed benchmarks to verify that our proposed operator mask-based framework can locate and modify the inharmonious regions in more complex scenes. Our code and models are available at https://github.com/XuqianRen/Semantic-guided-Multi-mask-Image-Harmonization.git.


title: On the Validation of Multi-Level Personalised Health Condition Model

abstract: This paper presents a verification-based methodology to validate the model of personalized health conditions. The model identifies the values that may result in unsafe, un-reachable, in-exhaustive, and overlapping states that otherwise threaten patients' life by producing false alarms by accepting suspicious behaviour of the target health condition. Contemporary approaches to validating a model employ various testing, simulation and model checking techniques to recognise such values and corresponding vulnerabilities. However, these approaches are neither systematic nor exhaustive and thus fail to identify those false values or vulnerabilities that estimate the health condition at run-time based on the sensor or input data received from various IoT medical devices. We have demonstrated the validation methodology by validating our example multi-level model that describes three different scenarios of Diabetes health conditions.


title: Adaptive Decision Making at the Intersection for Autonomous Vehicles Based on Skill Discovery

abstract: In urban environments, the complex and uncertain intersection scenarios are challenging for autonomous driving. To ensure safety, it is crucial to develop an adaptive decision making system that can handle the interaction with other vehicles. Manually designed model-based methods are reliable in common scenarios. But in uncertain environments, they are not reliable, so learning-based methods are proposed, especially reinforcement learning (RL) methods. However, current RL methods need retraining when the scenarios change. In other words, current RL methods cannot reuse accumulated knowledge. They forget learned knowledge when new scenarios are given. To solve this problem, we propose a hierarchical framework that can autonomously accumulate and reuse knowledge. The proposed method combines the idea of motion primitives (MPs) with hierarchical reinforcement learning (HRL). It decomposes complex problems into multiple basic subtasks to reduce the difficulty. The proposed method and other baseline methods are tested in a challenging intersection scenario based on the CARLA simulator. The intersection scenario contains three different subtasks that can reflect the complexity and uncertainty of real traffic flow. After offline learning and testing, the proposed method is proved to have the best performance among all methods.


title: Combining Internal and External Constraints for Unrolling Shutter in Videos

abstract: Videos obtained by rolling-shutter (RS) cameras result in spatially-distorted frames. These distortions become significant under fast camera/scene motions. Undoing effects of RS is sometimes addressed as a spatial problem, where objects need to be rectified/displaced in order to generate their correct global shutter (GS) frame. However, the cause of the RS effect is inherently temporal, not spatial. In this paper we propose a space-time solution to the RS problem. We observe that despite the severe differences between their xy frames, a RS video and its corresponding GS video tend to share the exact same xt slices -- up to a known sub-frame temporal shift. Moreover, they share the same distribution of small 2D xt-patches, despite the strong temporal aliasing within each video. This allows to constrain the GS output video using video-specific constraints imposed by the RS input video. Our algorithm is composed of 3 main components: (i) Dense temporal upsampling between consecutive RS frames using an off-the-shelf method, (which was trained on regular video sequences), from which we extract GS "proposals". (ii) Learning to correctly merge an ensemble of such GS "proposals" using a dedicated MergeNet. (iii) A video-specific zero-shot optimization which imposes the similarity of xt-patches between the GS output video and the RS input video. Our method obtains state-of-the-art results on benchmark datasets, both numerically and visually, despite being trained on a small synthetic RS/GS dataset. Moreover, it generalizes well to new complex RS videos with motion types outside the distribution of the training set (e.g., complex non-rigid motions) -- videos which competing methods trained on much more data cannot handle well. We attribute these generalization capabilities to the combination of external and internal constraints.


title: Measurement-based cooling of many-body quantum systems

abstract: We introduce a novel technique for efficiently cooling many-body quantum systems with unknown Hamiltonians down to their ground states with a high fidelity. The technique involves initially applying a strong external field followed by a sequence of single-degree-of-freedom (single-qubit) measurements and radiofrequency (RF) pulses to polarize the system along the field direction. Subsequently, the field is adiabatically switched off, allowing the system to evolve towards its ground state as governed by the quantum adiabatic theorem. We present numerical simulation results demonstrating the effectiveness of the technique applied to quantum spin chains with long-range and short-range interactions as prototypes for many-body quantum systems.


title: Can we achieve robustness from data alone?

abstract: We introduce a meta-learning algorithm for adversarially robust classification. The proposed method tries to be as model agnostic as possible and optimizes a dataset prior to its deployment in a machine learning system, aiming to effectively erase its non-robust features. Once the dataset has been created, in principle no specialized algorithm (besides standard gradient descent) is needed to train a robust model. We formulate the data optimization procedure as a bi-level optimization problem on kernel regression, with a class of kernels that describe infinitely wide neural nets (Neural Tangent Kernels). We present extensive experiments on standard computer vision benchmarks using a variety of different models, demonstrating the effectiveness of our method, while also pointing out its current shortcomings. In parallel, we revisit prior work that also focused on the problem of data optimization for robust classification \citep{Ily+19}, and show that being robust to adversarial attacks after standard (gradient descent) training on a suitable dataset is more challenging than previously thought.


title: A Custom IC Layout Generation Engine Based on Dynamic Templates and Grids

abstract: This paper presents an automatic layout generation framework in advanced CMOS technologies. The framework extends the template-and-grid-based layout generation methodology with the following additional techniques applied to produce optimal layouts more effectively. First, layout templates and grids are dynamically created and adjusted during runtime to serve various structural, functional, and design requirements. Virtual instances support the dynamic template-and-grid-based layout generation process. The framework also implements various post-processing functions to handle process-specific requirements efficiently. The post-processing functions include cut/dummy pattern generation and multiple-patterning adjustment. The generator description capability is enhanced with circular grid indexing/slicing and conditional conversion operators. The layout generation framework is applied to various design examples and generates DRC/LVS clean layouts automatically in multiple CMOS technologies.


title: On relations between harmonic functions and solutions of the modified Helmholtz equation

abstract: We consider the $m$-dimensional modified Helmholtz equation and establish two relations between its solutions in a bounded domain and harmonic functions. Both relations essentially rely on properties of the Newtonian potential. Some other characteristics of these solutions are also obtained.


title: A Direct Construction of Cross Z-Complementary Sets with Flexible Lengths and Large Zero Correlation Zone

abstract: This letter proposes a direct construction for cross Z-complementary sets (CZCSs) with flexible lengths and a large zero correlation zone (ZCZ). CZCS is an extension of the cross Z-complementary pair (CZCP). The maximum possible ZCZ width of a CZCP is half of its sequence length. In this letter, for the first time, a generalized Boolean function based construction of CZCSs with a large number of constituent sequences and a ZCZ ratio of $2/3$ is presented. For integers $m$ and $\delta$, the proposed construction produces CZCS with length expressed as $2^{m-1}+2^\delta$ ($0 \leq \delta <m-1,m\geq 4$), where both odd and even lengths CZCS can be obtained. Additionally, the constructed CZCS also feature a complementary set of the same length. Finally, the proposed construction is compared with the existing works.


title: Higher order Kirillov-Reshetikhin modules, Imaginary modules and Monoidal Categorification for $U_q(A_n^{(1)})$

abstract: We study the family of irreducible modules for quantum affine $\lie{sl}_{n+1}$ whose Drinfeld polynomials are supported on just one node of the Dynkin diagram. We identify all the prime modules in this family and prove a unique factorization theorem. The Drinfeld polynomials of the prime modules encode information coming from the points of reducibility of tensor products of the fundamental modules associated to $A_m$ with $m\le n$. These prime modules are a special class of the snake modules studied by Mukhin and Young. We relate our modules to the work of Hernandez and Leclerc and define generalizations of the category $\mathscr C^-$. This leads naturally to the notion of an inflation of the corresponding Grothendieck ring. In the last section we show that the tensor product of a (higher order) Kirillov--Reshetikhin module with its dual always contains an imaginary module in its Jordan--Holder series and give an explicit formula for its Drinfeld polynomial. Together with the results of \cite{HL13a} this gives examples of a product of cluster variables which are not in the span of cluster monomials. We also discuss the connection of our work with the examples arising from the work of \cite{LM18}. Finally, we use our methods to give a family of imaginary modules in type $D_4$ which do not arise from an embedding of $A_r$ with $r\le 3$ in $D_4$.


title: Supermartingale shadow couplings: the decreasing case

abstract: For two measures $\mu$ and $\nu$ that are in convex-decreasing order, Nutz and Stebegg (Canonical supermartingale couplings, Ann. Probab., 46(6):3351--3398, 2018) studied the optimal transport problem with supermartingale constraints and introduced two canonical couplings, namely the increasing and decreasing transport plans, that are optimal for a large class of cost functions. In the present paper we provide an explicit construction of the decreasing coupling $\pi^D$ by establishing a Brenier-type result: (a generalised version of) $\pi^D$ concentrates on the graphs of two functions. Our construction is based on the concept of the supermartingale \textit{shadow} measure and requires a suitable extension of the results by Juillet (Stability of the shadow projection and the left-curtain coupling, Ann. Inst. H. Poincar\'e Probab. Statist., 52(4):1823--1843, November 2016) and Beiglb\"ock and Juillet (Shadow couplings, Trans. Amer. Math. Soc., 374:4973--5002, 2021) established in the martingale setting. In particular, we prove the stability of the supermartingale shadow measure with respect to initial and target measures $\mu,\nu$, introduce an infinite family of lifted supermartingale couplings that arise via shadow measure, and show how to explicitly determine the `martingale points' of each such coupling.


title: State Definition for Conflict Analysis with Four-valued Logic

abstract: We examined a four-valued logic method for state settings in conflict resolution models. Decision-making models of conflict resolution, such as game theory and graph model for conflict resolution (GMCR), assume the description of a state to be the outcome of a combination of strategies or the consequence of option selection by the decision-makers. However, for a framework to function as a decision-making system, unless a clear definition of the task of placing information out of an infinite world exists, logical consistency cannot be ensured, and thus, the function may be incomputable. The introduction of paraconsistent four-valued logic can prevent incorrect state setting and analysis with insufficient information and provide logical validity to analytical methods that vary the analysis resolution depending on the degree of coarseness of the available information. This study proposes a GMCR stability analysis with state configuration based on Belnap's four-valued logic.


title: Tighter Bound Estimation for Efficient Biquadratic Optimization Over Unit Spheres

abstract: Bi-quadratic programming over unit spheres is a fundamental problem in quantum mechanics introduced by pioneer work of Einstein, Schr\"odinger, and others. It has been shown to be NP-hard; so it must be solve by efficient heuristic algorithms such as the block improvement method (BIM). This paper focuses on the maximization of bi-quadratic forms, which leads to a rank-one approximation problem that is equivalent to computing the M-spectral radius and its corresponding eigenvectors. Specifically, we provide a tight upper bound of the M-spectral radius for nonnegative fourth-order partially symmetric (PS) tensors, which can be considered as an approximation of the M-spectral radius. Furthermore, we showed that the proposed upper bound can be obtained more efficiently, if the nonnegative fourth-order PS-tensors is a member of certain monoid semigroups. Furthermore, as an extension of the proposed upper bound, we derive the exact solutions of the M-spectral radius and its corresponding M-eigenvectors for certain classes of fourth-order PS-tensors. Lastly, as an application of the proposed bound, we obtain a practically testable sufficient condition for nonsingular elasticity M-tensors with strong ellipticity condition. We conduct several numerical experiments to demonstrate the utility of the proposed results. The results show that: (a) our proposed method can attain a tight upper bound of the M-spectral radius with little computational burden, and (b) such tight and efficient upper bounds greatly enhance the convergence speed of the BIM-algorithm, allowing it to be applicable for large-scale problems in applications.


title: AMS-Net: Adaptive Multiscale Sparse Neural Network with Interpretable Basis Expansion for Multiphase Flow Problems

abstract: In this work, we propose an adaptive sparse learning algorithm that can be applied to learn the physical processes and obtain a sparse representation of the solution given a large snapshot space. Assume that there is a rich class of precomputed basis functions that can be used to approximate the quantity of interest. We then design a neural network architecture to learn the coefficients of solutions in the spaces which are spanned by these basis functions. The information of the basis functions are incorporated in the loss function, which minimizes the differences between the downscaled reduced order solutions and reference solutions at multiple time steps. The network contains multiple submodules and the solutions at different time steps can be learned simultaneously. We propose some strategies in the learning framework to identify important degrees of freedom. To find a sparse solution representation, a soft thresholding operator is applied to enforce the sparsity of the output coefficient vectors of the neural network. To avoid over-simplification and enrich the approximation space, some degrees of freedom can be added back to the system through a greedy algorithm. In both scenarios, that is, removing and adding degrees of freedom, the corresponding network connections are pruned or reactivated guided by the magnitude of the solution coefficients obtained from the network outputs. The proposed adaptive learning process is applied to some toy case examples to demonstrate that it can achieve a good basis selection and accurate approximation. More numerical tests are performed on two-phase multiscale flow problems to show the capability and interpretability of the proposed method on complicated applications.


title: Dynamical development of proton cumulants and correlation functions in Au+Au collisions at $\sqrt{s_{NN}} = 7.7$ GeV from a multiphase transport model

abstract: Higher-order cumulants of the distributions of conserved charges, such as net-baryon number, are sensitive to the quantum chromodynamics(QCD) phase transition and the QCD critical point. We calculate the cumulants and correlation functions of proton, antiproton, and net-proton multiplicity distributions in Au+Au collisions at $\sqrt{s_{NN}} = 7.7$ GeV using a multiphase transport model(AMPT). The AMPT model can basically describe the trends of cumulants, cumulant ratios, (normalized) correlation functions of the proton and net-proton measured by the STAR experiment. The multiproton (baryon) correlations in the AMPT model are consistent with the expectation from baryon number conservation. We demonstrate that multiproton (baryon) correlations suffer the dynamical evolution of heavy-ion collisions. Our results provide a baseline for searching for the possible critical behaviors at the critical end point in relativistic heavy-ion collisions.


title: Towards Using Fully Observable Policies for POMDPs

abstract: Partially Observable Markov Decision Process (POMDP) is a framework applicable to many real world problems. In this work, we propose an approach to solve POMDPs with multimodal belief by relying on a policy that solves the fully observable version. By defininig a new, mixture value function based on the value function from the fully observable variant, we can use the corresponding greedy policy to solve the POMDP itself. We develop the mathematical framework necessary for discussion, and introduce a benchmark built on the task of Reconnaissance Blind TicTacToe. On this benchmark, we show that our policy outperforms policies ignoring the existence of multiple modes.


title: St$\ddot u$ckelberg-Modified Massive Abelian 3-Form Theory: Constraint Analysis, Conserved Charges and BRST Algebra

abstract: For the St$\ddot u$ckelberg-modified massive Abelian 3-form theory in any arbitrary D-dimension of spacetime, we show that its classical gauge symmetry transformations are generated by the first-class constraints. We establish that the Noether conserved charge (corresponding to the local gauge symmetry transformations) is same as the standard form of the generator for the underlying local gauge symmetry transformations (expressed in terms of the first-class constraints). We promote these classical local, continuous and infinitesimal gauge symmetry transformations to their quantum counterparts Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST symmetry transformations which are respected by the coupled (but equivalent) Lagrangian densities. We derive the conserved (anti-)BRST charges by exploiting the theoretical potential of Noether's theorem. However, these charges turn our to be non-nilpotent. Some of the highlights of our present investigation are (i) the derivation of the off-shell nilpotent versions of the (anti-)BRST charges from the standard non-nilpotent Noether conserved (anti-)BRST charges, (ii) the appearance of the operator forms of the first-class constraints at the quantum level through the physicality criteria w.r.t. the nilpotent versions of the (anti-)BRST charges, and (iii) the deduction of the CF-type restrictions from the straightforward equality of the coupled (anti-)BRST invariant Lagrangian densities as well as from the requirement of the absolute anticommutativity of the off-shell nilpotent versions of the (anti-)BRST charges.


title: Can radial motions in the stellar halo constrain the rate of change of mass in the Galaxy?

abstract: A change in the mass of the Galaxy with time will leave its imprint on the motions of the stars, with stars having radially outward (mass loss) or inward (mass accretion) bulk motions. Here we test the feasibility of using the mean radial motion of stars in the stellar halo to constrain the rate of change of mass in the Galaxy, for example, due to decay of dark matter into invisible dark sector particles or more conservatively from the settling of baryons. In the current $\Lambda$CDM paradigm of structure formation, the stellar halo is formed by accretion of satellites onto the host galaxy. Over time, as the satellites disrupt and phase mix, the mean radial motion $\langle V_{R} \rangle$ of the stellar halo is eventually expected to be close to zero. But most halos have substructures due to incomplete mixing of specific accretion events and this can lead to nonzero $\langle V_{R} \rangle$ in them. Using simulations, we measure the mean radial motion, $\langle V_{R} \rangle$, of stars in 13 $\Lambda$CDM stellar halos lying in a spherical shell of radius 30 kpc. We find that for most halos, the shell motion is quite small, with 75\% of halos having $\langle V_{R}\rangle \lesssim 1.2 \ {\rm km}s^{-1}$. When substructures are removed by using a clustering algorithm, $\langle V_{R}\rangle$ is reduced even further, with 75\% of halos having $\langle V_{R}\rangle \lesssim 0.6 \ {\rm km}s^{-1}$. A value of $\langle V_{R}\rangle \approx 0.6 \ {\rm km}s^{-1}$ can be attained corresponding to a galactic mass loss rate of 2\% per Gyr. We show that this can place constraints on dark matter decay parameters such as the decay lifetime and the kick velocity that is imparted to the daughter particle. The advent of all-sky stellar surveys involving millions to billions of stars is encouraging for detecting signatures of dark matter decay.


title: COSMOS2020: UV selected galaxies at $z\geq7.5$

abstract: This paper presents a new search for $z\geq7.5$ galaxies using the COSMOS2020 photometric catalogues. Finding galaxies at the reionization epoch through deep imaging surveys remains observationally challenging. The larger area covered by ground-based surveys like COSMOS enables the discovery of the brightest galaxies at these high redshifts. Covering $1.4$deg$^2$, our COSMOS catalogues were constructed from the latest UltraVISTA data release (DR4) combined with the final Spitzer/IRAC COSMOS images and the Hyper-Suprime-Cam Subaru Strategic Program DR2 release. We identify $17$ new $7.5<z<10$ candidate sources, and confirm $15$ previously published candidates. Using deblended photometry extracted by fitting surface brightness models on multi-band images, we select four candidates which would be rejected using fixed aperture photometry. We test the robustness of all our candidates by comparing six different photometric redshift estimates. Finally, we compute the galaxy UV luminosity function in three redshift bins centred at $z=8,9,10$. We find no clear evolution of the number density of the brightest galaxies $M_\text{UV}<-21.5$, in agreement with previous works. Rapid changes in the quenching efficiency or attenuation by dust could explain such lack of evolution between $z\sim 8$ and $z\sim 9. A spectroscopic confirmation of the redshifts, already planned with JWST and the Keck telescopes, will be essential to confirm our results.


title: Induced subgraphs of zero-divisor graphs

abstract: The zero-divisor graph of a finite commutative ring with unity is the graph whose vertex set is the set of zero-divisors in the ring, with $a$ and $b$ adjacent if $ab=0$. We show that the class of zero-divisor graphs is universal, in the sense that every finite graph is isomorphic to an induced subgraph of a zero-divisor graph. This remains true for various restricted classes of rings, including boolean rings, products of fields, and local rings. But in more restricted classes, the zero-divisor graphs do not form a universal family. For example, the zero-divisor graph of a local ring whose maximal ideal is principal is a threshold graph; and every threshold graph is embeddable in the zero-divisor graph of such a ring. More generally, we give necessary and sufficient conditions on a non-local ring for which its zero-divisor graph to be a threshold graph. In addition, we show that there is a countable local ring whose zero-divisor graph embeds the Rado graph, and hence every finite or countable graph, as induced subgraph. Finally, we consider embeddings in related graphs such as the $2$-dimensional dot product graph.


title: From Multi-label Learning to Cross-Domain Transfer: A Model-Agnostic Approach

abstract: In multi-label learning, a particular case of multi-task learning where a single data point is associated with multiple target labels, it was widely assumed in the literature that, to obtain best accuracy, the dependence among the labels should be explicitly modeled. This premise led to a proliferation of methods offering techniques to learn and predict labels together, for example where the prediction for one label influences predictions for other labels. Even though it is now acknowledged that in many contexts a model of dependence is not required for optimal performance, such models continue to outperform independent models in some of those very contexts, suggesting alternative explanations for their performance beyond label dependence, which the literature is only recently beginning to unravel. Leveraging and extending recent discoveries, we turn the original premise of multi-label learning on its head, and approach the problem of joint-modeling specifically under the absence of any measurable dependence among task labels; for example, when task labels come from separate problem domains. We shift insights from this study towards building an approach for transfer learning that challenges the long-held assumption that transferability of tasks comes from measurements of similarity between the source and target domains or models. This allows us to design and test a method for transfer learning, which is model driven rather than purely data driven, and furthermore it is black box and model-agnostic (any base model class can be considered). We show that essentially we can create task-dependence based on source-model capacity. The results we obtain have important implications and provide clear directions for future work, both in the areas of multi-label and transfer learning.


title: Non-degeneracy and uniqueness of solutions to general singular Toda systems on bounded domains

abstract: In this note we show non-degeneracy and uniqueness results for solutions of Toda systems associated to general simple Lie algebras with multiple singular sources on bounded domains. The argument is based on spectral properties of Cartan matrices and eigenvalue analysis of linearized Liouville-type problems. This seems to be the first result for this class of problems and it covers all the Lie algebras of any rank.


title: New MDS self-dual codes over finite fields $\F_{r^2}$

abstract: MDS self-dual codes have nice algebraic structures and are uniquely determined by lengths. Recently, the construction of MDS self-dual codes of new lengths has become an important and hot issue in coding theory. In this paper, we develop the existing theory and construct six new classes of MDS self-dual codes. Together with our constructions, the proportion of all known MDS self-dual codes relative to possible MDS self-dual codes generally exceed 57\%. As far as we know, this is the largest known ratio. Moreover, some new families of MDS self-orthogonal codes and MDS almost self-dual codes are also constructed.


title: Universal specialization semilattices

abstract: A specialization semilattice is a structure which can be embedded into $(\mathcal P(X), \cup, \sqsubseteq )$, where $X$ is a topological space, $ x \sqsubseteq y$ means $x \subseteq Ky$, for $x,y \subseteq X$, and $K$ is closure in $X$. Specialization semilattices and posets appear as auxiliary structures in many disparate scientific fields, even unrelated to topology. In general, closure is not expressible in a specialization semilattice. On the other hand, we show that every specialization semilattice can be canonically embedded into a "principal" specialization semilattice in which closure can be actually defined.


title: Consensus-based Frequency and Voltage Regulation for Fully Inverter-based Islanded Microgrids

abstract: This paper proposes a new distributed consensus-based control method for voltage and frequency control of fully inverter-based islanded microgrids (MGs). The proposed method includes the active power sharing in voltage control to improve the reactive power sharing accuracy and thus generalizes some existing secondary frequency and voltage control methods. Firstly, frequency is regulated by distributed secondary frequency control. Secondly, voltage is regulated by distributed average voltage control and decentralized individual voltage control. It offers a tunable trade-off between voltage regulation, active, and reactive power sharing accuracy. Therefore, it avoids the abuse of sacrificing reactive power sharing accuracy for exact voltage regulation which is a common issue of existing methods. The proposed method is implemented in a distributed way that does not require a prior knowledge of the MG network structure and loads and hence can ensure scalability. Simulation results shows that the proposed controller achieves different compromise between the above three targets under different modes of operation.


title: Self-dual polyhedral cones and their slack matrices

abstract: We analyze self-dual polyhedral cones and prove several properties about their slack matrices. In particular, we show that self-duality is equivalent to the existence of a positive semidefinite (PSD) slack. Beyond that, we show that if the underlying cone is irreducible, then the corresponding PSD slacks are not only doubly nonnegative matrices (DNN) but are extreme rays of the cone of DNN matrices, which correspond to a family of extreme rays not previously described. More surprisingly, we show that, unless the cone is simplicial, PSD slacks not only fail to be completely positive matrices but they also lie outside the cone of completely positive semidefinite matrices. Finally, we show how one can use semidefinite programming to probe the existence of self-dual cones with given combinatorics. Our results are given for polyhedral cones but we also discuss some consequences for negatively self-polar polytopes.


title: Improved Super Resolution of MR Images Using CNNs and Vision Transformers

abstract: State of the art magnetic resonance (MR) image super-resolution methods (ISR) using convolutional neural networks (CNNs) leverage limited contextual information due to the limited spatial coverage of CNNs. Vision transformers (ViT) learn better global context that is helpful in generating superior quality HR images. We combine local information of CNNs and global information from ViTs for image super resolution and output super resolved images that have superior quality than those produced by state of the art methods. We include extra constraints through multiple novel loss functions that preserve structure and texture information from the low resolution to high resolution images.


title: Simultaneous source separation of unknown numbers of single-channel underwater acoustic signals based on deep neural networks with separator-decoder structure

abstract: The separation of single-channel underwater acoustic signals is a challenging problem with practical significance. Few existing studies focus on the source separation problem with unknown numbers of signals, and how to evaluate the performance of the systems is not yet clear. In this paper, a deep learning-based simultaneous separating solution with a fixed number of output channels equal to the maximum number of possible targets is proposed to address these two problems. This solution avoids the dimensional disaster caused by the permutation problem induced by the alignment of outputs to targets. Specifically, we propose a two-step learning-based separation model with a separator-decoder structure. A performance evaluation method with two quantitative metrics of the separation system for situations with mute channels in the output channels that do not contain target signals is also proposed. Experiments conducted on simulated mixtures of radiated ship noise show that the proposed solution can achieve similar separation performance to that attained with a known number of signals. The proposed separation model with separator-decoder structure achieved competitive performance as two models developed for known numbers of signals, which is highly explainable and extensible and gets the state of the art under this framework.


title: A unified formulation of one-loop tensor integrals for finite volume effects

abstract: A unified formulation of one-loop tensor integrals is proposed for systematical calculations of finite volume corrections. It is shown that decomposition of the one-loop tensor integrals into a series of tensors accompanied by tensor coefficients is feasible, if a unit space-like four vector $n^\mu$, originating from the discretization effects at finite volume, is introduced. A generic formula has been derived for numerical computations of all the involved tensor coefficients. For the vanishing external three-momenta, we also investigate the feasibility of the conventional Passarino-Veltmann reduction of the tensor integrals in a finite volume. Our formulation can be easily used to realize the automation of the calculations of finite volume corrections to any interesting quantities at one-loop level. Besides, it provides finite volume result in a unique and concise form, which is suited for, e.g., carrying out precision determination of physical observable from modern lattice QCD data.


title: Microreversibility, fluctuation relations, and response properties in 1D Kitaev Chain

abstract: We analytically calculate the cumulant generating function of energy and particle transport in an open 1D Kitaev chain by utilizing the Keldysh technique. The joint distribution of particle and energy currents obeys different fluctuation relations in different regions of the parameter space as a result of $U$(1) symmetry breaking and energy conservation. We discuss the thermoelectricity of the Kitaev chain as a three terminal system and derive an analytical expression of the maximum work power. The response theory up to the second order is explicitly checked, and the result is consistent with the relations derived from the fluctuation relation.


title: Joint Transmit and Reflective Beamforming for RIS-assisted Secret Key Generation

abstract: Reconfigurable intelligent surface (RIS) is a promising technique to enhance the performance of physical-layer key generation (PKG) due to its ability to smartly customize the radio environments. Existing RIS-assisted PKG methods are mainly based on the idealistic assumption of an independent and identically distributed (i.i.d.) channel model at both the transmitter and the RIS. However, the i.i.d. model is inaccurate for a typical RIS in an isotropic scattering environment. Also, neglecting the existence of channel spatial correlation would degrade the PKG performance. In this paper, we establish a general spatially correlated channel model in multi-antenna systems and propose a new PKG framework based on the transmit and the reflective beamforming at the base station (BS) and the RIS. Specifically, we derive a closed-form expression for characterizing the key generation rate (KGR) and obtain a globally optimal solution of the beamformers to maximize the KGR. Furthermore, we analyze the KGR performance difference between the one adopting the assumption of the i.i.d. model and that of the spatially correlated model. It is found that the beamforming designed for the correlated model outperforms that for the i.i.d. model while the KGR gain increases with the channel correlation. Simulation results show that compared to existing methods based on the i.i.d. fading model, our proposed method achieves about $5$ dB performance gain when the BS antenna correlation $\rho$ is $0.3$ and the RIS element spacing is half of the wavelength.


title: Label-Guided Auxiliary Training Improves 3D Object Detector

abstract: Detecting 3D objects from point clouds is a practical yet challenging task that has attracted increasing attention recently. In this paper, we propose a Label-Guided auxiliary training method for 3D object detection (LG3D), which serves as an auxiliary network to enhance the feature learning of existing 3D object detectors. Specifically, we propose two novel modules: a Label-Annotation-Inducer that maps annotations and point clouds in bounding boxes to task-specific representations and a Label-Knowledge-Mapper that assists the original features to obtain detection-critical representations. The proposed auxiliary network is discarded in inference and thus has no extra computational cost at test time. We conduct extensive experiments on both indoor and outdoor datasets to verify the effectiveness of our approach. For example, our proposed LG3D improves VoteNet by 2.5% and 3.1% mAP on the SUN RGB-D and ScanNetV2 datasets, respectively.


title: Virtual Reality Therapy for the Psychological Well-being of Palliative Care Patients in Hong Kong

abstract: In this paper we introduce novel Virtual Reality (VR) and Augmented Reality (AR) treatments to improve the psychological well being of patients in palliative care, based on interviews with a clinical psychologist who has successfully implemented VR assisted interventions on palliative care patients in the Hong Kong hospital system. Our VR and AR assisted interventions are adaptations of traditional palliative care therapies which simultaneously facilitate patients communication with family and friends while isolated in hospital due to physical weakness and COVID-19 related restrictions. The first system we propose is a networked, metaverse platform for palliative care patients to create customized virtual environments with therapists, family and friends which function as immersive and collaborative versions of 'life review' and 'reminiscence therapy'. The second proposed system will investigate the use of Mixed Reality telepresence and haptic touch in an AR environment, which will allow palliative care patients to physically feel friends and family in a virtual space, adding to the sense of presence and immersion in that environment.


title: Revisiting the central limit theorems for the SGD-type methods

abstract: We revisited the central limit theorem (CLT) for stochastic gradient descent (SGD) type methods, including the vanilla SGD, momentum SGD and Nesterov accelerated SGD methods with constant or vanishing damping parameters. By taking advantage of Lyapunov function technique and $L^p$ bound estimates, we established the CLT under more general conditions on learning rates for broader classes of SGD methods compared with previous results. The CLT for the time average was also investigated, and we found that it held in the linear case, while it was not generally true in nonlinear situation. Numerical tests were also carried out to verify our theoretical analysis.


title: The Interplay of Spectral Efficiency, User Density, and Energy in Grant-based Access Protocols

abstract: We employ grant-based access with retransmissions for multiple users with small payloads, particularly at low spectral efficiency (SE). The radio resources are allocated via NOMA in the time into $T$ slots and frequency dimensions, with a measure of non-orthogonality $\eta$. Retransmissions are stored in a receiver buffer with a finite size $C_{\sf buf}$ and combined via HARQ, using Chase Combining (CC) and Incremental Redundancy (IR). We determine the best scaling for the SE (bits/rdof) and for the user density $J/n$, for a given number of users $J$ and a blocklength $n$, versus SNR ($\rho$) per bit, i.e., the ratio $E_b/N_0$, for the sum-rate optimal regime and when the interference is treated as noise (TIN), using a finite blocklength analysis. Contrasting the classical scheme (no retransmissions) with CC-NOMA, CC-OMA, and IR-OMA strategies in TIN and sum-rate optimal cases, the numerical results on the SE demonstrate that CC-NOMA outperforms, almost in all regimes, the other approaches. In the sum-rate optimal regime, the scalings of $J/n$ versus $E_b/N_0$ deteriorate with $T$, yet from the most degraded to the least, the ordering of the schemes is as (i) classical, (ii) CC-OMA, (iii) IR-OMA, and (iv) CC-NOMA, demonstrating the robustness of CC-NOMA. Contrasting TIN models at low $\rho$, the scalings of $J/n$ for CC-based models improve the best, whereas, at high $\rho$, the scaling of CC-NOMA is poor due to higher interference, and CC-OMA becomes prominent due to combining retransmissions and its reduced interference. The scaling results are applicable over a range of $\eta$, $T$, $C_{\sf buf}$, and $J$, at low received SNR. The proposed analytical framework provides insights into resource allocation in grant-based access and specific 5G use cases for massive URLLC uplink access.


title: Learning Generalizable Light Field Networks from Few Images

abstract: We explore a new strategy for few-shot novel view synthesis based on a neural light field representation. Given a target camera pose, an implicit neural network maps each ray to its target pixel's color directly. The network is conditioned on local ray features generated by coarse volumetric rendering from an explicit 3D feature volume. This volume is built from the input images using a 3D ConvNet. Our method achieves competitive performances on synthetic and real MVS data with respect to state-of-the-art neural radiance field based competition, while offering a 100 times faster rendering.


title: Partial sums of typical multiplicative functions over short moving intervals

abstract: We prove that the $k$-th positive integer moment of partial sums of Steinhaus random multiplicative functions over the interval $(x, x+H]$ matches the corresponding Gaussian moment, as long as $H\ll x/(\log x)^{2k^2+2+o(1)}$ and $H$ tends to infinity with $x$. We show that properly normalized partial sums of typical multiplicative functions arising from realizations of random multiplicative functions have Gaussian limiting distribution in short moving intervals $(x, x+H]$ with $H\ll X/(\log X)^{W(X)}$ tending to infinity with $X$, where $x$ is uniformly chosen from $\{1,2,\dots, X\}$, and $W(X)$ tends to infinity with $X$ arbitrarily slowly. This makes some initial progress on a recent question of Harper.


title: Spatial-Temporal Federated Learning for Lifelong Person Re-identification on Distributed Edges

abstract: Data drift is a thorny challenge when deploying person re-identification (ReID) models into real-world devices, where the data distribution is significantly different from that of the training environment and keeps changing. To tackle this issue, we propose a federated spatial-temporal incremental learning approach, named FedSTIL, which leverages both lifelong learning and federated learning to continuously optimize models deployed on many distributed edge clients. Unlike previous efforts, FedSTIL aims to mine spatial-temporal correlations among the knowledge learnt from different edge clients. Specifically, the edge clients first periodically extract general representations of drifted data to optimize their local models. Then, the learnt knowledge from edge clients will be aggregated by centralized parameter server, where the knowledge will be selectively and attentively distilled from spatial- and temporal-dimension with carefully designed mechanisms. Finally, the distilled informative spatial-temporal knowledge will be sent back to correlated edge clients to further improve the recognition accuracy of each edge client with a lifelong learning method. Extensive experiments on a mixture of five real-world datasets demonstrate that our method outperforms others by nearly 4% in Rank-1 accuracy, while reducing communication cost by 62%. All implementation codes are publicly available on https://github.com/MSNLAB/Federated-Lifelong-Person-ReID


title: A Central Limit Theorem for the Kontsevich-Zorich Cocycle

abstract: In this note, we show that a central limit theorem holds for exterior powers of the Kontsevich-Zorich (KZ) cocycle. In particular, we show that, under the hypothesis that the top Lyapunov exponent on the exterior power is simple, a central limit theorem holds for the lift of the (leafwise) hyperbolic Brownian motion to any strongly irreducible, symplectic, $\text{SL}(2,\mathbb{R})$-invariant subbundle, that is moreover symplectic-orthogonal to the so-called tautological subbundle. We then show that this implies that a central limit theorem holds for the lift of the Teichm\"uller geodesic flow to the same bundle. For the random cocycle over the hyperbolic Brownian motion, we are able to prove under the same hypotheses that the variance of the top exponent is strictly positive. For the deterministic cocycle over the Teichm\"uller geodesic flow we can prove that the variance is strictly positive only for the top exponent of the first exterior power (the KZ cocycle itself) under the hypothesis that its Lyapunov spectrum is simple.


title: SGAT: Simplicial Graph Attention Network

abstract: Heterogeneous graphs have multiple node and edge types and are semantically richer than homogeneous graphs. To learn such complex semantics, many graph neural network approaches for heterogeneous graphs use metapaths to capture multi-hop interactions between nodes. Typically, features from non-target nodes are not incorporated into the learning procedure. However, there can be nonlinear, high-order interactions involving multiple nodes or edges. In this paper, we present Simplicial Graph Attention Network (SGAT), a simplicial complex approach to represent such high-order interactions by placing features from non-target nodes on the simplices. We then use attention mechanisms and upper adjacencies to generate representations. We empirically demonstrate the efficacy of our approach with node classification tasks on heterogeneous graph datasets and further show SGAT's ability in extracting structural information by employing random node features. Numerical experiments indicate that SGAT performs better than other current state-of-the-art heterogeneous graph learning methods.


title: Anti-Overestimation Dialogue Policy Learning for Task-Completion Dialogue System

abstract: A dialogue policy module is an essential part of task-completion dialogue systems. Recently, increasing interest has focused on reinforcement learning (RL)-based dialogue policy. Its favorable performance and wise action decisions rely on an accurate estimation of action values. The overestimation problem is a widely known issue of RL since its estimate of the maximum action value is larger than the ground truth, which results in an unstable learning process and suboptimal policy. This problem is detrimental to RL-based dialogue policy learning. To mitigate this problem, this paper proposes a dynamic partial average estimator (DPAV) of the ground truth maximum action value. DPAV calculates the partial average between the predicted maximum action value and minimum action value, where the weights are dynamically adaptive and problem-dependent. We incorporate DPAV into a deep Q-network as the dialogue policy and show that our method can achieve better or comparable results compared to top baselines on three dialogue datasets of different domains with a lower computational load. In addition, we also theoretically prove the convergence and derive the upper and lower bounds of the bias compared with those of other methods.


title: From the Ideal Theorem to the class number

abstract: In this note, we provide an explicit upper bound for $h_K \mathcal{R}_K d_K^{-1/2}$ which depends on an effective constant in the error term of the Ideal Theorem.


title: Monochromatic exponential triples: an ultrafilter proof

abstract: We present a short ultrafilter proof of the existence of monochromatic exponential triples $\{a, b, b^a\}$ in any finite coloring of the natural numbers. The proof is given from scratch and uses only Ramsey's theorem, the notion of asymptotic density and the definition of ultrafilter as prerequisites. We then generalize the construction using a special ultrafilter whose existence is well known in the algebra of ultrafilters, and prove a new result on the existence of infinite monochromatic exponential patterns.


title: Neurosymbolic Repair for Low-Code Formula Languages

abstract: Most users of low-code platforms, such as Excel and PowerApps, write programs in domain-specific formula languages to carry out nontrivial tasks. Often users can write most of the program they want, but introduce small mistakes that yield broken formulas. These mistakes, which can be both syntactic and semantic, are hard for low-code users to identify and fix, even though they can be resolved with just a few edits. We formalize the problem of producing such edits as the last-mile repair problem. To address this problem, we developed LaMirage, a LAst-MIle RepAir-engine GEnerator that combines symbolic and neural techniques to perform last-mile repair in low-code formula languages. LaMirage takes a grammar and a set of domain-specific constraints/rules, which jointly approximate the target language, and uses these to generate a repair engine that can fix formulas in that language. To tackle the challenges of localizing the errors and ranking the candidate repairs, LaMirage leverages neural techniques, whereas it relies on symbolic methods to generate candidate repairs. This combination allows LaMirage to find repairs that satisfy the provided grammar and constraints, and then pick the most natural repair. We compare LaMirage to state-of-the-art neural and symbolic approaches on 400 real Excel and PowerFx formulas, where LaMirage outperforms all baselines. We release these benchmarks to encourage subsequent work in low-code domains.


title: Single-pulse time-resolved terahertz spectroscopy of sub-millisecond time dynamics

abstract: Slow motion movies are not only fascinating to watch, they also allow us to see intricate details of the mechanical dynamics of complex phenomena. If the images in each frame are replaced by terahertz (THz) waves, such movies can monitor low-energy resonances and reveal fast structural or chemical transitions. Here, we combine THz spectroscopy as a non-invasive optical probe with a real-time monitoring technique to resolve non-reproducible phenomena at 50k frames per second. The concept, based on dispersive Fourier transform spectroscopy to achieve unprecedented acquisition speed of THz spectroscopy data, is demonstrated by monitoring sub-millisecond dynamics of hot carriers injected in silicon by successive resonant pulses as a saturation density is established. We anticipate that our experimental configuration will play a crucial role in revealing fast irreversible physical and chemical processes at THz frequencies with microsecond resolution to enable new applications in fundamental research as well as in industry, notably as a rapid supply chain monitoring system in high-volume manufacturing.


title: Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics

abstract: Software metrics capture information about software development processes and products. These metrics support decision-making, e.g., in team management or dependency selection. However, existing metrics tools measure only a snapshot of a software project. Little attention has been given to enabling engineers to reason about metric trends over time -- longitudinal metrics that give insight about process, not just product. In this work, we present PRiME (PRocess MEtrics), a tool for computing and visualizing process metrics. The currently-supported metrics include productivity, issue density, issue spoilage, and bus factor. We illustrate the value of longitudinal data and conclude with a research agenda. The tool's demo video can be watched at https://youtu.be/YigEHy3_JCo. The source code can be found at https://github.com/SoftwareSystemsLaboratory/prime.


title: Scalable quantum logic spectroscopy

abstract: In quantum logic spectroscopy (QLS), one species of trapped ion is used as a sensor to detect the state of an otherwise inaccessible ion species. This extends precision measurements to a broader class of atomic and molecular systems for applications like atomic clocks and tests of fundamental physics. Here, we develop a new technique based on a Schr\"{o}dinger cat interferometer to address the problem of scaling QLS to larger ion numbers. We demonstrate the basic features of this method using various combinations of $^{25}\text{Mg}^+$ logic ions and $^{27}\text{Al}^+$ spectroscopy ions. We observe higher detection efficiency by increasing the number of $^{25}\text{Mg}^+$ ions. Applied to multiple $^{27}\text{Al}^+$, this method will improve the stability of high-accuracy optical clocks and could enable Heisenberg-limited QLS.


title: CODiT: Conformal Out-of-Distribution Detection in Time-Series Data

abstract: Machine learning models are prone to making incorrect predictions on inputs that are far from the training distribution. This hinders their deployment in safety-critical applications such as autonomous vehicles and healthcare. The detection of a shift from the training distribution of individual datapoints has gained attention. A number of techniques have been proposed for such out-of-distribution (OOD) detection. But in many applications, the inputs to a machine learning model form a temporal sequence. Existing techniques for OOD detection in time-series data either do not exploit temporal relationships in the sequence or do not provide any guarantees on detection. We propose using deviation from the in-distribution temporal equivariance as the non-conformity measure in conformal anomaly detection framework for OOD detection in time-series data.Computing independent predictions from multiple conformal detectors based on the proposed measure and combining these predictions by Fisher's method leads to the proposed detector CODiT with guarantees on false detection in time-series data. We illustrate the efficacy of CODiT by achieving state-of-the-art results on computer vision datasets in autonomous driving. We also show that CODiT can be used for OOD detection in non-vision datasets by performing experiments on the physiological GAIT sensory dataset. Code, data, and trained models are available at https://github.com/kaustubhsridhar/time-series-OOD.


title: Learning Dynamic Facial Radiance Fields for Few-Shot Talking Head Synthesis

abstract: Talking head synthesis is an emerging technology with wide applications in film dubbing, virtual avatars and online education. Recent NeRF-based methods generate more natural talking videos, as they better capture the 3D structural information of faces. However, a specific model needs to be trained for each identity with a large dataset. In this paper, we propose Dynamic Facial Radiance Fields (DFRF) for few-shot talking head synthesis, which can rapidly generalize to an unseen identity with few training data. Different from the existing NeRF-based methods which directly encode the 3D geometry and appearance of a specific person into the network, our DFRF conditions face radiance field on 2D appearance images to learn the face prior. Thus the facial radiance field can be flexibly adjusted to the new identity with few reference images. Additionally, for better modeling of the facial deformations, we propose a differentiable face warping module conditioned on audio signals to deform all reference images to the query space. Extensive experiments show that with only tens of seconds of training clip available, our proposed DFRF can synthesize natural and high-quality audio-driven talking head videos for novel identities with only 40k iterations. We highly recommend readers view our supplementary video for intuitive comparisons. Code is available in https://sstzal.github.io/DFRF/.


title: Image Denoising Using Convolutional Autoencoder

abstract: With the inexorable digitalisation of the modern world, every subset in the field of technology goes through major advancements constantly. One such subset is digital images which are ever so popular. Images can not always be as visually pleasing or clear as you would want them to be and are often distorted or obscured with noise. A number of techniques to enhance images have come up as the years passed, all with their own respective pros and cons. In this paper, we look at one such particular technique which accomplishes this task with the help of a neural network model commonly known as an autoencoder. We construct different architectures for the model and compare results in order to decide the one best suited for the task. The characteristics and working of the model are discussed briefly knowing which can help set a path for future research.


title: Perturbative unitarity and NEC violation in genesis cosmology

abstract: Explorations of the violation of null energy condition (NEC) in cosmology could enrich our understanding of the very early universe and the related gravity theories. Although a fully stable NEC violation can be realized in the ``beyond Horndeski'' theory, it remains an open question whether a violation of the NEC is allowed by some fundamental properties of UV-complete theories or the consistency requirements of effective field theory (EFT). We investigate the tree-level perturbative unitarity for stable NEC violations in the contexts of both Galileon and ``beyond Horndeski'' genesis cosmology, in which the universe is asymptotically Minkowskian in the past. We find that the constraints of perturbative unitarity imply that we may need some unknown new physics below the cut-off scale of the EFT other than that represented by the ``beyond Horndeski'' operators.


title: N-LIMB: Neural Limb Optimization for Efficient Morphological Design

abstract: A robot's ability to complete a task is heavily dependent on its physical design. However, identifying an optimal physical design and its corresponding control policy is inherently challenging. The freedom to choose the number of links, their type, and how they are connected results in a combinatorial design space, and the evaluation of any design in that space requires deriving its optimal controller. In this work, we present N-LIMB, an efficient approach to optimizing the design and control of a robot over large sets of morphologies. Central to our framework is a universal, design-conditioned control policy capable of controlling a diverse sets of designs. This policy greatly improves the sample efficiency of our approach by allowing the transfer of experience across designs and reducing the cost to evaluate new designs. We train this policy to maximize expected return over a distribution of designs, which is simultaneously updated towards higher performing designs under the universal policy. In this way, our approach converges towards a design distribution peaked around high-performing designs and a controller that is effectively fine-tuned for those designs. We demonstrate the potential of our approach on a series of locomotion tasks across varying terrains and show the discovery novel and high-performing design-control pairs.


title: Towards a Sentiment-Aware Conversational Agent

abstract: In this paper, we propose an end-to-end sentiment-aware conversational agent based on two models: a reply sentiment prediction model, which leverages the context of the dialogue to predict an appropriate sentiment for the agent to express in its reply; and a text generation model, which is conditioned on the predicted sentiment and the context of the dialogue, to produce a reply that is both context and sentiment appropriate. Additionally, we propose to use a sentiment classification model to evaluate the sentiment expressed by the agent during the development of the model. This allows us to evaluate the agent in an automatic way. Both automatic and human evaluation results show that explicitly guiding the text generation model with a pre-defined set of sentences leads to clear improvements, both regarding the expressed sentiment and the quality of the generated text.


title: Compact gradient Einstein-type manifolds with boundary and constant scalar curvature

abstract: Inspired by the study of $V$-static manifold about classification, in this article, we apply the recent results obtained by Freitas and Gomes (Compact gradient Einstein-type manifolds with boundary, 2022) to prove the rigidity results for compact gradient Einstein-type manifolds with nonempty boundary and constant scalar curvature under some suitable pinching conditions. As a special case of gradient Einstein-type manifold, we also give a rigidity result of $(m,\rho)$-quasi-Einstein manifold with boundary.


title: Incorporating Heterogeneous User Behaviors and Social Influences for Predictive Analysis

abstract: Behavior prediction based on historical behavioral data have practical real-world significance. It has been applied in recommendation, predicting academic performance, etc. With the refinement of user data description, the development of new functions, and the fusion of multiple data sources, heterogeneous behavioral data which contain multiple types of behaviors become more and more common. In this paper, we aim to incorporate heterogeneous user behaviors and social influences for behavior predictions. To this end, this paper proposes a variant of Long-Short Term Memory (LSTM) which can consider context information while modeling a behavior sequence, a projection mechanism which can model multi-faceted relationships among different types of behaviors, and a multi-faceted attention mechanism which can dynamically find out informative periods from different facets. Many kinds of behavioral data belong to spatio-temporal data. An unsupervised way to construct a social behavior graph based on spatio-temporal data and to model social influences is proposed. Moreover, a residual learning-based decoder is designed to automatically construct multiple high-order cross features based on social behavior representation and other types of behavior representations. Qualitative and quantitative experiments on real-world datasets have demonstrated the effectiveness of this model.


title: Using (1 + 1)D Quantum Cellular Automata for Exploring Collective Effects in Large Scale Quantum Neural Networks

abstract: Central to the field of quantum machine learning is the design of quantum perceptrons and neural network architectures. A key question in this regard is the impact of quantum effects on the way in which such models process information. Here, we approach this question by establishing a connection between $(1+1)D$ quantum cellular automata, which implement a discrete nonequilibrium quantum many-body dynamics through the successive application of local quantum gates, and recurrent quantum neural networks, which process information by feeding it through perceptrons interconnecting adjacent layers. This relation allows the processing of information in quantum neural networks to be studied in terms of the properties of their equivalent cellular automaton dynamics. We exploit this by constructing a class of quantum gates (perceptrons) that allow for the introduction of quantum effects, such as those associated with a coherent Hamiltonian evolution, and establish a rigorous link to continuous-time Lindblad dynamics. We further analyse the universal properties of a specific quantum cellular automaton, and identify a change of critical behavior when quantum effects are varied, demonstrating that they can indeed affect the collective dynamical behavior underlying the processing of information in large-scale neural networks.


title: Hilbert Complexes with Mixed Boundary Conditions -- Part 3: Biharmonic Complexes

abstract: We show that the biharmonic Hilbert complex with mixed boundary conditions on bounded strong Lipschitz domains is closed and compact. The crucial results are compact embeddings which follow by abstract arguments using functional analysis together with particular regular decompositions. Higher Sobolev order results are also proved. This paper extends recent results of the authors on the de Rham and elasticity Hilbert complexes with mixed boundary conditions and results of Pauly and Zulehner on the biharmonic Hilbert complex with empty or full boundary conditions.


title: What is nonclassical about uncertainty relations?

abstract: Uncertainty relations express limits on the extent to which the outcomes of distinct measurements on a single state can be made jointly predictable. The existence of nontrivial uncertainty relations in quantum theory is generally considered to be a way in which it entails a departure from the classical worldview. However, this perspective is undermined by the fact that there exist operational theories which exhibit nontrivial uncertainty relations but which are consistent with the classical worldview insofar as they admit of a generalized-noncontextual ontological model. This prompts the question of what aspects of uncertainty relations, if any, cannot be realized in this way and so constitute evidence of genuine nonclassicality. We here consider uncertainty relations describing the tradeoff between the predictability of a pair of binary-outcome measurements (e.g., measurements of Pauli X and Pauli Z observables in quantum theory). We show that, for a class of theories satisfying a particular symmetry property, the functional form of this predictability tradeoff is constrained by noncontextuality to be below a linear curve. Because qubit quantum theory has the relevant symmetry property, the fact that its predictability tradeoff describes a section of a circle is a violation of this noncontextual bound, and therefore constitutes an example of how the functional form of an uncertainty relation can witness contextuality. We also deduce the implications for a selected group of operational foils to quantum theory and consider the generalization to three measurements.


title: Yano F structures and extended Supersymmetry

abstract: It is shown how extended supersymmetry realised directly on the (2,2) semichiral superfields of a symplectic sigma model gives rise to a geometry on the doubled tangent bundle consisting of two Yano F structures on an almost para-hermitian manifold. Closure of the algebra and invariance of the action is discussed in this framework and integrability of the F structures is defined and shown to hold. The reduction to the usual (1, 1) sigma model description and identification with the bi-quaternionic set of complex structures and their properties is elucidated. The F structure formulation should be applicable to many other models and will have an equivalent formulation in Generalised Geometry.


title: Resources for bosonic quantum computational advantage

abstract: Quantum computers promise to dramatically outperform their classical counterparts. However, the non-classical resources enabling such computational advantages are challenging to pinpoint, as it is not a single resource but the subtle interplay of many that can be held responsible for these potential advantages. In this work, we show that every bosonic quantum computation can be recast into a continuous-variable sampling computation where all computational resources are contained in the input state. Using this reduction, we derive a general classical algorithm for the strong simulation of bosonic computations, whose complexity scales with the non-Gaussian stellar rank of both the input state and the measurement setup. We further study the conditions for an efficient classical simulation of the associated continuous-variable sampling computations and identify an operational notion of non-Gaussian entanglement based on the lack of passive separability, thus clarifying the interplay of bosonic quantum computational resources such as squeezing, non-Gaussianity and entanglement.


title: Enhancements to the BOUN Treebank Reflecting the Agglutinative Nature of Turkish

abstract: In this study, we aim to offer linguistically motivated solutions to resolve the issues of the lack of representation of null morphemes, highly productive derivational processes, and syncretic morphemes of Turkish in the BOUN Treebank without diverging from the Universal Dependencies framework. In order to tackle these issues, new annotation conventions were introduced by splitting certain lemmas and employing the MISC (miscellaneous) tab in the UD framework to denote derivation. Representational capabilities of the re-annotated treebank were tested on a LSTM-based dependency parser and an updated version of the BoAT Tool is introduced.


title: A New Approach in MRI Signal Processing for Detecting the Axonal Organization of the Brain

abstract: This article introduces a new methodology for reconstructing the white matter fiber pathways of brain in diffusion MRI. Usually, the signal intensity values will be lesser in the direction of higher diffusivity. The proposed approach picks the diffusion sensitivity gradient directions (dSGD), where the signal intensities are diminutive. Considering these as the directions of maximum diffusivity, we generate directions uniformly distributed around the picked dSGD. These newly computed uniformly spaced directions are considered gradient directions used in the reconstruction process. The state-of-art schemes like uniform gradient direction (UGD) have redundancy in the gradient direction, and adaptive gradient direction (AGD) has a constraint of solving linear system twice per voxel. These two limitations are turned down in this study simultaneously. Estimating gradient directions with the proposed scheme is employed in the multi-compartmental mixture models for calculating the fiber orientations. Simulation and experiments on the real data evaluate the feasibility of the proposed method.


title: CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture

abstract: Microservices Architecture (MSA) has become a de-facto standard for designing cloud-native enterprise applications due to its efficient infrastructure setup, service availability, elastic scalability, dependability, and better security. Existing (monolithic) systems must be decomposed into microservices to harness these characteristics. Since manual decomposition of large scale applications can be laborious and error-prone, AI-based systems to detect decomposition strategies are gaining popularity. However, the usefulness of these approaches is limited by the expressiveness of the program representation and their inability to model the application's dependency on critical external resources such as databases. Consequently, partitioning recommendations offered by current tools result in architectures that result in (a) distributed monoliths, and/or (b) force the use of (often criticized) distributed transactions. This work attempts to overcome these challenges by introducing CARGO({short for [C]ontext-sensitive l[A]bel p[R]opa[G]ati[O]n})-a novel un-/semi-supervised partition refinement technique that uses a context- and flow-sensitive system dependency graph of the monolithic application to refine and thereby enrich the partitioning quality of the current state-of-the-art algorithms. CARGO was used to augment four state-of-the-art microservice partitioning techniques that were applied on five Java EE applications (including one industrial scale proprietary project). Experiments demostrate that CARGO can improve the partition quality of all modern microservice partitioning techniques. Further, CARGO substantially reduces distributed transactions and a real-world performance evaluation of a benchmark application (deployed under varying loads) shows that CARGO also lowers the overall the latency of the deployed microservice application by 11% and increases throughput by 120% on average.


title: Model-based Unbiased Learning to Rank

abstract: Unbiased Learning to Rank (ULTR) that learns to rank documents with biased user feedback data is a well-known challenge in information retrieval. Existing methods in unbiased learning to rank typically rely on click modeling or inverse propensity weighting (IPW). Unfortunately, the search engines are faced with severe long-tail query distribution, where neither click modeling nor IPW can handle well. Click modeling suffers from data sparsity problem since the same query-document pair appears limited times on tail queries; IPW suffers from high variance problem since it is highly sensitive to small propensity score values. Therefore, a general debiasing framework that works well under tail queries is in desperate need. To address this problem, we propose a model-based unbiased learning-to-rank framework. Specifically, we develop a general context-aware user simulator to generate pseudo clicks for unobserved ranked lists to train rankers, which addresses the data sparsity problem. In addition, considering the discrepancy between pseudo clicks and actual clicks, we take the observation of a ranked list as the treatment variable and further incorporate inverse propensity weighting with pseudo labels in a doubly robust way. The derived bias and variance indicate that the proposed model-based method is more robust than existing methods. Finally, extensive experiments on benchmark datasets, including simulated datasets and real click logs, demonstrate that the proposed model-based method consistently performs outperforms state-of-the-art methods in various scenarios. The code is available at https://github.com/rowedenny/MULTR.


title: Physics-Informed Learning of Aerosol Microphysics

abstract: Aerosol particles play an important role in the climate system by absorbing and scattering radiation and influencing cloud properties. They are also one of the biggest sources of uncertainty for climate modeling. Many climate models do not include aerosols in sufficient detail due to computational constraints. In order to represent key processes, aerosol microphysical properties and processes have to be accounted for. This is done in the ECHAM-HAM global climate aerosol model using the M7 microphysics, but high computational costs make it very expensive to run with finer resolution or for a longer time. We aim to use machine learning to emulate the microphysics model at sufficient accuracy and reduce the computational cost by being fast at inference time. The original M7 model is used to generate data of input-output pairs to train a neural network on it. We are able to learn the variables' tendencies achieving an average $R^2$ score of $77.1\% $. We further explore methods to inform and constrain the neural network with physical knowledge to reduce mass violation and enforce mass positivity. On a GPU we achieve a speed-up of up to over 64x compared to the original model.


title: Mixing and rigidity along asymptotically linearly independent sequences

abstract: We utilize Gaussian measure preserving systems to prove the existence and genericity of Lebesgue measure preserving transformations $T:[0,1]\rightarrow [0,1]$ which exhibit both mixing and rigidity behavior along families of asymptotically linearly independent sequences. Let $\lambda_1,...,\lambda_N\in[0,1]$ and let $\phi_1,...,\phi_N:\mathbb N\rightarrow\mathbb Z$ be asymptotically linearly independent (i.e. for any $(a_1,...,a_N)\in\mathbb Z^N\setminus\{\vec 0\}$, $\lim_{k\rightarrow\infty}|\sum_{j=1}^Na_j\phi_j(k)|=\infty$). Then the class of invertible Lebesgue measure preserving transformations $T:[0,1]\rightarrow[0,1]$ for which there exists a sequence $(n_k)_{k\in\mathbb N}$ in $\mathbb N$ with $$\lim_{k\rightarrow\infty}\mu(A\cap T^{-\phi_j(n_k) }B)= (1-\lambda_j)\mu(A\cap B)+\lambda_j\mu(A)\mu(B),$$ for any measurable $A,B\subseteq [0,1]$ and any $j\in\{1,...,N\}$, is generic. This result is a refinement of a result due to A. M. St\"epin (see Theorem 2 in "Spectral properties of generic dynamical systems") and a generalization of a result due to V. Bergelson, S. Kasjan, and M. Lema\'nczyk (see Corollary F in "Polynomial actions of unitary operators and idempotent ultrafilters").


title: Privacy Against Inference Attacks in Vertical Federated Learning

abstract: Vertical federated learning is considered, where an active party, having access to true class labels, wishes to build a classification model by utilizing more features from a passive party, which has no access to the labels, to improve the model accuracy. In the prediction phase, with logistic regression as the classification model, several inference attack techniques are proposed that the adversary, i.e., the active party, can employ to reconstruct the passive party's features, regarded as sensitive information. These attacks, which are mainly based on a classical notion of the center of a set, i.e., the Chebyshev center, are shown to be superior to those proposed in the literature. Moreover, several theoretical performance guarantees are provided for the aforementioned attacks. Subsequently, we consider the minimum amount of information that the adversary needs to fully reconstruct the passive party's features. In particular, it is shown that when the passive party holds one feature, and the adversary is only aware of the signs of the parameters involved, it can perfectly reconstruct that feature when the number of predictions is large enough. Next, as a defense mechanism, a privacy-preserving scheme is proposed that worsen the adversary's reconstruction attacks, while preserving the full benefits that VFL brings to the active party. Finally, experimental results demonstrate the effectiveness of the proposed attacks and the privacy-preserving scheme.


title: Hierarchical Semi-Supervised Contrastive Learning for Contamination-Resistant Anomaly Detection

abstract: Anomaly detection aims at identifying deviant samples from the normal data distribution. Contrastive learning has provided a successful way to sample representation that enables effective discrimination on anomalies. However, when contaminated with unlabeled abnormal samples in training set under semi-supervised settings, current contrastive-based methods generally 1) ignore the comprehensive relation between training data, leading to suboptimal performance, and 2) require fine-tuning, resulting in low efficiency. To address the above two issues, in this paper, we propose a novel hierarchical semi-supervised contrastive learning (HSCL) framework, for contamination-resistant anomaly detection. Specifically, HSCL hierarchically regulates three complementary relations: sample-to-sample, sample-to-prototype, and normal-to-abnormal relations, enlarging the discrimination between normal and abnormal samples with a comprehensive exploration of the contaminated data. Besides, HSCL is an end-to-end learning approach that can efficiently learn discriminative representations without fine-tuning. HSCL achieves state-of-the-art performance in multiple scenarios, such as one-class classification and cross-dataset detection. Extensive ablation studies further verify the effectiveness of each considered relation. The code is available at https://github.com/GaoangW/HSCL.


title: PatchRD: Detail-Preserving Shape Completion by Learning Patch Retrieval and Deformation

abstract: This paper introduces a data-driven shape completion approach that focuses on completing geometric details of missing regions of 3D shapes. We observe that existing generative methods lack the training data and representation capacity to synthesize plausible, fine-grained details with complex geometry and topology. Our key insight is to copy and deform patches from the partial input to complete missing regions. This enables us to preserve the style of local geometric features, even if it drastically differs from the training data. Our fully automatic approach proceeds in two stages. First, we learn to retrieve candidate patches from the input shape. Second, we select and deform some of the retrieved candidates to seamlessly blend them into the complete shape. This method combines the advantages of the two most common completion methods: similarity-based single-instance completion, and completion by learning a shape space. We leverage repeating patterns by retrieving patches from the partial input, and learn global structural priors by using a neural network to guide the retrieval and deformation steps. Experimental results show our approach considerably outperforms baselines across multiple datasets and shape categories. Code and data are available at https://github.com/GitBoSun/PatchRD.


title: Reply to "Comment on 'Why interference phenomena do not capture the essence of quantum theory' "

abstract: Our article [arXiv:2111.13727(2021)] argues that the phenomenology of interference that is traditionally regarded as problematic does not, in fact, capture the essence of quantum theory -- contrary to the claims of Feynman and many others. It does so by demonstrating the existence of a physical theory, which we term the "toy field theory", that reproduces this phenomenology but which does not sacrifice the classical worldview. In their Comment [arXiv:2204.01768(2022)], Hance and Hossenfelder dispute our claim. Correcting mistaken claims found therein and responding to their criticisms provides us with an opportunity to further clarify some of the ideas in our article.


title: Measuring Hubble Constant with Dark Neutron Star-Black Hole Mergers

abstract: Detection of gravitational waves (GWs) from neutron star-black hole (NSBH) standard sirens can provide local measurements of the Hubble constant ($H_0$), regardless of the detection of an electromagnetic (EM) counterpart: The presence of matter terms in GWs breaks the degeneracy between mass parameters and redshift, allowing simultaneous measurement of both the luminosity distance and redshift. Although the tidally disrupted NSBH systems can have EM emission, the detection prospects of an EM counterpart will be limited to $z < 0.8$ in the optical, in the era of the next generation GW detectors. However, the distinctive merger morphology and the high redshift detectability of tidally-disrupted NSBH makes them promising standard siren candidates for this method. Using recent constraints on the equation-of-state of NSs from multi-messenger observations of NICER and LIGO/Virgo/KAGRA, we show the prospects of measuring $H_{0}$ solely from GW observation of NSBH systems, achievable by Einstein Telescope (ET) and Cosmic Explorer (CE) detectors. We first analyze individual events to quantify the effect of high-frequency ($\ge$ 500 Hz) tidal distortions on the inference of NS tidal deformability parameter ($\Lambda$) and hence on $H_0$. We find that disruptive mergers can constrain $\Lambda$ up to $\mathcal{O}(60\%)$ more precisely than non-disruptive ones. However, this precision is not sufficient to place stringent constraints on the $H_0$ for individual events. By performing Bayesian analysis on different sets of simulated NSBH data (up to $N=100$ events, corresponding to a timescale from several hours to a day observation) in the ET+CE detectors, we find that NSBH systems enable unbiased 4\% - 13\% precision on the estimate of $H_0$ (68\% credible interval). This is a similar measurement precision found in studies analyzing populations of NSBH mergers with EM counterparts in the LVKC O5 era.


title: Using a Bayesian approach to reconstruct graph statistics after edge sampling

abstract: Often, due to prohibitively large size or to limits to data collecting APIs, it is not possible to work with a complete network dataset and sampling is required. A type of sampling which is consistent with Twitter API restrictions is uniform edge sampling. In this paper, we propose a methodology for the recovery of two fundamental network properties from an edge-sampled network: the degree distribution and the triangle count (we estimate the totals for the network and the counts associated with each edge). We use a Bayesian approach and show a range of methods for constructing a prior which does not require assumptions about the original network. Our approach is tested on two synthetic and three real datasets with diverse sizes, degree distributions, degree-degree correlations and triangle count distributions.


title: Robust Superconductivity in Quasi-One-Dimensional Multiband Materials

abstract: Recently it has been demonstrated that the pair-exchange coupling of quasi-one-dimensional (Q1D) bands with conventional higher-dimensional bands in one multiband superconducting material can result in the formation of robust aggregate pair condensate. In particular, it has been found that the Q1D thermal pair fluctuations are suppressed in the presence of deep conventional band(s), where the Fermi level is much larger than the characteristic cut-off energy. Here we report that impact of the Q1D fluctuations is significantly weakened even in the presence of nearly shallow higher-dimensional band(s), which shed new light on robust superconducting state observed in emerging chain-like-structured superconducting materials A_2Cr_3As_3 (A = K, Rb, Cs).


title: Cross-Modal 3D Shape Generation and Manipulation

abstract: Creating and editing the shape and color of 3D objects require tremendous human effort and expertise. Compared to direct manipulation in 3D interfaces, 2D interactions such as sketches and scribbles are usually much more natural and intuitive for the users. In this paper, we propose a generic multi-modal generative model that couples the 2D modalities and implicit 3D representations through shared latent spaces. With the proposed model, versatile 3D generation and manipulation are enabled by simply propagating the editing from a specific 2D controlling modality through the latent spaces. For example, editing the 3D shape by drawing a sketch, re-colorizing the 3D surface via painting color scribbles on the 2D rendering, or generating 3D shapes of a certain category given one or a few reference images. Unlike prior works, our model does not require re-training or fine-tuning per editing task and is also conceptually simple, easy to implement, robust to input domain shifts, and flexible to diverse reconstruction on partial 2D inputs. We evaluate our framework on two representative 2D modalities of grayscale line sketches and rendered color images, and demonstrate that our method enables various shape manipulation and generation tasks with these 2D modalities.