title: A Quantum-compute Algorithm for Exact Laser-driven Electron Dynamics in Molecules

abstract: In this work, we investigate the capability of known quantum-computing algorithms for fault-tolerant quantum computing to simulate the laser-driven electron dynamics in small molecules such as lithium hydride. These computations are executed on a quantum-computer simulator. Results are compared with the time-dependent full configuration interaction method (TD-FCI). The actual wave packet propagation is closely reproduced using the Jordan-Wigner transformation and the Trotter product formula. In addition, the time-dependent dipole moment, as an example of a time-dependent expectation value, is calculated using the Hadamard test. In order to include non-Hermitian operators in the dynamics, a similar approach to the quantum imaginary time evolution (QITE) algorithm is employed to translate the propagator into quantum gates. Thus, ionization of a hydrogen molecule under the influence of a complex absorbing potential can be simulated accurately. All quantum computer algorithms used scale polynomially rather than exponentially as TD-FCI and therefore hold promise for substantial progress in the understanding of electron dynamics of increasingly large molecular systems in the future.


title: Attractive $N$-$\phi$ Interaction and Two-Pion Tail from Lattice QCD near Physical Point

abstract: First results on the interaction between the $\phi$-meson and the nucleon ($N$) are presented based on the ($2+1$)-flavor lattice QCD simulations with nearly physical quark masses. Using the HAL QCD method, the spacetime correlation of the $N$-$\phi$ system in the spin 3/2 channel is converted into the $N$-$\phi$ scattering phase shift through the interaction potential. The $N$-$\phi$ potential appears to be a combination of a short-range attractive core and a long-range attractive tail. The latter is found to be consistent with the two-pion exchange (TPE) obtained from the interaction between a color-dipole and the nucleon. The resultant scattering length and effective range for $m_{\pi}=$ 146.4 MeV are $ a^{(3/2)}_0=-1.43(23)_{\rm stat.}\left(^{+36}_{-06}\right)_{\rm syst.} {\rm fm}$ and $ r^{(3/2)}_{\rm eff}=2.36(10)_{\rm stat.}\left(^{+02}_{-48}\right)_{\rm syst.} {\rm fm}$, respectively. The magnitude of the scattering length is shown to have nontrivial dependence of $m_{\pi}$ and is sensitive to the existence of the long-range tail from TPE.


title: What Happens at Surfaces and Grain Boundaries of Halide Perovskites: Insights from Reactive Molecular Dynamics Simulations of CsPbI$_{3}$

abstract: The commercialization of perovskite solar cells is hindered by the poor long-term stability of the metal halide perovskite (MHP) light absorbing layer. Solution processing, the common fabrication method for MHPs, produces polycrystalline films with a wide variety of defects, such as point defects, surfaces, and grain boundaries. Although the optoelectronic effects of such defects have been widely studied, the evaluation of their impact on the long-term stability remains challenging. In particular, an understanding of the dynamics of degradation reactions at the atomistic scale is lacking. In this work, using reactive force field (ReaxFF) molecular dynamics simulations, we investigate the effects of defects, in the forms of surfaces, surface defects and grain boundaries, on the stability of the inorganic halide perovskite CsPbI$_{3}$. Our simulations establish a stability trend for a variety of surfaces, which correlates well with the occurrence of these surfaces in experiments. We find that a perovskite surface degrades by progressively changing the local geometry of PbI$_{\mathrm{x}}$ octahedra from corner- to edge- to face-sharing. Importantly, we find that Pb dangling bonds and the lack of steric hindrance of I species are two crucial factors that induce degradation reactions. Finally, we show that the stability of these surfaces can be modulated by adjusting their atomistic details, either by creating additional point defects or merging them to form grain boundaries. While in general additional defects, particularly when clustered, have a negative impact on the material stability, some grain boundaries have a stabilizing effect, primarily because of the additional steric hindrance.


title: Improvements to Self-Supervised Representation Learning for Masked Image Modeling

abstract: This paper explores improvements to the masked image modeling (MIM) paradigm. The MIM paradigm enables the model to learn the main object features of the image by masking the input image and predicting the masked part by the unmasked part. We found the following three main directions for MIM to be improved. First, since both encoders and decoders contribute to representation learning, MIM uses only encoders for downstream tasks, which ignores the impact of decoders on representation learning. Although the MIM paradigm already employs small decoders with asymmetric structures, we believe that continued reduction of decoder parameters is beneficial to improve the representational learning capability of the encoder . Second, MIM solves the image prediction task by training the encoder and decoder together , and does not design a separate task for the encoder . To further enhance the performance of the encoder when performing downstream tasks, we designed the encoder for the tasks of comparative learning and token position prediction. Third, since the input image may contain background and other objects, and the proportion of each object in the image varies, reconstructing the tokens related to the background or to other objects is not meaningful for MIM to understand the main object representations. Therefore we use ContrastiveCrop to crop the input image so that the input image contains as much as possible only the main objects. Based on the above three improvements to MIM, we propose a new model, Contrastive Masked AutoEncoders (CMAE). We achieved a Top-1 accuracy of 65.84% on tinyimagenet using the ViT-B backbone, which is +2.89 outperforming the MAE of competing methods when all conditions are equal. Code will be made available.


title: Large deviations for perturbed Gaussian processes and logarithmic asymptotic estimates for some exit probabilities

abstract: The main results in this paper concern large deviations for families of non-Gaussian processes obtained as suitable perturbations of continuous centered multivariate Gaussian processes which satisfy a large deviation principle. We present some corollaries and, as a consequence, we obtain logarithmic asymptotic estimates for exit probabilities from suitable halfspaces and quadrants.


title: Three-Dimensional Segmentation of the Left Ventricle in Late Gadolinium Enhanced MR Images of Chronic Infarction Combining Long- and Short-Axis Information

abstract: Automatic segmentation of the left ventricle (LV) in late gadolinium enhanced (LGE) cardiac MR (CMR) images is difficult due to the intensity heterogeneity arising from accumulation of contrast agent in infarcted myocardium. In this paper, we present a comprehensive framework for automatic 3D segmentation of the LV in LGE CMR images. Given myocardial contours in cine images as a priori knowledge, the framework initially propagates the a priori segmentation from cine to LGE images via 2D translational registration. Two meshes representing respectively endocardial and epicardial surfaces are then constructed with the propagated contours. After construction, the two meshes are deformed towards the myocardial edge points detected in both short-axis and long-axis LGE images in a unified 3D coordinate system. Taking into account the intensity characteristics of the LV in LGE images, we propose a novel parametric model of the LV for consistent myocardial edge points detection regardless of pathological status of the myocardium (infarcted or healthy) and of the type of the LGE images (short-axis or long-axis). We have evaluated the proposed framework with 21 sets of real patient and 4 sets of simulated phantom data. Both distance- and region-based performance metrics confirm the observation that the framework can generate accurate and reliable results for myocardial segmentation of LGE images. We have also tested the robustness of the framework with respect to varied a priori segmentation in both practical and simulated settings. Experimental results show that the proposed framework can greatly compensate variations in the given a priori knowledge and consistently produce accurate segmentations.


title: The GAPS Programme at TNG: XXXVI. Measurement of the Rossiter-McLaughlin effect and revising the physical and orbital parameters of the HAT-P-15, HAT-P-17, HAT-P-21, HAT-P-26, HAT-P-29 eccentric planetary systems

abstract: Aim: We aim to refine the orbital and physical parameters and determine the sky-projected planet orbital obliquity of five eccentric transiting planetary systems: HAT-P-15, HAT-P-17, HAT-P-21, HAT-P-26, and HAT-P-29. Each of the systems hosts a hot Jupiter, except for HAT-P-26 which hosts a Neptune-mass planet. Methods: We observed transit events of these planets with the HARPS-N spectrograph, obtaining high-precision radial velocity measurements that allow us to measure the Rossiter-McLaughlin effect for each of the target systems. We used these new HARPS-N spectra and archival data, including those from Gaia, to better characterise the stellar atmospheric parameters. The photometric parameters for four of the hot Jupiters were recalculated using 17 new transit light curves, obtained with an array of medium-class telescopes, and data from the TESS space telescope. HATNet time-series photometric data were checked for the signatures of rotation periods of the target stars and their spin axis inclination. Results: From the analysis of the Rossiter-McLaughlin effect, we derived a sky-projected obliquity of 13, -26.3, -0.7, -26 degree for HAT-P-15b, HAT-P-17b, HAT-P-21b and HAT-P-29b, respectively. Due to the quality of the data, we were not able to well constrain the sky-projected obliquity for HAT-P-26b, although a prograde orbit is favoured. The stellar activity of HAT-P-21 indicates a rotation period of 15.88 days, which allowed us to determine its true misalignment angle (25 degree). Our new analysis of the physical parameters of the five exoplanetary systems returned values compatible with those existing in the literature. Using TESS and the available transit light curves, we reviewed the orbital ephemeris for the five systems and confirmed that the HAT-P-26 system shows transit timing variations, which may tentatively be attributed to the presence of a third body.


title: KGNN: Harnessing Kernel-based Networks for Semi-supervised Graph Classification

abstract: This paper studies semi-supervised graph classification, which is an important problem with various applications in social network analysis and bioinformatics. This problem is typically solved by using graph neural networks (GNNs), which yet rely on a large number of labeled graphs for training and are unable to leverage unlabeled graphs. We address the limitations by proposing the Kernel-based Graph Neural Network (KGNN). A KGNN consists of a GNN-based network as well as a kernel-based network parameterized by a memory network. The GNN-based network performs classification through learning graph representations to implicitly capture the similarity between query graphs and labeled graphs, while the kernel-based network uses graph kernels to explicitly compare each query graph with all the labeled graphs stored in a memory for prediction. The two networks are motivated from complementary perspectives, and thus combing them allows KGNN to use labeled graphs more effectively. We jointly train the two networks by maximizing their agreement on unlabeled graphs via posterior regularization, so that the unlabeled graphs serve as a bridge to let both networks mutually enhance each other. Experiments on a range of well-known benchmark datasets demonstrate that KGNN achieves impressive performance over competitive baselines.


title: Are Physical Theories Incommensurable?

abstract: This paper examines the incommensurability thesis - one of the most important and controversial ideas to emerge from the simultaneous work of Kuhn and Feyerabend. In the first half, I discuss three aspects of incommensurability - methodological incommensurability (the view that each paradigm supplies different standards of evaluation), observational incommensurability (the view that the theories we accept alter how we see the world), and finally, semantic incommensurability (which claims that as paradigms change, the very meanings of central theoretical terms also change). In the latter half, I tackle the general arguments of physicists against incommensurability by primarily considering the so called unifying cube of physics. I show that the cube of physics does not get rid of incommensurability, but rather favours it.


title: Smoothing Codes and Lattices: Systematic Study and New Bounds

abstract: In this article we revisit smoothing bounds in parallel between lattices $and$ codes. Initially introduced by Micciancio and Regev, these bounds were instantiated with Gaussian distributions and were crucial for arguing the security of many lattice-based cryptosystems. Unencumbered by direct application concerns, we provide a systematic study of how these bounds are obtained for both lattices $and$ codes, transferring techniques between both areas. We also consider multiple choices of spherically symmetric noise distribution. We found that the best strategy for a worst-case bound combines Parseval's Identity, the Cauchy-Schwarz inequality, and the second linear programming bound, and this holds for both codes and lattices and all noise distributions at hand. For an average-case analysis, the linear programming bound can be replaced by a tight average count. This alone gives optimal results for spherically uniform noise over random codes and random lattices. This also improves previous Gaussian smoothing bound for worst-case lattices, but surprisingly this provides even better results with uniform ball noise than for Gaussian (or Bernoulli noise for codes). This counter-intuitive situation can be resolved by adequate decomposition and truncation of Gaussian and Bernoulli distributions into a superposition of uniform noise, giving further improvement for those cases, and putting them on par with the uniform cases.


title: Robot Person Following in Uniform Crowd Environment

abstract: Person-tracking robots have many applications, such as in security, elderly care, and socializing robots. Such a task is particularly challenging when the person is moving in a Uniform crowd. Also, despite significant progress of trackers reported in the literature, state-of-the-art trackers have hardly addressed person following in such scenarios. In this work, we focus on improving the perceptivity of a robot for a person following task by developing a robust and real-time applicable object tracker. We present a new robot person tracking system with a new RGB-D tracker, Deep Tracking with RGB-D (DTRD) that is resilient to tricky challenges introduced by the uniform crowd environment. Our tracker utilizes transformer encoder-decoder architecture with RGB and depth information to discriminate the target person from similar distractors. A substantial amount of comprehensive experiments and results demonstrate that our tracker has higher performance in two quantitative evaluation metrics and confirms its superiority over other SOTA trackers.


title: On the average behavior of coefficients related to triple product L-functions

abstract: In this paper, we study the average behaviour of the coefficients of triple product L-functions and some related L-functions corresponding to normalized primitive holomorphic cusp form $f(z)$ of weight $k$ for the full modular group $SL(2,\ \mathbb{Z}).$ Here we call $f(z)$ a primitive cusp form if it is an eighenfunction of all Hecke operators simultaneously.


title: Distinct Speed and Direction Memories of Migrating Dendritic Cells Diversify Their Search Strategies

abstract: Migrating cells exhibit various motility patterns, resulting from different migration mechanisms, cell properties, or cell-environment interactions. The complexity of cell dynamics is reflected, e.g., in the diversity of the observed forms of velocity autocorrelation function -- that has been widely served as a measure of diffusivity and spreading -- . By analyzing the dynamics of migrating dendritic cells in vitro, we disentangle the contributions of direction and speed to the velocity autocorrelation. We find that the ability of cells to maintain their speed or direction of motion is unequal, reflected in power-law decays of speed and direction autocorrelation functions with different exponents. The larger power-law exponent of the speed autocorrelation function indicates that the cells lose their speed memory considerably faster than the direction memory. Using numerical simulations, we investigate the influence of speed and direction memories as well as the direction-speed cross-correlation on the search time of a persistent random walker to find a randomly located target in confinement. Although the direction memory and direction-speed coupling play the major roles, we find that the speed autocorrelation can be also tuned to minimize the search time. Adopting an optimal speed memory can reduce the search time even up to 10% compared to uncorrelated spontaneous speeds. Our results suggest that migrating cells can improve their search efficiency, especially in crowded environments, through the directional or speed persistence or the speed-direction correlation.


title: Cycle-GAN for eye-tracking

abstract: This manuscript presents a not typical implementation of the cycle generative adversarial networks (Cycle-GAN) method for eye-tracking tasks.


title: Electric Current Induced by Microwave Stark Effect of Electrons on Liquid Helium

abstract: We propose a frequency-mixed effect of Terahertz (THz) and Gigahertz (GHz) electromagnetic waves in the cryogenic system of electrons floating on liquid helium surface. The THz wave is near-resonant with the transition frequency between the lowest two levels of surface state electrons. The GHz wave does not excite the transitions but generates a GHz-varying Stark effect with the symmetry-breaking eigenstates of electrons on liquid helium. We show an effective coupling between the inputting THz and GHz waves, which appears at the critical point that the detuning between electrons and THz wave is equal to the frequency of GHz wave. By this coupling, the THz and GHz waves cooperatively excite electrons and generate the low-frequency ac currents along the perpendicular direction of liquid helium surface to be experimentally detected by the image-charge approach [Phys. Rev. Lett. 123, 086801 (2019)]. This offers an alternative approach for THz detections.


title: CORAL: Contextual Response Retrievability Loss Function for Training Dialog Generation Models

abstract: In the field of Natural Language Processing, there are many tasks that can be tackled effectively using the cross-entropy (CE) loss function. However, the task of dialog generation poses unique challenges for CE loss. This is because CE loss assumes that, for any given input, the only possible output is the one available as the ground truth in the training dataset. But, in dialog generation, there can be multiple valid responses (for a given context) that not only have different surface forms but can also be semantically different. Furthermore, CE loss computation for the dialog generation task does not take the input context into consideration and, hence, it grades the response irrespective of the context. To grade the generated response for qualities like relevance, engagingness, etc., the loss function should depend on both the context and the generated response. To address these limitations, this paper proposes CORAL, a novel loss function based on a reinforcement learning (RL) view of the dialog generation task with a reward function that estimates human preference for generated responses while considering both the context and the response. Furthermore, to overcome challenges such as high sample complexity of RL training and a large action space, we propose a mix-policy training algorithm. Notably, using CORAL we can train dialog generation models without assuming the ground-truth as the only correct response. Extensive comparisons on benchmark datasets demonstrate that CORAL based models outperform strong state-of-the-art baseline models of different sizes.


title: A Collaborative Approach Using Neural Networks for BLE-RSS Lateration-Based Indoor Positioning

abstract: In daily life, mobile and wearable devices with high computing power, together with anchors deployed in indoor environments, form a common solution for the increasing demands for indoor location-based services. Within the technologies and methods currently in use for indoor localization, the approaches that rely on Bluetooth Low Energy (BLE) anchors, Received Signal Strength (RSS), and lateration are among the most popular, mainly because of their cheap and easy deployment and accessible infrastructure by a variety of devices. Nevertheless, such BLE- and RSS-based indoor positioning systems are prone to inaccuracies, mostly due to signal fluctuations, poor quantity of anchors deployed in the environment, and/or inappropriate anchor distributions, as well as mobile device hardware variability. In this paper, we address these issues by using a collaborative indoor positioning approach, which exploits neighboring devices as additional anchors in an extended positioning network. The collaborating devices' information (i.e., estimated positions and BLE-RSS) is processed using a multilayer perceptron (MLP) neural network by taking into account the device specificity in order to estimate the relative distances. After this, the lateration is applied to collaboratively estimate the device position. Finally, the stand-alone and collaborative position estimates are combined, providing the final position estimate for each device. The experimental results demonstrate that the proposed collaborative approach outperforms the stand-alone lateration method in terms of positioning accuracy.


title: Unsupervised Sign Language Phoneme Clustering using HamNoSys Notation

abstract: Traditionally, sign language resources have been collected in controlled settings for specific tasks involving supervised sign classification or linguistic studies accompanied by specific annotation type. To date, very few who explored signing videos found online on social media platforms as well as the use of unsupervised methods applied to such resources. Due to the fact that the field is striving to achieve acceptable model performance on the data that differs from that seen during training calls for more diversity in sign language data, stepping away from the data obtained in controlled laboratory settings. Moreover, since the sign language data collection and annotation carries large overheads, it is desirable to accelerate the annotation process. Considering the aforementioned tendencies, this paper takes the side of harvesting online data in a pursuit for automatically generating and annotating sign language corpora through phoneme clustering.


title: Viable requirements of curvature coupling helical magnetogenesis scenario

abstract: In the present work, we examine the following points in the context of the recently proposed curvature coupling helical magnetogenesis scenario \cite{Bamba:2021wyx} -- (1) whether the model is consistent with the predictions of perturbative quantum field theory (QFT), and (2) whether the curvature perturbation induced by the generated electromagnetic (EM) field during inflation is consistent with the Planck data. Such requirements are well motivated in order to argue the viability of the magnetogenesis model under consideration. Actually, the magnetogenesis scenario proposed in \cite{Bamba:2021wyx} seems to predict sufficient magnetic strength over the large scales and also leads to the correct baryon asymmetry of the universe for a suitable range of the model parameter. However in the realm of inflationary magnetogenesis, these requirements are not enough to argue the viability of the model, particularly one needs to examine some more important requirements in this regard. We may recall that the calculations generally used to determine the magnetic field's power spectrum are based on the perturbative QFT -- therefore it is important to examine whether the predictions of such perturbative QFT are consistent with the observational bounds of the model parameter. On other hand, the generated gauge field acts as a source of the curvature perturbation which needs to be suppressed compared to that of contributed from the inflaton field in order to be consistent with the Planck observation. These set our motivation. Interestingly, both the aforementioned requirements in the context of the curvature coupling helical magnetogenesis scenario are found to be simultaneously satisfied by that range of the model parameter which leads to the correct magnetic strength over the large scale modes.


title: Revealing hidden standard tripartite nonlocality by local filtering

abstract: Quantum nonlocality is a kind of significant quantum correlation that is stronger than quantum entanglement and EPR steering. The standard tripartite nonlocality can be detected by the violation of the Mermin inequality. By using local filtering operations, we give a tight upper bound on the maximal expected value of the Mermin operators. By detailed examples we show that the hidden standard nonlocality can be revealed by local filtering which can enhance the robustness of the noised entangled states.


title: Modular architecture facilitates noise-driven control of synchrony in neuronal networks

abstract: Brain functions require both segregated processing of information in specialized circuits, as well as integration across circuits to perform high-level information processing. One possible way to implement these seemingly opposing demands is by flexibly switching between synchronous and less synchronous states. Understanding how complex synchronization patterns are controlled by the interaction of network architecture and external perturbations is thus a central challenge in neuroscience, but the mechanisms behind such interactions remain elusive. Here, we utilise precision neuroengineering to manipulate cultured neuronal networks and show that a modular architecture facilitates desynchronization upon asynchronous stimulation, making external noise a control parameter of synchrony. Using spiking neuron models, we then demonstrate that external noise can reduce the level of available synaptic resources, which make intermodular interactions more stochastic and thereby facilitates the breakdown of synchrony. Finally, the phenomenology of stochastic intermodular interactions is formulated into a mesoscopic model that incorporates a state-dependent gating mechanism for signal propagation. Taken together, our results demonstrate a network mechanism by which asynchronous inputs tune the inherent dynamical state in structured networks of excitable units.


title: Shared-Control Robotic Manipulation in Virtual Reality

abstract: In this paper, we present the implementation details of a Virtual Reality (VR)-based teleoperation interface for moving a robotic manipulator. We propose an iterative human-in-the-loop design where the user sets the next task-space waypoint for the robot's end effector and executes the action on the physical robot before setting the next waypoints. Information from the robot's surroundings is provided to the user in two forms: as a point cloud in 3D space and a video stream projected on a virtual wall. The feasibility of the selected end effector pose is communicated to the user by the color of the virtual end effector. The interface is demonstrated to successfully work for a pick and place scenario, however, our trials showed that the fluency of the interaction and the autonomy level of the system can be increased.


title: Prospect for measurement of CP-violation phase $\phi_s$ study in the $B_s\rightarrow J/\Psi\phi$ channel at future $Z$ factory

abstract: The CP violating phase $\phi_s$, the $B_s$ decay width and the decay width difference are sensitive probe to new physics and can constrain the heavy quark expansion theory. The potential for the measurement at future $Z$ factories is studied. It is found that operating at Tera-$Z$ mode, the expected precision can reach: $\sigma(\phi_s) = 4.3~\mathrm{mrad}$, $\sigma(\Delta\Gamma_s) = 0.24~\mathrm{ns^{-1}}$ and $\sigma(\Gamma_s) = 0.072~\mathrm{ns^{-1}}$. The precision of $\phi_s$ is competitive with the expected resolution that could be achieved by LHCb at High-Luminosity Large Hadron Collider (HL-LHC). The resolution is only 30\% larger than the expected resolution at LHCb at HL-LHC. If operating at 10-Tera-$Z$ mode, the resolution of $\phi_s$ can be measured at 41\% of the resolution of LHCb at HL-LHC. The measurement of $\Gamma_s$ and $\Delta\Gamma_s$ cannot benefit from the excellent time resolution and tagging power of the future $Z$-factories. Only operating at 10-Tera-$Z$ mode, can the $\Gamma_s$ and $\Delta\Gamma_s$ reach an 18\% larger resolution than the expected resolution of LHCb at HL-LHC.


title: Equivalence principle violation from large scale structure

abstract: We explore the interplay between the equivalence principle and a generalization of the Heisenberg uncertainty relations known as extended uncertainty principle, that comprises the effects of spacetime curvature at large distances. Specifically, we observe that, when the modified uncertainty relations hold, the weak formulation of the equivalence principle is violated, since the inertial mass of quantum systems becomes position-dependent whilst the gravitational mass is left untouched. To obtain the above result, spinor and scalar fields are separately analyzed by considering the non-relativistic limit of the Dirac and the Klein-Gordon equations in the presence of the extended uncertainty principle. In both scenarios, it is found that the ratio between the inertial and the gravitational mass is the same.


title: Gorenstein projective modules over rings of Morita contexts

abstract: Under semi-weak and weak compatibility of bimodules, we establish sufficient and necessary conditions of Gorenstein-projective modules over rings of Morita contexts with one bimodule homomorphism zero. This generalises and extends results on triangular matrix Artin algebras and on Artin algebras of Morita contexts with two bimodule homomorphisms zero in the literature, where only sufficient conditions are given under a strong assumption of compatibility of bimodules. An application is provided to describe Gorenstein-projective modules over noncommutative tensor products arising from Morita contexts. Moreover, we work with Noether rings and modules instead of Artin algebras and modules.


title: BlockDFL: A Blockchain-based Fully Decentralized Peer-to-Peer Federated Learning Framework

abstract: Federated learning (FL) enables collaborative training of machine learning models without sharing training data. Traditional FL heavily relies on a trusted centralized server. Although decentralized FL eliminates the central dependence, it may worsen the other inherit problems faced by FL such as poisoning attacks and data representation leakage due to insufficient restrictions on the behavior of participants, and heavy communication cost, especially in fully decentralized scenarios, i.e., peer-to-peer (P2P) settings. In this paper, we propose a blockchain-based fully decentralized P2P framework for FL, called BlockDFL. It takes blockchain as the foundation, leveraging the proposed PBFT-based voting mechanism and two-layer scoring mechanism to coordinate FL among peer participants without mutual trust, while effectively defending against poisoning attacks. Gradient compression is introduced to lowering communication cost and prevent data from being reconstructed from transmitted model updates. Extensive experiments conducted on two real-world datasets exhibit that BlockDFL obtains competitive accuracy compared to centralized FL and can defend poisoning attacks while achieving efficiency and scalability. Especially when the proportion of malicious participants is as high as 40%, BlockDFL can still preserve the accuracy of FL, outperforming existing fully decentralized P2P FL frameworks based on blockchain.


title: HLATR: Enhance Multi-stage Text Retrieval with Hybrid List Aware Transformer Reranking

abstract: Deep pre-trained language models (e,g. BERT) are effective at large-scale text retrieval task. Existing text retrieval systems with state-of-the-art performance usually adopt a retrieve-then-reranking architecture due to the high computational cost of pre-trained language models and the large corpus size. Under such a multi-stage architecture, previous studies mainly focused on optimizing single stage of the framework thus improving the overall retrieval performance. However, how to directly couple multi-stage features for optimization has not been well studied. In this paper, we design Hybrid List Aware Transformer Reranking (HLATR) as a subsequent reranking module to incorporate both retrieval and reranking stage features. HLATR is lightweight and can be easily parallelized with existing text retrieval systems so that the reranking process can be performed in a single yet efficient processing. Empirical experiments on two large-scale text retrieval datasets show that HLATR can efficiently improve the ranking performance of existing multi-stage text retrieval methods.


title: Synchronous Consensus During Incomplete Synchrony

abstract: We present an algorithm for synchronous deterministic Byzantine consensus, tolerant to links failures and links asynchrony. It cares for a class of networks with specific needs, where both safety and liveness are essential, and timely irrevocable consensus has priority over highest throughput. The algorithm operates with redundant delivery of messages via indirect paths of up to 3 hops, aims all correct processes to obtain a coherent view of the system state within a bounded time, and establishes consensus with no need of leader. Consensus involves exchange of 2*n*n*n asymmetrically authenticated messages and tolerates up to < n/2 faulty processes. We show that in a consensus system with known members: 1) The existing concepts for delivery over a fraction of links and gossip-based reliable multicast can be extended to also circumvent asynchronous links and thereby convert the reliable delivery into a reliable bounded delivery. 2) A system of synchronous processes with bounded delivery does not need a leader - all correct processes from connected majority derive and propose the same consensus value from atomically consistent individual views on system state. 3) The required for bounded delivery asymmetric authentication of messages is sufficient for safety of the consensus algorithm. Key finding: the impossibility of safety and liveness of consensus in partial synchrony is not valid in the entire space between synchrony and asynchrony. A system of synchronized synchronous processes, which communicate with asymmetrically authenticated messages over a medium susceptible to asynchrony and faults, can operate with: 1) defined tolerance to number of asynchronous and/or faulty links per number of stop-failed and/or Byzantine processes; 2) leaderless algorithm with bounded termination; and 3) conceptually ensured simultaneous safety and bounded liveness.


title: ADT-SSL: Adaptive Dual-Threshold for Semi-Supervised Learning

abstract: Semi-Supervised Learning (SSL) has advanced classification tasks by inputting both labeled and unlabeled data to train a model jointly. However, existing SSL methods only consider the unlabeled data whose predictions are beyond a fixed threshold (e.g., 0.95), ignoring the valuable information from those less than 0.95. We argue that these discarded data have a large proportion and are usually of hard samples, thereby benefiting the model training. This paper proposes an Adaptive Dual-Threshold method for Semi-Supervised Learning (ADT-SSL). Except for the fixed threshold, ADT extracts another class-adaptive threshold from the labeled data to take full advantage of the unlabeled data whose predictions are less than 0.95 but more than the extracted one. Accordingly, we engage CE and $L_2$ loss functions to learn from these two types of unlabeled data, respectively. For highly similar unlabeled data, we further design a novel similar loss to make the prediction of the model consistency. Extensive experiments are conducted on benchmark datasets, including CIFAR-10, CIFAR-100, and SVHN. Experimental results show that the proposed ADT-SSL achieves state-of-the-art classification accuracy.


title: A Comprehensive 3-D Framework for Automatic Quantification of Late Gadolinium Enhanced Cardiac Magnetic Resonance Images

abstract: Late gadolinium enhanced (LGE) cardiac magnetic resonance (CMR) can directly visualize nonviable myocardium with hyperenhanced intensities with respect to normal myocardium. For heart attack patients, it is crucial to facilitate the decision of appropriate therapy by analyzing and quantifying their LGE CMR images. To achieve accurate quantification, LGE CMR images need to be processed in two steps: segmentation of the myocardium followed by classification of infarcts within the segmented myocardium. However, automatic segmentation is difficult usually due to the intensity heterogeneity of the myocardium and intensity similarity between the infarcts and blood pool. Besides, the slices of an LGE CMR dataset often suffer from spatial and intensity distortions, causing further difficulties in segmentation and classification. In this paper, we present a comprehensive 3-D framework for automatic quantification of LGE CMR images. In this framework, myocardium is segmented with a novel method that deforms coupled endocardial and epicardial meshes and combines information in both short- and long-axis slices, while infarcts are classified with a graph-cut algorithm incorporating intensity and spatial information. Moreover, both spatial and intensity distortions are effectively corrected with specially designed countermeasures. Experiments with 20 sets of real patient data show visually good segmentation and classification results that are quantitatively in strong agreement with those manually obtained by experts.


title: Spectral Neural Operators

abstract: A plentitude of applications in scientific computing requires the approximation of mappings between Banach spaces. Recently introduced Fourier Neural Operator (FNO) and Deep Operator Network (DeepONet) can provide this functionality. For both of these neural operators, the input function is sampled on a given grid (uniform for FNO), and the output function is parametrized by a neural network. We argue that this parametrization leads to 1) opaque output that is hard to analyze and 2) systematic bias caused by aliasing errors in the case of FNO. The alternative, advocated in this article, is to use Chebyshev and Fourier series for both domain and codomain. The resulting Spectral Neural Operator (SNO) has transparent output, never suffers from aliasing, and may include many exact (lossless) operations on functions. The functionality is based on well-developed fast, and stable algorithms from spectral methods. The implementation requires only standard numerical linear algebra. Our benchmarks show that for many operators, SNO is superior to FNO and DeepONet.


title: A graphical representation of binary linear codes

abstract: A binary $[n,k]$-linear code $\mathcal{C}$ is a $k$-dimensional subspace of $\mathbb{F}_2^n$. For $\boldsymbol{x}\in \mathbb{F}_2^n$, the set $\boldsymbol{x}+\mathcal{C}$ is a coset of $\mathcal{C}$. In this work we study a partial ordering on the set of cosets of a binary linear code $\mathcal{C}$ of length $n$ and we construct a graph using the orphan structure of this code.


title: UVA Resources for the Biomedical Vocabulary Alignment at Scale in the UMLS Metathesaurus

abstract: The construction and maintenance process of the UMLS (Unified Medical Language System) Metathesaurus is time-consuming, costly, and error-prone as it relies on (1) the lexical and semantic processing for suggesting synonymous terms, and (2) the expertise of UMLS editors for curating the suggestions. For improving the UMLS Metathesaurus construction process, our research group has defined a new task called UVA (UMLS Vocabulary Alignment) and generated a dataset for evaluating the task. Our group has also developed different baselines for this task using logical rules (RBA), and neural networks (LexLM and ConLM). In this paper, we present a set of reusable and reproducible resources including (1) a dataset generator, (2) three datasets generated by using the generator, and (3) three baseline approaches. We describe the UVA dataset generator and its implementation generalized for any given UMLS release. We demonstrate the use of the dataset generator by generating datasets corresponding to three UMLS releases, 2020AA, 2021AA, and 2021AB. We provide three UVA baselines using the three existing approaches (LexLM, ConLM, and RBA). The code, the datasets, and the experiments are publicly available, reusable, and reproducible with any UMLS release (a no-cost license agreement is required for downloading the UMLS).


title: Charged Lepton Flavour Violation in Heavy Particle DEcays

abstract: Charged lepton flavor violation is an unambiguous signature for New Physics. Here we present a summary of the theoretical and experimental status of the search for charged lepton flavor violation in heavy particle decays, in particular in the decays of the Z and Higgs bosons, and of the top quark. Decays of beyond-Standard-Model particles such as a Z' or an additional scalar particle are also discussed. Finally the prospects for such searches at proposed future electron-positron colliders are reviewed.


title: Non-Autoregressive Neural Machine Translation: A Call for Clarity

abstract: Non-autoregressive approaches aim to improve the inference speed of translation models by only requiring a single forward pass to generate the output sequence instead of iteratively producing each predicted token. Consequently, their translation quality still tends to be inferior to their autoregressive counterparts due to several issues involving output token interdependence. In this work, we take a step back and revisit several techniques that have been proposed for improving non-autoregressive translation models and compare their combined translation quality and speed implications under third-party testing environments. We provide novel insights for establishing strong baselines using length prediction or CTC-based architecture variants and contribute standardized BLEU, chrF++, and TER scores using sacreBLEU on four translation tasks, which crucially have been missing as inconsistencies in the use of tokenized BLEU lead to deviations of up to 1.7 BLEU points. Our open-sourced code is integrated into fairseq for reproducibility.


title: Multi-feature Co-learning for Image Inpainting

abstract: Image inpainting has achieved great advances by simultaneously leveraging image structure and texture features. However, due to lack of effective multi-feature fusion techniques, existing image inpainting methods still show limited improvement. In this paper, we design a deep multi-feature co-learning network for image inpainting, which includes Soft-gating Dual Feature Fusion (SDFF) and Bilateral Propagation Feature Aggregation (BPFA) modules. To be specific, we first use two branches to learn structure features and texture features separately. Then the proposed SDFF module integrates structure features into texture features, and meanwhile uses texture features as an auxiliary in generating structure features. Such a co-learning strategy makes the structure and texture features more consistent. Next, the proposed BPFA module enhances the connection from local feature to overall consistency by co-learning contextual attention, channel-wise information and feature space, which can further refine the generated structures and textures. Finally, extensive experiments are performed on benchmark datasets, including CelebA, Places2, and Paris StreetView. Experimental results demonstrate the superiority of the proposed method over the state-of-the-art. The source codes are available at https://github.com/GZHU-DVL/MFCL-Inpainting.


title: Boosting Camouflaged Object Detection with Dual-Task Interactive Transformer

abstract: Camouflaged object detection intends to discover the concealed objects hidden in the surroundings. Existing methods follow the bio-inspired framework, which first locates the object and second refines the boundary. We argue that the discovery of camouflaged objects depends on the recurrent search for the object and the boundary. The recurrent processing makes the human tired and helpless, but it is just the advantage of the transformer with global search ability. Therefore, a dual-task interactive transformer is proposed to detect both accurate position of the camouflaged object and its detailed boundary. The boundary feature is considered as Query to improve the camouflaged object detection, and meanwhile the object feature is considered as Query to improve the boundary detection. The camouflaged object detection and the boundary detection are fully interacted by multi-head self-attention. Besides, to obtain the initial object feature and boundary feature, transformer-based backbones are adopted to extract the foreground and background. The foreground is just object, while foreground minus background is considered as boundary. Here, the boundary feature can be obtained from blurry boundary region of the foreground and background. Supervised by the object, the background and the boundary ground truth, the proposed model achieves state-of-the-art performance in public datasets. https://github.com/liuzywen/COD


title: Towards Secure Virtual Elections: Multiparty Computation of Order Based Voting Rules

abstract: Electronic voting systems are essential for holding virtual elections, and the need for such systems increases due to the COVID-19 pandemic and the social distancing that it mandates. One of the main challenges in e-voting systems is to secure the voting process: namely, to certify that the computed results are consistent with the cast ballots, and that the privacy of the voters is preserved. We propose herein a secure voting protocol for elections that are governed by order-based voting rules. Our protocol offers perfect ballot secrecy, in the sense that it issues only the required output, while no other information on the cast ballots is revealed. Such perfect secrecy, which is achieved by employing secure multiparty computation tools, may increase the voters' confidence and, consequently, encourage them to vote according to their true preferences. Evaluation of the protocol's computational costs establishes that it is lightweight and can be readily implemented in real-life electronic elections.


title: Evaluating Performance of Machine Learning Models for Diabetic Sensorimotor Polyneuropathy Severity Classification using Biomechanical Signals during Gait

abstract: Diabetic sensorimotor polyneuropathy (DSPN) is one of the prevalent forms of neuropathy affected by diabetic patients that involves alterations in biomechanical changes in human gait. In literature, for the last 50 years, researchers are trying to observe the biomechanical changes due to DSPN by studying muscle electromyography (EMG), and ground reaction forces (GRF). However, the literature is contradictory. In such a scenario, we are proposing to use Machine learning techniques to identify DSPN patients by using EMG, and GRF data. We have collected a dataset consists of three lower limb muscles EMG (tibialis anterior (TA), vastus lateralis (VL), gastrocnemius medialis (GM) and 3-dimensional GRF components (GRFx, GRFy, and GRFz). Raw EMG and GRF signals were preprocessed, and a newly proposed feature extraction technique scheme from literature was applied to extract the best features from the signals. The extracted feature list was ranked using Relief feature ranking techniques, and highly correlated features were removed. We have trained different ML models to find out the best-performing model and optimized that model. We trained the optimized ML models for different combinations of muscles and GRF components features, and the performance matrix was evaluated. This study has found ensemble classifier model was performing in identifying DSPN Severity, and we optimized it before training. For EMG analysis, we have found the best accuracy of 92.89% using the Top 14 features for features from GL, VL and TA muscles combined. In the GRF analysis, the model showed 94.78% accuracy by using the Top 15 features for the feature combinations extracted from GRFx, GRFy and GRFz signals. The performance of ML-based DSPN severity classification models, improved significantly, indicating their reliability in DSPN severity classification, for biomechanical data.


title: Cycles and divergent trajectories for a class of permutation sequences

abstract: Let $f$ be a permutation from $\mathbb{N}_0$ onto $\mathbb{N}_0$. Let $x\in\mathbb{N}_0$ and consider a (finite or infinite) sequence $s= (x,f(x),f^2(x),\cdots)$. We call $s$ a permutation sequence. Let $D$ be the set of elements of $s$. If $D$ is a finite set then the sequence $s$ is a cycle, and if $D$ is an infinite set the sequence $s$ is a divergent trajectory. We derive theoretical and computational bounds for cycles and divergent trajectories for a defined class of permutations.


title: Automated Repair of Programs from Large Language Models

abstract: Large language models such as Codex, have shown the capability to produce code for many programming tasks. However, the success rate of existing models is low, especially for complex programming tasks. One of the reasons is that language models lack awareness of program semantics, resulting in incorrect programs, or even programs which do not compile. In this paper, we systematically study whether automated program repair (APR) techniques can fix the incorrect solutions produced by language models in LeetCode contests. The goal is to study whether APR techniques can enhance reliability in the code produced by large language models. Our study revealed that: (1) automatically generated code shares common programming mistakes with human-crafted solutions, indicating APR techniques may have potential to fix auto-generated code; (2) given bug location information provided by a statistical fault localization approach, the newly released Codex edit mode, which supports editing code, is similar to or better than existing Java repair tools TBar and Recoder in fixing incorrect solutions. By analyzing the experimental results generated by these tools, we provide several suggestions: (1) enhancing APR tools to surpass limitations in patch space (e.g., introducing more flexible fault localization) is desirable; (2) as large language models can derive more fix patterns by training on more data, future APR tools could shift focus from adding more fix patterns to synthesis/semantics based approaches, (3) combination of language models with APR to curate patch ingredients, is worth studying.


title: Hilbert schemes of points and applications

abstract: The thesis concerns Hilbert schemes of points and apart from mathematical results, contains small open problems and history sections, see the introduction for more details. The thesis has not been edited since 2017, see first page for more information. It is shared "as is" (in the language of GPL) solely due/thanks to several people who decided to refer to it.


title: The symplectic structure of a toric conic transform

abstract: Suppose that a compact $r$-dimensional torus $T^r$ acts in a holomorphic and Hamiltonian manner on polarized complex $d$-dimensional projective manifold $M$, with nowhere vanishing moment map $\Phi$. Assuming that $\Phi$ is transverse to the ray through a given weight $\boldsymbol{\nu}$, associated to these data there is a complex $(d-r+1)$-dimensional polarized projective orbifold $\hat{M}_{\boldsymbol{\nu}}$ (referred to as the $\boldsymbol{\nu}$-th \textit{conic transform} of $M$). Namely, $\hat{M}_{\boldsymbol{\nu}}$ is a suitable quotient of the inverse image of the ray in the unit circle bundle of the polarization of $M$. With the aim to clarify the geometric significance of this construction, we consider the special case where $M$ is toric, and show that $\hat{M}_{\boldsymbol{\nu}}$ is itself a K\"{a}hler toric obifold, whose moment polytope is obtained from the one of $M$ by a certain "transform", operation (depending on $\Phi$ and $\boldsymbol{\nu}$).


title: Calibration of Natural Language Understanding Models with Venn--ABERS Predictors

abstract: Transformers, currently the state-of-the-art in natural language understanding (NLU) tasks, are prone to generate uncalibrated predictions or extreme probabilities, making the process of taking different decisions based on their output relatively difficult. In this paper we propose to build several inductive Venn--ABERS predictors (IVAP), which are guaranteed to be well calibrated under minimal assumptions, based on a selection of pre-trained transformers. We test their performance over a set of diverse NLU tasks and show that they are capable of producing well-calibrated probabilistic predictions that are uniformly spread over the [0,1] interval -- all while retaining the original model's predictive accuracy.


title: A comprehensive survey on semantic facial attribute editing using generative adversarial networks

abstract: Generating random photo-realistic images has experienced tremendous growth during the past few years due to the advances of the deep convolutional neural networks and generative models. Among different domains, face photos have received a great deal of attention and a large number of face generation and manipulation models have been proposed. Semantic facial attribute editing is the process of varying the values of one or more attributes of a face image while the other attributes of the image are not affected. The requested modifications are provided as an attribute vector or in the form of driving face image and the whole process is performed by the corresponding models. In this paper, we survey the recent works and advances in semantic facial attribute editing. We cover all related aspects of these models including the related definitions and concepts, architectures, loss functions, datasets, evaluation metrics, and applications. Based on their architectures, the state-of-the-art models are categorized and studied as encoder-decoder, image-to-image, and photo-guided models. The challenges and restrictions of the current state-of-the-art methods are discussed as well.


title: Micro-video recommendation model based on graph neural network and attention mechanism

abstract: With the rapid development of Internet technology and the comprehensive popularity of Internet applications, online activities have gradually become an indispensable part of people's daily life. The original recommendation learning algorithm is mainly based on user-microvideo interaction for learning, modeling the user-micro-video connection relationship, which is difficult to capture the more complex relationships between nodes. To address the above problems, we propose a personalized recommendation model based on graph neural network, which utilizes the feature that graph neural network can tap deep information of graph data more effectively, and transforms the input user rating information and item side information into graph structure, for effective feature extraction, based on the importance sampling strategy. The importance-based sampling strategy measures the importance of neighbor nodes to the central node by calculating the relationship tightness between the neighbor nodes and the central node, and selects the neighbor nodes for recommendation tasks based on the importance level, which can be more targeted to select the sampling neighbors with more influence on the target micro-video nodes. The pooling aggregation strategy, on the other hand, trains the aggregation weights by inputting the neighborhood node features into the fully connected layer before aggregating the neighborhood features, and then introduces the pooling layer for feature aggregation, and finally aggregates the obtained neighborhood aggregation features with the target node itself, which directly introduces a symmetric trainable function to fuse the neighborhood weight training into the model to better capture the different neighborhood nodes' differential features in a learnable manner to allow for a more accurate representation of the current node features.


title: Increased Phase Coherence Length in a Porous Topological Insulator

abstract: The surface area of Bi2Te3 thin films was increased by introducing nanoscale porosity. Temperature dependent resistivity and magnetotransport measurements were conducted both on as-grown and porous samples (23 and 70 nm). The longitudinal resistivity of the porous samples became more metallic, indicating the increased surface area resulted in transport that was more surface-like. Weak antilocalization (WAL) was present in all samples, and remarkably the phase coherence length doubled in the porous samples. This increase is likely due to the large Fermi velocity of the Dirac surface states. Our results show that the introduction of nanoporosity does not destroy the topological surface states but rather enhances them, making these nanostructured materials promising for low energy electronics, spintronics and thermoelectrics.


title: Steady-state entanglement generation for non-degenerate qubits

abstract: We propose a scheme to dissipatively produce steady-state entanglement in a two-qubit system, via an interaction with a bosonic mode. The system is driven into a stationary entangled state, while we compensate the mode dissipation by injecting energy via a coherent pump field. We also present a scheme which allows us to adiabatically transfer all the population to the desired entangled state. The dynamics leading to the entangled state in these schemes can be understood in analogy with electromagnetically induced transparency (EIT) and stimulated Raman adiabatic passage (STIRAP), respectively.


title: Multiplierless Design of Very Large Constant Multiplications in Cryptography

abstract: This brief addresses the problem of implementing very large constant multiplications by a single variable under the shift-adds architecture using a minimum number of adders/subtractors. Due to the intrinsic complexity of the problem, we introduce an approximate algorithm, called T\~OLL, which partitions the very large constants into smaller ones. To reduce the number of operations, T\~OLL incorporates graph-based and common subexpression elimination methods proposed for the shift-adds design of constant multiplications. It can also consider the delay of a multiplierless design defined in terms of the maximum number of operations in series, i.e., the number of adder-steps, while reducing the number of operations. High-level experimental results show that the adder-steps of a shift-adds design can be reduced significantly with a little overhead in the number of operations. Gate-level experimental results indicate that while the shift-adds design can lead to a 36.6\% reduction in gate-level area with respect to a design using a multiplier, the delay-aware optimization can yield a 48.3\% reduction in minimum achievable delay of the shift-adds design when compared to the area-aware optimization.


title: Facing the Void: Overcoming Missing Data in Multi-View Imagery

abstract: In some scenarios, a single input image may not be enough to allow the object classification. In those cases, it is crucial to explore the complementary information extracted from images presenting the same object from multiple perspectives (or views) in order to enhance the general scene understanding and, consequently, increase the performance. However, this task, commonly called multi-view image classification, has a major challenge: missing data. In this paper, we propose a novel technique for multi-view image classification robust to this problem. The proposed method, based on state-of-the-art deep learning-based approaches and metric learning, can be easily adapted and exploited in other applications and domains. A systematic evaluation of the proposed algorithm was conducted using two multi-view aerial-ground datasets with very distinct properties. Results show that the proposed algorithm provides improvements in multi-view image classification accuracy when compared to state-of-the-art methods. Code available at \url{https://github.com/Gabriellm2003/remote_sensing_missing_data}.


title: Few-Shot Natural Language Inference Generation with PDD: Prompt and Dynamic Demonstration

abstract: Natural Language Inference Generation task is to generate a text hypothesis given a text premise and a logical relation between the two. This task can be used in data augmentation and controllable text generation in practice. In this paper, we propose language models with prompt and dynamic demonstration (LM-PDD) to tackle this problem in few-shot settings. Our framework outperforms standard fine-tuned models with low resource, achieving an average 8% absolute improvement on SNLI and MNLI datasets, and the results on 13 natural language classification tasks also show that our dynamic demonstration method has good generalizability.


title: On the subdivision algebra for the polytope $\mathcal{U}_{I,\bar{J}}$

abstract: The polytopes $\mathcal{U}_{I,\bar{J}}$ were introduced by Ceballos, Padrol, and Sarmiento to provide a geometric approach to the study of $(I,\bar{J})$-Tamari lattices. They observed a connection between certain $\mathcal{U}_{I,\bar{J}}$ and acyclic root polytopes, and wondered if M\'esz\'aros' subdivision algebra can be used to subdivide all $\mathcal{U}_{I,\bar{J}}$. We answer this in the affirmative from two perspectives, one using flow polytopes and the other using root polytopes. We show that $\mathcal{U}_{I,\bar{J}}$ is integrally equivalent to a flow polytope that can be subdivided using the subdivision algebra. Alternatively, we find a suitable projection of $\mathcal{U}_{I,\bar{J}}$ to an acyclic root polytope which allows subdivisions of the root polytope to be lifted back to $\mathcal{U}_{I,\bar{J}}$. As a consequence, this implies that subdivisions of $\mathcal{U}_{I,\bar{J}}$ can be obtained with the algebraic interpretation of using reduced forms of monomials in the subdivision algebra. In addition, we show that the $(I,\bar{J})$-Tamari complex can be obtained as a triangulated flow polytope.


title: Myocardial Segmentation of Late Gadolinium Enhanced MR Images by Propagation of Contours from Cine MR Images

abstract: Automatic segmentation of myocardium in Late Gadolinium Enhanced (LGE) Cardiac MR (CMR) images is often difficult due to the intensity heterogeneity resulting from accumulation of contrast agent in infarcted areas. In this paper, we propose an automatic segmentation framework that fully utilizes shared information between corresponding cine and LGE images of a same patient. Given myocardial contours in cine CMR images, the proposed framework achieves accurate segmentation of LGE CMR images in a coarse-to-fine manner. Affine registration is first performed between the corresponding cine and LGE image pair, followed by nonrigid registration, and finally local deformation of myocardial contours driven by forces derived from local features of the LGE image. Experimental results on real patient data with expert outlined ground truth show that the proposed framework can generate accurate and reliable results for myocardial segmentation of LGE CMR images.


title: Not All SWAPs Have the Same Cost: A Case for Optimization-Aware Qubit Routing

abstract: Despite rapid advances in quantum computing technologies, the qubit connectivity limitation remains to be a critical challenge. Both near-term NISQ quantum computers and relatively long-term scalable quantum architectures do not offer full connectivity. As a result, quantum circuits may not be directly executed on quantum hardware, and a quantum compiler needs to perform qubit routing to make the circuit compatible with the device layout. During the qubit routing step, the compiler inserts SWAP gates and performs circuit transformations. Given the connectivity topology of the target hardware, there are typically multiple qubit routing candidates. The state-of-the-art compilers use a cost function to evaluate the number of SWAP gates for different routes and then select the one with the minimum number of SWAP gates. After qubit routing, the quantum compiler performs gate optimizations upon the circuit with the newly inserted SWAP gates. In this paper, we observe that the aforementioned qubit routing is not optimal, and qubit routing should \textit{not} be independent on subsequent gate optimizations. We find that with the consideration of gate optimizations, not all of the SWAP gates have the same basis-gate cost. These insights lead to the development of our qubit routing algorithm, NASSC (Not All Swaps have the Same Cost). NASSC is the first algorithm that considers the subsequent optimizations during the routing step. Our optimization-aware qubit routing leads to better routing decisions and benefits subsequent optimizations. We also propose a new optimization-aware decomposition for the inserted SWAP gates. Our experiments show that the routing overhead compiled with our routing algorithm is reduced by up to $69.30\%$ ($21.30\%$ on average) in the number of CNOT gates and up to $43.50\%$ ($7.61\%$ on average) in the circuit depth compared with the state-of-the-art scheme, SABRE.


title: Decoding NGC 628 with radiative transfer methods

abstract: We present an axi-symmetric model for the ultraviolet (UV)-to-submillimetre (submm) images of the nearly face-on spiral galaxy NGC 628. It was calculated using a radiative transfer (RT) code, accounting for the absorption and re-emission of starlight by dust in the interstellar medium of this galaxy. The code incorporates emission from Polycyclic Aromatic Hydrocarbons, anisotropic scattering and stochastic heating of the grains. This is the second successful modelling of a face-on spiral galaxy with RT methods, whereby the large-scale geometry of stars and dust is self-consistently determined. The solution was obtained by fitting azimuthally averaged profiles in the UV, optical and submm. The model predicts remarkably well all characteristics of the profiles, including the increase by a factor of 1.8 of the scale-length of the infrared emissivity between 70 and 500 $\mu$m. We find that NGC 628 did not undergo an efficient inside-out disk growth, as predicted by semi-analytical hierarchical models for galaxy formation. We also find large amounts of dust grains at large radii, that could involve efficient transport mechanisms from the inner disk. Our results show that 71% of the dust emission in NGC 628 is powered by the young stellar populations, with the old stellar populations from the bulge contributing 65% to the heating of the dust in the central region ($R<0.5$ kpc). The derived star formation rate is $\rm SFR=2.00\pm0.15\,{\rm M}_{\odot}{\rm yr}^{-1}$..


title: Egerv\'{a}ry graphs: Deming decompositions and independence structure

abstract: We leverage an algorithm of Deming [R.W. Deming, Independence numbers of graphs -- an extension of the Koenig-Egervary theorem, Discrete Math., 27(1979), no. 1, 23--33; MR534950] to decompose a matchable graph into subgraphs with a precise structure: they are either spanning even subdivisions of blossom pairs, spanning even subdivisions of the complete graph $K_4$, or a K\H{o}nig-Egerv\'{a}ry graph. In each case, the subgraphs have perfect matchings; in the first two cases, their independence numbers are one less than their matching numbers, while the independence number of the KE subgraph equals its matching number. This decomposition refines previous results about the independence structure of an arbitrary graph and leads to new results about $\alpha$-critical graphs.


title: Networks of international football: communities, evolution and globalization of the game

abstract: As the most popular sport around the globe, the game of football has recently intrigued much research interest to explore and distill useful and appealing information from the sport. Network science and graph-centric methods have been previously applied to study the importance of football players and teams. In this paper, for the first time we study the macroscopic evolution of the football society from a complex network point of view. Football game records within a time window of over a century were collected and expressed in a graph format, where participant teams are represented by graph nodes and the games between them are the graph edges. We carry out community detection and temporal analysis to reveal the dynamic features and the community structures embedded within the football network, offering the evidence of a continuously expanding football society. Spatio-temporal analysis is also implemented to unveil the temporal states that represent distinct development stages in the football history. Our analysis suggests that the evolution of the game receives considerable impact not only from major sport events, but also from multiple social and political incidents. The game of football and its evolution reflect significant historical transitions and turning points, and can provide a novel perspective for the study of the worldwide globalization process.


title: On the Dynamics in the AdS/BCFT Correspondence

abstract: We consider a perturbation of the Einstein gravity with the Neumann boundary condition, which is regarded as an end of the world brane (ETW brane) of the AdS/BCFT correspondence, in the AdSd+1 spaectime where d is larger than 2. We obtain the mode expansion of the perturbations explicitly for the tensionless ETW brane case. We also show that the energy-momentum tensor in a d-dimensional BCFT should satisfy nontrivial constraints other than the ones for the boundary conformal symmetry if the BCFT can couple to a d-dimensional gravity with a specific boundary condition, which can be the Neumann or the conformally Dirichlet boundary conditions. We find these constraints are indeed satisfied for the free scalar BCFT. For the BCFT in the AdS/BCFT, we find that the BCFT can couple to the gravity with the Neumann boundary condition for the tensionless brane, but the BCFT can couple to the gravity with the conformally Dirichlet boundary condition for the nonzero tension brane by using holographic relations.


title: Orbits in Lattices

abstract: We exhibit algorithms for calculating Tits' buildings and orbits of vectors in a lattice $L$ for certain subgroups of $\operatorname{O}(L)$. We discuss how these algorithms can be applied to understand the configuration of boundary components in the Baily-Borel compactification of orthogonal modular varieties and to improve the performance of computer arithmetic of orthogonal modular forms.


title: Pushing compute and AI onto detector silicon

abstract: In order to take full advantage of the U.S. Department of Energy's billion-dollar investments into the next-generation research infrastructure (e.g., exascale, light sources, colliders), advances are required not only in detector technology but also in computing and specifically AI. Let us consider an example from X-ray science. Nanoscale X-ray imaging is a crucial tool to enable a wide range of scientific explorations from materials science and biology to mechanical and civil engineering. The next-generation light sources will increase the X-ray beam brightness and coherent flux by 100 to 1,000 times. In order to image larger samples, the continuous frame rate of pixel array detectors must be increased, approaching 1 MHz, which requires several Tbps (aggregated) to transfer pixel data out to a data acquisition system. Using 65-nm CMOS technology, an optimistic raw data rate off such a chip is about 100-200 Gbps. However, a continuous 1 MHz detector with only $256 \times 256$ pixels at 16-bit resolution, for example, will require 1,000 Gbps (i.e., 1 Tbps) bandwidth off the chip! It is impractical to have multiple high-speed transceivers running in parallel to provide such bandwidth and represents the first data bottleneck. New approaches are necessary to reduce the data size by performing data compression or AI-based feature extraction directly inside a detector silicon chip in a streaming manner before sending it off-chip.


title: Thermoelectrics properties of two-dimensional materials with combination of linear and nonlinear band structures

abstract: We investigate thermoelectric (TE) properties of two-dimensional materials possessing two Dirac bands (a Dirac band) and a nonlinear band within the three-(two-)band model using linearized Boltzmann transport theory and relaxation time approximation. In the three-band model, we find that combinations of Dirac bands with a heavy nonlinear band, either a parabolic or a pudding-mold band, does not give much difference in their TE performance. The apparent difference only occurs in the position of the nonlinear band that leads to the maximum figure of merit ($ZT$). The optimum $ZT$ of the three-band model consisting of a nonlinear band is found when the nonlinear band intersects the Dirac bands near the Fermi level. By removing the linear conduction band, or, in other words, transforming the three-band model to the two-band model, we find better TE performance in the two-band model than in the three-band model, i.e., in terms of higher $ZT$ values


title: Broadband tunable mid-infrared absorber based on conductive strip-like meta-atom elements

abstract: A metamaterial composed of thin metallic strips as an efficient broadband absorber in the mid-infrared spectrum is investigated. Here the matching between dielectric and geometrical properties of the individual elements is critical to ensure high absorption. Detailed theoretical analysis based on the electric dipole approximation is performed to characterize the absorption and scattering properties of the individual elements of the unit cell and the results are used to design the metamaterial composed of such configurations. The absorption cross-section of a strip-shaped element can exceed its longitudinal geometrical cross-section area by 17 times. It was shown that the absorptance of the Ni-based metal-insulator-metal (MIM) metamaterial structure can exceed 90 % in about 8.2 - 18 um spectrum. The broadband absorption is associated with the excitation of the low-Q-factor dipole modes of the strips. Such an absorber demonstrates good polarization and incident angle tolerance for transverse-electric (TE) waves. The absorption spectrum can be tuned by varying individual element parameters.


title: Brain Cortical Functional Gradients Predict Cortical Folding Patterns via Attention Mesh Convolution

abstract: Since gyri and sulci, two basic anatomical building blocks of cortical folding patterns, were suggested to bear different functional roles, a precise mapping from brain function to gyro-sulcal patterns can provide profound insights into both biological and artificial neural networks. However, there lacks a generic theory and effective computational model so far, due to the highly nonlinear relation between them, huge inter-individual variabilities and a sophisticated description of brain function regions/networks distribution as mosaics, such that spatial patterning of them has not been considered. we adopted brain functional gradients derived from resting-state fMRI to embed the "gradual" change of functional connectivity patterns, and developed a novel attention mesh convolution model to predict cortical gyro-sulcal segmentation maps on individual brains. The convolution on mesh considers the spatial organization of functional gradients and folding patterns on a cortical sheet and the newly designed channel attention block enhances the interpretability of the contribution of different functional gradients to cortical folding prediction. Experiments show that the prediction performance via our model outperforms other state-of-the-art models. In addition, we found that the dominant functional gradients contribute less to folding prediction. On the activation maps of the last layer, some well-studied cortical landmarks are found on the borders of, rather than within, the highly activated regions. These results and findings suggest that a specifically designed artificial neural network can improve the precision of the mapping between brain functions and cortical folding patterns, and can provide valuable insight of brain anatomy-function relation for neuroscience.


title: Unitarity of some barycentric rational approximants

abstract: The exponential function maps the imaginary axis to the unit circle and, for many applications, this unitarity property is also desirable from its approximations. We show that this property is conserved not only by the (k,k)-rational barycentric interpolant of the exponential on the imaginary axis, but also by (k,k)-rational barycentric approximants that minimize a linearized approximation error. These results are a consequence of certain properties of singular vectors of Loewner-type matrices associated to linearized approximation errors. Prominent representatives of this class are rational approximants computed by the adaptive Antoulas--Anderson (AAA) method and the AAA--Lawson method. Our results also lead to a modified procedure with improved numerical stability of the unitarity property and reduced computational cost.


title: Coordinating Policies Among Multiple Agents via an Intelligent Communication Channel

abstract: In Multi-Agent Reinforcement Learning (MARL), specialized channels are often introduced that allow agents to communicate directly with one another. In this paper, we propose an alternative approach whereby agents communicate through an intelligent facilitator that learns to sift through and interpret signals provided by all agents to improve the agents' collective performance. To ensure that this facilitator does not become a centralized controller, agents are incentivized to reduce their dependence on the messages it conveys, and the messages can only influence the selection of a policy from a fixed set, not instantaneous actions given the policy. We demonstrate the strength of this architecture over existing baselines on several cooperative MARL environments.


title: Poster: The Unintended Consequences of Algorithm Agility in DNSSEC

abstract: Cryptographic algorithm agility is an important property for DNSSEC: it allows easy deployment of new algorithms if the existing ones are no longer secure. In this work we show that the cryptographic agility in DNSSEC, although critical for provisioning DNS with strong cryptography, also introduces a vulnerability. We find that under certain conditions, when new algorithms are listed in signed DNS responses, the resolvers do not validate DNSSEC. As a result, domains that deploy new ciphers may in fact cause the resolvers not to validate DNSSEC. We exploit this to develop DNSSEC-downgrade attacks and experimentally and ethically evaluate them against popular DNS resolver implementations, public DNS providers, and DNS services used by web clients worldwide. We find that major DNS providers as well as 45% of DNS resolvers used by web clients are vulnerable to our attacks.


title: The metric measure boundary of spaces with Ricci curvature bounded below

abstract: We solve a conjecture raised by Kapovitch, Lytchak, and Petrunin by showing that the metric measure boundary is vanishing on any ${\rm RCD}(K,N)$ space without boundary. Our result, combined with [Kapovitch-Lytchak-Petrunin '21], settles an open question about the existence of infinite geodesics on Alexandrov spaces without boundary raised by Perelman and Petrunin in 1996.


title: Interface effects of quark matter: Light-quark nuggets and compact stars

abstract: The interface effects of quark matter play important roles in the properties of compact stars and small nuggets such as strangelets and $ud$QM nuggets. By introducing a density derivative term to the Lagrangian density and adopting Thomas-Fermi approximation, we find it is possible to reproduce the results obtained by solving Dirac equations. Adopting certain parameter sets, the energy per baryon of $ud$QM nuggets decreases with baryon number $A$ and become more stable than nuclei at $A\gtrsim 300$. The effects of quark matter symmetry energy are examined, where $ud$QM nuggets at $A\approx 1000$ can be more stable than others if large symmetry energy is adopted. In such cases, larger $ud$QM nuggets will decay via fission and the surface of an $ud$QM star will fragment into a crust made of $ud$QM nuggets and electrons, which resembles the cases of a strange star's crust. The corresponding microscopic structures are then investigated adopting spherical and cylindrical approximations for the Wigner-Seitz cells, where the droplet phase is found to be the most stable configuration with $ud$QM stars' crusts and $ud$QM dwarfs made of $ud$QM nuggets ($A\approx 1000$) and electrons. For the cases considered here, the crust thickness of $ud$QM stars is typically $\sim$200 m, which reaches a few kilometers if we neglect the interface effects and adopt Gibbs construction. The masses and radii of $ud$QM dwarfs are smaller than typical white dwarfs, which would increase if the interface effects are neglected.


title: Lightweight Human Pose Estimation Using Heatmap-Weighting Loss

abstract: Recent research on human pose estimation exploits complex structures to improve performance on benchmark datasets, ignoring the resource overhead and inference speed when the model is actually deployed. In this paper, we lighten the computation cost and parameters of the deconvolution head network in SimpleBaseline and introduce an attention mechanism that utilizes original, inter-level, and intra-level information to intensify the accuracy. Additionally, we propose a novel loss function called heatmap weighting loss, which generates weights for each pixel on the heatmap that makes the model more focused on keypoints. Experiments demonstrate our method achieves a balance between performance, resource volume, and inference speed. Specifically, our method can achieve 65.3 AP score on COCO test-dev, while the inference speed is 55 FPS and 18 FPS on the mobile GPU and CPU, respectively.


title: An improved fringe-region technique for the representation of gravity waves in large-eddy simulation with application to wind farms

abstract: Large-eddy simulations of the atmospheric boundary layer are often performed using pseudo-spectral methods, which adopt a fringe-region approach to introduce inflow boundary conditions. However, we notice that a standard fringe-region technique excites spurious gravity waves when stratified atmospheres are considered, therefore enhancing the amount of energy reflected from the top of the domain and perturbing the velocity and pressure fields downstream. In this work, we develop a new fringe-region method that imposes the inflow conditions while limiting spurious effects on the surrounding flow. This is achieved by locally damping the convective term in the vertical momentum equation. We first apply the standard and wave-free fringe-region techniques to two-dimensional inviscid-flow simulations subjected to 169 different atmospheric states. A similar study is performed on a three-dimensional domain using a couple of atmospheric states. In all cases, the new fringe-region technique outperforms the standard method, imposing the inflow conditions with a minimal impact on the surrounding flow. Moreover, we also investigate the performance of two already existing non-reflective upper boundary conditions, that is a Rayleigh damping layer (RDL) and a radiation condition (RC). Results highlight the importance of carefully tuning the RDL to limit the distortion of the numerical solution. Also, we find that the tuned RDL outperforms the RC in all cases. Finally, the tuned RDL together with the wave-free fringe-region method are applied to an LES of a wind farm operating in a conventionally neutral boundary layer, for which we measure a reflectivity of only 0.75%.


title: Abundance theorem for minimal compact K\"ahler manifolds with vanishing second Chern class

abstract: In this paper, for compact K\"ahler manifolds with nef cotangent bundle, we study the abundance conjecture and the associated Iitaka fibrations. We show that, for a minimal compact K\"ahler manifold, the second Chern class vanishes if and only if the cotangent bundle is nef and the canonical bundle has the numerical dimension $0$ or $1$. Additionally, in this case, we prove that the canonical bundle is semi-ample. Furthermore, we give a relation between the variation of the fibers of the Iitaka fibration and a certain semipositivity of the cotangent bundle.


title: A New Metric and Its Scheme Construction for Evolving $2$-Threshold Secret Sharing Schemes

abstract: Evolving secret sharing schemes do not require prior knowledge of the number of parties $n$ and $n$ may be infinitely countable. It is known that the evolving $2$-threshold secret sharing scheme and prefix coding of integers have a one-to-one correspondence. However, it is not known what prefix coding of integers to use to construct the scheme better. In this paper, we propose a new metric $K_{\Sigma}$ for evolving $2$-threshold secret sharing schemes $\Sigma$. We prove that the metric $K_{\Sigma}\geq 1.5$ and construct a new prefix coding of integers, termed $\lambda$ code, to achieve the metric $K_{\Lambda}=1.59375$. Thus, it is proved that the range of the metric $K_{\Sigma}$ for the optimal $(2,\infty)$-threshold secret sharing scheme is $1.5\leq K_{\Sigma}\leq1.59375$. In addition, the reachable lower bound of the sum of share sizes for $(2,n)$-threshold secret sharing schemes is proved.


title: Itoh's conjecture for normal ideals

abstract: Let $(A,\mathfrak{m})$ be an analytically unramified Cohen-Macaulay local ring and let $\mathfrak{a}$ be an $\mathfrak{m}$-primary ideal in $A$. If $I$ is an ideal in $A$ then let $I^*$ be the integral closure of $I$ in $A$. Let $G_{\mathfrak{a}}(A)^* = \bigoplus_{n\geq 0 }(\mathfrak{a}^n)^*/(\mathfrak{a}^{n+1})^*$ be the associated graded ring of the integral closure filtration of $\mathfrak{a}$. Itoh conjectured that if $e_3^{\mathfrak{a}^*}(A) = 0$ and $A$ is Gorenstein then $G_{\mathfrak{a}}(A)^* $ is Cohen-Macaulay. In this paper we prove an important case of Itoh's conjecture: we show that if $A$ is Cohen-Macaulay and if $\mathfrak{a}$ is normal (i.e., $\mathfrak{a}^n$ is integrally closed for all $n \geq 1$) with $e_3^\mathfrak{a}(A) = 0$ then $G_\mathfrak{a}(A)$ is Cohen-Macaulay.


title: Aspects of Superdeterminism Made Intuitive

abstract: We attempt to make superdeterminism more intuitive, notably by simulating a deterministic model system, a billiard game. In this system an initial 'bang' correlates all events, just as in the superdeterministic universe. We introduce the notions of 'strong' and 'soft' superdeterminism, in order to clarify debates in the literature. Based on the analogy with billiards, we show that superdeterministic correlations may exist as a matter of principle, but be undetectable for all practical purposes. This allows us to counter classical objections to superdeterminism such as the claim that it would be at odds with the scientific method, and with the construction of new theories. Finally, we show that probability theory, as a physical theory, indicates that superdeterminism has a greater explanatory power than its competitors: it can coherently answer questions for which other positions remain powerless.


title: Gradient Concealment: Free Lunch for Defending Adversarial Attacks

abstract: Recent studies show that the deep neural networks (DNNs) have achieved great success in various tasks. However, even the \emph{state-of-the-art} deep learning based classifiers are extremely vulnerable to adversarial examples, resulting in sharp decay of discrimination accuracy in the presence of enormous unknown attacks. Given the fact that neural networks are widely used in the open world scenario which can be safety-critical situations, mitigating the adversarial effects of deep learning methods has become an urgent need. Generally, conventional DNNs can be attacked with a dramatically high success rate since their gradient is exposed thoroughly in the white-box scenario, making it effortless to ruin a well trained classifier with only imperceptible perturbations in the raw data space. For tackling this problem, we propose a plug-and-play layer that is training-free, termed as \textbf{G}radient \textbf{C}oncealment \textbf{M}odule (GCM), concealing the vulnerable direction of gradient while guaranteeing the classification accuracy during the inference time. GCM reports superior defense results on the ImageNet classification benchmark, improving up to 63.41\% top-1 attack robustness (AR) when faced with adversarial inputs compared to the vanilla DNNs. Moreover, we use GCM in the CVPR 2022 Robust Classification Challenge, currently achieving \textbf{2nd} place in Phase II with only a tiny version of ConvNext. The code will be made available.


title: Galactic Kites

abstract: I show that interstellar films of material thinner than a micron, drift away from the Galactic plane as a result of stellar radiation pressure. Such films, whether produced naturally by dust coagulation in proto-planetary disks or artificially by technological civilizations, would accumulate over the age of the Milky-Way and hover above the Galactic disk at a scale-height set gravitationally by the dark matter halo. Limits on scattered starlight imply that this population carries a fraction below 2x10^{-3} of the interstellar medium mass.


title: A Pilot Study of Relating MYCN-Gene Amplification with Neuroblastoma-Patient CT Scans

abstract: Neuroblastoma is one of the most common cancers in infants, and the initial diagnosis of this disease is difficult. At present, the MYCN gene amplification (MNA) status is detected by invasive pathological examination of tumor samples. This is time-consuming and may have a hidden impact on children. To handle this problem, we adopt multiple machine learning (ML) algorithms to predict the presence or absence of MYCN gene amplification. The dataset is composed of retrospective CT images of 23 neuroblastoma patients. Different from previous work, we develop the algorithm without manually-segmented primary tumors which is time-consuming and not practical. Instead, we only need the coordinate of the center point and the number of tumor slices given by a subspecialty-trained pediatric radiologist. Specifically, CNN-based method uses pre-trained convolutional neural network, and radiomics-based method extracts radiomics features. Our results show that CNN-based method outperforms the radiomics-based method.


title: GNN-Enhanced Approximate Message Passing for Massive/Ultra-Massive MIMO Detection

abstract: Efficient massive/ultra-massive multiple-input multiple-output (MIMO) detection algorithms with satisfactory performance and low complexity are critical to meet the high throughput and ultra-low latency requirements in 5G and beyond communications, given the extremely large number of antennas. In this paper, we propose a low-complexity graph neural network (GNN) enhanced approximate message passing (AMP) algorithm, AMP-GNN, for massive/ultra-massive MIMO detection. The structure of the neural network is customized by unfolding the AMP algorithm and introducing the GNN module for multiuser interference cancellation. Numerical results will show that the proposed AMP-GNN significantly improves the performance of the AMP detector and achieves comparable performance as the state-of-the-art deep learning-based MIMO detectors but with reduced computational complexity. Furthermore, it presents strong robustness to the change of the number of users.


title: Learning Meta Representations of One-shot Relations for Temporal Knowledge Graph Link Prediction

abstract: Few-shot relational learning for static knowledge graphs (KGs) has drawn greater interest in recent years, while few-shot learning for temporal knowledge graphs (TKGs) has hardly been studied. Compared to KGs, TKGs contain rich temporal information, thus requiring temporal reasoning techniques for modeling. This poses a greater challenge in learning few-shot relations in the temporal context. In this paper, we follow the previous work that focuses on few-shot relational learning on static KGs and extend two fundamental TKG reasoning tasks, i.e., interpolated and extrapolated link prediction, to the one-shot setting. We propose four new large-scale benchmark datasets and develop a TKG reasoning model for learning one-shot relations in TKGs. Experimental results show that our model can achieve superior performance on all datasets in both TKG link prediction tasks.


title: Finding spectral gaps in quasicrystals

abstract: We present an algorithm for reliably and systematically proving the existence of spectral gaps in Hamiltonians with quasicrystalline order, based on numerical calculations on finite domains. We apply this algorithm to prove that the Hofstadter model on the Ammann-Beenker tiling of the plane has spectral gaps at certain energies, and we are able to prove the existence of a spectral gap where previous numerical results were inconclusive. Our algorithm is applicable to more general systems with finite local complexity and eventually finds all gaps, circumventing an earlier no-go theorem regarding the computability of spectral gaps for general Hamiltonians.


title: Determination of supermassive black hole spins in local active galactic nuclei

abstract: We estimated the radiative efficiency and spin value for a number of local active galactic nuclei with z < 0.34 using 3 popular models connecting the radiative efficiency with such parameters of AGNs as mass of supermassive black hole, angle between the line of sight and the axis of the accretion disk and bolometric luminosity. Analysis of the obtained data shown that the spin value decreases with cosmic time, which is in agreement with results of theoretical calculations for low redshift AGNs of other authors. Also we found that the spin value increases with the increasing mass of SMBH and bolometric luminosity. This is the expected result that corresponds to theoretical calculations. Analysis of the distribution of the spin values shown a pronounced peak in the distribution in 0.75 < a < 1.0 range. ~ 40% of objects have spin a > 0.75 and ~ 50% of objects have spin a > 0.5. This results are in a good agreement with our previous results and with the results of other authors.


title: CEP3: Community Event Prediction with Neural Point Process on Graph

abstract: Many real world applications can be formulated as event forecasting on Continuous Time Dynamic Graphs (CTDGs) where the occurrence of a timed event between two entities is represented as an edge along with its occurrence timestamp in the graphs.However, most previous works approach the problem in compromised settings, either formulating it as a link prediction task on the graph given the event time or a time prediction problem given which event will happen next. In this paper, we propose a novel model combining Graph Neural Networks and Marked Temporal Point Process (MTPP) that jointly forecasts multiple link events and their timestamps on communities over a CTDG. Moreover, to scale our model to large graphs, we factorize the jointly event prediction problem into three easier conditional probability modeling problems.To evaluate the effectiveness of our model and the rationale behind such a decomposition, we establish a set of benchmarks and evaluation metrics for this event forecasting task. Our experiments demonstrate the superior performance of our model in terms of both model accuracy and training efficiency.


title: Least-to-Most Prompting Enables Complex Reasoning in Large Language Models

abstract: Chain-of-thought prompting has demonstrated remarkable performance on various natural language reasoning tasks. However, it tends to perform poorly on tasks which requires solving problems harder than the exemplars shown in the prompts. To overcome this challenge of easy-to-hard generalization, we propose a novel prompting strategy, least-to-most prompting. The key idea in this strategy is to break down a complex problem into a series of simpler subproblems and then solve them in sequence. Solving each subproblem is facilitated by the answers to previously solved subproblems. Our experimental results on tasks related to symbolic manipulation, compositional generalization, and math reasoning reveal that least-to-most prompting is capable of generalizing to more difficult problems than those seen in the prompts. A notable finding is that when the GPT-3 code-davinci-002 model is used with least-to-most prompting, it can solve the compositional generalization benchmark SCAN in any split (including length split) with an accuracy of at least 99% using just 14 exemplars, compared to only 16% accuracy with chain-of-thought prompting. This is particularly noteworthy because neural-symbolic models in the literature that specialize in solving SCAN are trained on the entire training set containing over 15,000 examples. We have included prompts for all the tasks in the Appendix.