title: Neural Laplace: Learning diverse classes of differential equations in the Laplace domain

abstract: Neural Ordinary Differential Equations model dynamical systems with ODEs learned by neural networks. However, ODEs are fundamentally inadequate to model systems with long-range dependencies or discontinuities, which are common in engineering and biological systems. Broader classes of differential equations (DE) have been proposed as remedies, including delay differential equations and integro-differential equations. Furthermore, Neural ODE suffers from numerical instability when modelling stiff ODEs and ODEs with piecewise forcing functions. In this work, we propose Neural Laplace, a unified framework for learning diverse classes of DEs including all the aforementioned ones. Instead of modelling the dynamics in the time domain, we model it in the Laplace domain, where the history-dependencies and discontinuities in time can be represented as summations of complex exponentials. To make learning more efficient, we use the geometrical stereographic map of a Riemann sphere to induce more smoothness in the Laplace domain. In the experiments, Neural Laplace shows superior performance in modelling and extrapolating the trajectories of diverse classes of DEs, including the ones with complex history dependency and abrupt changes.


title: The Exactness of the $\ell_1$ Penalty Function for a Class of Mathematical Programs with Generalized Complementarity Constraints

abstract: In a Mathematical Program with Generalized Complementarity Constraints (MPGCC), complementarity relationships are imposed between each pair of variable blocks. MPGCC includes the traditional Mathematical Program with Complementarity Constraints (MPCC) as a special case. On account of the disjunctive feasible region, MPCC and MPGCC are generally difficult to handle. The $\ell_1$ penalty method, often adopted in computation, opens a way of circumventing the difficulty. Yet it remains unclear about the exactness of the $\ell_1$ penalty function, namely, whether there exists a sufficiently large penalty parameter so that the penalty problem shares the optimal solution set with the original one. In this paper, we consider a class of MPGCCs that are of multi-affine objective functions. This problem class finds applications in various fields, e.g., the multi-marginal optimal transport problems in many-body quantum physics and the pricing problem in network transportation. We first provide an instance from this class, the exactness of whose $\ell_1$ penalty function cannot be derived by existing tools. We then establish the exactness results under rather mild conditions. Our results cover those existing ones for MPCC and apply to multi-block contexts.


title: Flows of Extremal Attractor Black Holes

abstract: We study flows of non-supersymmetric attractor black holes in the context of gauge/gravity correspondence. As our bulk theory, we consider the Einstein-Maxwell-Dilaton system with a single dilaton field coupled to two Maxwell fields and make a relevant deformation by adding a bare potential to the dilaton field. We find two types of extremal black hole solutions with attractor mechanism: The one smooth at the horizon and the other non-smooth. We show from both bulk and boundary theory perspective that the former is thermodynamically unstable, while the latter is stable.


title: Masked Autoencoders are Robust Data Augmentors

abstract: Deep neural networks are capable of learning powerful representations to tackle complex vision tasks but expose undesirable properties like the over-fitting issue. To this end, regularization techniques like image augmentation are necessary for deep neural networks to generalize well. Nevertheless, most prevalent image augmentation recipes confine themselves to off-the-shelf linear transformations like scale, flip, and colorjitter. Due to their hand-crafted property, these augmentations are insufficient to generate truly hard augmented examples. In this paper, we propose a novel perspective of augmentation to regularize the training process. Inspired by the recent success of applying masked image modeling to self-supervised learning, we adopt the self-supervised masked autoencoder to generate the distorted view of the input images. We show that utilizing such model-based nonlinear transformation as data augmentation can improve high-level recognition tasks. We term the proposed method as \textbf{M}ask-\textbf{R}econstruct \textbf{A}ugmentation (MRA). The extensive experiments on various image classification benchmarks verify the effectiveness of the proposed augmentation. Specifically, MRA consistently enhances the performance on supervised, semi-supervised as well as few-shot classification. The code will be available at \url{https://github.com/haohang96/MRA}.


title: Monomial Cremona transformations and toric polar maps

abstract: Given a birational map in the three dimensional projective space defined by monomials of degree $d$, we prove that its inverse is defined by monomials of degree at most $d^2-d+1$.


title: Deformation quantisation of the conic and symplectic reduction of wavefunctions

abstract: We give a short review of the algebraic procedure known as deformation quantisation, which replaces a commutative algebra with a non-commutative algebra. We use this framework to examine how the objects known as wavefunctions, as known in the quantum curve literature, arise from deformation quantisation. We give an example in terms of the planar conic $-y+x^2+2 xy + y^2$, and construct an associated wavefunction. We also give an example of the symplectic reduction of a wavefunction, following a procedure from Kontsevich and Soibelman arXiv:1701.09137.


title: Up-conversion detection of mid-infrared light carrying orbital angular momentum

abstract: Frequency up-conversion is an effective method of mid-infrared (MIR) detection by converting the long-wavelength photons to the visible domain, where efficient detectors are readily available. Here, we generate the MIR light carrying orbital angular momentum (OAM) from a difference frequency generation process and perform the up-conversion of it via sum frequency conversion in a bulk quasi-phase-matching crystal. The maximum quantum conversion efficiencies from MIR to visible are 34.0%, 10.4%, and 3.5% for light with topological charges of 0, 1, and 2, respectively, which is achieved by utilizing an optimized strong pump light. We also verify the OAM conservation with a specially designed interferometer, and the results agree well with the numerical simulations. Our study opens up the possibilities for generating, manipulating, and detecting MIR light that carries OAM, and will have great potential for optical communications and remote sensing in the MIR regime.


title: Feature-informed Embedding Space Regularization For Audio Classification

abstract: Feature representations derived from models pre-trained on large-scale datasets have shown their generalizability on a variety of audio analysis tasks. Despite this generalizability, however, task-specific features can outperform if sufficient training data is available, as specific task-relevant properties can be learned. Furthermore, the complex pre-trained models bring considerable computational burdens during inference. We propose to leverage both detailed task-specific features from spectrogram input and generic pre-trained features by introducing two regularization methods that integrate the information of both feature classes. The workload is kept low during inference as the pre-trained features are only necessary for training. In experiments with the pre-trained features VGGish, OpenL3, and a combination of both, we show that the proposed methods not only outperform baseline methods, but also can improve state-of-the-art models on several audio classification tasks. The results also suggest that using the mixture of features performs better than using individual features.


title: Large anomalous unidirectional magnetoresistance in a single ferromagnetic layer

abstract: Unidirectional magnetoresistance (UMR) in a ferromagnetic bilayer due to the spin Hall effects (SHEs) provides a facile means of probing in-plane magnetization to avoid complex magnetic tunnel junctions. However, the UMR signal is very weak and usually requires a lock-in amplifier for detection even in the bilayer involving Ta or Pt with a large spin Hall angle (SHA). Here we report a type of UMR, termed as the anomalous UMR (AUMR), in a single CoFeB layer without any adjacent SHE layers, where the UMR signal is about 10 times larger than that in Ta/CoFeB structures and can be detected by using conventional dc multimeters in the absence of lock-in amplifiers. We further demonstrate that the extracted AUMR by excluding thermal contributions shows reversal signs for the CoFeB and NiFe single layers with opposite SHAs, indicating that the AUMR may originate from the self-generated spin accumulation interacting with magnetization through the giant magnetoresistance-like mechanism. These results suggest that the AUMR contributes UMR signals larger than the interfacial spin Hall UMR in the CoFeB-involved systems, providing a convenient and reliable approach to detect in-plane magnetization for the two-terminal spintronic devices.


title: Robot Control for Simultaneous Impact Tasks through Time-Invariant Reference Spreading

abstract: With the goal of enabling the exploitation of impacts in robotic manipulation, a new framework is presented for control of robotic manipulators that are tasked to execute nominally simultaneous impacts. In this framework, we employ tracking of time-invariant reference vector fields corresponding to the ante- and post-impact motion, increasing its applicability over similar conventional tracking control approaches. The ante- and post-impact references are coupled through a rigid impact map, and are extended to overlap around the area where the impact is expected to take place, such that the reference corresponding to the actual contact state of the robot can always be followed. As a sequence of impacts at the different contact points will typically occur, resulting in uncertainty of the contact mode and unreliable velocity measurements, a new interim control mode catered towards time-invariant references is formulated. In this mode, a position feedback signal is derived from the ante-impact velocity reference, which is used to enforce sustained contact in all contact points without using velocity feedback. With an eye towards real implementation, the approach is formulated using a QP control framework, and is validated using numerical simulations both on a rigid robot with a hard inelastic contact model and on a realistic robot model with flexible joints and compliant partially elastic contact model.


title: Machop: an End-to-End Generalized Entity Matching Framework

abstract: Real-world applications frequently seek to solve a general form of the Entity Matching (EM) problem to find associated entities. Such scenarios include matching jobs to candidates in job targeting, matching students with courses in online education, matching products with user reviews on e-commercial websites, and beyond. These tasks impose new requirements such as matching data entries with diverse formats or having a flexible and semantics-rich matching definition, which are beyond the current EM task formulation or approaches. In this paper, we introduce the problem of Generalized Entity Matching (GEM) that satisfies these practical requirements and presents an end-to-end pipeline Machop as the solution. Machop allows end-users to define new matching tasks from scratch and apply them to new domains in a step-by-step manner. Machop casts the GEM problem as sequence pair classification so as to utilize the language understanding capability of Transformers-based language models (LMs) such as BERT. Moreover, it features a novel external knowledge injection approach with structure-aware pooling methods that allow domain experts to guide the LM to focus on the key matching information thus further contributing to the overall performance. Our experiments and case studies on real-world datasets from a popular recruiting platform show a significant 17.1% gain in F1 score against state-of-the-art methods along with meaningful matching results that are human-understandable.


title: Heterogeneous Face Recognition via Face Synthesis with Identity-Attribute Disentanglement

abstract: Heterogeneous Face Recognition (HFR) aims to match faces across different domains (e.g., visible to near-infrared images), which has been widely applied in authentication and forensics scenarios. However, HFR is a challenging problem because of the large cross-domain discrepancy, limited heterogeneous data pairs, and large variation of facial attributes. To address these challenges, we propose a new HFR method from the perspective of heterogeneous data augmentation, named Face Synthesis with Identity-Attribute Disentanglement (FSIAD). Firstly, the identity-attribute disentanglement (IAD) decouples face images into identity-related representations and identity-unrelated representations (called attributes), and then decreases the correlation between identities and attributes. Secondly, we devise a face synthesis module (FSM) to generate a large number of images with stochastic combinations of disentangled identities and attributes for enriching the attribute diversity of synthetic images. Both the original images and the synthetic ones are utilized to train the HFR network for tackling the challenges and improving the performance of HFR. Extensive experiments on five HFR databases validate that FSIAD obtains superior performance than previous HFR approaches. Particularly, FSIAD obtains 4.8% improvement over state of the art in terms of VR@FAR=0.01% on LAMP-HQ, the largest HFR database so far.


title: Beyond the Gates of Euclidean Space: Temporal-Discrimination-Fusions and Attention-based Graph Neural Network for Human Activity Recognition

abstract: Human activity recognition (HAR) through wearable devices has received much interest due to its numerous applications in fitness tracking, wellness screening, and supported living. As a result, we have seen a great deal of work in this field. Traditional deep learning (DL) has set a state of the art performance for HAR domain. However, it ignores the data's structure and the association between consecutive time stamps. To address this constraint, we offer an approach based on Graph Neural Networks (GNNs) for structuring the input representation and exploiting the relations among the samples. However, even when using a simple graph convolution network to eliminate this shortage, there are still several limiting factors, such as inter-class activities issues, skewed class distribution, and a lack of consideration for sensor data priority, all of which harm the HAR model's performance. To improve the current HAR model's performance, we investigate novel possibilities within the framework of graph structure to achieve highly discriminated and rich activity features. We propose a model for (1) time-series-graph module that converts raw data from HAR dataset into graphs; (2) Graph Convolutional Neural Networks (GCNs) to discover local dependencies and correlations between neighboring nodes; and (3) self-attention GNN encoder to identify sensors interactions and data priorities. To the best of our knowledge, this is the first work for HAR, which introduces a GNN-based approach that incorporates both the GCN and the attention mechanism. By employing a uniform evaluation method, our framework significantly improves the performance on hospital patient's activities dataset comparatively considered other state of the art baseline methods.


title: On the set of Chern numbers in local rings

abstract: This paper purposes to characterize Noetherian local rings $(R, \mathfrak{m})$ such that the Chern numbers of certain $\mathfrak{m}$-primary ideals in $R$ bounded above or range among only finitely many values. Consequently, we characterize the Gorensteinness, Cohen-Macaulayness, generalized Cohen-Macaulayness of local rings in terms of the behavior of its Chern numbers.


title: Mixed integer linear optimization formulations for learning optimal binary classification trees

abstract: Decision trees are powerful tools for classification and regression that attract many researchers working in the burgeoning area of machine learning. One advantage of decision trees over other methods is their interpretability, which is often preferred over other higher accuracy methods that are relatively uninterpretable. A binary classification tree has two types of vertices: (i) branching vertices which have exactly two children and where datapoints are assessed on a set of discrete features; and (ii) leaf vertices at which datapoints are given a discrete prediction. An optimal binary classification tree can be obtained by solving a biobjective optimization problem that seeks to (i) maximize the number of correctly classified datapoints and (ii) minimize the number of branching vertices. In this paper, we propose four mixed integer linear optimization (MILO) formulations for designing optimal binary classification trees: two flow-based formulations and two-cut based formulations. We provide theoretical comparisons between our proposed formulations and the strongest flow-based MILO formulation of Aghaei et al. (2021). We conduct experiments on 13 publicly available datasets to show the models' ability to scale and the strength of a biobjective approach using Pareto frontiers. Our code and data are available on GitHub.


title: Protected Gapless Edge States In Trivial Topology

abstract: Bulk-boundary correspondence serves as an important feature of the strong topological insulators, including Chern insulators and $Z_2$ topological insulators. Under nontrivial band topology, the protected gapless edge states correspond to the Wannier obstruction or Wilson-loop winding in the bulk. Recent studies show that the bulk topological features may not imply the existence of protected gapless edge states. Here we address the opposite question: Does the existence of protected gapless edge states necessarily imply the Wannier obstruction or Wilson-loop winding? We provide an example where the protected gapless edge states arise without the aforementioned bulk topological features. This trivialized topological insulator belongs to a new class of systems with non-delta-like Wannier functions. Interestingly, the gapless edge states are not protected by the crystalline symmetry; instead the protection originates from the mirror antisymmetry, a combination of chiral and mirror symmetries. Although the protected gapless edge states cannot be captured by the bulk topological features, they can be characterized by the spectral flow in the entanglement spectrum.


title: On the sectional genera and Cohen-Macaulay rings

abstract: We explore the behavior of the sectional genera of certain primary ideals in Noetherian local rings. In this paper, we provide characterizations of a Cohen-Macaulay local ring in terms of the sectional genera, the Cohen-Macaulay type, and the second Hilbert coefficients for certain primary ideals. We also characterize Gorenstein rings and quasi-Buchsbaum rings in terms of the sectional genera for certain primary ideals.


title: Conformal Prediction Intervals for Markov Decision Process Trajectories

abstract: Before delegating a task to an autonomous system, a human operator may want a guarantee about the behavior of the system. This paper extends previous work on conformal prediction for functional data and conformalized quantile regression to provide conformal prediction intervals over the future behavior of an autonomous system executing a fixed control policy on a Markov Decision Process (MDP). The prediction intervals are constructed by applying conformal corrections to prediction intervals computed by quantile regression. The resulting intervals guarantee that with probability $1-\delta$ the observed trajectory will lie inside the prediction interval, where the probability is computed with respect to the starting state distribution and the stochasticity of the MDP. The method is illustrated on MDPs for invasive species management and StarCraft2 battles.


title: Detecting bifurcations in dynamical systems with CROCKER plots

abstract: Existing tools for bifurcation detection from signals of dynamical systems typically are either limited to a special class of systems, or they require carefully chosen input parameters, and significant expertise to interpret the results. Therefore, we describe an alternative method based on persistent homology -- a tool from Topological Data Analysis (TDA) -- that utilizes Betti numbers and CROCKER plots. Betti numbers are topological invariants of topological spaces, while the CROCKER plot is a coarsened but easy to visualize data representation of a one-parameter varying family of persistence barcodes. The specific bifurcations we investigate are transitions from periodic to chaotic behavior or vice versa in a one-parameter family of differential equations. We validate our methods using numerical experiments on ten dynamical systems and contrast the results with existing tools that use the maximum Lyapunov exponent. We further prove the relationship between the Wasserstein distance to the empty diagram and the norm of the Betti vector, which shows that an even more simplified version of the information has the potential to provide insight into the bifurcation parameter. The results show that our approach reveals more information about the shape of the periodic attractor than standard tools, and it has more favorable computational time in comparison to the Rosenstein algorithm for computing the Lyapunov exponent from time series.


title: Unique quantum impurity states driven by a vortex in topological superconductors

abstract: The interplay of magnetic impurity and vortex in a topological superconductor is of fundamental interest with major implications for implementing quantum computation. There are multiple degrees of freedom interacting with the impurity in the system, including the Majorana zero mode (MZM), the Caroli de Gennes Matricon (CdGM) states, and the electron bulk states that form Cooper pairs, which makes the impurity pinned vortex state elusive to date in topological superconductors. Here, we present an accurate solution of the problem, based on a generalized mapping scheme and the density-matrix renormalization group (DMRG) method. We identify in-gap states that are distinct from the established Yu-Shiba-Rusinov (YSR) states. The newly found in-gap physics is driven by three prominent mechanisms: (i) the coupling of impurity and bulk states leading to competition between Kondo screening and Cooper pairing, resulting in a singlet-doublet quantum phase transition, (ii) the coupling of impurity and CdGM states introducing an effective Zeeman splitting to the doublet state, and (iii) the coupling of impurity and MZM turning the singlet-doublet transition into a crossover. These mechanisms cooperatively produce a unique spin-resolved local density of states. Despite the MZM, a robust nearly zero-energy peak is generated, with comparable height but opposite spin polarization as that of the MZM. These results signify novel emergent physics and offer insights to elucidate intriguing experimental phenomena.


title: Symbolic image detection using scene and knowledge graphs

abstract: Sometimes the meaning conveyed by images goes beyond the list of objects they contain; instead, images may express a powerful message to affect the viewers' minds. Inferring this message requires reasoning about the relationships between the objects, and general common-sense knowledge about the components. In this paper, we use a scene graph, a graph representation of an image, to capture visual components. In addition, we generate a knowledge graph using facts extracted from ConceptNet to reason about objects and attributes. To detect the symbols, we propose a neural network framework named SKG-Sym. The framework first generates the representations of the scene graph of the image and its knowledge graph using Graph Convolution Network. The framework then fuses the representations and uses an MLP to classify them. We extend the network further to use an attention mechanism which learn the importance of the graph representations. We evaluate our methods on a dataset of advertisements, and compare it with baseline symbolism classification methods (ResNet and VGG). Results show that our methods outperform ResNet in terms of F-score and the attention-based mechanism is competitive with VGG while it has much lower model complexity.


title: Binarizing Split Learning for Data Privacy Enhancement and Computation Reduction

abstract: Split learning (SL) enables data privacy preservation by allowing clients to collaboratively train a deep learning model with the server without sharing raw data. However, SL still has limitations such as potential data privacy leakage and high computation at clients. In this study, we propose to binarize the SL local layers for faster computation (up to 17.5 times less forward-propagation time in both training and inference phases on mobile devices) and reduced memory usage (up to 32 times less memory and bandwidth requirements). More importantly, the binarized SL (B-SL) model can reduce privacy leakage from SL smashed data with merely a small degradation in model accuracy. To further enhance the privacy preservation, we also propose two novel approaches: 1) training with additional local leak loss and 2) applying differential privacy, which could be integrated separately or concurrently into the B-SL model. Experimental results with different datasets have affirmed the advantages of the B-SL models compared with several benchmark models. The effectiveness of B-SL models against feature-space hijacking attack (FSHA) is also illustrated. Our results have demonstrated B-SL models are promising for lightweight IoT/mobile applications with high privacy-preservation requirements such as mobile healthcare applications.


title: An alternative approach to the exact network reliability assessment through the quickest path

abstract: Extending the quickest path problem to the network reliability, a new problem emerged which aims to assess the network reliability for transmitting at least d units of data from a source node to a sink node through one minimal path (MP) within given T units of time. Many of the proposed approaches in the literature check all the MPs of the network for doing the job and then construct desired system state vectors based on the accepted MPs. Hence, they need to have all the MPs of the network in advance. Here, we propose a simple approach that does not need any MP in advance. The algorithm is shown to be corrected and is illustrated through an example.


title: Determining an unbounded potential for an elliptic equation with a power type nonlinearity

abstract: In this article we focus on inverse problems for a semilinear elliptic equation. We show that a potential $q$ in $L^{n/2+\varepsilon}$, $\varepsilon>0$, can be determined from the full and partial Dirichlet-to-Neumann map. This extends the results from [M. Lassas, T. Liimatainen, Y.-H. Lin, and M. Salo, Partial data inverse problems and simultaneous recovery of boundary and coefficients for semilinear elliptic equations, Rev. Mat. Iberoam. (2021)] where this is shown for H\"older continuous potentials. Also we show that when the Dirichlet-to-Neumann map is restricted to one point on the boundary, it is possible to determine a potential $q$ in $L^{n+\varepsilon}$. The authors of arXiv:2202.05290 [math.AP] proved this to be true for H\"older continuous potentials.


title: The Gender Gap in Face Recognition Accuracy Is a Hairy Problem

abstract: It is broadly accepted that there is a "gender gap" in face recognition accuracy, with females having higher false match and false non-match rates. However, relatively little is known about the cause(s) of this gender gap. Even the recent NIST report on demographic effects lists "analyze cause and effect" under "what we did not do". We first demonstrate that female and male hairstyles have important differences that impact face recognition accuracy. In particular, compared to females, male facial hair contributes to creating a greater average difference in appearance between different male faces. We then demonstrate that when the data used to estimate recognition accuracy is balanced across gender for how hairstyles occlude the face, the initially observed gender gap in accuracy largely disappears. We show this result for two different matchers, and analyzing images of Caucasians and of African-Americans. These results suggest that future research on demographic variation in accuracy should include a check for balanced quality of the test data as part of the problem formulation. To promote reproducible research, matchers, attribute classifiers, and datasets used in this research are/will be publicly available.


title: Asymptotic properties of parametric and nonparametric probability density estimators of sample maximum

abstract: Asymptotic properties of three estimators of probability density function of sample maximum $f_{(m)}:=mfF^{m-1}$ are derived, where $m$ is a function of sample size $n$. One of the estimators is the parametrically fitted by the approximating generalized extreme value density function. However, the parametric fitting is misspecified in finite $m$ cases. The misspecification comes from mainly the following two: the difference $m$ and the selected block size $k$, and the poor approximation $f_{(m)}$ to the generalized extreme value density which depends on the magnitude of $m$ and the extreme index $\gamma$. The convergence rate of the approximation gets slower as $\gamma$ tends to zero. As alternatives two nonparametric density estimators are proposed which are free from the misspecification. The first is a plug-in type of kernel density estimator and the second is a block-maxima-based kernel density estimator. Theoretical study clarifies the asymptotic convergence rate of the plug-in type estimator is faster than the block-maxima-based estimator when $\gamma> -1$. A numerical comparative study on the bandwidth selection shows the performances of a plug-in approach and cross-validation approach depend on $\gamma$ and are totally comparable. Numerical study demonstrates that the plug-in nonparametric estimator with the estimated bandwidth by either approach overtakes the parametrically fitting estimator especially for distributions with $\gamma$ close to zero as $m$ gets large.


title: Ask to Know More: Generating Counterfactual Explanations for Fake Claims

abstract: Automated fact checking systems have been proposed that quickly provide veracity prediction at scale to mitigate the negative influence of fake news on people and on public opinion. However, most studies focus on veracity classifiers of those systems, which merely predict the truthfulness of news articles. We posit that effective fact checking also relies on people's understanding of the predictions. In this paper, we propose elucidating fact checking predictions using counterfactual explanations to help people understand why a specific piece of news was identified as fake. In this work, generating counterfactual explanations for fake news involves three steps: asking good questions, finding contradictions, and reasoning appropriately. We frame this research question as contradicted entailment reasoning through question answering (QA). We first ask questions towards the false claim and retrieve potential answers from the relevant evidence documents. Then, we identify the most contradictory answer to the false claim by use of an entailment classifier. Finally, a counterfactual explanation is created using a matched QA pair with three different counterfactual explanation forms. Experiments are conducted on the FEVER dataset for both system and human evaluations. Results suggest that the proposed approach generates the most helpful explanations compared to state-of-the-art methods.


title: K\"ahlerity of Einstein four-manifolds

abstract: We prove that a closed oriented Einstein four-manifold is either anti-self-dual or (after passing to a double Riemann cover if necessary) K\"ahler-Einstein, provided that $\lambda_2 \geq -\frac{S}{12}$, where $\lambda_2$ is the middle eigenvalue of the self-dual Weyl tensor $W^+$ and $S$ is the scalar curvature. The same conclusion holds for closed oriented four-manifolds with $\delta W^+=0$.


title: Secure multi-party quantum computation based on triply-even quantum error-correcting codes

abstract: In this paper we suggest secure multi-party quantum computation (MPQC) protocol based on a sub-class of Chalderbank-Shor-Steane (CSS) quantum error-correcting codes (QECCs), i.e., triply-even CSS QECCs. In order to achieve universal quantum computation (UQC) in the MPQC protocol based on triply-even CSS QECCs, in addition to the set of trivially implemented transversal quantum gates, one needs to implement a non-transversal $H$ gate, which can be accomplished by the gate teleportation technique with the logical ``plus'' state as an ancillary quantum state. In comparison, to achieve UQC in the previously suggested MPQC protocol based on another sub-class of CSS QECCs, i.e., self-dual CSS QECCs, instead of non-transversal $H$ gate one needs to implement a non-transversal $T$ gate. It also can be realized by the gate teleportation technique but requires additional verification of the logical ``magic'' state, which is used as an ancillary quantum state. Verification of the logical ``magic'' state suggested in the previous study not only requires extra workspace for the implementation but also employs a non-transversal $\mathrm{C}\text{-}XP^\dag$ gate, which may lead to a failure of the entire MPQC protocol. By replacing self-dual CSS QECCs with triply-even CSS QECCs, for which $T$ gate becomes transversal, we avoid verification of the logical ``magic'' state. Consequently, our demand for workspace per quantum node is reduced from $n^2 + 4n$ qubits in the previous suggestion to $n^2 + 3n$ qubits in our current suggestion, where $n$ is the number of quantum nodes participating in the MPQC protocol.


abstract: Science and engineering fields use computer simulation extensively. These simulations are often run at multiple levels of sophistication to balance accuracy and efficiency. Multi-fidelity surrogate modeling reduces the computational cost by fusing different simulation outputs. Cheap data generated from low-fidelity simulators can be combined with limited high-quality data generated by an expensive high-fidelity simulator. Existing methods based on Gaussian processes rely on strong assumptions of the kernel functions and can hardly scale to high-dimensional settings. We propose Multi-fidelity Hierarchical Neural Processes (MF-HNP), a unified neural latent variable model for multi-fidelity surrogate modeling. MF-HNP inherits the flexibility and scalability of Neural Processes. The latent variables transform the correlations among different fidelity levels from observations to latent space. The predictions across fidelities are conditionally independent given the latent states. It helps alleviate the error propagation issue in existing methods. MF-HNP is flexible enough to handle non-nested high dimensional data at different fidelity levels with varying input and output dimensions. We evaluate MF-HNP on epidemiology and climate modeling tasks, achieving competitive performance in terms of accuracy and uncertainty estimation. In contrast to deep Gaussian Processes with only low-dimensional (< 10) tasks, our method shows great promise for speeding up high-dimensional complex simulations (over 7000 for epidemiology modeling and 45000 for climate modeling).


abstract: Existing imitation learning (IL) methods such as inverse reinforcement learning (IRL) usually have a double-loop training process, alternating between learning a reward function and a policy and tend to suffer long training time and high variance. In this work, we identify the benefits of differentiable physics simulators and propose a new IL method, i.e., Imitation Learning via Differentiable Physics (ILD), which gets rid of the double-loop design and achieves significant improvements in final performance, convergence speed, and stability. The proposed ILD incorporates the differentiable physics simulator as a physics prior into its computational graph for policy learning. It unrolls the dynamics by sampling actions from a parameterized policy, simply minimizing the distance between the expert trajectory and the agent trajectory, and back-propagating the gradient into the policy via temporal physics operators. With the physics prior, ILD policies can not only be transferable to unseen environment specifications but also yield higher final performance on a variety of tasks. In addition, ILD naturally forms a single-loop structure, which significantly improves the stability and training speed. To simplify the complex optimization landscape induced by temporal physics operations, ILD dynamically selects the learning objectives for each state during optimization. In our experiments, we show that ILD outperforms state-of-the-art methods in a variety of continuous control tasks with Brax, requiring only one expert demonstration. In addition, ILD can be applied to challenging deformable object manipulation tasks and can be generalized to unseen configurations.


title: The 1st Data Science for Pavements Challenge

abstract: The Data Science for Pavement Challenge (DSPC) seeks to accelerate the research and development of automated vision systems for pavement condition monitoring and evaluation by providing a platform with benchmarked datasets and codes for teams to innovate and develop machine learning algorithms that are practice-ready for use by industry. The first edition of the competition attracted 22 teams from 8 countries. Participants were required to automatically detect and classify different types of pavement distresses present in images captured from multiple sources, and under different conditions. The competition was data-centric: teams were tasked to increase the accuracy of a predefined model architecture by utilizing various data modification methods such as cleaning, labeling and augmentation. A real-time, online evaluation system was developed to rank teams based on the F1 score. Leaderboard results showed the promise and challenges of machine for advancing automation in pavement monitoring and evaluation. This paper summarizes the solutions from the top 5 teams. These teams proposed innovations in the areas of data cleaning, annotation, augmentation, and detection parameter tuning. The F1 score for the top-ranked team was approximately 0.9. The paper concludes with a review of different experiments that worked well for the current challenge and those that did not yield any significant improvement in model accuracy.


title: Smallset Timelines: A Visual Representation of Data Preprocessing Decisions

abstract: Data preprocessing is a crucial stage in the data analysis pipeline, with both technical and social aspects to consider. Yet, the attention it receives is often lacking in research practice and dissemination. We present the Smallset Timeline, a visualisation to help reflect on and communicate data preprocessing decisions. A "Smallset" is a small selection of rows from the original dataset containing instances of dataset alterations. The Timeline is comprised of Smallset snapshots representing different points in the preprocessing stage and captions to describe the alterations visualised at each point. Edits, additions, and deletions to the dataset are highlighted with colour. We develop the R software package, smallsets, that can create Smallset Timelines from R and Python data preprocessing scripts. Constructing the figure asks practitioners to reflect on and revise decisions as necessary, while sharing it aims to make the process accessible to a diverse range of audiences. We present two case studies to illustrate use of the Smallset Timeline for visualising preprocessing decisions. Case studies include software defect data and income survey benchmark data, in which preprocessing affects levels of data loss and group fairness in prediction tasks, respectively. We envision Smallset Timelines as a go-to data provenance tool, enabling better documentation and communication of preprocessing tasks at large.


title: Correlated normal state fermiology and topological superconductivity in UTe2

abstract: UTe2 is a promising candidate for spin-triplet superconductors, in which a paramagnetic normal state becomes superconducting due to spin fluctuations. The subsequent discovery of various unusual superconducting properties has promoted the use of UTe2 as an exciting playground to study unconventional superconductivity, but fathoming the normal state fermiology and its influence on the superconductivity still requires further investigation. Here, we theoretically show that electron correlation induces a dramatic change in the normal state fermiology with an emergent correlated Fermi surface (FS) driven by Kondo resonance at low temperatures. This emergent correlated FS can account for various unconventional superconducting properties in a unified way. In particular, the geometry of the correlated FS can naturally host topological superconductivity in the presence of odd-parity pairings, which become the leading instability due to strong ferromagnetic spin fluctuations. Moreover, two pairs of odd-parity channels appear as accidentally degenerate solutions, which can naturally explain the multicomponent superconductivity with broken time-reversal symmetry. Interestingly, the resulting time-reversal breaking superconducting state is a Weyl superconductor in which Weyl points migrate along the correlated FS as the relative magnitude of nearly degenerate pairing solutions varies. We believe that the correlated normal state fermiology we discovered provides a unified platform to describe the unconventional superconductivity in UTe2.


title: Efficient Per-Shot Convex Hull Prediction By Recurrent Learning

abstract: Adaptive video streaming relies on the construction of efficient bitrate ladders to deliver the best possible visual quality to viewers under bandwidth constraints. The traditional method of content dependent bitrate ladder selection requires a video shot to be pre-encoded with multiple encoding parameters to find the optimal operating points given by the convex hull of the resulting rate-quality curves. However, this pre-encoding step is equivalent to an exhaustive search process over the space of possible encoding parameters, which causes significant overhead in terms of both computation and time expenditure. To reduce this overhead, we propose a deep learning based method of content aware convex hull prediction. We employ a recurrent convolutional network (RCN) to implicitly analyze the spatiotemporal complexity of video shots in order to predict their convex hulls. A two-step transfer learning scheme is adopted to train our proposed RCN-Hull model, which ensures sufficient content diversity to analyze scene complexity, while also making it possible capture the scene statistics of pristine source videos. Our experimental results reveal that our proposed model yields better approximations of the optimal convex hulls, and offers competitive time savings as compared to existing approaches. On average, the pre-encoding time was reduced by 58.0% by our method, while the average Bjontegaard delta bitrate (BD-rate) of the predicted convex hulls against ground truth was 0.08%, while the mean absolute deviation of the BD-rate distribution was 0.44%


title: Projecting onto rectangular hyperbolic paraboloids in Hilbert space

abstract: In $\mathbb{R}^3$, a hyperbolic paraboloid is a classical saddle-shaped quadric surface. Recently, Elser has modeled problems arising in Deep Learning using rectangular hyperbolic paraboloids in $\mathbb{R}^n$. Motivated by his work, we provide a rigorous analysis of the associated projection. In some cases, finding this projection amounts to finding a certain root of a quintic or cubic polynomial. We also observe when the projection is not a singleton and point out connections to graphical and set convergence.


title: Unsupervised Foggy Scene Understanding via Self Spatial-Temporal Label Diffusion

abstract: Understanding foggy image sequence in the driving scenes is critical for autonomous driving, but it remains a challenging task due to the difficulty in collecting and annotating real-world images of adverse weather. Recently, the self-training strategy has been considered a powerful solution for unsupervised domain adaptation, which iteratively adapts the model from the source domain to the target domain by generating target pseudo labels and re-training the model. However, the selection of confident pseudo labels inevitably suffers from the conflict between sparsity and accuracy, both of which will lead to suboptimal models. To tackle this problem, we exploit the characteristics of the foggy image sequence of driving scenes to densify the confident pseudo labels. Specifically, based on the two discoveries of local spatial similarity and adjacent temporal correspondence of the sequential image data, we propose a novel Target-Domain driven pseudo label Diffusion (TDo-Dif) scheme. It employs superpixels and optical flows to identify the spatial similarity and temporal correspondence, respectively and then diffuses the confident but sparse pseudo labels within a superpixel or a temporal corresponding pair linked by the flow. Moreover, to ensure the feature similarity of the diffused pixels, we introduce local spatial similarity loss and temporal contrastive loss in the model re-training stage. Experimental results show that our TDo-Dif scheme helps the adaptive model achieve 51.92% and 53.84% mean intersection-over-union (mIoU) on two publicly available natural foggy datasets (Foggy Zurich and Foggy Driving), which exceeds the state-of-the-art unsupervised domain adaptive semantic segmentation methods. Models and data can be found at https://github.com/velor2012/TDo-Dif.


title: Equivariant $\mathbb R$-test configurations of polarized spherical varieties

abstract: Let $G$ be a connected, complex reductive Lie group and $G/H$ a spherical homogenous space. Let $(X,L)$ be a polarized $G$-variety which is a spherical embedding of $G/H$. In this paper we classify $G$-equivariant normal $\mathbb R$-test configurations of $(X,L)$ via combinatory data. In particular we classify the special ones, and prove a finiteness theorem of central fibres of $G$-equivariant special $\mathbb R$-test configurations. Also, as an application we study the semistable degeneration problem of a $\mathbb Q$-Fano spherical variety.


title: Enhancing Clean Label Backdoor Attack with Two-phase Specific Triggers

abstract: Backdoor attacks threaten Deep Neural Networks (DNNs). Towards stealthiness, researchers propose clean-label backdoor attacks, which require the adversaries not to alter the labels of the poisoned training datasets. Clean-label settings make the attack more stealthy due to the correct image-label pairs, but some problems still exist: first, traditional methods for poisoning training data are ineffective; second, traditional triggers are not stealthy which are still perceptible. To solve these problems, we propose a two-phase and image-specific triggers generation method to enhance clean-label backdoor attacks. Our methods are (1) powerful: our triggers can both promote the two phases (i.e., the backdoor implantation and activation phase) in backdoor attacks simultaneously; (2) stealthy: our triggers are generated from each image. They are image-specific instead of fixed triggers. Extensive experiments demonstrate that our approach can achieve a fantastic attack success rate~(98.98%) with low poisoning rate~(5%), high stealthiness under many evaluation metrics and is resistant to backdoor defense methods.


title: $\mathsf{G^2Retro}$ as a Two-Step Graph Generative Models for Retrosynthesis Prediction

abstract: Retrosynthesis is a procedure where a target molecule is transformed into potential reactants and thus the synthesis routes can be identified. Recently, computational approaches have been developed to accelerate the design of synthesis routes. In this paper, we develop a generative framework $\mathsf{G^2Retro}$ for one-step retrosynthesis prediction. $\mathsf{G^2Retro}$ imitates the reversed logic of synthetic reactions. It first predicts the reaction centers in the target molecules (products), identifies the synthons needed to assemble the products, and transforms these synthons into reactants. $\mathsf{G^2Retro}$ defines a comprehensive set of reaction center types, and learns from the molecular graphs of the products to predict potential reaction centers. To complete synthons into reactants, $\mathsf{G^2Retro}$ considers all the involved synthon structures and the product structures to identify the optimal completion paths, and accordingly attaches small substructures sequentially to the synthons. Here we show that $\mathsf{G^2Retro}$ is able to better predict the reactants for given products in the benchmark dataset than the state-of-the-art methods.


title: On the Complexity of Sampling Redistricting Plans

abstract: A crucial task in the political redistricting problem is to sample redistricting plans i.e. a partitioning of the graph of census blocks into districts. We show that Recombination [DeFord-Duchin-Solomon'21]-a popular Markov chain to sample redistricting plans-is exponentially slow mixing on simple subgraph of $\mathbb{Z}_2.$ We show an alternative way to sample balance, compact and contiguous redistricting plans using a "relaxed" version of ReCom and rejection sampling.


title: The sojourn time problem for a $p$-adic random walk and its applications to the spectral diffusion of proteins

abstract: We consider the problem of the distribution of the sojourn time in a compact set $\mathbb{Z}_{p}$ in the case of a $p$-adic random walk. We rely on the results of our previous studies of the distribution of the first return time for a $p$-adic random walk and the results of Takacs on the study of the sojourn time problem for a wide class of random processes. For a $p$-adic random walk we find the mean sojourn time of the trajectory in $\mathbb{Z}_{p}$ and the asymptotics as $t\rightarrow\infty$ of arbitrary moments of the distribution of the sojourn time in $\mathbb{Z}_{p}$. We also discuss some possible applications of our results to the modeling of relaxation processes related to the conformational dynamics of protein.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: On classic n-universal quadratic forms over dyadic local fields

abstract: Let $ n $ be an integer and $ n\ge 2 $. A classic integral quadratic form over local fields is called classic $ n $-universal if it represents all $n$-ary classic integral quadratic forms. We determine the equivalent conditions and minimal testing sets for classic $ n $-universal quadratic forms over dyadic local fields, respectively.


title: Universal effective interactions of globular proteins close to liquid-liquid phase separation: corresponding-states behavior reflected in the structure factor

abstract: Intermolecular interactions in protein solutions in general contain many contributions. If short-range attractions dominate, the state diagram exhibits liquid-liquid phase separation (LLPS) that is metastable with respect to crystallization. In this case, the extended law of corresponding states (ELCS) suggests that thermodynamic properties are insensitive to details of the underlying interaction potential. Using lysozyme solutions, we investigate the applicability of the ELCS to the static structure factor and in how far effective colloidal interaction models can help to rationalize the phase behavior and interactions of protein solutions in the vicinity of the LLPS binodal. The (effective) structure factor has been determined by small-angle X-ray scattering (SAXS). It can be described by Baxter's adhesive hard-sphere model, which implies a single fit parameter from which the normalized second virial coefficient $b_2$ is inferred and found to quantitatively agree with previous results from static light scattering. The $b_2$ values are independent of protein concentration, but systematically vary with temperature and solution composition, i.e. salt and additive content. If plotted as a function of temperature normalized by the critical temperature, the values of $b_2$ follow a universal behaviour. These findings validate the applicability of the ELCS to globular protein solutions and indicate that the ELCS can also be reflected in the structure factor.


title: Deep Leakage from Model in Federated Learning

abstract: Distributed machine learning has been widely used in recent years to tackle the large and complex dataset problem. Therewith, the security of distributed learning has also drawn increasing attentions from both academia and industry. In this context, federated learning (FL) was developed as a "secure" distributed learning by maintaining private training data locally and only public model gradients are communicated between. However, to date, a variety of gradient leakage attacks have been proposed for this procedure and prove that it is insecure. For instance, a common drawback of these attacks is shared: they require too much auxiliary information such as model weights, optimizers, and some hyperparameters (e.g., learning rate), which are difficult to obtain in real situations. Moreover, many existing algorithms avoid transmitting model gradients in FL and turn to sending model weights, such as FedAvg, but few people consider its security breach. In this paper, we present two novel frameworks to demonstrate that transmitting model weights is also likely to leak private local data of clients, i.e., (DLM and DLM+), under the FL scenario. In addition, a number of experiments are performed to illustrate the effect and generality of our attack frameworks. At the end of this paper, we also introduce two defenses to the proposed attacks and evaluate their protection effects. Comprehensively, the proposed attack and defense schemes can be applied to the general distributed learning scenario as well, just with some appropriate customization.


title: AntPivot: Livestream Highlight Detection via Hierarchical Attention Mechanism

abstract: In recent days, streaming technology has greatly promoted the development in the field of livestream. Due to the excessive length of livestream records, it's quite essential to extract highlight segments with the aim of effective reproduction and redistribution. Although there are lots of approaches proven to be effective in the highlight detection for other modals, the challenges existing in livestream processing, such as the extreme durations, large topic shifts, much irrelevant information and so forth, heavily hamper the adaptation and compatibility of these methods. In this paper, we formulate a new task Livestream Highlight Detection, discuss and analyze the difficulties listed above and propose a novel architecture AntPivot to solve this problem. Concretely, we first encode the original data into multiple views and model their temporal relations to capture clues in a hierarchical attention mechanism. Afterwards, we try to convert the detection of highlight clips into the search for optimal decision sequences and use the fully integrated representations to predict the final results in a dynamic-programming mechanism. Furthermore, we construct a fully-annotated dataset AntHighlight to instantiate this task and evaluate the performance of our model. The extensive experiments indicate the effectiveness and validity of our proposed method.


title: SIT-ring and SITT-ring properties in amalgamated and bi-amalgamated algebras along ideals

abstract: In this paper, we give a characterization for the amalgamation to be a SIT-ring and also we give a characterization for the bi-amalgamation to be a SITT-ring. We also give some characterizations for strong weakly SIT-rings.


title: Adversarial Counterfactual Environment Model Learning

abstract: A good model for action-effect prediction, named environment model, is important to achieve sample-efficient decision-making policy learning in many domains like robot control, recommender systems, and patients' treatment selection. We can take unlimited trials with such a model to identify the appropriate actions so that the costs of queries in the real world can be saved. It requires the model to handle unseen data correctly, also called counterfactual data. However, standard data fitting techniques do not automatically achieve such generalization ability and commonly result in unreliable models. In this work, we introduce counterfactual-query risk minimization (CQRM) in model learning for generalizing to a counterfactual dataset queried by a specific target policy. Since the target policies can be various and unknown in policy learning, we propose an adversarial CQRM objective in which the model learns on counterfactual data queried by adversarial policies, and finally derive a tractable solution GALILEO. We also discover that adversarial CQRM is closely related to the adversarial model learning, explaining the effectiveness of the latter. We apply GALILEO in synthetic tasks and a real-world application. The results show that GALILEO makes accurate predictions on counterfactual data and thus significantly improves policies in real-world testing.


title: Explaining Neural Networks without Access to Training Data

abstract: We consider generating explanations for neural networks in cases where the network's training data is not accessible, for instance due to privacy or safety issues. Recently, $\mathcal{I}$-Nets have been proposed as a sample-free approach to post-hoc, global model interpretability that does not require access to training data. They formulate interpretation as a machine learning task that maps network representations (parameters) to a representation of an interpretable function. In this paper, we extend the $\mathcal{I}$-Net framework to the cases of standard and soft decision trees as surrogate models. We propose a suitable decision tree representation and design of the corresponding $\mathcal{I}$-Net output layers. Furthermore, we make $\mathcal{I}$-Nets applicable to real-world tasks by considering more realistic distributions when generating the $\mathcal{I}$-Net's training data. We empirically evaluate our approach against traditional global, post-hoc interpretability approaches and show that it achieves superior results when the training data is not accessible.


title: Volume density asymptotics of central harmonic spaces

abstract: We show the asymptotics of the volume density function in the class of central harmonic manifolds can be specified arbitrarily and do not determine the geometry.


title: Provable Guarantees for Sparsity Recovery with Deterministic Missing Data Patterns

abstract: We study the problem of consistently recovering the sparsity pattern of a regression parameter vector from correlated observations governed by deterministic missing data patterns using Lasso. We consider the case in which the observed dataset is censored by a deterministic, non-uniform filter. Recovering the sparsity pattern in datasets with deterministic missing structure can be arguably more challenging than recovering in a uniformly-at-random scenario. In this paper, we propose an efficient algorithm for missing value imputation by utilizing the topological property of the censorship filter. We then provide novel theoretical results for exact recovery of the sparsity pattern using the proposed imputation strategy. Our analysis shows that, under certain statistical and topological conditions, the hidden sparsity pattern can be recovered consistently with high probability in polynomial time and logarithmic sample complexity.


title: Coherent transfer of the transverse momentum of an optical vortex beam to the motion of a single trapped ion

abstract: We demonstrate the excitation, using a structured light beam carrying orbital angular momentum, of the center of mass motion of a single atom in the transverse direction to the beam's propagation. This interaction is achieved with a vortex beam carrying one unit of orbital angular momentum and one unit of spin/polarization angular momentum. Using a singly charged $^{40}$Ca$^+$ ion, cooled near the ground state of motion in the 3D harmonic potential of a Paul trap, we probe the narrow S$_{1/2}$ to D$_{5/2}$ transition near $729\,\mathrm{nm}$ on its motional sidebands to quantify the momentum transfer. Exchange of quanta in the perpendicular direction to the beam's wave vector $\mathbf{k}$ is observed in case of the vortex shaped beam, in strong contrast to the absence of this spin-motion coupling for the case of a Gaussian beam. We characterize the coherent interaction by an effective transverse Lamb-Dicke factor $\eta^\mathrm{exp}_{\perp}=0.0062(5)$ which is in agreement with our theoretical prediction $\eta^\mathrm{theo}_{\perp}=0.0057(1)$


title: Grain Boundary Development of Silicon during Directional Solidification: A Phase-Field Study

abstract: In order to control the grain structure of multi-crystalline (mc) silicon during directional solidification, the development process of grain boundaries (GBs) with respect to the temperature gradient should be understood. A phase-field model incorporated with anisotropic interface energy and anisotropic attachment kinetic coefficient has produced the faceted shape of a growing silicon crystal, which is in agreement with experimental observation. The growth of coupled silicon grains under various growth velocities has been simulated to see the morphology of the solid-liquid front and the development process of the GBs. It has been found that the direction of GB is governed by either the kinetic rule or the equilibrium rule at the grain groove, depending on the growth velocity and the orientation relationship between grains on two sides. The GB beneath a groove with facet-facet surfaces follows the bisector of the two surfaces, while the direction of a GB stays far from the bisector when the groove has a rough surface. This research provides a numerical approach to predicting grain boundary development and gaining insights from grain structure evolution in mc-silicon, which can be potentially applied for high-efficiency and low-cost solar cells.


title: A Formal Definition of Scale-dependent Complexity and the Multi-scale Law of Requisite Variety

abstract: Ashby's law of requisite variety allows a comparison of systems with their environments, providing a necessary (but not sufficient) condition for system efficacy: a system must possess at least as much complexity as any set of environmental behaviors that require distinct responses from the system. However, the complexity of a system depends on the level of detail, or scale, at which it is described. Thus, the complexity of a system can be better characterized by a complexity profile (complexity as a function of scale) than by a single number. It would therefore be useful to have a multi-scale generalization of Ashby's law that requires that a system possess at least as much complexity as the relevant set of environmental behaviors *at each scale*. We construct a formalism for a class of complexity profiles that is the first, to our knowledge, to exhibit this multi-scale law of requisite variety. This formalism not only provides a characterization of multi-scale complexity but also generalizes the single constraint on system behaviors provided by Ashby's law to an entire class of multi-scale constraints. We show that these complexity profiles satisfy a sum rule, which reflects the important tradeoff between smaller- and larger-scale degrees of freedom, and we extend our results to subdivided systems and systems with a continuum of components.


title: Kinematic fitting of Neutral current events in deep inelastic ep collisions

abstract: In this paper we present a technique to reconstruct the scaling variables defining $ep$ deep inelastic scattering by performing a kinematic fit. This reconstruction technique makes use of the full potential of the data collected. It is based on Bayes Theorem and involves the use of informative priors. The kinematic fit method has been tested for the neutral current ep simulated sample at a center of mass energy of 318 GeV with $Q^2$ > 400 GeV$^2$. In addition to the scaling variables, this method is able to estimate the energy of possible initial state radiation (E$_\gamma$ ) which otherwise goes undetected. A better resolution than standard electron and double angle techniques in the reconstruction of scaling variables is achieved using a kinematic fit.


title: Quasi Yamabe Solitons on 3-Dimensional Contact Metric Manifolds with Q\varphi=\varphi Q

abstract: In this paper we initiate the study of quasi Yamabe soliton on 3-dimensional contact metric manifold with Q\varphi=\varphi Q and prove that if a 3-dimensional contact metric manifold M such that Q\varphi=\varphi Q admits a quasi Yamabe soliton with non-zero soliton vector field V being point-wise collinear with the Reeb vector field {\xi}, then V is a constant multiple of {\xi}, the scalar curvature is constant and the manifold is Sasakian. Moreover, V is Killing. Finally, we prove that if M is a 3-dimensional compact contact metric manifold such that Q\varphi=\varphi Q endowed with a quasi Yamabe soliton, then either M is flat or soliton is trivial.


title: Spin Pumping into Anisotropic Dirac Electrons

abstract: We study spin pumping into an anisotropic Dirac electron system induced by microwave irradiation to an adjacent ferromagnetic insulator theoretically. We formulate the Gilbert damping enhancement due to the spin current flowing into the Dirac electron system using second-order perturbation with respect to the interfacial exchange coupling. As an illustration, we consider the anisotropic Dirac system realized in bismuth to show that the Gilbert damping varies according to the magnetization direction in the ferromagnetic insulator. Our results indicate that this setup can provide helpful information on the anisotropy of the Dirac electron system.


title: On the Unicity and the Ambiguity of Lusztig Parametrizations for Finite Classical Groups

abstract: The Lusztig correspondence is a bijective mapping between the Lusztig series indexed by the conjugacy class of a semisimple element $s$ in the connected component $(G^*)^0$ of the dual group of $G$ and the set of irreducible unipotent characters of the centralizer of $s$ in $G^*$. In this article we discuss the unicity and ambiguity of such a bijective correspondence. In particular, we show that the Lusztig correspondence for a classical group can be made to be unique if we require it to be compatible with the parabolic induction and the finite theta correspondence.


title: NeRF-In: Free-Form NeRF Inpainting with RGB-D Priors

abstract: Though Neural Radiance Field (NeRF) demonstrates compelling novel view synthesis results, it is still unintuitive to edit a pre-trained NeRF because the neural network's parameters and the scene geometry/appearance are often not explicitly associated. In this paper, we introduce the first framework that enables users to remove unwanted objects or retouch undesired regions in a 3D scene represented by a pre-trained NeRF without any category-specific data and training. The user first draws a free-form mask to specify a region containing unwanted objects over a rendered view from the pre-trained NeRF. Our framework first transfers the user-provided mask to other rendered views and estimates guiding color and depth images within these transferred masked regions. Next, we formulate an optimization problem that jointly inpaints the image content in all masked regions across multiple views by updating the NeRF model's parameters. We demonstrate our framework on diverse scenes and show it obtained visual plausible and structurally consistent results across multiple views using shorter time and less user manual efforts.


title: Forecasting macroeconomic data with Bayesian VARs: Sparse or dense? It depends!

abstract: Vectorautogressions (VARs) are widely applied when it comes to modeling and forecasting macroeconomic variables. In high dimensions, however, they are prone to overfitting. Bayesian methods, more concretely shrinking priors, have shown to be successful in improving prediction performance. In the present paper, we introduce the semi-global framework, in which we replace the traditional global shrinkage parameter with group-specific shrinkage parameters. We show how this framework can be applied to various shrinking priors, such as global-local priors and stochastic search variable selection priors. We demonstrate the virtues of the proposed framework in an extensive simulation study and in an empirical application forecasting data of the US economy. Further, we shed more light on the ongoing ``Illusion of Sparsity'' debate, finding that forecasting performances under sparse/dense priors vary across evaluated economic variables and across time frames. Dynamic model averaging, however, can combine the merits of both worlds.


title: MorphoSim: An efficient and scalable phase-field framework for accurately simulating multicellular morphologies

abstract: The phase field model can accurately simulate the evolution of microstructures with complex morphologies, and it has been widely used for cell modeling in the last two decades. However, compared to other cellular models such as the coarse-grained model and the vertex model, its high computational cost caused by three-dimensional spatial discretization hampered its application and scalability, especially for multicellular organisms. Recently, we built a phase field model coupled with in vivo imaging data to accurately reconstruct the embryonic morphogenesis of Caenorhabditis elegans from 1- to 8-cell stages [Kuang et al, PLoS Comput. Biol., 2022]. In this work, we propose an improved phase field model by using the stabilized numerical scheme and modified volume constriction. Then we present a scalable phase-field framework, MorphoSim, which is 100 times more efficient than the previous one, and can simulate over 100 mechanically interacting cells. Finally, we demonstrate how MorphoSim can be successfully applied to reproduce the assembly, self-repairing, and dissociation of a synthetic artificial multicellular system - the synNotch system.

categories: physics.bio-ph physics.app-ph q-bio.QM q-bio.TO


title: New insights into the structure of open clusters in the Gaia era

abstract: With the help of Gaia data, it is noted that in addition to the core components, there are low-density outer halo components in the extended region of open clusters. To study the extended structure beyond the core radius of the cluster ($\sim$ 10 pc), based on Gaia EDR3 data, taking up to 50 pc as the searching radius, we use the pyUPMASK algorithm to re-determine the member stars of the open cluster within 1-2 kpc. We obtain the member stars of 256 open clusters, especially those located in the outer halo region of open clusters. Furthermore, we find that most open clusters' radial density profile in the outer region deviates from the King's profile. To better describe the internal and external structural characteristics of open clusters, we propose a double components model for description: core components with King model distribution and outer halo components with logarithmic Gaussian distribution, and then suggest using four radii ( $r_c$, $r_t$, $r_o$, $r_e$) for describing the structure and distribution profile of star clusters, where $r_t$ and $r_e$ represent the boundaries of core components and outer halo components respectively. Finally, we provide a catalog of 256 clusters with structural parameters. In addition, our study shows the sizes of these radii are statistically linear related, which indicates that the inner and outer regions of the cluster are interrelated and follow similar evolutionary processes. Further, we show that the structure of two components can be used to better trace the cluster evolution properties in different stages.


title: ETpathfinder: a cryogenic testbed for interferometric gravitational-wave detectors

abstract: The third-generation of gravitational wave observatories, such as the Einstein Telescope (ET) and Cosmic Explorer (CE), aim for an improvement in sensitivity of at least a factor of ten over a wide frequency range compared to the current advanced detectors. In order to inform the design of the third-generation detectors and to develop and qualify their subsystems, dedicated test facilities are required. ETpathfinder prototype uses full interferometer configurations and aims to provide a high sensitivity facility in a similar environment as ET. Along with the interferometry at 1550 nm and silicon test masses, ETpathfinder will focus on cryogenic technologies, lasers and optics at 2090 nm and advanced quantum-noise reduction schemes. This paper analyses the underpinning noise contributions and combines them into full noise budgets of the two initially targeted configurations: 1) operating with 1550 nm laser light and at a temperature of 18 K and 2) operating at 2090 nm wavelength and a temperature of 123 K.


title: Out of Sight, Out of Mind: A Source-View-Wise Feature Aggregation for Multi-View Image-Based Rendering

abstract: To estimate the volume density and color of a 3D point in the multi-view image-based rendering, a common approach is to inspect the consensus existence among the given source image features, which is one of the informative cues for the estimation procedure. To this end, most of the previous methods utilize equally-weighted aggregation features. However, this could make it hard to check the consensus existence when some outliers, which frequently occur by occlusions, are included in the source image feature set. In this paper, we propose a novel source-view-wise feature aggregation method, which facilitates us to find out the consensus in a robust way by leveraging local structures in the feature set. We first calculate the source-view-wise distance distribution for each source feature for the proposed aggregation. After that, the distance distribution is converted to several similarity distributions with the proposed learnable similarity mapping functions. Finally, for each element in the feature set, the aggregation features are extracted by calculating the weighted means and variances, where the weights are derived from the similarity distributions. In experiments, we validate the proposed method on various benchmark datasets, including synthetic and real image scenes. The experimental results demonstrate that incorporating the proposed features improves the performance by a large margin, resulting in the state-of-the-art performance.


title: Efficient Heterogeneous Treatment Effect Estimation With Multiple Experiments and Multiple Outcomes

abstract: Learning heterogeneous treatment effects (HTEs) is an important problem across many fields. Most existing methods consider the setting with a single treatment arm and a single outcome metric. However, in many real world domains, experiments are run consistently - for example, in internet companies, A/B tests are run every day to measure the impacts of potential changes across many different metrics of interest. We show that even if an analyst cares only about the HTEs in one experiment for one metric, precision can be improved greatly by analyzing all of the data together to take advantage of cross-experiment and cross-outcome metric correlations. We formalize this idea in a tensor factorization framework and propose a simple and scalable model which we refer to as the low rank or LR-learner. Experiments in both synthetic and real data suggest that the LR-learner can be much more precise than independent HTE estimation.


title: The Gaia view on massive stars: EDR3 and what to expect from DR3

abstract: At the time of this meeting, the latest Gaia data release is EDR3, published on 3 December 2020, but the next one, DR3, will appear soon, on 13 June 2022. This contribution describes, on the one hand, Gaia EDR3 results on massive stars and young stellar clusters, placing special emphasis on how a correct treatment of the astrometric and photometric calibration yields results that are simultaneously precise and accurate. On the other hand, it gives a brief description of the exciting results we can expect from Gaia DR3.


title: ABCDE: An Agent-Based Cognitive Development Environment

abstract: Children's cognitive abilities are sometimes cited as AI benchmarks. How can the most common 1,000 concepts (89\% of everyday use) be learnt in a naturalistic children's setting? Cognitive development in children is about quality, and new concepts can be conveyed via simple examples. Our approach of knowledge scaffolding uses simple objects and actions to convey concepts, like how children are taught. We introduce ABCDE, an interactive 3D environment modeled after a typical playroom for children. It comes with 300+ unique 3D object assets (mostly toys), and a large action space for child and parent agents to interact with objects and each other. ABCDE is the first environment aimed at mimicking a naturalistic setting for cognitive development in children; no other environment focuses on high-level concept learning through learner-teacher interactions. The simulator can be found at https://pypi.org/project/ABCDESim/1.0.0/


title: NAGphormer: A Tokenized Graph Transformer for Node Classification in Large Graphs

abstract: The graph Transformer emerges as a new architecture and has shown superior performance on various graph mining tasks. In this work, we observe that existing graph Transformers treat nodes as independent tokens and construct a single long sequence composed of all node tokens so as to train the Transformer model, causing it hard to scale to large graphs due to the quadratic complexity on the number of nodes for the self-attention computation. To this end, we propose a Neighborhood Aggregation Graph Transformer (NAGphormer) that treats each node as a sequence containing a series of tokens constructed by our proposed Hop2Token module. For each node, Hop2Token aggregates the neighborhood features from different hops into different representations and thereby produces a sequence of token vectors as one input. In this way, NAGphormer could be trained in a mini-batch manner and thus could scale to large graphs. Moreover, we mathematically show that as compared to a category of advanced Graph Neural Networks (GNNs), the decoupled Graph Convolutional Network, NAGphormer could learn more informative node representations from the multi-hop neighborhoods. Extensive experiments on benchmark datasets from small to large are conducted to demonstrate that NAGphormer consistently outperforms existing graph Transformers and mainstream GNNs. Code is available at https://github.com/JHL-HUST/NAGphormer.


title: NSSIA: A New Self-Sovereign Identity Scheme with Accountability

abstract: Self-Sovereign Identity (SSI) is a new distributed method for identity management, commonly used to address the problem that users are lack of control over their identities. However, the excessive pursuit of self-sovereignty in the most existing SSI schemes hinders sanctions against attackers. To deal with the malicious behavior, a few SSI schemes introduce accountability mechanisms, but they sacrifice users' privacy. What's more, the digital identities (static strings or updatable chains) in the existing SSI schemes are as inputs to a third-party executable program (mobile app, smart contract, etc.) to achieve identity reading, storing and proving, users' self-sovereignty are weakened. To solve the above problems, we present a new self-sovereign identity scheme to strike a balance between privacy and accountability and get rid of the dependence on the third-party program. In our scheme, one and only individual-specific executable code is generated as a digital avatar-i for each human to interact with others in cyberspace without a third-party program, in which the embedding of biometrics enhances uniqueness and user control over their identity. In addition, a joint accountability mechanism, which is based on the shamir (t, n) threshold algorithm and a consortium blockchain, is designed to restrict the power of each regulatory authority and protect users' privacy. Finally, we analyze the security, SSI properties and conduct detailed experiments in term of the cost of computation, storage and blockchain gas. The analysis results indicate that our scheme resists the known attacks and fulfills all the six SSI properties. Compared with the state-of-the-art schemes, the extensive experiment results show that the cost is larger in server storage, blockchain storage and blockchain gas, but is still low enough for practical situations.


title: Shell model for stratified convection: implications for the solar convective conundrum

abstract: We extend the notion of a shell model to stratified systems, and propose one that represents stratified, nonmagnetic, nonrotating convection at low Mach number. Motivated by profiles of background stratification that support convection in stars such as the Sun, we study numerical solutions corresponding to a highly unstable layer above a mildly unstable layer. We find that at low Prandtl number, convective amplitudes decrease with depth in the lower layer. This suggests that the suppression of convection in the deeper layers of the Sun's convection zone (the convective conundrum) can be addressed without necessarily appealing to rotation or magnetic fields.


title: On the regularity of the powers of the edge ideals of hypergraphs

abstract: In this paper, we are going to investigate the graded Betti numbers of powers of the edge ideals of hypergraphs in terms of combinatorial invariants. This leads us to find some combinatorial bounds for regularity of powers of the edge ideals of hypergarphs.


title: Biharmonic Steklov operator on differential forms

abstract: We introduce the biharmonic Steklov problem on differential forms by considering suitable boundary conditions. We characterize its smallest eigenvalue and prove elementary properties of the spectrum. We obtain various estimates for the first eigenvalue, some of which involve eigenvalues of other problems such as the Dirichlet, Neumann, Robin and Steklov ones. Independently, new inequalities relating the eigenvalues of the latter problems are proved.


title: Prediction and experimental evidence of the optimisation of the angular branching process in the thallus growth of Podospora anserina

abstract: Based upon apical growth and hyphal branching, the two main processes that drive the growth pattern of a fungal network, we propose here a two-dimensions simulation based on a binary-tree modelling allowing us to extract the main characteristics of a generic thallus growth. In particular, we showed that, in a homogeneous environment, the fungal growth can be optimized for exploration and exploitation of its surroundings with a specific angular distribution of apical branching. Two complementary methods of extracting angle values have been used to confront the result of the simulation with experimental data obtained from the thallus growth of the saprophytic filamentous fungus Podospora anserina. Finally, we propose here a validated model that, while being computationally low-cost, is powerful enough to test quickly multiple conditions and constraints. It will allow in future works to deepen the characterization of the growth dynamic of fungal network, in addition to laboratory experiments, that could be sometimes expensive, tedious or of limited scope.


title: PatchComplete: Learning Multi-Resolution Patch Priors for 3D Shape Completion on Unseen Categories

abstract: While 3D shape representations enable powerful reasoning in many visual and perception applications, learning 3D shape priors tends to be constrained to the specific categories trained on, leading to an inefficient learning process, particularly for general applications with unseen categories. Thus, we propose PatchComplete, which learns effective shape priors based on multi-resolution local patches, which are often more general than full shapes (e.g., chairs and tables often both share legs) and thus enable geometric reasoning about unseen class categories. To learn these shared substructures, we learn multi-resolution patch priors across all train categories, which are then associated to input partial shape observations by attention across the patch priors, and finally decoded into a complete shape reconstruction. Such patch-based priors avoid overfitting to specific train categories and enable reconstruction on entirely unseen categories at test time. We demonstrate the effectiveness of our approach on synthetic ShapeNet data as well as challenging real-scanned objects from ScanNet, which include noise and clutter, improving over state of the art in novel-category shape completion by 19.3% in chamfer distance on ShapeNet, and 9.0% for ScanNet.


title: The first direct measurement of gravitational potential decay rate at cosmological scales and improved dark energy constraint

abstract: The integrated Sachs-Wolfe (ISW) effect probes the decay rate ($DR$) of large scale gravitational potential and therefore provides unique constraint on dark energy (DE). However its constraining power is degraded by the ISW measurement, which relies on cross-correlating with the large scale structure (LSS) and suffers from uncertainties in galaxy bias and matter clustering. In combination with lensing-LSS cross-correlation, $DR$ can be isolated in a way free of uncertainties in galaxy bias and matter clustering. We applied this proposal to the combination of the DR8 galaxy catalogue of DESI imaging surveys and Planck cosmic microwave background (CMB) maps. We achieved the first $DR$ measurement, with a total significance of $3.2\sigma$. We verified the measurements at three redshift bins ($[0.2,0.4)$, $[0.4, 0.6)$, $[0.6,0.8]$), with two LSS tracers (the "low-density points" and the conventional galaxy positions). Despite its relatively low S/N, the addition of $DR$ significantly improves dark energy constraints, over SDSS baryon acoustic oscillation (BAO) data alone or Pantheon supernovae (SN) compilation alone. For flat $w$CDM cosmology, the improvement in the precision of $\Omega_m$ is a factor of 1.8 over BAO and 1.5 over SN. For the DE equation of state $w$, the improvement factor is 1.3 over BAO and 1.4 over SN. These improvements demonstrate $DR$ as a useful cosmological probe, and therefore we advocate its usage in future cosmological analysis.


title: A simple quantum model linked to a theory of decisions

abstract: This article may be seen as a summary and a final discussion of the work that the author has done in recent years on the foundation of quantum theory. It is shown that quantum mechanics as a model follows under certain specific conditions from a quite different, much simpler model. This model is connected to the mind of an observer, or to the joint minds of a group of communicating observers. The model is based upon conceptual variables, and an important aspect is that an observer (a group of observers) must decide on which variable to measure. The model is then linked more generally to a theory of decisions. The results are discussed from several angles. In particular, macroscopic consequences are treated briefly.


title: Radiative shock oscillation model for the long-term flares of Sgr A*

abstract: We examine time-dependent 2D relativistic radiation MHD flows to develop the shock oscillation model for the long-term flares of Sgr A*. Adopting modified flow parameters in addition to the previous studies, we confirm quasi-periodic flares with periods of $\sim$ 5 and 10 days which are compatible with observations by Chandra, Swift, and XMM-Newton monitoring of Sgr A*. Using a simplified two-temperature model of ions and electrons, we find that the flare due to synchrotron emission lags that of bremsstrahlung emission by 1 -- 2 hours which are qualitatively comparable to the time-lags of 1 -- 5 hours reported in several simultaneous observations of radio and X-ray variability in Sgr A*. The synchrotron emission is confined in a core region of 3 $R_{\rm g}$ size with the strong magnetic field, while the bremsstrahlung emission mainly originates in a distant region of 10 -- 20 $R_{\rm g}$ behind the oscillating shock, where $R_{\rm g}$ is the Schwarzschild radius. The time lag is estimated as the transit time of the acoustic wave between the above two regions. The time-averaged distribution of radiation shows a strong anisotropic nature along the rotational axis but isotropic distribution in the radial direction. A high-velocity jet with $\sim 0.6c$ along the rotational axis is intermittently found in a narrow funnel region with a collimation angle $\sim 15^\circ$. The shock oscillating model explains well the flaring rate and the time lag between radio and X-ray emissions for the long-term flares of Sgr A*.


title: Fisher SAM: Information Geometry and Sharpness Aware Minimisation

abstract: Recent sharpness-aware minimisation (SAM) is known to find flat minima which is beneficial for better generalisation with improved robustness. SAM essentially modifies the loss function by reporting the maximum loss value within the small neighborhood around the current iterate. However, it uses the Euclidean ball to define the neighborhood, which can be inaccurate since loss functions for neural networks are typically defined over probability distributions (e.g., class predictive probabilities), rendering the parameter space non Euclidean. In this paper we consider the information geometry of the model parameter space when defining the neighborhood, namely replacing SAM's Euclidean balls with ellipsoids induced by the Fisher information. Our approach, dubbed Fisher SAM, defines more accurate neighborhood structures that conform to the intrinsic metric of the underlying statistical manifold. For instance, SAM may probe the worst-case loss value at either a too nearby or inappropriately distant point due to the ignorance of the parameter space geometry, which is avoided by our Fisher SAM. Another recent Adaptive SAM approach stretches/shrinks the Euclidean ball in accordance with the scale of the parameter magnitudes. This might be dangerous, potentially destroying the neighborhood structure. We demonstrate improved performance of the proposed Fisher SAM on several benchmark datasets/tasks.


title: Offline Stochastic Shortest Path: Learning, Evaluation and Towards Optimality

abstract: Goal-oriented Reinforcement Learning, where the agent needs to reach the goal state while simultaneously minimizing the cost, has received significant attention in real-world applications. Its theoretical formulation, stochastic shortest path (SSP), has been intensively researched in the online setting. Nevertheless, it remains understudied when such an online interaction is prohibited and only historical data is provided. In this paper, we consider the offline stochastic shortest path problem when the state space and the action space are finite. We design the simple value iteration-based algorithms for tackling both offline policy evaluation (OPE) and offline policy learning tasks. Notably, our analysis of these simple algorithms yields strong instance-dependent bounds which can imply worst-case bounds that are near-minimax optimal. We hope our study could help illuminate the fundamental statistical limits of the offline SSP problem and motivate further studies beyond the scope of current consideration.


title: A Novel Chinese Dialect TTS Frontend with Non-Autoregressive Neural Machine Translation

abstract: Chinese dialects are different variations of Chinese and can be considered as different languages in the same language family with Mandarin. Though they all use Chinese characters, the pronunciations, grammar and idioms can vary significantly, and even local speakers may find it hard to input correct written forms of dialect. Besides, using Mandarin text as text-to-speech inputs would generate speech with poor naturalness. In this paper, we propose a novel Chinese dialect TTS frontend with a translation module, which converts Mandarin text into dialectic expressions to improve the intelligibility and naturalness of synthesized speech. A non-autoregressive neural machine translation model with various tricks is proposed for the translation task. It is the first known work to incorporate translation with TTS frontend. Experiments on Cantonese show the proposed model improves 2.56 BLEU and TTS improves 0.27 MOS with Mandarin inputs.


title: Size and Stoichiometric Dependence of Thermal Conductivities of InxGa1-xN: A Molecular Dynamics Study

abstract: The thermal conductivities k of wurtzite InxGa1-xN are investigated using equilibrium molecular dynamics (MD) method. The k of InxGa1-xN rapidly declines from InN (k_InN = 141 W/mK) or GaN (k_GaN = 500 W/mK) to InxGa1-xN, and reaches a minimum (k_min = 19 W/mK) when x is around 0.5 at 300 K. The mean free path (MFP) of InxGa1-xN, ranging from 2 to 5 nm and following the same trend with the k, is extrapolated in our simulation and a parabolic relationship between x and MFP is established. We find that the k of InxGa1-xN decreases with increasing temperatures. The evolution of k of InxGa1-xN is also examined by projecting the momentum-energy relationship of phonons from MD trajectories. The phonon dispersion and phonon density of states for InxGa1-xN reflect a slightly more flattened dispersive phononic curve of the alloying system. Despite an overestimated k than experimental values, our calculated k at 300 K agrees well with the results obtained by solving Boltzmann transport equation and also has the same stoichiometric trend with the experimental data. Our study provides the coherent analysis of the effect of thickness, temperature and stoichiometric content on the thermal transport of InxGa1-xN which is helpful for the thermal management of InxGa1-xN based devices.


title: A bio-inspired implementation of a sparse-learning spike-based hippocampus memory model

abstract: The nervous system, more specifically, the brain, is capable of solving complex problems simply and efficiently, far surpassing modern computers. In this regard, neuromorphic engineering is a research field that focuses on mimicking the basic principles that govern the brain in order to develop systems that achieve such computational capabilities. Within this field, bio-inspired learning and memory systems are still a challenge to be solved, and this is where the hippocampus is involved. It is the region of the brain that acts as a short-term memory, allowing the learning and unstructured and rapid storage of information from all the sensory nuclei of the cerebral cortex and its subsequent recall. In this work, we propose a novel bio-inspired memory model based on the hippocampus with the ability to learn memories, recall them from a cue (a part of the memory associated with the rest of the content) and even forget memories when trying to learn others with the same cue. This model has been implemented on the SpiNNaker hardware platform using Spiking Neural Networks, and a set of experiments and tests were performed to demonstrate its correct and expected operation. The proposed spike-based memory model generates spikes only when it receives an input, being energy efficient, and it needs 7 timesteps for the learning step and 6 timesteps for recalling a previously-stored memory. This work presents the first hardware implementation of a fully functional bio-inspired spike-based hippocampus memory model, paving the road for the development of future more complex neuromorphic systems.


title: RuCoCo: a new Russian corpus with coreference annotation

abstract: We present a new corpus with coreference annotation, Russian Coreference Corpus (RuCoCo). The goal of RuCoCo is to obtain a large number of annotated texts while maintaining high inter-annotator agreement. RuCoCo contains news texts in Russian, part of which were annotated from scratch, and for the rest the machine-generated annotations were refined by human annotators. The size of our corpus is one million words and around 150,000 mentions. We make the corpus publicly available.


title: New Semiregular Variable Star Near The Wizard Nebula -- Evolution of the Red Giant MACOMP_V1

abstract: The red giant MaCoMP_V1 in Cepheus at coordinates RA (J2000) 22:49:05:49 and DEC (J2000) +57:52:41:6 is a semiregular variable star classified as SRS, number 2225960 in the AAVSO VSX database. Using the Fourier transform, the period P = 24.751(0.062)d was evaluated and, with the support of the ASAS-SN and ZTF surveys, a well-defined light curve was made. The analysis resulted in the fundamental physical parameters of MaCoMP_V1, such as the mass M = 4.97(0.38)M(Sun) and radius R = 40.5(6.7)R(Sun), with consistent values suggesting the characteristics of a semiregular red giant. In addition, the effective temperature Teff = 4500(135)K from the Gaia catalog and the stellar evolution based on the Schoenberg-Chandraskehar limit was estimated.