title: Embedding surfaces inside small domains with minimal distortion

abstract: Given two-dimensional Riemannian manifolds $\mathcal{M},\mathcal{N}$, we prove a lower bound on the distortion of embeddings $\mathcal{M} \to \mathcal{N}$, in terms of the areas' discrepancy $V_{\mathcal{N}}/V_{\mathcal{M}}$, for a certain class of distortion functionals. For $V_{\mathcal{N}}/V_{\mathcal{M}} \ge 1/4$, homotheties, provided they exist, are the unique energy minimizing maps attaining the bound, while for $V_{\mathcal{N}}/V_{\mathcal{M}} \le 1/4$, there are non-homothetic minimizers. We characterize the maps attaining the bound, and construct explicit non-homothetic minimizers between disks. We then prove stability results for the two regimes. We end by analyzing other families of distortion functionals. In particular we characterize a family of functionals where no phase transition in the minimizers occurs; homotheties are the energy minimizers for all values of $V_{\mathcal{N}}/V_{\mathcal{M}}$, provided they exist.


title: Avalanche: an End-to-End Library for Continual Learning

abstract: Learning continually from non-stationary data streams is a long-standing goal and a challenging problem in machine learning. Recently, we have witnessed a renewed and fast-growing interest in continual learning, especially within the deep learning community. However, algorithmic solutions are often difficult to re-implement, evaluate and port across different settings, where even results on standard benchmarks are hard to reproduce. In this work, we propose Avalanche, an open-source end-to-end library for continual learning research based on PyTorch. Avalanche is designed to provide a shared and collaborative codebase for fast prototyping, training, and reproducible evaluation of continual learning algorithms.


title: The complete classification for quantified equality constraints

abstract: We prove that QCSP$(\mathbb{N};x=y\rightarrow y=z)$ is PSpace-complete, settling a question open for more than ten years. This completes the complexity classification for the QCSP over equality languages as a trichotomy between Logspace, NP-complete and PSpace-complete. We additionally settle the classification for bounded alternation QCSP$(\Gamma)$, for $\Gamma$ an equality language. Such problems are either in Logspace, NP-complete, co-NP-complete or rise in complexity in the Polynomial Hierarchy.


title: $L_1$ and $L_{\infty}$ stability of transition densities of perturbed diffusions

abstract: In this paper, we derive a stability result for $L_1$ and $L_{\infty}$ perturbations of diffusions under weak regularity conditions on the coefficients. In particular, the drift terms we consider can be unbounded with at most linear growth, and we do not require uniform convergence of perturbed diffusions. Instead, we require a weaker convergence condition in a special metric introduced in this paper, related to the Holder norm of the diffusion matrix differences. Our approach is based on a special version of the McKean-Singer parametrix expansion.


title: Finite time blowup and type II rate for harmonic heat flow from Riemannian manifolds

abstract: In this paper, we will study the existence of finite time singularity to harmonic heat flow and their formation patterns. After works of Coron-Ghidaglia, Ding and Chen-Ding, one knows blow-up solutions under smallness of initial energy for m>=3. soon later, 2 dimensional blowup solutions were found by Chang-Ding-Ye. The first part of this paper is devoted to construction of new examples of finite time blow-up solutions without smallness conditions for 3<=m<7. In fact, when considering rotational symmetric harmonic heat flow from B_1\subset R^m to S^m\subset R^{m+1}, we will prove that the maximal solution blows up in finite time if b>\vartheta_m, and exists for all time if 0<b<\pi/2. This result can be regarded as a generalization of results of Chang-Ding-Ye nad Chang-Ding to higher dimensional case, which relies on a completely different argument. The second part of the paper study the rate of blow-up solutions. When M is a bounded domain in R^2 and consider Dirichlet boundary condition on \partial M, Hamilton has obtained that the blowup rate must be faster than (T-t)^{-1}. Under a similar setting, it was later improved a litttle by Topping to (T-t)^{-1}|log(T-t)|. In this paper, we will extend the results to all Riemmanian surfaces M and improve the rate of Topping to (T-t)^{-1}a(|log(T-t)|) for any positive nondecreasing function a(\tau) satisfying $\int^\infty_1\frac{d\tau}{a(\tau)}=+\infty$, which is comparable to a recent result of Raphael-Schweyer for rotational symmetric solutions. Turning to the higher dimensional case 3<=m<7, we will demonstrate a completely different phenomenon by showing that all rotational symmetric blow-up solutions can not be type II, which is different to the case m>=7 by Bizon-Wasserman. Finally, we also present result of finite time type I blowup for heat flow from S^m to S^m\subset R^{m+1}, when 3<=m<7 and degree is no less than 2.


title: quantum Case-Based Reasoning (qCBR)

abstract: Case-Based Reasoning (CBR) is an artificial intelligence approach to problem-solving with a good record of success. This article proposes using Quantum Computing to improve some of the key processes of CBR, such that a Quantum Case-Based Reasoning (qCBR) paradigm can be defined. The focus is set on designing and implementing a qCBR based on the variational principle that improves its classical counterpart in terms of average accuracy, scalability and tolerance to overlapping. A comparative study of the proposed qCBR with a classic CBR is performed for the case of the Social Workers' Problem as a sample of a combinatorial optimization problem with overlapping. The algorithm's quantum feasibility is modelled with docplex and tested on IBMQ computers, and experimented on the Qibo framework.


title: Winged Radio Sources from LOFAR Two-metre Sky Survey First Data Release (LoTSS DR1)

abstract: Winged radio sources are a small sub-class of extragalactic radio sources which display a pair of low surface brightness radio lobes, known as `wings' aligned at a certain angle with the primary jets. Depending on the location of wings, these galaxies look like X or Z and are known as X-shaped Radio Galaxy (XRG) or Z-shaped Radio Galaxy (ZRG). We report the identification of 33 winged radio sources from the LOFAR Two-metre Sky Survey First Data Release (LoTSS DR1) out of which 21 sources are identified as X-shaped radio galaxies and 12 as Z-shaped radio galaxies. Optical counterparts are identified for 14 XRGs (67 per cent) and 12 ZRGs (100 per cent). We studied various physical parameters of these sources like spectral index, radio luminosity, and power. The radio spectrum of the majority of XRGs and ZRGs is steep ($\alpha_{1400}^{144}>0.5$), which is typical of lobe dominated radio galaxies. The statistical studies are done on the relative size of the major and minor axes and the angle between the major axis and minor axis for XRGs.


title: Explaining COVID-19 and Thoracic Pathology Model Predictions by Identifying Informative Input Features

abstract: Neural networks have demonstrated remarkable performance in classification and regression tasks on chest X-rays. In order to establish trust in the clinical routine, the networks' prediction mechanism needs to be interpretable. One principal approach to interpretation is feature attribution. Feature attribution methods identify the importance of input features for the output prediction. Building on Information Bottleneck Attribution (IBA) method, for each prediction we identify the chest X-ray regions that have high mutual information with the network's output. Original IBA identifies input regions that have sufficient predictive information. We propose Inverse IBA to identify all informative regions. Thus all predictive cues for pathologies are highlighted on the X-rays, a desirable property for chest X-ray diagnosis. Moreover, we propose Regression IBA for explaining regression models. Using Regression IBA we observe that a model trained on cumulative severity score labels implicitly learns the severity of different X-ray regions. Finally, we propose Multi-layer IBA to generate higher resolution and more detailed attribution/saliency maps. We evaluate our methods using both human-centric (ground-truth-based) interpretability metrics, and human-independent feature importance metrics on NIH Chest X-ray8 and BrixIA datasets. The Code is publicly available.


title: Uncountably many minimal hereditary classes of graphs of unbounded clique-width

abstract: Given an infinite word over the alphabet $\{0,1,2,3\}$, we define a class of bipartite hereditary graphs $\mathcal{G}^\alpha$, and show that $\mathcal{G}^\alpha$ has unbounded clique-width unless $\alpha$ contains at most finitely many non-zero letters. We also show that $\mathcal{G}^\alpha$ is minimal of unbounded clique-width if and only if $\alpha$ belongs to a precisely defined collection of words $\Gamma$. The set $\Gamma$ includes all almost periodic words containing at least one non-zero letter, which both enables us to exhibit uncountably many pairwise distinct minimal classes of unbounded clique width, and also proves one direction of a conjecture due to Collins, Foniok, Korpelainen, Lozin and Zamaraev. Finally, we show that the other direction of the conjecture is false, since $\Gamma$ also contains words that are \emph{not} almost periodic.


title: Device-independent quantum key distribution based on Bell inequalities with more than two inputs and two outputs

abstract: Device-independent quantum key distribution (DI-QKD) offers the strongest form of security against eavesdroppers bounded by the laws of quantum mechanics. However, a practical implementation is still pending due to the requirement of combinations of visibility and detection efficiency that are beyond those possible with current technology. This mismatch motivates the search for DI-QKD protocols that can close the gap between theoretical and practical security. In this work, we present two DI-QKD protocols whose security relies on Bell inequalities with more than two inputs and two outputs. We show that, for maximally entangled states and perfect visibility, a protocol based on a Bell inequality with three inputs and four outputs requires a slightly lower detection efficiency than the protocols based on Bell inequalities with two inputs and two outputs.


title: On Harmonic Entire mappings

abstract: In this paper, we investigate properties of harmonic entire mappings. Firstly, we give the characterizations of the order and the type for a harmonic entire mapping $f=h+\overline{g}$, respectively, and also consider the relationship between the order and the type of $f$, $h$, and $g$. Secondly, we investigate the harmonic mappings $f=h+\overline{g}$ such that $f^{(n_p)}=h^{(n_p)}+\overline{g^{(n_p)}}$ are univalent in the unit disk, where $\{n_p\}_{p=1}^{\infty}$ be a strictly increasing sequence of nonnegative integers. In terms of the sequence $\{n_p\}_{p=1}^{\infty}$, we derive several necessary conditions for these mappings to be entire and also establish an upper bound for the order of these mappings.


title: Learning with Neural Tangent Kernels in Near Input Sparsity Time

abstract: The Neural Tangent Kernel (NTK) characterizes the behavior of infinitely wide neural nets trained under least squares loss by gradient descent. However, despite its importance, the super-quadratic runtime of kernel methods limits the use of NTK in large-scale learning tasks. To accelerate kernel machines with NTK, we propose a near input sparsity time algorithm that maps the input data to a randomized low-dimensional feature space so that the inner product of the transformed data approximates their NTK evaluation. Our transformation works by sketching the polynomial expansions of arc-cosine kernels. Furthermore, we propose a feature map for approximating the convolutional counterpart of the NTK, which can transform any image using a runtime that is only linear in the number of pixels. We show that in standard large-scale regression and classification tasks a linear regressor trained on our features outperforms trained Neural Nets and Nystrom approximation of NTK kernel.


title: Unsupervised Degradation Representation Learning for Blind Super-Resolution

abstract: Most existing CNN-based super-resolution (SR) methods are developed based on an assumption that the degradation is fixed and known (e.g., bicubic downsampling). However, these methods suffer a severe performance drop when the real degradation is different from their assumption. To handle various unknown degradations in real-world applications, previous methods rely on degradation estimation to reconstruct the SR image. Nevertheless, degradation estimation methods are usually time-consuming and may lead to SR failure due to large estimation errors. In this paper, we propose an unsupervised degradation representation learning scheme for blind SR without explicit degradation estimation. Specifically, we learn abstract representations to distinguish various degradations in the representation space rather than explicit estimation in the pixel space. Moreover, we introduce a Degradation-Aware SR (DASR) network with flexible adaption to various degradations based on the learned representations. It is demonstrated that our degradation representation learning scheme can extract discriminative representations to obtain accurate degradation information. Experiments on both synthetic and real images show that our network achieves state-of-the-art performance for the blind SR task. Code is available at: https://github.com/LongguangWang/DASR.


title: Spin relaxation in diluted magnetic semiconductors. GaMnAs as example

abstract: We report on study of magnetic impurities spin relaxation in diluted magnetic semiconductors above Curie temperature. Systems with a high concentration of magnetic impurities where magnetic correlations take place were studied. The developed theory assumes that main channel of spin relaxation is mobile carriers providing indirect interactions between magnetic impurities. Our theoretical model is supported by experimental measurements of manganese spin relaxation time in GaMnAs by means of spin-flip Raman scattering. It is found that with temperature increase spin relaxation rate of ferromagnetic samples increases and tends to that measured in paramagnetic sample.


title: Local patch analysis for testing statistical isotropy of the Planck convergence map

abstract: The small but measurable effect of weak gravitational lensing on the cosmic microwave background radiation provide information about the large-scale distribution of matter in the universe. We use the all sky distribution of matter, as represented by the {\em convergence map} that is inferred from CMB lensing measurement by Planck survey, to test the fundamental assumption of Statistical Isotropy (SI) of the universe. For the analysis we use the $\alpha$ statistic that is devised from the contour Minkowski tensor, a tensorial generalization of the scalar Minkowski functional, the contour length. In essence, the $\alpha$ statistic captures the ellipticity of isofield contours at any chosen threshold value of a smooth random field and provides a measure of anisotropy. The SI of the observed convergence map is tested against the suite of realistic simulations of the convergence map provided by the Planck collaboration. We first carry out a global analysis using the full sky data after applying the galactic and point sources mask. We find that the observed data is consistent with SI. Further we carry out a local search for departure from SI in small patches of the sky using $\alpha$. This analysis reveals several sky patches which exhibit deviations from simulations with statistical significance higher than 95\% confidence level (CL). Our analysis indicates that the source of the anomalous behaviour of most of the outlier patches is inaccurate estimation of noise. We identify two outlier patches which exhibit anomalous behaviour originating from departure from SI at higher than 95\% CL. Most of the anomalous patches are found to be located roughly along the ecliptic plane or in proximity to the ecliptic poles.


title: The nature of non-Gaussianity and statistical isotropy of the 408 MHz Haslam synchrotron map

abstract: Accurate component separation of full-sky maps in the radio and microwave frequencies, such as the cosmic microwave background (CMB), relies on a thorough understanding of the statistical properties of the Galactic foreground emissions. Using scalar Minkowski functionals and their tensorial generalization known as Minkowski tensors, we analyze the statistical properties of one of the major foreground components, namely the Galactic synchrotron given by the full sky 408 MHz Haslam map. We focus on understanding the nature of non-Gaussianity and statistical isotropy of the cooler regions of the map as a function of angular scale. We find that the overall level of the non-Gaussian deviations does decrease as more high emission regions are masked and as we go down to smaller scales, in agreement with the results obtained in earlier works. However, they remain significantly high, of order 3.3$\sigma$, at the smallest angular scales relevant for the Haslam map. We carry out a detailed examination of the non-Gaussian nature using the generalized skewness and kurtosis cumulants that arise in the perturbative expansion of Minkowski functionals for weakly non-Gaussian fields. We find that the leading sources of non-Gaussianity are the kurtosis terms which are considerably larger than the skewness terms at all angular scales. Further, for the cooler regions of the Haslam map, we find that the non-Gaussian deviations of the Minkowski functionals can be well explained by the perturbative expansion up to second-order (up to kurtosis terms), with first-order terms being sub-dominant. Lastly, we test the statistical isotropy of the Haslam map and find that it becomes increasingly more isotropic at smaller scales.


title: Anisotropic Diffusion in Consensus-based Optimization on the Sphere

abstract: In this paper we are concerned with the global minimization of a possibly non-smooth and non-convex objective function constrained on the unit hypersphere by means of a multi-agent derivative-free method. The proposed algorithm falls into the class of the recently introduced Consensus-Based Optimization. In fact, agents move on the sphere driven by a drift towards an instantaneous consensus point, which is computed as a convex combination of agent locations, weighted by the cost function according to Laplaces principle, and it represents an approximation to a global minimizer. The dynamics is further perturbed by an anisotropic random vector field to favor exploration. The main results of this paper are about the proof of convergence of the numerical scheme to global minimizers provided conditions of well-preparation of the initial datum. The proof of convergence combines a mean-field limit result with a novel asymptotic analysis, and classical convergence results of numerical methods for SDE. The main innovation with respect to previous work is the introduction of an anisotropic stochastic term, which allows us to ensure the independence of the parameters of the algorithm from the dimension and to scale the method to work in very high dimension. We present several numerical experiments, which show that the algorithm proposed in the present paper is extremely versatile and outperforms previous formulations with isotropic stochastic noise.


title: Constraints on $\Xi^-$ nuclear interactions from capture events in emulsion

abstract: Five $\Xi^- p\to \Lambda\Lambda$ two-body capture events in $^{12}$C and $^{14}$N emulsion nuclei, in which a pair of single-$\Lambda$ hypernuclei is formed and identified by their weak decay, have been observed in $(K^-,K^+)$ emulsion exposures at KEK and J-PARC. Applying a $\Xi^-$-nucleus optical potential methodology to study atomic and nuclear transitions, we confirm that these capture events occur from Coulomb assisted $1p_{\Xi^-}$ nuclear states. Long-range $\Xi N$ shell-model correlations are found essential to achieve consistency between the $^{12}$C and $^{14}$N events. The resulting $\Xi$-nuclear interaction is strongly attractive, with $\Xi$ potential depth in nuclear matter $V_{\Xi}\gtrsim 20$ MeV. Implications to multi-strangeness features of dense matter are outlined.


title: Multimessenger signal from phase transition of neutron star to quark star

abstract: Aim: To study the multimessenger nature of the signal that can result from the phase transition of a neutron star to a quark star and their corresponding astrophysical observations. Methods: The phase transition process is initiated by the abrupt pressure and density changes at the star center, giving rise to a shock which deconfines matter followed by a weak front converting excess down to strange quarks to attain absolute stability. This process's effects are investigated by understanding how the energy escapes from the star in the form of neutrino-antineutrino annihilation. For such annihilation process, the corresponding energy deposition rate is calculated. Structural changes due to the energy loss have been investigated in the likes of misalignment angle evolution of the star and its astrophysical observation through gravitational waves. Results: The energy and time signature for the neutrino-antineutrino annihilation is compared with the observed isotropic energy for a short gamma-ray burst. The misalignment angle evolves to align the star's tilt axis, which can lead to the sudden increase or decrease of radio intensity from the pulsar. The corresponding gravitational wave emission, both continuous and burst, all lead towards multimessenger signals coming from the phase transition.


title: Stochastic Gradient Descent on Nonconvex Functions with General Noise Models

abstract: Stochastic Gradient Descent (SGD) is a widely deployed optimization procedure throughout data-driven and simulation-driven disciplines, which has drawn a substantial interest in understanding its global behavior across a broad class of nonconvex problems and noise models. Recent analyses of SGD have made noteworthy progress in this direction, and these analyses have innovated important and insightful new strategies for understanding SGD. However, these analyses often have imposed certain restrictions (e.g., convexity, global Lipschitz continuity, uniform Holder continuity, expected smoothness, etc.) that leave room for innovation. In this work, we address this gap by proving that, for a rather general class of nonconvex functions and noise models, SGD's iterates either diverge to infinity or converge to a stationary point with probability one. By further restricting to globally Holder continuous functions and the expected smoothness noise model, we prove that -- regardless of whether the iterates diverge or remain finite -- the norm of the gradient function evaluated at SGD's iterates converges to zero with probability one and in expectation. As a result of our work, we broaden the scope of nonconvex problems and noise models to which SGD can be applied with rigorous guarantees of its global behavior.


title: High-dimensional distributed semantic spaces for utterances

abstract: High-dimensional distributed semantic spaces have proven useful and effective for aggregating and processing visual, auditory, and lexical information for many tasks related to human-generated data. Human language makes use of a large and varying number of features, lexical and constructional items as well as contextual and discourse-specific data of various types, which all interact to represent various aspects of communicative information. Some of these features are mostly local and useful for the organisation of e.g. argument structure of a predication; others are persistent over the course of a discourse and necessary for achieving a reasonable level of understanding of the content. This paper describes a model for high-dimensional representation for utterance and text level data including features such as constructions or contextual data, based on a mathematically principled and behaviourally plausible approach to representing linguistic information. The implementation of the representation is a straightforward extension of Random Indexing models previously used for lexical linguistic items. The paper shows how the implemented model is able to represent a broad range of linguistic features in a common integral framework of fixed dimensionality, which is computationally habitable, and which is suitable as a bridge between symbolic representations such as dependency analysis and continuous representations used e.g. in classifiers or further machine-learning approaches. This is achieved with operations on vectors that constitute a powerful computational algebra, accompanied with an associative memory for the vectors. The paper provides a technical overview of the framework and a worked through implemented example of how it can be applied to various types of linguistic features.


title: CP-Violating and Charged Current Neutrino Non-standard Interactions in CE$\nu$NS

abstract: Neutrino non-standard interactions (NSI) can be constrained using coherent elastic neutrino-nucleus scattering. We discuss here two aspects in this respect, namely the effects of (i) charged current NSI in neutrino production and (ii) CP-violating phases associated with neutral current NSI in neutrino detection. Effects of CP-phases require the simultaneous presence of two different flavor-changing neutral current NSI parameters. Applying these two scenarios to the COHERENT measurement, we derive limits on charged current NSI and find that more data is required to compete with the existing limits. Regarding CP-phases, we show how the limits on the NSI parameters depend dramatically on the values of the phases. Accidentally, the same parameters influencing coherent scattering also show up in neutrino oscillation experiments. We find that COHERENT provides complementary constraints on the set of NSI parameters that can explain the discrepancy in the best-fit value of the standard CP-phase obtained by T2K and NO$\nu$A, while the significance with which the LMA-Dark solution is ruled out can be weakened by the presence of additional NSI parameters introduced here.


title: WakaVT: A Sequential Variational Transformer for Waka Generation

abstract: Poetry generation has long been a challenge for artificial intelligence. In the scope of Japanese poetry generation, many researchers have paid attention to Haiku generation, but few have focused on Waka generation. To further explore the creative potential of natural language generation systems in Japanese poetry creation, we propose a novel Waka generation model, WakaVT, which automatically produces Waka poems given user-specified keywords. Firstly, an additive mask-based approach is presented to satisfy the form constraint. Secondly, the structures of Transformer and variational autoencoder are integrated to enhance the quality of generated content. Specifically, to obtain novelty and diversity, WakaVT employs a sequence of latent variables, which effectively captures word-level variability in Waka data. To improve linguistic quality in terms of fluency, coherence, and meaningfulness, we further propose the fused multilevel self-attention mechanism, which properly models the hierarchical linguistic structure of Waka. To the best of our knowledge, we are the first to investigate Waka generation with models based on Transformer and/or variational autoencoder. Both objective and subjective evaluation results demonstrate that our model outperforms baselines significantly.


title: Circular orbits around higher dimensional Einstein and pure Gauss-Bonnet rotating black holes

abstract: In this paper we study circular orbits around higher dimensional rotating Myers-Perry and pure Gauss-Bonnet (GB) black holes. It turns out that for the former there occurs no potential well to harbour bound and thereby stable circular orbits. The only circular orbits that could occur are all unstable and their radius is bounded from the below by that of the photon circular orbit. On the other hand bound and stable circular orbits do exist for pure GB/Lovelock rotating black holes (the metric is though not an exact solution of pure Lovelock vacuum equation but it satisfies the equation in the leading order and has all the desired properties) in dimensions, $2N+2 \leq D \leq 4N$ (for $N=2$ pure GB in $D = 6, 7, 8$) where $N$ is the degree of Lovelock polynomial. Thus bound and stable circular orbits could exist around higher dimensional rotating black holes only for pure GB/Lovelock gravity. This property is a nice discriminator between Myers-Perry and pure GB/Lovelock rotating black holes.


title: Storchastic: A Framework for General Stochastic Automatic Differentiation

abstract: Modelers use automatic differentiation (AD) of computation graphs to implement complex Deep Learning models without defining gradient computations. Stochastic AD extends AD to stochastic computation graphs with sampling steps, which arise when modelers handle the intractable expectations common in Reinforcement Learning and Variational Inference. However, current methods for stochastic AD are limited: They are either only applicable to continuous random variables and differentiable functions, or can only use simple but high variance score-function estimators. To overcome these limitations, we introduce Storchastic, a new framework for AD of stochastic computation graphs. Storchastic allows the modeler to choose from a wide variety of gradient estimation methods at each sampling step, to optimally reduce the variance of the gradient estimates. Furthermore, Storchastic is provably unbiased for estimation of any-order gradients, and generalizes variance reduction techniques to higher-order gradient estimates. Finally, we implement Storchastic as a PyTorch library at https://github.com/HEmile/storchastic.


title: Tunable Hyperbolic Phonon Polaritons in a Gradiently-Suspended Van Der Waals {\alpha}-MoO3

abstract: Highly confined and low-loss hyperbolic phonon polaritons (HPhPs) sustained in van der Waals crystals exhibit outstanding capabilities of concentrating long-wave electromagnetic fields deep to the subwavelength region. Precise tuning on the HPhP propagation characteristics remains a great challenge for practical applications such as nanophotonic devices and circuits. Here, we show that by taking advantage of the varying air gaps in a van der Waals {\alpha}-MoO3 crystal suspended gradiently, it is able to tune the wavelengths and dampings of the HPhPs propagating inside the {\alpha}-MoO3. The results indicate that the dependences of polariton wavelength on gap distance for HPhPs in lower and upper Reststrahlen bands are opposite to each other. Most interestingly, the tuning range of the polariton wavelengths for HPhPs in the lower band, which exhibit in-plane hyperbolicities, is wider than that for the HPhPs in the upper band of out-of-plane hyperbolicities. A polariton wavelength elongation up to 160% and a reduction of damping rate up to 35% are obtained. These findings can not only provide fundamental insights into manipulation of light by polaritonic crystals at nanoscale, but also open up new opportunities for tunable nanophotonic applications.


title: Latent Space Data Assimilation by using Deep Learning

abstract: Performing Data Assimilation (DA) at a low cost is of prime concern in Earth system modeling, particularly at the time of big data where huge quantities of observations are available. Capitalizing on the ability of Neural Networks techniques for approximating the solution of PDE's, we incorporate Deep Learning (DL) methods into a DA framework. More precisely, we exploit the latent structure provided by autoencoders (AEs) to design an Ensemble Transform Kalman Filter with model error (ETKF-Q) in the latent space. Model dynamics are also propagated within the latent space via a surrogate neural network. This novel ETKF-Q-Latent (thereafter referred to as ETKF-Q-L) algorithm is tested on a tailored instructional version of Lorenz 96 equations, named the augmented Lorenz 96 system: it possesses a latent structure that accurately represents the observed dynamics. Numerical experiments based on this particular system evidence that the ETKF-Q-L approach both reduces the computational cost and provides better accuracy than state of the art algorithms, such as the ETKF-Q.


title: Unsupervised Learning of Monocular Depth and Ego-Motion Using Multiple Masks

abstract: A new unsupervised learning method of depth and ego-motion using multiple masks from monocular video is proposed in this paper. The depth estimation network and the ego-motion estimation network are trained according to the constraints of depth and ego-motion without truth values. The main contribution of our method is to carefully consider the occlusion of the pixels generated when the adjacent frames are projected to each other, and the blank problem generated in the projection target imaging plane. Two fine masks are designed to solve most of the image pixel mismatch caused by the movement of the camera. In addition, some relatively rare circumstances are considered, and repeated masking is proposed. To some extent, the method is to use a geometric relationship to filter the mismatched pixels for training, making unsupervised learning more efficient and accurate. The experiments on KITTI dataset show our method achieves good performance in terms of depth and ego-motion. The generalization capability of our method is demonstrated by training on the low-quality uncalibrated bike video dataset and evaluating on KITTI dataset, and the results are still good.


title: Anchor Pruning for Object Detection

abstract: This paper proposes anchor pruning for object detection in one-stage anchor-based detectors. While pruning techniques are widely used to reduce the computational cost of convolutional neural networks, they tend to focus on optimizing the backbone networks where often most computations are. In this work we demonstrate an additional pruning technique, specifically for object detection: anchor pruning. With more efficient backbone networks and a growing trend of deploying object detectors on embedded systems where post-processing steps such as non-maximum suppression can be a bottleneck, the impact of the anchors used in the detection head is becoming increasingly more important. In this work, we show that many anchors in the object detection head can be removed without any loss in accuracy. With additional retraining, anchor pruning can even lead to improved accuracy. Extensive experiments on SSD and MS COCO show that the detection head can be made up to 44% more efficient while simultaneously increasing accuracy. Further experiments on RetinaNet and PASCAL VOC show the general effectiveness of our approach. We also introduce `overanchorized' models that can be used together with anchor pruning to eliminate hyperparameters related to the initial shape of anchors. Code and models are available at https://github.com/Mxbonn/anchor_pruning.


title: Modulated accretion in T Tauri star RY Tau -- stable MHD propeller or a planet at 0.2 AU?

abstract: Planets are thought to form at the early stage of stellar evolution when the mass accretion is still ongoing. RY Tau is a T Tauri type star at the age of a few Myr, with accretion disc seen at high inclination, so that line of sight crosses both the wind and the accretion gas flows. In a long series of spectroscopic monitoring of the star in 2013-2020, we detected variations in H-alpha and NaI D absorptions at radial velocities of infall (accretion) and outflow (wind) with a period of about 22 days. The absorptions in the infalling and the outflowing gas streams vary in anti-phase: an increase of infall is accompanied by a decrease of outflow, and vice versa. These flip-flop oscillations retain phase over several years of observations. We suggest that this may result from the MHD processes at the disk-magnetosphere boundary in the propeller mode. Another possibility is that a massive planet modulates some processes in the disc and provides the observed effects. The period, if Keplerian, corresponds to a distance of 0.2 AU, which is close to the dust sublimation radius in this star. The presence of the putative planet may be confirmed by radial velocity measurements: expected amplitude is > 90 m/s if a planet mass is > 2 Mj.


title: On finite groups with prescribed two-generator subgroups and integral Cayley graphs

abstract: In this paper, we characterize the finite groups $G$ of even order with the property that for any involution $x$ and element $y$ of $G$, $\langle x, y \rangle$ is isomorphic to one of the following groups: $\mathbb{Z}_2,$ $\mathbb{Z}_2^2$, $\mathbb{Z}_4$, $\mathbb{Z}_6$, $\mathbb{Z}_2 \times \mathbb{Z}_4$, $\mathbb{Z}_2 \times\mathbb{Z}_6$ and $A_4$. As a result, a characterization will be obtained for the finite groups all of whose Cayley graphs of degree $3$ have integral spectrum.


title: Some properties of almost summing operators

abstract: In this paper we extend the scope of three important results of the linear theory of absolutely summing operators. The first one was proved by Bu and Kranz in \cite{BK} and it asserts that a continuous linear operator between Banach spaces takes almost unconditionally summable sequences into Cohen strongly $q$-summable sequences for any $q\geq2$, whenever its adjoint is $p$-summing for some $p\geq1$. The second of them states that $p$-summing operators with hilbertian domain are Cohen strongly $q$-summing operators ($1<p,q<\infty$), this result is due to Bu \cite{Bu}. The third one is due to Kwapie\'{n} \cite{Kwapien} and it characterizes spaces isomorphic to a Hilbert space using 2-summing operators. We will show that these results are maintained replacing the hypothesis of the operator to be $p$-summing by almost summing. We will also give an example of an almost summing operator that fails to be $p$-summing for every $1\leq p< \infty$.


title: Expressive Text-to-Speech using Style Tag

abstract: As recent text-to-speech (TTS) systems have been rapidly improved in speech quality and generation speed, many researchers now focus on a more challenging issue: expressive TTS. To control speaking styles, existing expressive TTS models use categorical style index or reference speech as style input. In this work, we propose StyleTagging-TTS (ST-TTS), a novel expressive TTS model that utilizes a style tag written in natural language. Using a style-tagged TTS dataset and a pre-trained language model, we modeled the relationship between linguistic embedding and speaking style domain, which enables our model to work even with style tags unseen during training. As style tag is written in natural language, it can control speaking style in a more intuitive, interpretable, and scalable way compared with style index or reference speech. In addition, in terms of model architecture, we propose an efficient non-autoregressive (NAR) TTS architecture with single-stage training. The experimental result shows that ST-TTS outperforms the existing expressive TTS model, Tacotron2-GST in speech quality and expressiveness.


title: Enriched Music Representations with Multiple Cross-modal Contrastive Learning

abstract: Modeling various aspects that make a music piece unique is a challenging task, requiring the combination of multiple sources of information. Deep learning is commonly used to obtain representations using various sources of information, such as the audio, interactions between users and songs, or associated genre metadata. Recently, contrastive learning has led to representations that generalize better compared to traditional supervised methods. In this paper, we present a novel approach that combines multiple types of information related to music using cross-modal contrastive learning, allowing us to learn an audio feature from heterogeneous data simultaneously. We align the latent representations obtained from playlists-track interactions, genre metadata, and the tracks' audio, by maximizing the agreement between these modality representations using a contrastive loss. We evaluate our approach in three tasks, namely, genre classification, playlist continuation and automatic tagging. We compare the performances with a baseline audio-based CNN trained to predict these modalities. We also study the importance of including multiple sources of information when training our embedding model. The results suggest that the proposed method outperforms the baseline in all the three downstream tasks and achieves comparable performance to the state-of-the-art.


title: Analysis of modern astrometric catalogues in the Gaia era

abstract: We investigate of the systems of proper motions of stars in the ground-based catalogues HSOY, UCAC5, GPS1 and PMA derived by combining with the Gaia DR1 space data. Assuming the systematic differences of stellar proper motions of two catalogues to be caused by the mutual solid-body rotation and glide of the coordinate systems produced by the data of the catalogues under comparison, we analyse the components of the mutual rotation vector and displacement of the origins of these systems. The equatorial components of the vector of mutual rotation velocity of the compared coordinate systems, as well as velocities of the mutual displacement of their origins, varying within the range from 0.2 to 2.9 mas/yr, were derived from a comparison of proper motions of the sources that are common for Gaia EDR3 and the TGAS, UCAC5, HSOY, GPS1 and PMA catalogues, respectively. The systematic errors of proper motions of stars in the HSOY, GPS1, PMA and Gaia EDR3 catalogues in the range of faint stellar magnitudes were estimated by analysing the formal proper motions of extragalactic objects contained in these catalogues. The coordinate system realised by the Gaia EDR3 data at the level of < 0.1 mas/yr is shown to have no rotation and glide relative to the LQAC-5, ALLWISEAGN, Milliquas extragalactis sources within the range from 15 to 21 stellar G magnitude. Among the ground-based catalogues, the system of proper motions of the PMA stars, which is independent of the Gaia EDR3 data, is the closest to the Gaia EDR3 system of proper motions in G magnitude range from 15 to 21.


title: Spectroscopic Investigation of Light Strange S=-1 $\Lambda$, $\Sigma$ and S=-2 $\Xi$ Baryons

abstract: The present study is dedicated to light-strange $\Lambda$ with strangeness S=-1, isospin I=0; $\Sigma$ with S=-1, I=1 and $\Xi$ baryon with S=-2 and $I=\frac{1}{2}$. In this article, hypercentral Constituent Quark Model with linear confining potential has been employed along with first order correction term to obtain the resonance masses for nearly upto 4 GeV. The calculated states include 1S-5S, 1P-4P, 1D-3D, 1F-2F and 1G (in few case) along with all the possible spin-parity assignments. Regge Trajectories have been explored for the linearly of the calculated masses for $(n,M^{2})$ and $(J,M^{2})$ respectively. Magnetic moments have been intensively studied for ground state spin $\frac{1}{2}$ and $\frac{3}{2}$, in addition to the configuration mixing for first negative parity state for $\Xi$. Lastly, transition magnetic moment and radiative decay width have been presented.


title: Excitation of Electrostatic Standing Wave in the Superposition of Two Counter Propagating Relativistic Whistler Waves

abstract: The problem of standing wave formation by superposing two counter-propagating whistler waves in an overdense plasma, studied recently by Sano et al. (Phys. Rev. E 100, 053205 (2019) and Phys. Rev. E 101, 013206 (2020)), has been revisited in the relativistic limit. A detailed theory along with simulation has been performed to study the standing wave formation in the interaction of two counter propagating relativistically intense whistler waves. The relativistic theory explains such interaction process more precisely and predicts correct field amplitudes of the standing wave for a much wider range of physical parameters of the problem as compared to its non-relativistic counterpart. The analytical results are compared with 1-D Particle-in-Cell (PIC) simulation results, performed using OSIRIS 4.0. The results are of relevance to ion heating and fast ignition scheme of inertial confinement fusion.


title: Ab initio random structure searching for battery cathode materials

abstract: Cathodes are critical components of rechargeable batteries. Conventionally, the search for cathode materials relies on experimental trial-and-error and a traversing of existing computational/experimental databases. While these methods have led to the discovery of several commercially-viable cathode materials, the chemical space explored so far is limited and many phases will have been overlooked, in particular those that are metastable. We describe a computational framework for battery cathode exploration, based on ab initio random structure searching (AIRSS), an approach that samples local minima on the potential energy surface to identify new crystal structures. We show that, by delimiting the search space using a number of constraints, including chemically aware minimum interatomic separations, cell volumes, and space group symmetries, AIRSS can efficiently predict both thermodynamically stable and metastable cathode materials. Specifically, we investigate LiCoO2, LiFePO4, and LixCuyFz to demonstrate the efficiency of the method by rediscovering the known crystal structures of these cathode materials. The effect of parameters, such as minimum separations and symmetries, on the efficiency of the sampling is discussed in detail. The adaptation of the minimum interatomic distances, on a species-pair basis, from low-energy optimized structures to efficiently capture the local coordination environment of atoms, is explored. A family of novel cathode materials based, on the transition-metal oxalates,is proposed. They demonstrate superb energy density, oxygen-redox stability, and lithium diffusion properties. This article serves both as an introduction to the computational framework, and as a guide to battery cathode material discovery using AIRSS.


title: Touch-based Curiosity for Sparse-Reward Tasks

abstract: Robots in many real-world settings have access to force/torque sensors in their gripper and tactile sensing is often necessary in tasks that involve contact-rich motion. In this work, we leverage surprise from mismatches in touch feedback to guide exploration in hard sparse-reward reinforcement learning tasks. Our approach, Touch-based Curiosity (ToC), learns what visible objects interactions are supposed to "feel" like. We encourage exploration by rewarding interactions where the expectation and the experience don't match. In our proposed method, an initial task-independent exploration phase is followed by an on-task learning phase, in which the original interactions are relabeled with on-task rewards. We test our approach on a range of touch-intensive robot arm tasks (e.g. pushing objects, opening doors), which we also release as part of this work. Across multiple experiments in a simulated setting, we demonstrate that our method is able to learn these difficult tasks through sparse reward and curiosity alone. We compare our cross-modal approach to single-modality (touch- or vision-only) approaches as well as other curiosity-based methods and find that our method performs better and is more sample-efficient.


title: Physical observables to determine the nature of membrane-less cellular sub-compartments

abstract: The spatial organization of complex biochemical reactions is essential for the regulation of cellular processes. Membrane-less structures called foci containing high concentrations of specific proteins have been reported in a variety of contexts, but the mechanism of their formation is not fully understood. Several competing mechanisms exist that are difficult to distinguish empirically, including liquid-liquid phase separation, and the trapping of molecules by multiple binding sites. Here we propose a theoretical framework and outline observables to differentiate between these scenarios from single molecule tracking experiments. In the binding site model, we derive relations between the distribution of proteins, their diffusion properties, and their radial displacement. We predict that protein search times can be reduced for targets inside a liquid droplet, but not in an aggregate of slowly moving binding sites. These results are applicable to future experiments and suggest different biological roles for liquid droplet and binding site foci.


title: Well-posedness for a class of phase-field systems modeling prostate cancer growth with fractional operators and general nonlinearities

abstract: This paper deals with a general system of equations and conditions arising from a mathematical model of prostate cancer growth with chemotherapy and antiangiogenic therapy that has been recently introduced and analyzed (see [P. Colli et al., Mathematical analysis and simulation study of a phase-field model of prostate cancer growth with chemotherapy and antiangiogenic therapy effects, Math. Models Methods Appl. Sci. 30 (2020), 1253-1295], preprint in arXiv:1907.11618 [math.AP]). The related system includes two evolutionary operator equations involving fractional powers of selfadjoint, nonnegative, unbounded linear operators having compact resolvents. Both equations contain nonlinearities and in particular the equation describing the dynamics of the tumor phase variable has the structure of a Allen-Cahn equation with double-well potential and additional nonlinearity depending also on the other variable, which represents the nutrient concentration. The equation for the nutrient concentration is nonlinear as well, with a term coupling both variables. For this system we design an existence, uniqueness and continuous dependence theory by setting up a careful analysis which allows the consideration of nonsmooth potentials and the treatment of continuous nonlinearities with general growth properties.


title: Gate-tunable hallmarks of unconventional superconductivity in non-centrosymmetric nanowires

abstract: Two dimensional SrTiO3-based interfaces stand out among non-centrosymmetric superconductors due to their intricate interplay of gate tunable Rashba spin-orbit coupling and multi-orbital electronic occupations, whose combination theoretically prefigures various forms of non-standard superconductivity. However, a convincing demonstration by phase sensitive measurements has been elusive so far. Here, by employing superconducting transport measurements in nano-devices we present clear-cut experimental evidences of unconventional superconductivity in the LaAlO3/SrTiO3 interface. The central observations are the substantial anomalous enhancement of the critical current by small magnetic fields applied perpendicularly to the plane of electron motion, and the asymmetric response with respect to the magnetic field direction. These features have a unique trend in intensity and sign upon electrostatic gating that, together with their dependence on temperature and nanowire dimensions, cannot be accommodated within a scenario of canonical spin-singlet superconductivity. We theoretically demonstrate that the hall-marks of the experimental observations unambiguously indicate a coexistence of Josephson channels with sign difference and intrinsic phase shift. The character of these findings establishes the occurrence of independent components of unconventional pairing in the superconducting state due to inversion symmetry breaking. The outcomes open new venues for the investigation of multi-orbital non-centrosymmetric superconductivity and Josephson-based devices for quantum technologies.


title: Optimal Fees for Geometric Mean Market Makers

abstract: Constant Function Market Makers (CFMMs) are a family of automated market makers that enable censorship-resistant decentralized exchange on public blockchains. Arbitrage trades have been shown to align the prices reported by CFMMs with those of external markets. These trades impose costs on Liquidity Providers (LPs) who supply reserves to CFMMs. Trading fees have been proposed as a mechanism for compensating LPs for arbitrage losses. However, large fees reduce the accuracy of the prices reported by CFMMs and can cause reserves to deviate from desirable asset compositions. CFMM designers are therefore faced with the problem of how to optimally select fees to attract liquidity. We develop a framework for determining the value to LPs of supplying liquidity to a CFMM with fees when the underlying process follows a general diffusion. Focusing on a popular class of CFMMs which we call Geometric Mean Market Makers (G3Ms), our approach also allows one to select optimal fees for maximizing LP value. We illustrate our methodology by showing that an LP with mean-variance utility will prefer a G3M over all alternative trading strategies as fees approach zero.


title: Towards Evaluating and Training Verifiably Robust Neural Networks

abstract: Recent works have shown that interval bound propagation (IBP) can be used to train verifiably robust neural networks. Reseachers observe an intriguing phenomenon on these IBP trained networks: CROWN, a bounding method based on tight linear relaxation, often gives very loose bounds on these networks. We also observe that most neurons become dead during the IBP training process, which could hurt the representation capability of the network. In this paper, we study the relationship between IBP and CROWN, and prove that CROWN is always tighter than IBP when choosing appropriate bounding lines. We further propose a relaxed version of CROWN, linear bound propagation (LBP), that can be used to verify large networks to obtain lower verified errors than IBP. We also design a new activation function, parameterized ramp function (ParamRamp), which has more diversity of neuron status than ReLU. We conduct extensive experiments on MNIST, CIFAR-10 and Tiny-ImageNet with ParamRamp activation and achieve state-of-the-art verified robustness. Code and the appendix are available at https://github.com/ZhaoyangLyu/VerifiablyRobustNN.


title: Interplay between Ferroelectricity and Metallicity in BaTiO$_3$

abstract: We explore the interplay between ferroelectricity and metallicity, which are generally considered to be contra-indicated properties, in the prototypical ferroelectric barium titanate, BaTiO$_3$. Using first-principles density functional theory, we calculate the effects of electron and hole doping, first by introducing a hypothetical background charge, and second through the introduction of explicit impurities (La, Nb and V for electron doping, and K, Al and Sc for hole doping). We find that, apart from a surprising increase in polarization at small hole concentrations, both charge-carrier types decrease the tendency towards ferroelectricity, with the strength of the polarization suppression, which is different for electrons and holes, determined by the detailed structure of the conduction and valence bands. Doping with impurity atoms increases the complexity and allows us to identify three factors that influence the ferroelectricity: structural effects arising largely from the size of the impurity ion, electronic effects from the introduction of charge carriers, and changes in unit-cell volume and shape. A competing balance between these contributions can result in an increase or decrease in ferroelectricity with doping.


title: Scale-dependent anisotropy, energy transfer and intermittency in bubble-laden turbulent flows

abstract: Data from Direct Numerical Simulations of disperse bubbly flows in a vertical channel are used to study the effect of the bubbles on the carrier-phase turbulence. A new method is developed, based on the barycentric map approach, that allows to quantify the anisotropy and componentiality of the flow at any scale. Using this the bubbles are found to significantly enhance flow anisotropy at all scales compared with the unladen case, and for some bubble cases, very strong anisotropy persists down to the smallest flow scales. The strongest anisotropy observed was for the cases involving small bubbles. Concerning the inter-scale energy transfer, our results indicate that for the bubble-laden cases, the energy transfer is from large to small scales, just as for the unladen case. However, there is evidence of an upscale transfer when considering the transfer of energy associated with particular components of the velocity field. Although the direction of the energy transfer is the same with and without the bubbles, the transfer is much stronger for the bubble-laden cases, suggesting that the bubbles play a strong role in enhancing the activity of the nonlinear term in the flow. The normalized forms of the fourth and sixth-order structure functions are also considered, and reveal that the introduction of bubbles into the flow strongly enhances intermittency in the dissipation range, but suppresses it at larger scales. This strong enhancement of the dissipation scale intermittency has significant implications for understanding how the bubbles might modify the mixing properties of turbulent flows.


title: Damageless Tough Hydrogels with On-demand Self-reinforcement

abstract: Most tough hydrogels are reinforced by introducing sacrificial structures that can dissipate input energy. However, since the sacrificial damages cannot recover instantly, the toughness of these gels drops substantially during consecutive cyclic loadings. Here, we propose a new damageless reinforcement strategy for hydrogels utilizing strain-induced crystallization (SIC). In Slide-Ring (SR) gels with freely movable cross-links, crystalline repetitively forms and destructs with elongation and relaxation, resulting in both excellent toughness of 5.5 - 25.2 MJ/m$^3$ and 87% - 95% instant recovery of extension energy between two consecutive 11-fold loading-unloading cycles. Moreover, SIC occurs "on-demandly" at the crack-tip area where strain amplification and stress concentration take place and forces the crack to turn sideways. The instantly reversible tough hydrogels are promising candidates for applications in artificial connective tissues such as tendon and ligament.


title: Quantification of Wigner Negativity Remotely Generated via Einstein-Podolsky-Rosen Steering

abstract: Wigner negativity, as a well-known indicator of nonclassicality, plays an essential role in quantum computing and simulation using continuous-variable systems. Recently, it has been proven that Einstein-Podolsky-Rosen steering is a prerequisite to generate Wigner negativity between two remote modes. Motivated by the demand of real-world quantum network, here we investigate the shareability of generated Wigner negativity in the multipartite scenario from a quantitative perspective. By establishing a monogamy relation akin to the generalized Coffman-Kundu-Wootters inequality, we show that the amount of Wigner negativity cannot be freely distributed among different modes. Moreover, for photon subtraction -- one of the main experimentally realized non-Gaussian operations -- we provide a general method to quantify the remotely generated Wigner negativity. With this method, we find that there is no direct quantitative relation between the Gaussian steerability and the amount of generated Wigner negativity. Our results pave the way for exploiting Wigner negativity as a valuable resource for numerous quantum information protocols based on non-Gaussian scenario.


title: Semantic XAI for contextualized demand forecasting explanations

abstract: The paper proposes a novel architecture for explainable AI based on semantic technologies and AI. We tailor the architecture for the domain of demand forecasting and validate it on a real-world case study. The provided explanations combine concepts describing features relevant to a particular forecast, related media events, and metadata regarding external datasets of interest. The knowledge graph provides concepts that convey feature information at a higher abstraction level. By using them, explanations do not expose sensitive details regarding the demand forecasting models. The explanations also emphasize actionable dimensions where suitable. We link domain knowledge, forecasted values, and forecast explanations in a Knowledge Graph. The ontology and dataset we developed for this use case are publicly available for further research.


title: Learning Rates for Multi-task Regularization Networks

abstract: Multi-task learning is an important trend of machine learning in facing the era of artificial intelligence and big data. Despite a large amount of researches on learning rate estimates of various single-task machine learning algorithms, there is little parallel work for multi-task learning. We present mathematical analysis on the learning rate estimate of multi-task learning based on the theory of vector-valued reproducing kernel Hilbert spaces and matrix-valued reproducing kernels. For the typical multi-task regularization networks, an explicit learning rate dependent both on the number of sample data and the number of tasks is obtained. It reveals that the generalization ability of multi-task learning algorithms is indeed affected as the number of tasks increases.


title: Identifying brain hierarchical structures associated with Alzheimer's disease using a regularized regression method with tree predictors

abstract: Brain segmentation at different levels is generally represented as hierarchical trees. Brain regional atrophy at specific levels was found to be marginally associated with Alzheimer's disease outcomes. In this study, we propose an L1-type regularization for predictors that follow a hierarchical tree structure. Considering a tree as a directed acyclic graph, we interpret the model parameters from a path analysis perspective. Under this concept, the proposed penalty regulates the total effect of each predictor on the outcome. With regularity conditions, it is shown that under the proposed regularization, the estimator of the model coefficient is consistent in L2-norm and the model selection is also consistent. By applying to a brain structural magnetic resonance imaging dataset acquired from the Alzheimer's Disease Neuroimaging Initiative, the proposed approach identifies brain regions where atrophy in these regions demonstrates the declination in memory. With regularization on the total effects, the findings suggest that the impact of atrophy on memory deficits is localized from small brain regions but at various levels of brain segmentation.


title: Dichotomous flow with thermal diffusion and stochastic resetting

abstract: We consider properties of one-dimensional diffusive dichotomous flow and discuss effects of resonant activation in the presence of statistically independent random resetting mechanism. Resonant activation and stochastic resetting are two similar effects, as both of them can optimize the noise induced escape. Our studies show completely different origins of optimization in adapted setups. Efficiency of stochastic resetting relies on elimination of suboptimal trajectories while resonant activation is associated with matching of time scales in the dynamic environment. Consequently, both effects can be easily tracked by studying their asymptotic properties. Finally, stochastic resetting cannot be easily used to further optimization of the resonant activation in symmetric setups.


title: Reconfigurable Intelligent Surfaces for N-LOS Radar Surveillance

abstract: This paper deals with the use of Reconfigurable Intelligent Surfaces (RISs) for radar surveillance in Non-Line Of Sight (N-LOS) scenarios. First of all, the geometry of the scene and the new system concept is described with emphasis on the required operative modes and the role played by the RIS. Then, the specific radar equation (including the RIS effect) is developed to manage the coverage requirements in the challenging region where the LOS is not present. Both noise and clutter interference cases (pulse length-limited and beamwidth-limited surface clutter as well as volume clutter) are considered. Hence, a digression on the use of the radar timeline for the new operative mode is presented together with the data acquisition procedure and the resolution issues for the range, azimuth, and Doppler domains. Finally, the interplay among the system parameters and, in particular, those involving the RIS is discussed and analyzed via numerical simulations.


title: Crystallographic and magnetic structures of the VI$_3$ and LiVI$_3$ van der Waals compounds

abstract: Two-dimensional (2D) layered magnetic materials are generating a great amount of interest for the next generation of electronic devices thanks to their remarkable properties associated to spin dynamics. The recently discovered layered VI$_3$ ferromagnetic phase belongs to this family, although a full understanding of its properties is limited by an ill-defined crystallographic structure. This is not any longer true. Here, we investigate the VI$_3$ crystal structure upon cooling using both synchrotron X-ray and neutron powder diffraction and provide structural models for the two structural transitions occurring at 76 K and 32 K. Moreover, we confirm by magnetic measurements that VI$_3$ becomes ferromagnetic at 50 K and discuss the difficulty of solving its full magnetic structure by neutrons. We equally determined the magnetic properties of our recently reported LiVI$_3$ phase, which is alike the well-known CrI$_3$ ferromagnetic phase in terms of electronic and crystallographic structures and found to our surprise an antiferromagnetic behavior with a N\'eel temperature of 12 K. Such a finding provides extra clues for a better understanding of magnetism in these low dimension compounds. Finally, the easiness of preparing novel Li-based 2D magnetic materials by chemical/electrochemical means opens wide the opportunity to design materials with exotic properties.


title: Revisiting Hadronic Mass Relations from First Order Flavor Symmetry Breaking

abstract: The Gell-Mann$-$Okubo (GMO) mass relations following from $\text{SU}(3)$-flavor symmetry breaking in the strong sector have been proven to be of great success for describing hadron masses and classifying them into multiplets. Nowadays, it is widely believed that baryons being fermions have to obey GMO relations which are linear in the baryon masses, whilst mesons as bosons follow quadratic GMO relations. In this work, I challenge the distinction of GMO relations for baryons and mesons and conclude that both linear and quadratic GMO relations apply to both baryons and mesons in most instances (exceptions are the pseudoscalar meson octet and the mass relations following from heavy quark symmetry). I support this claim by presenting an in-depth analysis of the GMO relations on a theoretical and experimental level. On the theoretical side, two approaches to the derivation of the GMO relations are given and isospin symmetry breaking, electromagnetic contributions, and heavy quark symmetry are incorporated into the mass relations. Both linear and quadratic mass relations are checked against experimentally determined hadron masses. Furthermore, the mass relations are used to classify unassigned resonances like $\Lambda^+_c(2940)$ and $\Xi_c(3123)$ into multiplets and to predict the masses of missing particles in yet incomplete multiplets.


title: The Radar Echo Telescope for Cosmic Rays: Pathfinder Experiment for a Next-Generation Neutrino Observatory

abstract: The Radar Echo Telescope for Cosmic Rays (RET-CR) is a recently initiated experiment designed to detect the englacial cascade of a cosmic-ray initiated air shower via in-ice radar, toward the goal of a full-scale, next-generation experiment to detect ultra high energy neutrinos in polar ice. For cosmic rays with a primary energy greater than 10 PeV, roughly 10% of an air-shower's energy reaches the surface of a high elevation ice-sheet ($\gtrsim$2 km) concentrated into a radius of roughly 10 cm. This penetrating shower core creates an in-ice cascade many orders of magnitude more dense than the preceding in-air cascade. This dense cascade can be detected via the radar echo technique, where transmitted radio is reflected from the ionization deposit left in the wake of the cascade. RET-CR will test the radar echo method in nature, with the in-ice cascade of a cosmic-ray initiated air-shower serving as a test beam. We present the projected event rate and sensitivity based upon a three part simulation using CORSIKA, GEANT4, and RadioScatter. RET-CR expects $\sim$1 radar echo event per day.


title: Augmenting Zero Trust Architecture to Endpoints Using Blockchain: A State-of-The-Art Review

abstract: With the purpose of defending against lateral movement in today's borderless networks, Zero Trust Architecture (ZTA) adoption is gaining momentum. With a full scale ZTA implementation, it is unlikely that adversaries will be able to spread through the network starting from a compromised endpoint. However, the already authenticated and authorised session of a compromised endpoint can be leveraged to perform limited, though malicious, activities ultimately rendering the endpoints the Achilles heel of ZTA. To effectively detect such attacks, distributed collaborative intrusion detection systems with an attack scenario-based approach have been developed. Nonetheless, Advanced Persistent Threats (APTs) have demonstrated their ability to bypass this approach with a high success ratio. As a result, adversaries can pass undetected or potentially alter the detection logging mechanisms to achieve a stealthy presence. Recently, blockchain technology has demonstrated solid use cases in the cyber security domain. In this paper, motivated by the convergence of ZTA and blockchain-based intrusion detection and prevention, we examine how ZTA can be augmented onto endpoints. Namely, we perform a state-of-the-art review of ZTA models, real-world architectures with a focus on endpoints, and blockchain-based intrusion detection systems. We discuss the potential of blockchain's immutability fortifying the detection process and identify open challenges as well as potential solutions and future directions.


title: Solver-Aided Constant-Time Circuit Verification

abstract: We present Xenon, a solver-aided method for formally verifying that Verilog hardware executes in constant-time. Xenon scales to realistic hardware designs by drastically reducing the effort needed to localize the root cause of verification failures via a new notion of constant-time counterexamples, which Xenon uses to automatically synthesize a minimal set of secrecy assumptions. Xenon further exploits modularity in Verilog code via a notion of module summaries, thereby avoiding duplicate work across multiple module instantiations. We show how Xenon's assumption synthesis and summaries enable the verification of a variety of circuits including AES, a highly modular AES-256 implementation where modularity cuts verification from six hours to under three seconds, and ScarV, a timing channel hardened RISC-V micro-controller whose size exceeds previously verified designs by an order of magnitude.


title: SCALoss: Side and Corner Aligned Loss for Bounding Box Regression

abstract: Bounding box regression is an important component in object detection. Recent work achieves promising performance by optimizing the Intersection over Union~(IoU). However, IoU-based loss has the gradient vanish problem in the case of low overlapping bounding boxes, and the model could easily ignore these simple cases. In this paper, we propose Side Overlap~(SO) loss by maximizing the side overlap of two bounding boxes, which puts more penalty for low overlapping bounding box cases. Besides, to speed up the convergence, the Corner Distance~(CD) is added into the objective function. Combining the Side Overlap and Corner Distance, we get a new regression objective function, \textit{Side and Corner Align Loss~(SCALoss)}. The SCALoss is well-correlated with IoU loss, which also benefits the evaluation metric but produces more penalty for low-overlapping cases. It can serve as a comprehensive similarity measure, leading to better localization performance and faster convergence speed. Experiments on COCO, PASCAL VOC, and LVIS benchmarks show that SCALoss can bring consistent improvement and outperform $\ell_n$ loss and IoU based loss with popular object detectors such as YOLOV3, SSD, Faster-RCNN. Code is available at: \url{https://github.com/Turoad/SCALoss}.


title: Using Random Walks to Establish Wavelike Behavior in an FPUT System with Random Coefficients

abstract: We consider a linear Fermi-Pasta-Ulam-Tsingou lattice with random spatially varying material coefficients. Using the methods of stochastic homogenization we show that solutions with long wave initial data converge in an appropriate sense to solutions of a wave equation. The convergence is strong and both almost sure and in expectation, but the rate is quite slow. The technique combines energy estimates with powerful classical results about random walks, specifically the law of the iterated logarithm.


title: Improved Image Generation via Sparse Modeling

abstract: The interest of the deep learning community in image synthesis has grown massively in recent years. Nowadays, deep generative methods, and especially Generative Adversarial Networks (GANs), are leading to state-of-the-art performance, capable of synthesizing images that appear realistic. While the efforts for improving the quality of the generated images are extensive, most attempts still consider the generator part as an uncorroborated "black-box". In this paper, we aim to provide a better understanding and design of the image generation process. We interpret existing generators as implicitly relying on sparsity-inspired models. More specifically, we show that generators can be viewed as manifestations of the Convolutional Sparse Coding (CSC) and its Multi-Layered version (ML-CSC) synthesis processes. We leverage this observation by explicitly enforcing a sparsifying regularization on appropriately chosen activation layers in the generator, and demonstrate that this leads to improved image synthesis. Furthermore, we show that the same rationale and benefits apply to generators serving inverse problems, demonstrated on the Deep Image Prior (DIP) method.


title: Pareto optimal exchange with indifferent endowments

abstract: We investigate a market without money in which agents can offer certain goods (or multiple copies of an agent-specific good) in exchange for goods of other agents. The exchange must be balanced in the sense that each agent should receive a quantity of good(s) equal to the one she transfers to others. In addition, each agent has strict preferences over the agents from which she will receive goods, and there is an upper bound on the volume of each transaction and a weight reflecting its social importance or its cardinal utility for the two agents. We propose a simple variant of the Top Trading Cycles mechanism that finds a Pareto optimal balanced exchange. We then offer necessary and sufficient conditions for a balanced exchange to be Pareto optimal and exploit these to obtain a recognition procedure. This procedure can detect whether a given exchange is Pareto optimal and, if not, improve it to become Pareto optimal in polynomial time. Last, we show how to obtain a Pareto optimal balanced exchange of maximum weight in two special cases.


title: Improving Calibration for Long-Tailed Recognition

abstract: Deep neural networks may perform poorly when training datasets are heavily class-imbalanced. Recently, two-stage methods decouple representation learning and classifier learning to improve performance. But there is still the vital issue of miscalibration. To address it, we design two methods to improve calibration and performance in such scenarios. Motivated by the fact that predicted probability distributions of classes are highly related to the numbers of class instances, we propose label-aware smoothing to deal with different degrees of over-confidence for classes and improve classifier learning. For dataset bias between these two stages due to different samplers, we further propose shifted batch normalization in the decoupling framework. Our proposed methods set new records on multiple popular long-tailed recognition benchmark datasets, including CIFAR-10-LT, CIFAR-100-LT, ImageNet-LT, Places-LT, and iNaturalist 2018. Code will be available at https://github.com/Jia-Research-Lab/MiSLAS.


title: Stability of sedimenting flexible loops

abstract: We study the behaviour of circular flexible loops sedimenting in a viscous fluid by numerical simulations and linear stability analysis. The numerical model involves a local slender-body theory approximation for the flow coupled to the Euler-Bernoulli elastic forces for an inextensible fibre. Starting from an inclined circle, we simulate the dynamics using truncated Fourier modes to observe three distinct regimes of motion: absolute stability, two-, and three-dimensional dynamics, depending on therelative importance of elastic and gravitational forces. We identify the governing parameter and develop a simple semi-analytic stability criterion, which we verify numerically. In all cases, sedimenting loops converge to stable, planar shape equilibria with one free parameter related to the initial conditions and material properties of the fibre.


title: Formulas and properties

abstract: We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties are described. Characteristics for generic sentences and generic theories with respect to properties are described and characterized.


title: Ground state features and spectral properties of large polaron liquids from low to high charge densities

abstract: A new variational approach is proposed at zero temperature for a finite density of charge carriers in order to study ground state features of the Frohlich model including electron-electron and electron-phonon interactions. Within the intermediate electron-phonon coupling regime characteristic of large polarons, the approach takes into account on the same footing polaron formation and polaron-polaron correlations which play a relevant role going from low to high charge densities. Including fluctuations on top of the variational approach, the electronic spectral function is calculated from the weak to the intermediate electron-phonon coupling regime finding a peak-dip-hump line shape. The spectra are characterized by a transfer of spectral weight from the incoherent hump to the coherent peak with decreasing the electron-phonon coupling constant or with increasing the particle density. Three different density regimes stem out: the first, at low densities, where the features of a single large polaron with a substantial incoherent spectral weight are not modified by charge carrier interactions; a second one, at intermediate densities, where the polaronic liquid shows a rapid crossover from incoherent to coherent dynamics; the third one, at high densities, where screening effects are so prominent that the system presents a conventional metallic phase. The results obtained in the low to intermediate density regime turn out to be relevant for the interpretation of recent tunneling and photoemission experiments in SrTiO3-based systems.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.other cond-mat.stat-mech


title: The oscillatory anisotropy in the spatially flat cosmological models

abstract: In this manuscript, we investigate the oscillatory behaviour of the anisotropy in the diagonal Bianchi-I spacetimes. Our starting point is a simplification of Einstein's equations using only observable or physical variables. As a consequence, we are able to: (a) Prove general results concerning the existence of oscillations of the anisotropy in the primordial and the late-time universe. For instance, in the expanding scenario, we show that a past weakly mixmaster behaviour (oscillations as we approach the Kasner solutions) might appear even with no violation of the usual energy conditions, while in the future, the pulsation (oscillations around isotropic solutions) seems to be most favored; (b) Determine a large scheme for deriving classes of physically motivated exact solutions, and we give some (including the general barotropic perfect fluid and the magnetic one); (c) Understand the physical conditions for the occurrence of the isotropization or anisotropization during the cosmological evolution; (d) Understand how anisotropy and energy density are converted one into another. In particular, we call attention to the presence of a residue in the energy density in a late-time isotropic universe coming from its past anisotropic behaviour.


title: Embeddings between Lorenz sequence spaces are strictly singular

abstract: Given $0<p,q, r<\infty $ and $ q<r\le \infty$ we consider the natural embedding $\ell_{p,q}\hookrightarrow \ell_{p,r}$ between Lorenz sequence spaces. We prove that this non-compact embedding is always strictly singular but not finitely strictly singular.


title: Quantum versus Classical Dynamics in Spin Models: Chains, Ladders, and Square Lattices

abstract: We present a comprehensive comparison of spin and energy dynamics in quantum and classical spin models on different geometries, ranging from one-dimensional chains, over quasi-one-dimensional ladders, to two-dimensional square lattices. Focusing on dynamics at formally infinite temperature, we particularly consider the autocorrelation functions of local densities, where the time evolution is governed either by the linear Schr\"odinger equation in the quantum case, or the nonlinear Hamiltonian equations of motion in the case of classical mechanics. While, in full generality, a quantitative agreement between quantum and classical dynamics can therefore not be expected, our large-scale numerical results for spin-$1/2$ systems with up to $N = 36$ lattice sites in fact defy this expectation. Specifically, we observe a remarkably good agreement for all geometries, which is best for the nonintegrable quantum models in quasi-one or two dimensions, but still satisfactory in the case of integrable chains, at least if transport properties are not dominated by the extensive number of conservation laws. Our findings indicate that classical or semi-classical simulations provide a meaningful strategy to analyze the dynamics of quantum many-body models, even in cases where the spin quantum number $S = 1/2$ is small and far away from the classical limit $S \to \infty$.


title: Normalizations and misspecification in skill formation models

abstract: An important class of structural models studies the determinants of skill formation and the optimal timing of interventions. In this paper, I provide new identification results for these models and investigate the effects of seemingly innocuous scale and location restrictions on parameters of interest. To do so, I first characterize the identified set of all parameters without these additional restrictions and show that important policy-relevant parameters are point identified under weaker assumptions than commonly used in the literature. The implications of imposing standard scale and location restrictions depend on how the model is specified, but they generally impact the interpretation of parameters and can affect counterfactuals. Importantly, with the popular CES production function, commonly used scale restrictions are overidentifying and lead to biased estimators. Consequently, simply changing the units of measurements of observed variables might yield ineffective investment strategies and misleading policy recommendations. I show how existing estimators can easily be adapted to solve these issues. As a byproduct, this paper also presents a general and formal definition of when restrictions are truly normalizations.


title: Future projections on the anomalous $WW\gamma\gamma$ couplings in hadron-hadron interactions at the FCC-hh

abstract: We carry out a study in the approach of a dimension-8 effective field theory on the anomalous quartic $WW\gamma\gamma$ couplings that arise from the process $pp \to W\gamma\gamma$ at the Future Circular Collider-hadron hadron (FCC-hh). The process is sensitive to the $WW\gamma\gamma$ vertex, and future projections on the anomalous $f_ {M,i}/\Lambda^4$ and $ f_ {T,j}/\Lambda^4$ couplings can be put by measurements of $W\gamma\gamma$ production. We illustrate the physics opportunities and reach of the FCC-hh operating for a high integrated luminosity scenario of ${\cal L}=1, 5, 10, 30$ ${\rm ab}^{-1}$ of proton-proton collisions at a center-of-mass energy of $\sqrt{s}=100$ TeV and systematic uncertainties of $\delta_{sys}=0\%, 3\%, 5\%, 10\%$. Production cross-sections of the signal and the sensitivity constraints on the anomalous $f_ {M,i}/\Lambda^4$ and $ f_ {T,j}/\Lambda^4$ couplings at $95\%$ C.L. are identified through the leptonic and hadronic decay modes of the $W$-boson. The FCC-hh sensitivity on these anomalous couplings is expected might reach up to the order of magnitude ${\cal O}(10^{-4}-10^1)$. These sensitivity perspectives indicate that the $pp \to W\gamma\gamma$ channel at the FCC-hh has a greater potential to search for the anomalous quartic $WW\gamma\gamma$ couplings and to search for new physics than present colliders.


title: Edge-Assisted Congestion Control Mechanism for 5G Network Using Software-Defined Networking

abstract: In order to cope with the explosive growth of data traffic which is associated with a wide plethora of emerging applications and services that are expected to be used by both ordinary users and vertical industries, the congestion control mechanism is considered to be vital. In this paper, we proposed a congestion control mechanism that could function within the framework of Multi-Access Edge Computing (MEC). The proposed mechanism is aiming to make real-time decisions for selectively buffering traffic while taking network condition and Quality of Service (QoS) into consideration. In order to support a MEC-assisted scheme, the MEC server is expected to locally store delay-tolerant data traffics until the delay conditions expire. This enables the network to have better control over the radio resource provisioning of higher priority data. To achieve this, we introduced a dedicated function known as Congestion Control Engine (CCE), which can capture Radio Access Network (RAN) condition through Radio Network Information Service (RNIS) function, and use this knowledge to make the real-time decision for selectively offloading traffic so that it can perform more intelligently. Analytical evaluation results of our proposed mechanism confirm that it can alleviate network congestion more efficiently.


title: Fostering Generalization in Single-view 3D Reconstruction by Learning a Hierarchy of Local and Global Shape Priors

abstract: Single-view 3D object reconstruction has seen much progress, yet methods still struggle generalizing to novel shapes unseen during training. Common approaches predominantly rely on learned global shape priors and, hence, disregard detailed local observations. In this work, we address this issue by learning a hierarchy of priors at different levels of locality from ground truth input depth maps. We argue that exploiting local priors allows our method to efficiently use input observations, thus improving generalization in visible areas of novel shapes. At the same time, the combination of local and global priors enables meaningful hallucination of unobserved parts resulting in consistent 3D shapes. We show that the hierarchical approach generalizes much better than the global approach. It generalizes not only between different instances of a class but also across classes and to unseen arrangements of objects.


title: Sensitivity analysis for the anomalous $W^+W^-\gamma$ couplings at the LHeC and the FCC-he

abstract: We study the anomalous $W^+W^-\gamma$ couplings in performing the production of the W-pair through the process $e^- p\,\rightarrow\,e^-\gamma^*\gamma^* p\,\rightarrow\,e^-W^+W^-p$ at the Large Hadron electron Collider (LHeC) and the Future Circular Collider-hadron electron (FCC-he). We examine the pure hadronic, the semi-leptonic and the pure leptonic decay channels of the produced W-pair. We assume the center-of-mass energies of $\sqrt{s}=1.30$ and $1.98$ TeV and the integrated luminosities of 10-100 fb$^{-1}$ for the LHeC and the center-of-mass energies of $\sqrt{s}=3.46$ and $5.29$ TeV and the integrated luminosities of 100-2000 fb$^{-1}$ for the FCC-he. The best limits at 95$\%$ confidence level obtained for the anomalous couplings $\Delta\kappa_{\gamma}$ and $\lambda_{\gamma}$ are $\Delta\kappa_{\gamma}=[-0.00208; 0.00206]$ and $\lambda_{\gamma}=[-0.00174; 0.00834]$. By comparing these limits with the experimental limits, we present the potentials of the process and future $ep$ colliders.


title: Chemical bonding and Born charge in 1T-HfS$_2$

abstract: We combine infrared absorption and Raman scattering spectroscopies to explore the properties of the heavy transition metal dichalcogenide 1T-HfS$_2$. We employ the LO-TO splitting of the $E_u$ vibrational mode along with a reevaluation of mode mass, unit cell volume, and dielectric constant to reveal the Born effective charge. We find $Z^*_{\rm{B}}$ = 5.3$e$, in excellent agreement with complementary first principles calculations. In addition to resolving controversy over the nature of chemical bonding in this system, we decompose Born charge into polarizability and local charge. We find $\alpha$ = 5.07 \AA$^3$ and $Z^{*}$ = 5.2$e$, respectively. Polar displacement-induced charge transfer from sulfur $p$ to hafnium $d$ is responsible for the enhanced Born charge compared to the nominal 4+ in hafnium. 1T-HfS$_2$ is thus an ionic crystal with strong and dynamic covalent effects. Taken together, our work places the vibrational properties of 1T-HfS$_2$ on a firm foundation and opens the door to understanding the properties of tubes and sheets.


title: Towards creativity characterization of generative models via group-based subset scanning

abstract: Deep generative models, such as Variational Autoencoders (VAEs), have been employed widely in computational creativity research. However, such models discourage out-of-distribution generation to avoid spurious sample generation, limiting their creativity. Thus, incorporating research on human creativity into generative deep learning techniques presents an opportunity to make their outputs more compelling and human-like. As we see the emergence of generative models directed to creativity research, a need for machine learning-based surrogate metrics to characterize creative output from these models is imperative. We propose group-based subset scanning to quantify, detect, and characterize creative processes by detecting a subset of anomalous node-activations in the hidden layers of generative models. Our experiments on original, typically decoded, and "creatively decoded" (Das et al 2020) image datasets reveal that the proposed subset scores distribution is more useful for detecting creative processes in the activation space rather than the pixel space. Further, we found that creative samples generate larger subsets of anomalies than normal or non-creative samples across datasets. The node activations highlighted during the creative decoding process are different from those responsible for normal sample generation.


title: Idris 2: Quantitative Type Theory in Practice

abstract: Dependent types allow us to express precisely what a function is intended to do. Recent work on Quantitative Type Theory (QTT) extends dependent type systems with linearity, also allowing precision in expressing when a function can run. This is promising, because it suggests the ability to design and reason about resource usage protocols, such as we might find in distributed and concurrent programming, where the state of a communication channel changes throughout program execution. As yet, however, there has not been a full-scale programming language with which to experiment with these ideas. Idris 2 is a new version of the dependently typed language Idris, with a new core language based on QTT, supporting linear and dependent types. In this paper, we introduce Idris 2, and describe how QTT has influenced its design. We give examples of the benefits of QTT in practice including: expressing which data is erased at run time, at the type level; and, resource tracking in the type system leading to type-safe concurrent programming with session types.


title: Graph of uv-paths in 2-connected graphs

abstract: For a $2$-connected graph $G$ and vertices $u,v$ of $G$ we define an abstract graph $\mathcal{P}(G_{uv})$ whose vertices are the paths joining $u$ and $v$ in $G$, where paths $S$ and $T$ are adjacent if $T$ is obtained from $S$ by replacing a subpath $S_{xy}$ of $S$ with an internally disjoint subpath $T_{xy}$ of $T$. We prove that $\mathcal{P}(G_{uv})$ is always connected and give a necessary and a sufficient condition for connectedness in cases where the cycles formed by the replacing subpaths are restricted to a specific family of cycles of $G$.


title: Sketch2Mesh: Reconstructing and Editing 3D Shapes from Sketches

abstract: Reconstructing 3D shape from 2D sketches has long been an open problem because the sketches only provide very sparse and ambiguous information. In this paper, we use an encoder/decoder architecture for the sketch to mesh translation. When integrated into a user interface that provides camera parameters for the sketches, this enables us to leverage its latent parametrization to represent and refine a 3D mesh so that its projections match the external contours outlined in the sketch. We will show that this approach is easy to deploy, robust to style changes, and effective. Furthermore, it can be used for shape refinement given only single pen strokes. We compare our approach to state-of-the-art methods on sketches -- both hand-drawn and synthesized -- and demonstrate that we outperform them.


title: Learning Foreground-Background Segmentation from Improved Layered GANs

abstract: Deep learning approaches heavily rely on high-quality human supervision which is nonetheless expensive, time-consuming, and error-prone, especially for image segmentation task. In this paper, we propose a method to automatically synthesize paired photo-realistic images and segmentation masks for the use of training a foreground-background segmentation network. In particular, we learn a generative adversarial network that decomposes an image into foreground and background layers, and avoid trivial decompositions by maximizing mutual information between generated images and latent variables. The improved layered GANs can synthesize higher quality datasets from which segmentation networks of higher performance can be learned. Moreover, the segmentation networks are employed to stabilize the training of layered GANs in return, which are further alternately trained with Layered GANs. Experiments on a variety of single-object datasets show that our method achieves competitive generation quality and segmentation performance compared to related methods.


title: Neural Video Portrait Relighting in Real-time via Consistency Modeling

abstract: Video portraits relighting is critical in user-facing human photography, especially for immersive VR/AR experience. Recent advances still fail to recover consistent relit result under dynamic illuminations from monocular RGB stream, suffering from the lack of video consistency supervision. In this paper, we propose a neural approach for real-time, high-quality and coherent video portrait relighting, which jointly models the semantic, temporal and lighting consistency using a new dynamic OLAT dataset. We propose a hybrid structure and lighting disentanglement in an encoder-decoder architecture, which combines a multi-task and adversarial training strategy for semantic-aware consistency modeling. We adopt a temporal modeling scheme via flow-based supervision to encode the conjugated temporal consistency in a cross manner. We also propose a lighting sampling strategy to model the illumination consistency and mutation for natural portrait light manipulation in real-world. Extensive experiments demonstrate the effectiveness of our approach for consistent video portrait light-editing and relighting, even using mobile computing.


title: Effective Spin Foam Models for Lorentzian Quantum Gravity

abstract: Making the Lorentzian path integral for quantum gravity well-defined and computable has been a long standing challenge. In this work we adopt the recently proposed effective spin foam models to the Lorentzian case. This defines a path integral over discrete Lorentzian quantum geometric configurations, which include metric and torsion degrees of freedom. The torsion degrees of freedom arise due to an anomaly, which is parametrized by the Barbero--Immirzi parameter. Requiring a semi-classical regime constrains this parameter, but the precise bound has to be determined by probing the dynamics. The effective models provide the computationally most efficient spin foam models yet, which allows us to perform first tests for determining the semi-classical regime. This includes explorations specific to the Lorentzian case, e.g. investigating quantum geometries with null lengths and null areas as well as geometries that describe a change of spatial topology.