title: The eight-port homodyne detector: the effect of imperfections on quantum random number generation and on detection of quadratures

abstract: The eight-port homodyne detector is an optical circuit designed to perform the monitoring of two quadratures of an optical field, the signal. By using quantum Bose fields and quantum stochastic calculus, we give a complete quantum description of this apparatus, when used as quadrature detector in continuous time. We can treat either the travelling waves in the optical circuit, either the observables involved in the detection part: two couples of photodiodes, postprocessing of the output currents. The analysis includes imperfections, such as not perfectly balanced beam splitters, detector efficiency, electronic noise, phase and intensity noise in the laser acting as local oscillator; this last noise is modelled by using mixtures of field coherent states as statistical operator of the laser component. Due to the monitoring in continuous time, the output is a stochastic process and its full probability distribution is obtained. When the output process is sampled at discrete times, the quantum description can be reduced to discrete mode operators, but at the price of having random operators, which contain also the noise of the local oscillator. Consequently, the local oscillator noise has a very different effect on the detection results with respect to an additive noise, such as the noise in the electronic components. As an application, the problem of secure random number generation is considered, based on the local oscillator shot noise. The rate of random bits that can be generated is quantified by the min-entropy; the possibility of classical and quantum side information is taken into account by suitable conditional min-entropies. The final rate depends on which parts of the apparatus are considered to be secure and on which ones are considered to be exposed to the intervention of an intruder. In some experimentally realistic situations, the entropy losses are computed.


title: Torsion codimension 2 cycles on supersingular abelian varieties

abstract: We prove that torsion codimension 2 algebraic cycles modulo rational equivalence on supersingular abelian varieties are algebraically equivalent to zero. As a consequence, we prove that homological equivalence coincides with algebraic equivalence for algebraic cycles of codimension 2 on supersingular abelian varieties over the algebraic closure of finite fields.


title: An Upper Bound of the Information Flow From Children to Parent Node on Trees

abstract: We consider the transmission of a state from the root of a tree towards its leaves, assuming that each transmission occurs through a noisy channel. The states at the leaves are observed, while at deeper nodes we can compute the likelihood of each state given the observation. In this sense, information flows from child nodes towards the parent node. Here we find an upper bound of this children-to-parent information flow. To do so, first we introduce a new measure of information, the memory vector, whose norm quantifies whether all states have the same likelihood. Then we find conditions such that the norm of the memory vector at the parent node can be linearly bounded by the sum of norms at the child nodes. We also describe the reconstruction problem of estimating the ancestral state at the root given the observation at the leaves. We infer sufficient conditions under which the original state at the root cannot be confidently reconstructed using the observed leaves, assuming that the number of levels from the root to the leaves is large.


title: Real-time HOG+SVM based object detection using SoC FPGA for a UHD video stream

abstract: Object detection is an essential component of many vision systems. For example, pedestrian detection is used in advanced driver assistance systems (ADAS) and advanced video surveillance systems (AVSS). Currently, most detectors use deep convolutional neural networks (e.g., the YOLO -- You Only Look Once -- family), which, however, due to their high computational complexity, are not able to process a very high-resolution video stream in real-time, especially within a limited energy budget. In this paper we present a hardware implementation of the well-known pedestrian detector with HOG (Histogram of Oriented Gradients) feature extraction and SVM (Support Vector Machine) classification. Our system running on AMD Xilinx Zynq UltraScale+ MPSoC (Multiprocessor System on Chip) device allows real-time processing of 4K resolution (UHD -- Ultra High Definition, 3840 x 2160 pixels) video for 60 frames per second. The system is capable of detecting a pedestrian in a single scale. The results obtained confirm the high suitability of reprogrammable devices in the real-time implementation of embedded vision systems.


title: A Birman-Schwinger Principle in General Relativity: Linearly Stable Shells of Collisionless Matter Surrounding a Black Hole

abstract: We develop a Birman-Schwinger principle for the spherically symmetric, asymptotically flat Einstein-Vlasov system. It characterizes stability properties of steady states such as the positive definiteness of an Antonov-type operator or the existence of exponentially growing modes in terms of a one-dimensional variational problem for a Hilbert-Schmidt operator. This requires a refined analysis of the operators arising from linearizing the system, which uses action-angle type variables. For the latter, a single-well structure of the effective potential for the particle flow of the steady state is required. This natural property can be verified for a broad class of singularity-free steady states. As a particular example for the application of our Birman-Schwinger principle we consider steady states where a Schwarzschild black hole is surrounded by a shell of Vlasov matter. We prove the existence of such steady states and derive linear stability if the mass of the Vlasov shell is small compared to the mass of the black hole.

categories: math.AP astro-ph.GA gr-qc math-ph math.MP


title: Out-of-Domain Evaluation of Finnish Dependency Parsing

abstract: The prevailing practice in the academia is to evaluate the model performance on in-domain evaluation data typically set aside from the training corpus. However, in many real world applications the data on which the model is applied may very substantially differ from the characteristics of the training data. In this paper, we focus on Finnish out-of-domain parsing by introducing a novel UD Finnish-OOD out-of-domain treebank including five very distinct data sources (web documents, clinical, online discussions, tweets, and poetry), and a total of 19,382 syntactic words in 2,122 sentences released under the Universal Dependencies framework. Together with the new treebank, we present extensive out-of-domain parsing evaluation utilizing the available section-level information from three different Finnish UD treebanks (TDT, PUD, OOD). Compared to the previously existing treebanks, the new Finnish-OOD is shown include sections more challenging for the general parser, creating an interesting evaluation setting and yielding valuable information for those applying the parser outside of its training domain.


title: Non-interpenetration conditions in the passage from nonlinear to linearized Griffith fracture

abstract: We characterize the passage from nonlinear to linearized Griffith-fracture theories under non-interpenetration constraints. In particular, sequences of deformations satisfying a Ciarlet-Ne\v{c}as condition in SBV^2 and for which a convergence of the energies is ensured, are shown to admit asymptotic representations in GSBD^2 satisfying a suitable contact condition. With an explicit counterexample, we prove that this result fails if convergence of the energies does not hold. We further prove that each limiting displacement satisfying the contact condition can be approximated by an energy-convergent sequence of deformations fulfilling a Ciarlet-Ne\v{c}as condition. The proof relies on a piecewise Korn-Poincar\'e inequality in GSBD2, on a careful blow-up analysis around jump points, as well as on a refined GSBD^2-density result guaranteeing enhanced contact conditions for the approximants.


title: Large Sample Properties of Entropy Balancing Estimators of Average Causal Effects

abstract: Weighting methods are used in observational studies to adjust for covariate imbalances between treatment and control groups. Entropy balancing (EB) is an alternative to inverse probability weighting with an estimated propensity score. The EB weights are constructed to satisfy balance constraints and optimized towards stability. We describe large sample properties of EB estimators of the average causal treatment effect, based on the Kullback-Leibler and quadratic R\'enyi relative entropies. Additionally, we propose estimators of their asymptotic variances. Even though the objective of EB is to reduce model dependence, the estimators are generally not consistent unless implicit parametric assumptions for the propensity score or conditional outcomes are met. The finite sample properties of the estimators are investigated through a simulation study. In an application with observational data from the Swedish Childhood Diabetes Register, we estimate the average effect of school achievements on hospitalization due to acute complications of type 1 diabetes mellitus.


title: Learning Functional Distributional Semantics with Visual Data

abstract: Functional Distributional Semantics is a recently proposed framework for learning distributional semantics that provides linguistic interpretability. It models the meaning of a word as a binary classifier rather than a numerical vector. In this work, we propose a method to train a Functional Distributional Semantics model with grounded visual data. We train it on the Visual Genome dataset, which is closer to the kind of data encountered in human language acquisition than a large text corpus. On four external evaluation datasets, our model outperforms previous work on learning semantics from Visual Genome.


title: Weak and Strong Extremal Biquadratics

abstract: We study quasiconvex quadratic forms on $n \times m$ matrices which correspond to nonnegative biquadratic forms in $(n,m)$ variables. We disprove a conjecture stated by Harutyunyan--Milton (Comm. Pure Appl. Math. 70(11), 2017) as well as Harutyunyan--Hovsepyan (Arch. Ration. Mech. Anal. 244, 2022) that extremality in the cone of quasiconvex quadratic forms on $3\times 3$ matrices can follow only from the extremality of the determinant of its acoustic tensor, using previous work by Buckley--\v{S}ivic (Linear Algebra Appl. 598, 2020). Our main result is to establish a conjecture of Harutyunyan--Milton (Comm. Pure Appl. Math. 70(11), 2017) that weak extremal quasiconvex quadratics on $3 \times 3$ matrices are strong extremal. Our main technical ingredient is a generalization of the work of Kunert--Scheiderer on extreme nonnegative ternary sextics (Trans. Amer. Math. Soc. 370(6), 2018). Specifically, we show that a nonnegative ternary sextic, which is not a square, is extremal if and only if its variety (over the complex numbers) is a rational curve and all its singularities are real.


title: Log-Sobolev inequality and proof of Hypothesis of the Gaussian Maximizers for the capacity of quantum noisy homodyning

abstract: In the present paper we give proof that the information-transmission capacity of the approximate position measurement with the oscillator energy constraint, which underlies noisy Gaussian homodyning in quantum optics, is attained on Gaussian encoding. The proof is based on general principles of convex programming. Rather remarkably, for this particular model the method reduces the solution of the optimization problem to a generalization of the celebrated log-Sobolev inequality. We hope that this method should work also for other models lying out of the scope of the "threshold condition" ensuring that the upper bound for the capacity as a difference between the maximum and the minimum output entropies is attainable.


title: Solutions of a charged scalar field in five-dimensional helicoid solution with electromagnetic field

abstract: We study a charged and massive scalar field in the background of the Nutku-Ghezelbash-Kumar metric which is obtained by the addition of a time coordinate to the Nutku helicoid metric in a non-trivial way. The angular part of the Klein-Gordon equation can be written as a double confluent Heun equation. The radial equation cannot be solved in terms of a known function in its general form. However, in some special cases, the radial equation can also be written explicitly as a double confluent Heun equation. We study the full radial equation numerically and observe that the electromagnetic field parameter defines an effective cut-off on the range of the radial coordinate. Finally, we obtain a quasi-exact solution with an approximation.


title: Autoregressive Search Engines: Generating Substrings as Document Identifiers

abstract: Knowledge-intensive language tasks require NLP systems to both provide the correct answer and retrieve supporting evidence for it in a given corpus. Autoregressive language models are emerging as the de-facto standard for generating answers, with newer and more powerful systems emerging at an astonishing pace. In this paper we argue that all this (and future) progress can be directly applied to the retrieval problem with minimal intervention to the models' architecture. Previous work has explored ways to partition the search space into hierarchical structures and retrieve documents by autoregressively generating their unique identifier. In this work we propose an alternative that doesn't force any structure in the search space: using all ngrams in a passage as its possible identifiers. This setup allows us to use an autoregressive model to generate and score distinctive ngrams, that are then mapped to full passages through an efficient data structure. Empirically, we show this not only outperforms prior autoregressive approaches but also leads to an average improvement of at least 10 points over more established retrieval solutions for passage-level retrieval on the KILT benchmark, establishing new state-of-the-art downstream performance on some datasets, while using a considerably lighter memory footprint than competing systems. Code and pre-trained models at https://github.com/facebookresearch/SEAL.


title: MEKER: Memory Efficient Knowledge Embedding Representation for Link Prediction and Question Answering

abstract: Knowledge Graphs (KGs) are symbolically structured storages of facts. The KG embedding contains concise data used in NLP tasks requiring implicit information about the real world. Furthermore, the size of KGs that may be useful in actual NLP assignments is enormous, and creating embedding over it has memory cost issues. We represent KG as a 3rd-order binary tensor and move beyond the standard CP decomposition by using a data-specific generalized version of it. The generalization of the standard CP-ALS algorithm allows obtaining optimization gradients without a backpropagation mechanism. It reduces the memory needed in training while providing computational benefits. We propose a MEKER, a memory-efficient KG embedding model, which yields SOTA-comparable performance on link prediction tasks and KG-based Question Answering.


title: On the the missing diagrams in Category Theory (first-person version)

abstract: Most texts on Category Theory are written in a very terse style, in which people pretend a) that all concepts are visualizable, and b) that the readers can reconstruct the diagrams that the authors had in mind based on only the most essential cues. As an outsider I spent years believing that the techniques for drawing diagrams were part of the oral culture of the field, and that the insiders could read texts on CT reconstructing the "missing diagrams" in them line by line and paragraph by paragraph, and drawing for each page of text a page of diagrams with all the diagrams that the authors had omitted. My belief was wrong: there are lots of conventions for drawing diagrams scattered through the literature, but that unified diagrammatic language did not exist. In this chapter I will show an attempt to reconstruct that (imaginary) language for missing diagrams: we will see an extensible diagrammatic language, called DL, that follows the conventions of the diagrams in the literature of CT whenever possible and that seems to be adequate for drawing "missing diagrams" for Category Theory. Our examples include the "missing diagrams" for adjunctions, for the Yoneda Lemma, for Kan extensions, and for geometric morphisms, and how to formalize them in Agda.


title: Enough is Enough: Towards Autonomous Uncertainty-driven Stopping Criteria

abstract: Autonomous robotic exploration has long attracted the attention of the robotics community and is a topic of high relevance. Deploying such systems in the real world, however, is still far from being a reality. In part, it can be attributed to the fact that most research is directed towards improving existing algorithms and testing novel formulations in simulation environments rather than addressing practical issues of real-world scenarios. This is the case of the fundamental problem of autonomously deciding when exploration has to be terminated or changed (stopping criteria), which has not received any attention recently. In this paper, we discuss the importance of using appropriate stopping criteria and analyse the behaviour of a novel criterion based on the evolution of optimality criteria in active graph-SLAM.


abstract: In this article we study St\"{a}ckel representations of stationary KdV systems. Using Lax formalism we prove that these systems have two different representations as separable St\"{a}ckel systems of Benenti type, related with different foliations of the stationary manifold. We do it by constructing an explicit transformation between the jet coordinates of stationary KdV systems and separation variables of the corresponding Benenti systems for arbitrary number of degrees of freedom. Moreover, on the stationary manifold, we present the explicit form of Miura map between both representations of stationary KdV systems, which also yields their bi-Hamiltonian formulation.


title: Positivity of permutation pattern character polynomials

abstract: Let $N_\sigma(\pi)$ denote the number of occurrences of a permutation pattern $\sigma\in S_k$ in a permutation $\pi\in S_n$. Gaetz and Ryba (2021) showed using partition algebras that the $d$-th moment $M_{\sigma,d,n}(\pi)$ of $N_\sigma$ on the conjugacy class of $\pi$ is given by a polynomial in $n,m_1,\dots,m_{dk}$, where $m_i$ denotes the number of $i$-cycles of $\pi$. They also showed that the coefficient $\langle \chi^{\lambda[n]}, M_{\sigma,d,n}\rangle$ agrees with a polynomial $a_{\sigma,d}^\lambda(n)$ in $n$. This work is motivated by the conjecture that when $\sigma=\text{id}_k$ is the identity permutation, all of these coefficients are nonnegative. We directly compute closed forms for the polynomials $a_{\text{id}_k}^{\lambda}(n)$ in the cases $\lambda=(1),(1,1),$ and $(2)$, and use this to verify the positivity conjecture for those cases by showing that the polynomials are real-rooted with all roots less than $k$. We also study the case $a_{\sigma}^{(1)}(n)$, for which we give a formula for the polynomials and their leading coefficients.


title: Existence and asymptotic behavior of normalized ground states for Sobolev critical Schr\"odinger systems

abstract: The paper is concerned with the existence and asymptotic properties of normalized ground states of the following nonlinear Schr\"odinger system with critical exponent: \begin{equation*} \left\{\begin{aligned} &-\delta u+\lambda_1 u=|u|^{2^*-2}u+{\nu\alpha} |u|^{\alpha-2}|v|^\beta u,\quad \text{in }\mathbb{R}^N, &-\delta v+\lambda_2 v=|v|^{2^*-2}v+{\nu\beta} |u|^\alpha |v|^{\beta-2}v,\quad \text{in }\mathbb{R}^N, &\int u^2=a^2,\;\;\; \int v^2=b^2, \end{aligned} \right. \end{equation*} where $N=3,4$, $\alpha,\beta>1$, $2<\alpha+\beta<2^*=\frac{2N}{N-2}$. We prove that a normalized ground state does not exist for $\nu<0$. When $\nu>0$ and $\alpha+\beta\le 2+\frac{4}{N}$, we show that the system has a normalized ground state solution for $0<\nu<\nu_0$, the constant $\nu_0$ will be explicitly given. In the case $\alpha+\beta>2+\frac{4}{N}$ we prove the existence of a threshold $\nu_1\ge 0$ such that a normalized ground state solution exists for $\nu>\nu_1$, and does not exist for $\nu<\nu_1$. We also give conditions for $\nu_1=0$. Finally we obtain the asymptotic behavior of the minimizers as $\nu\to0^+$ or $\nu\to+\infty$.


title: On critical variable-order Kirchhoff type problems with variable singular exponent

abstract: We establish a continuous embedding $W^{s(\cdot),2}(\Omega)\hookrightarrow L^{\alpha(\cdot)}(\Omega)$, where the variable exponent $\alpha(x)$ can be close to the critical exponent $2_{s}^*(x)=\frac{2N}{N-2\bar{s}(x)}$, with $\bar{s}(x)=s(x,x)$ for all $x\in\bar{\Omega}$. Subsequently, this continuous embedding is used to prove the multiplicity of solutions for critical nonlocal degenerate Kirchhoff problems with a variable singular exponent. Moreover, we also obtain the uniform $L^{\infty}$-estimate of these infinite solutions by a bootstrap argument.


title: Ontology-based system to support industrial system design for aircraft assembly

abstract: The development of an aircraft industrial system is a complex process which faces the challenge of digital discontinuity in multidisciplinary engineering due to various interfaces between different digital tools, leading to extra development time and costs. This paper proposes an ontology-based system, aiming at functionality integration and design process automation, by Models for Manufacturing methodology principles. A tool-agnostic modelling, simulation and validation platform with Discrete Event Simulation and 3D simulation is enabled and demonstrated in a real case study. An ontology layer collecting the domain knowledge enables integration of the proposed system, accelerating the design process and enhancing design quality.


title: Ramification theory for reciprocity sheaves, III, Abbes-Saito formula

abstract: We give a new geometric characterization of the motivic ramification filtration of reciprocity sheaves, by imitating a method used by Abbes and (Takeshi) Saito to study the ramification of torsors under finite \'etale groups. This new characterization is used to define characteristic forms for reciprocity sheaves. We obtain applications on pseudo-rational singularities and on questions regarding the representability of certain cohomology groups of reciprocity sheaves in the triangulated category of motives with modulus introduced by Kahn-Miyazaki-Saito-Yamazaki.


title: Dynamic Prototype Convolution Network for Few-Shot Semantic Segmentation

abstract: The key challenge for few-shot semantic segmentation (FSS) is how to tailor a desirable interaction among support and query features and/or their prototypes, under the episodic training scenario. Most existing FSS methods implement such support-query interactions by solely leveraging plain operations - e.g., cosine similarity and feature concatenation - for segmenting the query objects. However, these interaction approaches usually cannot well capture the intrinsic object details in the query images that are widely encountered in FSS, e.g., if the query object to be segmented has holes and slots, inaccurate segmentation almost always happens. To this end, we propose a dynamic prototype convolution network (DPCN) to fully capture the aforementioned intrinsic details for accurate FSS. Specifically, in DPCN, a dynamic convolution module (DCM) is firstly proposed to generate dynamic kernels from support foreground, then information interaction is achieved by convolution operations over query features using these kernels. Moreover, we equip DPCN with a support activation module (SAM) and a feature filtering module (FFM) to generate pseudo mask and filter out background information for the query images, respectively. SAM and FFM together can mine enriched context information from the query features. Our DPCN is also flexible and efficient under the k-shot FSS setting. Extensive experiments on PASCAL-5i and COCO-20i show that DPCN yields superior performances under both 1-shot and 5-shot settings.


title: Simulating all multipartite non-signalling channels via quasiprobabilistic mixtures of local channels in generalised probabilistic theories

abstract: Non-signalling quantum channels -- relevant in, e.g., the study of Bell and Einstein-Podolsky-Rosen scenarios -- may be simulated via affine combinations of local operations in bipartite scenarios. Moreover, when these channels correspond to stochastic maps between classical variables, such simulation is possible even in multipartite scenarios. These two results have proven useful when studying the properties of these channels, such as their communication and information processing power, and even when defining measures of the non-classicality of physical phenomena (such as Bell non-classicality and steering). In this paper we show that such useful quasi-stochastic characterizations of channels may be unified and applied to the broader class of multipartite non-signalling channels. Moreover, we show that this holds for non-signalling channels in quantum theory, as well as in a larger family of generalised probabilistic theories. More precisely, we prove that non-signalling channels can always be simulated by affine combinations of corresponding local operations, provided that the underlying physical theory is locally tomographic -- a property that quantum theory satisfies. Our results then can be viewed as a generalisation of Refs.~[Phys. Rev. Lett. 111, 170403] and [Phys. Rev. A 88, 022318 (2013)] to the multipartite scenario for arbitrary tomographically local generalised probabilistic theories (including quantum theory). Our proof technique leverages Hardy's duotensor formalism, highlighting its utility in this line of research.


title: W$^\pm$-boson production in p$-$Pb collisions at $\sqrt{s_{NN}} = 8.16$ TeV and PbPb collisions at $\sqrt{s_{NN}} = 5.02$ TeV

abstract: The production of the W$^\pm$ bosons measured in p$-$Pb collisions at a centre-of-mass energy per nucleon$-$nucleon collision $\sqrt{s_{NN}} = 8.16$ TeV and Pb$-$Pb collisions at $\sqrt{s_{NN}} = 5.02$ TeV with ALICE at the LHC is presented. The W$^\pm$ bosons are measured via their muonic decay channel, with the muon reconstructed in the pseudorapidity region $-4 < \eta^\mu_{\rm lab} < -2.5$ with transverse momentum $p_{\rm T}^\mu > 10$ GeV/$c$. While in Pb$-$Pb collisions the measurements are performed in the forward ($2.5 < y^\mu_{\rm cms} < 4$) rapidity region, in p$-$Pb collisions, where the centre-of-mass frame is boosted with respect to the laboratory frame, the measurements are performed in the backward ($-4.46 < y^\mu_{\rm cms} < -2.96$) and forward ($2.03 < y^\mu_{\rm cms} < 3.53$) rapidity regions. The W$^{-}$ and W$^{+}$ production cross sections, lepton-charge asymmetry, and nuclear modification factors are evaluated as a function of the muon rapidity. In order to study the production as a function of the p$-$Pb collision centrality, the production cross sections of the W$^{-}$ and W$^{+}$ bosons are combined and normalised to the average number of binary nucleon$-$nucleon collision $\langle N_\mathrm{coll} \rangle$. In Pb$-$Pb collisions, the same measurements are presented as a function of the collision centrality. Study of the binary scaling of the W$^\pm$-boson cross sections in p$-$Pb and Pb$-$Pb collisions is also reported. The results are compared with perturbative QCD (pQCD) calculations, with and without nuclear modifications of the Parton Distribution Functions (PDFs), as well as with available data at the LHC. Significant deviations from the theory expectations are found in the two collision systems, indicating that the measurements can provide additional constraints for the determination of nuclear PDF (nPDFs) and in particular of the light-quark distributions.


title: Pre-train a Discriminative Text Encoder for Dense Retrieval via Contrastive Span Prediction

abstract: Dense retrieval has shown promising results in many information retrieval (IR) related tasks, whose foundation is high-quality text representation learning for effective search. Some recent studies have shown that autoencoder-based language models are able to boost the dense retrieval performance using a weak decoder. However, we argue that 1) it is not discriminative to decode all the input texts and, 2) even a weak decoder has the bypass effect on the encoder. Therefore, in this work, we introduce a novel contrastive span prediction task to pre-train the encoder alone, but still retain the bottleneck ability of the autoencoder. % Therefore, in this work, we propose to drop out the decoder and introduce a novel contrastive span prediction task to pre-train the encoder alone. The key idea is to force the encoder to generate the text representation close to its own random spans while far away from others using a group-wise contrastive loss. In this way, we can 1) learn discriminative text representations efficiently with the group-wise contrastive learning over spans and, 2) avoid the bypass effect of the decoder thoroughly. Comprehensive experiments over publicly available retrieval benchmark datasets show that our approach can outperform existing pre-training methods for dense retrieval significantly.


title: Quantum Unique Ergodicity for Cayley graphs of quasirandom groups

abstract: A finite group $G$ is called $C$-quasirandom (by Gowers) if all non-trivial irreducible complex representations of $G$ have dimension at least $C$. For any unit $\ell^{2}$ function on a finite group we associate the quantum probability measure on the group given by the absolute value squared of the function. We show that if a group is highly quasirandom, in the above sense, then any Cayley graph of this group has an orthonormal eigenbasis of the adjacency operator such that the quantum probability measures of the eigenfunctions put close to the correct proportion of their mass on subsets of the group that are not too small.


title: Quantum Proof of Work with Parametrized Quantum Circuits

abstract: Despite all the progress in quantum technologies over the last decade, there is still a dearth of practical applications for quantum computers with a small number of noisy qubits. The effort to show quantum supremacy has been largely focused on demonstrating computations that cannot be accomplished on a classical computer at all, a difficult and controversial target. Quantum advantage (a speedup over classical computers) is a more practical milestone for today's modest quantum processors. In this work, we proposed a scheme for quantum-computer compatible proof of work (cryptographic mechanism used in Bitcoin mining) and verified it on a 4-qubit superconducting quantum node.


title: Dense random packing with a power-law size distribution: the structure factor, mass-radius relation, and pair distribution function

abstract: We consider dense random packing of disks with a power-law distribution of radii and investigate their correlation properties. We study the corresponding structure factor, mass-radius relation and pair distribution function of the disk centers. A toy model of dense segments in one dimension (1d) is solved exactly. It is shown theoretically in 1d and numerically in 1d and 2d that such packing exhibits fractal properties. It is found that the exponent of the power-law distribution and the fractal dimension coincide. An approximate relation for the structure factor in arbitrary dimension is derived, which can be used as a fitting formula in small-angle scattering. The findings can be useful for understanding microstructural properties of various systems like ultra-high performance concrete, high-internal-phase ratio emulsions or biological systems.


title: A robust Bayesian bias-adjusted random effects model for consideration of uncertainty about bias terms in evidence synthesis

abstract: Meta-analysis is a statistical method used in evidence synthesis for combining, analyzing and summarizing studies that have the same target endpoint and aims to derive a pooled quantitative estimate using fixed and random effects models or network models. Differences among included studies depend on variations in target populations (i.e. heterogeneity) and variations in study quality due to study design and execution (i.e. bias). The risk of bias is usually assessed qualitatively using critical appraisal, and quantitative bias analysis can be used to evaluate the influence of bias on the quantity of interest. We propose a way to consider ignorance or ambiguity in how to quantify bias terms in a bias analysis by characterizing bias with imprecision (as bounds on probability) and use robust Bayesian analysis to estimate the overall effect. Robust Bayesian analysis is here seen as Bayesian updating performed over a set of coherent probability distributions, where the set emerges from a set of bias terms. We show how the set of bias terms can be specified based on judgments on the relative magnitude of biases (i.e., low, unclear and high risk of bias) in one or several domains of the Cochrane's risk of bias table. For illustration, we apply a robust Bayesian bias-adjusted random effects model to an already published meta-analysis on the effect of Rituximab for rheumatoid arthritis from the Cochrane Database of Systematic Reviews.


title: Measuring the Salad Bowl: Superdiversity on Twitter

abstract: Superdiversity refers to large cultural diversity in a population due to immigration. In this paper, we introduce a superdiversity index based on the changes in the emotional content of words used by a multi-cultural community, compared to the standard language. To compute our index we use Twitter data and we develop an algorithm to extend a dictionary for lexicon-based sentiment analysis. We validate our index by comparing it with official immigration statistics available from the European Commission's Joint Research Center, through the D4I data challenge. We show that, in general, our measure correlates with immigration rates, at various geographical resolutions. Our method produces very good results across languages, being tested here both on English and Italian tweets. We argue that our index has predictive power in regions where exact data on immigration is not available, paving the way for a nowcasting model of immigration rates.


title: Log-based Sparse Nonnegative Matrix Factorization for Data Representation

abstract: Nonnegative matrix factorization (NMF) has been widely studied in recent years due to its effectiveness in representing nonnegative data with parts-based representations. For NMF, a sparser solution implies better parts-based representation.However, current NMF methods do not always generate sparse solutions.In this paper, we propose a new NMF method with log-norm imposed on the factor matrices to enhance the sparseness.Moreover, we propose a novel column-wisely sparse norm, named $\ell_{2,\log}$-(pseudo) norm to enhance the robustness of the proposed method.The $\ell_{2,\log}$-(pseudo) norm is invariant, continuous, and differentiable.For the $\ell_{2,\log}$ regularized shrinkage problem, we derive a closed-form solution, which can be used for other general problems.Efficient multiplicative updating rules are developed for the optimization, which theoretically guarantees the convergence of the objective value sequence.Extensive experimental results confirm the effectiveness of the proposed method, as well as the enhanced sparseness and robustness.


title: Exposure Correction Model to Enhance Image Quality

abstract: Exposure errors in an image cause a degradation in the contrast and low visibility in the content. In this paper, we address this problem and propose an end-to-end exposure correction model in order to handle both under- and overexposure errors with a single model. Our model contains an image encoder, consecutive residual blocks, and image decoder to synthesize the corrected image. We utilize perceptual loss, feature matching loss, and multi-scale discriminator to increase the quality of the generated image as well as to make the training more stable. The experimental results indicate the effectiveness of proposed model. We achieve the state-of-the-art result on a large-scale exposure dataset. Besides, we investigate the effect of exposure setting of the image on the portrait matting task. We find that under- and overexposed images cause severe degradation in the performance of the portrait matting models. We show that after applying exposure correction with the proposed model, the portrait matting quality increases significantly. https://github.com/yamand16/ExposureCorrection


title: Choice of mixture Poisson models based on Extreme value theory

abstract: Count data are omnipresent in many applied fields, often with overdispersion due to an excess of zeroes or extreme values. With mixtures of Poisson distributions representing an elegant and appealing modelling strategy, we focus here on the challenging problem of identifying a suitable mixing distribution and study how extreme value theory can be used. We propose an original strategy to select the most appropriate candidate among three categories: Fr{\'e}chet, Gumbel and pseudo-Gumbel. Such an approach is presented with the aid of a decision tree and evaluated with numerical simulations.


title: How Friedmann Shod Einstein

abstract: Exactly one hundred years ago, in May 1922, Alexander Friedmann discovered that General Relativity (GR) predicts non-stationary Universe. His equation describing the evolution of the Universe is now named after him. In this paper we briefly recall the human and scientific aspects of this revolutionary change in our picture of the world. We also recall that immediately after finishing his seminal paper Friedmann wrote a book on GR for a wide audience. In that book he presented an impressive picture of the expanding Universe created from nothing.


title: Natural separation of two primordial planetary reservoirs in an expanding solar protoplanetary disk

abstract: Meteorites display an isotopic composition dichotomy between non-carbonaceous (NC) and carbonaceous (CC) groups, indicating that planetesimal formation in the solar protoplanetary disk occurred in two distinct reservoirs. The prevailing view is that a rapidly formed Jupiter acted as a barrier between these reservoirs. We show a fundamental inconsistency in this model: if Jupiter is an efficient blocker of drifting pebbles, then the interior NC reservoir is depleted by radial drift within a few hundred thousand years. If Jupiter lets material pass it, then the two reservoirs will be mixed. Instead, we demonstrate that the arrival of the CC pebbles in the inner disk is delayed for several million years by the viscous expansion of the protoplanetary disk. Our results support that Jupiter formed in the outer disk (>10 AU) and allowed a considerable amount of CC material to pass it and become accreted by the terrestrial planets.


title: Design and Implementation of EEG-Mechatronic System Interface for Computational Intelligence

abstract: The devices that can read Electroencephalography (EEG) signals have been widely used for Brain-Computer Interfaces (BCIs). Popularity in the field of BCIs has increased in recent years with the development of several consumer-grade EEG devices that can detect human cognitive states in real-time and deliver feedback to enhance human performance. Several studies are conducted to understand the fundamentals and essential aspects of EEG in BCIs. However, the significant issue of how can consumer-grade EEG devices be used to control mechatronic systems effectively has been given less attention. In this paper, we have designed and implemented an EEG BCI system using the OpenBCI Cyton headset and a user interface running a game. We employ real-world participants to play a game to gather training data that was later put into multiple machine learning models, including a linear discriminant analysis (LDA), k-nearest neighbours (KNN), and a convolutional neural network (CNN). After training the machine learning models, a validation phase of the experiment took place where participants tried to play the same game but without direct control, utilising the outputs of the machine learning models to determine how the game moved. We find that a CNN trained to the specific user playing the game performed with the highest activation accuracy from the machine learning models tested, allowing for future implementation with a mechatronic system.


title: On systems of particles in singular repulsive interaction in dimension one : log and Riesz gas

abstract: In this article, we prove the first quantitative uniform in time propagation of chaos for a class of systems of particles in singular repulsive interaction in dimension one that contains the Dyson Brownian motion. We start by establishing existence and uniqueness for the Riesz gases, before proving propagation of chaos with an original approach to the problem, namely coupling with a Cauchy sequence type argument. We also give a general argument to turn a result of weak propagation of chaos into a strong and uniform in time result using the long time behavior and some bounds on moments, in particular enabling us to get a uniform in time version of the result of C\'epa-L\'epingle.


title: On functional limit theorems for branching processes with dependent immigration

abstract: In this paper we consider a triangular array of branching processes with non-stationary immigration. We prove a weak convergence of properly normalized branching processes with immigration to deterministic function under assumption that immigration is rowwise $\psi-$mixing and the offspring mean tends to its critical value 1, immigration mean and variance controlled by regularly varying functions. Moreover, we obtain a fluctuation limit theorem for branching process with immigration when immigration is $m-$dependent where $m$ may tend to infinity with the row index at a certain rate. In this case the limiting process is a time-changed Wiener process. Our results extend and improve the previous known results in the literature.


title: Use of Context in Data Quality Management: a Systematic Literature Review

abstract: The importance of context in data quality (DQ) was shown many years ago and nowadays is widely accepted. Early approaches and surveys defined DQ as \textit{fitness for use} and showed the influence of context on DQ. This paper presents a Systematic Literature Review (SLR) for investigating how context is taken into account in recent proposals for DQ management. We specifically present the planning and execution of the SLR, the analysis criteria and our results reflecting the relationship between context and DQ in the state of the art and, particularly, how that context is defined and used for DQ management.


title: Shear viscosity for finitely extensible chains with fluctuating internal friction and hydrodynamic interactions

abstract: An exact solution of coarse-grained polymer models with fluctuating internal friction and hydrodynamic interactions has not been proposed so far due to a one-to-all coupling between the connector vector velocities that precludes the formulation of the governing stochastic differential equations. A methodology for the removal of this coupling is presented, and the governing stochastic differential equations, obtained by attaching a kinetic interpretation to the Fokker-Planck equation for the system, are integrated numerically using Brownian dynamics simulations. The proposed computational route eliminates the calculation of the divergence of the diffusion tensor which appears in models with internal friction, and is about an order of magnitude faster than the recursion-based algorithm for the decoupling of connector-vector velocities previously developed [J. Rheol., 65, 903 (2021)] for the solution of freely draining models with internal friction. The effects of the interplay of various combinations of finite extensibility, internal friction and hydrodynamic interactions on the steady-shear-viscosity is examined. While finite extensibility leads solely to shear-thinning, both internal friction and hydrodynamic interactions result in shear-thinning followed by shear-thickening. The shear-thickening induced by internal friction effects are more pronounced than that due to hydrodynamic interactions.


title: Signatures of topotactic hydrogen in nickelate superconductors

abstract: Superconductivity has entered the nickel age marked by enormous experimental and theoretical efforts. Notwithstanding, synthesizing nickelate superconductors remains extremely challenging, not least due to incomplete oxygen reduction and topotactic hydrogen. Here, we present density-functional theory calculations, identify a phonon mode as a possible indication for topotactic hydrogen and discuss the charge redistribution patterns around oxygen and hydrogen impurities.


title: Sequential Learning and Economic Benefits from Dynamic Term Structure Models

abstract: We explore the statistical and economic importance of restrictions on the dynamics of risk compensation from the perspective of a real-time Bayesian learner who predicts bond excess returns using dynamic term structure models (DTSMs). The question on whether potential statistical predictability offered by such models can generate economically significant portfolio benefits out-of-sample, is revisited while imposing restrictions on their risk premia parameters. To address this question, we propose a methodological framework that successfully handles sequential model search and parameter estimation over the restriction space in real time, allowing investors to revise their beliefs when new information arrives, thus informing their asset allocation and maximising their expected utility. Empirical results reinforce the argument of sparsity in the market price of risk specification since we find strong evidence of out-of-sample predictability only for those models that allow for level risk to be priced and, additionally, only one or two of these risk premia parameters to be different than zero. Most importantly, such statistical evidence is turned into economically significant utility gains, across prediction horizons, different time periods and portfolio specifications. In addition to identifying successful DTSMs, the sequential version of the stochastic search variable selection (SSVS) scheme developed can be applied on its own and also offer useful diagnostics monitoring key quantities over time. Connections with predictive regressions are also provided.


title: Evaluating the Reliability of Air Temperature from ERA5 Reanalysis Data

abstract: The reliability of ERA5 satellite-based air temperature data is under investigation in this paper. To evaluate this, the ERA5 data will be compared with land-based data obtained from weather stations on the Global Historical Climatology Network. Two climate regions are taken into consideration, temperate and tropical. Five years' worth of data is collected and compared through box plots, regression models and statistical metrics. The results show that the satellite temperature performs better in the temperate region than the tropical region. This suggests that the time of year and climate region have an impact on the accuracy of the satellite data as milder temperatures produce better approximations.


title: On $\mathcal{I}$-convergence of sequences of functions and uniform conjugacy

abstract: In this paper we introduce the notion of $\mathcal{I^*}\text{-}\alpha$-uniform equal convergence and $\mathcal{I^*}\text{-}\alpha$-strong uniform equal convergence of sequences of functions and then investigate some lattice properties of $\Phi ^{\mathcal{I^*}\text{-}\alpha\text{-}u.e.}$ and $\Phi ^{\mathcal{I^*}\text{-}\alpha \text{-}s.u.e.}$, the classes of all functions which are $\mathcal{I^*}\text{-}\alpha$-uniform equal limits and $\mathcal{I^*}\text{-}\alpha$-strong uniform equal limits of sequences of functions respectively obtained from a class of functions $\Phi$. We have also shown that $\mathcal{I}$-exhaustiveness, $\mathcal{I}$-uniform and $\mathcal{I}\text{-}\alpha$- convergence of sequences of functions are preserved under uniform conjugacy


title: Complex Langevin approach to interacting Bose gases

abstract: Quantitative numerical analyses of interacting dilute Bose-Einstein condensates are most often based on semi-classical approximations. Since the complex-valued field-theoretic action of the Bose gas does not offer itself to the direct application of standard Monte Carlo techniques, simulations beyond their scope by now almost exclusively rely on quantum-mechanical techniques. Here we explore an alternative approach based on a Langevin-type sampling in an extended state space, known as complex Langevin (CL) algorithm. While the use of the CL technique has a long-standing history in high-energy physics, in particular in the simulation of QCD at finitebaryon density, applications to ultracold atoms are still in their infancy. Here we examine the applicability of the CL approach for a one- and two-component, three-dimensional non-relativistic Bose gas in thermal equilibrium, below and above the Bose-Einstein phase transition. By comparison with analytic descriptions at the Gaussian level, including Bogoliubov and Hartree-Fock theory, we find that the method allows computing reliably and efficiently observables in the regime of experimentally accessible parameters. Close to the transition, quantum corrections lead to a shift of the critical temperature which we reproduce within the numerical range known in the literature. With this work, we aim to provide a first test of CL as a potential out-of-the-box tool for the simulation of experimentally realistic situations, including trapping geometries and multicomponent/-species models.


title: OPerA: Object-Centric Performance Analysis

abstract: Performance analysis in process mining aims to provide insights on the performance of a business process by using a process model as a formal representation of the process. Such insights are reliably interpreted by process analysts in the context of a model with formal semantics. Existing techniques for performance analysis assume that a single case notion exists in a business process (e.g., a patient in healthcare process). However, in reality, different objects might interact (e.g., order, item, delivery, and invoice in an O2C process). In such a setting, traditional techniques may yield misleading or even incorrect insights on performance metrics such as waiting time. More importantly, by considering the interaction between objects, we can define object-centric performance metrics such as synchronization time, pooling time, and lagging time. In this work, we propose a novel approach to performance analysis considering multiple case notions by using object-centric Petri nets as formal representations of business processes. The proposed approach correctly computes existing performance metrics, while supporting the derivation of newly-introduced object-centric performance metrics. We have implemented the approach as a web application and conducted a case study based on a real-life loan application process.


title: 3D pride without 2D prejudice: Bias-controlled multi-level generative models for structure-based ligand design

abstract: Generative models for structure-based molecular design hold significant promise for drug discovery, with the potential to speed up the hit-to-lead development cycle, while improving the quality of drug candidates and reducing costs. Data sparsity and bias are, however, two main roadblocks to the development of 3D-aware models. Here we propose a first-in-kind training protocol based on multi-level contrastive learning for improved bias control and data efficiency. The framework leverages the large data resources available for 2D generative modelling with datasets of ligand-protein complexes. The result are hierarchical generative models that are topologically unbiased, explainable and customizable. We show how, by deconvolving the generative posterior into chemical, topological and structural context factors, we not only avoid common pitfalls in the design and evaluation of generative models, but furthermore gain detailed insight into the generative process itself. This improved transparency significantly aids method development, besides allowing fine-grained control over novelty vs familiarity.


title: i-GSI: A Fast and Reliable Grasp-type Switching Interface based on Augmented Reality and Eye-tracking

abstract: The control of multi-fingered dexterous prosthetics hand remains challenging due to the lack of an intuitive and efficient Grasp-type Switching Interface (GSI). We propose a new GSI (i-GSI) t hat integrates the manifold power of eye-tracking and augmentced reality technologies to solve this problem. It runs entirely in a HoloLens2 helmet, where users can glance at icons on the holographic interface to switch between six daily grasp types quickly. Compared to traditional GSIs (FSM-based, PR-based, and mobile APP-based), i-GSI achieved the best results in the experiment with eight healthy subjects, achieving a switching time of 0.84 s, a switching success rate of 99.0%, and learning efficiency of 93.50%. By verifying on one patient with a congenital upper limb deficiency, i-GSI achieved an equivalent great outcome as on healthy people, with a switching time of 0.78 s and switching success rate of 100%. The new i-GSI, as a standalone module, can be combined with traditional proportional myoelectric control to form a hybrid-controlled prosthetic system that can help patients accomplish dexterous operations in various daily-life activities.


title: Manifestation of Majorana modes overlap in the Aharonov-Bohm effect

abstract: One of the key features of the Majorana bound states emerging in topological superconducting (SC) wires is increasing oscillations of their energy under the growth of magnetic field or chemical potential due to concomitant enhancement of hybridization of the Majorana mode wave functions initially localized at the opposite edges of the structure. In this study we found that the other consequence of it is a shift of Aharonov-Bohm (AB) oscillations of linear-response conductance in an interference device where two ends of the SC wire connected with a normal contact via non-SC wires (arms). In addition, it is accompanied by an oscillation period doubling. The numerical calculations for the spinful system are supported by the analytical results for different spinless models allowing to track the conductance evolution as the hybridization of the Majorana modes increases. It is shown that since the coupling between the different arms and normal contact is implemented only via the different-type Majoranas the AB oscillations acquire a fundamental {\pi}/2 shift in comparison with the effect for an analogous system of zero-energy quantum dots.


title: Some results on the super domination number of a graph

abstract: Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $S\subseteq V$ such that every vertex not in $S$ is adjacent to at least one vertex in $S$. The cardinality of a smallest dominating set of $G$, denoted by $\gamma(G)$, is the domination number of $G$. A dominating set $S$ is called a super dominating set of $G$, if for every vertex $u\in \overline{S}=V-S$, there exists $v\in S$ such that $N(v)\cap \overline{S}=\{u\}$. The cardinality of a smallest super dominating set of $G$, denoted by $\gamma_{sp}(G)$, is the super domination number of $G$. In this paper, we study super domination number of some graph classes and present sharp bounds for some graph operations.


title: DFAM-DETR: Deformable feature based attention mechanism DETR on slender object detection

abstract: Object detection is one of the most significant aspects of computer vision, and it has achieved substantial results in a variety of domains. It is worth noting that there are few studies focusing on slender object detection. CNNs are widely employed in object detection, however it performs poorly on slender object detection due to the fixed geometric structure and sampling points. In comparison, Deformable DETR has the ability to obtain global to specific features. Even though it outperforms the CNNs in slender objects detection accuracy and efficiency, the results are still not satisfactory. Therefore, we propose Deformable Feature based Attention Mechanism (DFAM) to increase the slender object detection accuracy and efficiency of Deformable DETR. The DFAM has adaptive sampling points of deformable convolution and attention mechanism that aggregate information from the entire input sequence in the backbone network. This improved detector is named as Deformable Feature based Attention Mechanism DETR (DFAM- DETR). Results indicate that DFAM-DETR achieves outstanding detection performance on slender objects.


title: The Hubble constant from two sibling Type Ia supernovae in the nearby galaxy NGC 4414: SN 1974G and SN 2021J

abstract: Having two "sibling" Type Ia supernovae (SNe Ia) in the same galaxy offers additional advantages in reducing a variety of systematic errors involved in estimating the Hubble constant, $H_{0}$. NGC 4414 is a nearby galaxy included in the Hubble Space Telescope Key Project to measure its distance using Cepheid variables. It hosts two sibling SNe Ia: SN 2021J and SN 1974G. This provides the opportunity to improve the precision of the previous estimate of $H_{0}$, which was based solely on SN 1974G. Here we present new optical $BVRI$ photometry obtained at the Observatorio de Sierra Nevada and complement it with Swift UVOT $UBV$ data, which cover the first 70 days of emission of SN 2021J. A first look at SN 2021J optical spectra obtained with the Gran Telescopio Canarias (GTC) reveals typical SN type Ia features. The main SN luminosity parameters for the two sibling SNe are obtained by using SNooPy, a light curve fitting code based on templates. Using a hierarchical bayesian approach, we build the Hubble diagram with a sample of 96 SNe Ia obtained from the Combined Pantheon Sample in the redshift range $z = 0.02-0.075$, and calibrate the zero point with the two sibling type-Ia SNe in NGC 4414. We report a value of the Hubble constant $H_{0}$ $= 72.19 \pm 2.32$ (stat.) $\pm 3.42$ (syst.) km s$^{-1}$Mpc$^{-1}$. We expect a reduction of the systematic error after a new analysis of the Cepheids period-luminosity relation using the upcoming Gaia DR4 and additional Cepheids from the HST and JWST.


title: Risk Awareness in HTN Planning

abstract: Actual real-world domains are characterised by uncertain situations in which acting and use of resources require embracing risk. Performing actions in such domains always entails costs of consuming some resource, such as time, money, or energy, where the knowledge about these costs can range from totally known to totally unknown and even unknowable probabilities of costs. Think of robotic domains, where actions and their costs are non-deterministic due to uncertain factors like obstacles. Choosing which action to perform considering its cost on the available resource requires taking a stance on risk. Thus, these domains call for not only planning under uncertainty but also planning while embracing risk. Taking Hierarchical Task Network (HTN) planning as a widely used planning technique in real-world applications, one can observe that existing approaches do not account for risk. That is, computing most probable or optimal plans using actions with single-valued costs is only enough to express risk neutrality. In this work, we postulate that HTN planning can become risk aware by considering expected utility theory, a representative concept of decision theory that enables choosing actions considering a probability distribution of their costs and a given risk attitude expressed using a utility function. In particular, we introduce a general framework for HTN planning that allows modelling risk and uncertainty using a probability distribution of action costs upon which we define risk-aware HTN planning as an approach that accounts for the different risk attitudes and allows computing plans that go beyond risk neutrality. In fact, we layout that computing risk-aware plans requires finding plans with the highest expected utility. Finally, we argue that it is possible for HTN planning agents to solve specialised risk-aware HTN planning problems by adapting some existing HTN planning approaches.


title: Paramixer: Parameterizing Mixing Links in Sparse Factors Works Better than Dot-Product Self-Attention

abstract: Self-Attention is a widely used building block in neural modeling to mix long-range data elements. Most self-attention neural networks employ pairwise dot-products to specify the attention coefficients. However, these methods require $O(N^2)$ computing cost for sequence length $N$. Even though some approximation methods have been introduced to relieve the quadratic cost, the performance of the dot-product approach is still bottlenecked by the low-rank constraint in the attention matrix factorization. In this paper, we propose a novel scalable and effective mixing building block called Paramixer. Our method factorizes the interaction matrix into several sparse matrices, where we parameterize the non-zero entries by MLPs with the data elements as input. The overall computing cost of the new building block is as low as $O(N \log N)$. Moreover, all factorizing matrices in Paramixer are full-rank, so it does not suffer from the low-rank bottleneck. We have tested the new method on both synthetic and various real-world long sequential data sets and compared it with several state-of-the-art attention networks. The experimental results show that Paramixer has better performance in most learning tasks.


title: Exponential Separation between Quantum and Classical Ordered Binary Decision Diagrams, Reordering Method and Hierarchies

abstract: In this paper, we study quantum Ordered Binary Decision Diagrams($OBDD$) model; it is a restricted version of read-once quantum branching programs, with respect to "width" complexity. It is known that the maximal gap between deterministic and quantum complexities is exponential. But there are few examples of functions with such a gap. We present a new technique ("reordering") for proving lower bounds and upper bounds for OBDD with an arbitrary order of input variables if we have similar bounds for the natural order. Using this transformation, we construct a total function $REQ$ such that the deterministic $OBDD$ complexity of it is at least $2^{\Omega(n / \log n)}$, and the quantum $OBDD$ complexity of it is at most $O(n^2/\log n)$. It is the biggest known gap for explicit functions not representable by $OBDD$s of a linear width. Another function(shifted equality function) allows us to obtain a gap $2^{\Omega(n)}$ vs $O(n^2)$. Moreover, we prove the bounded error quantum and probabilistic $OBDD$ width hierarchies for complexity classes of Boolean functions. Additionally, using "reordering" method we extend a hierarchy for read-$k$-times Ordered Binary Decision Diagrams ($k$-$OBDD$) of polynomial width, for $k = o(n / \log^3 n)$. We prove a similar hierarchy for bounded error probabilistic $k$-$OBDD$s of polynomial, superpolynomial and subexponential width. The extended abstract of this work was presented on International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8 -- 12, 2017


title: A systematic review of guidelines for the use of race, ethnicity, and ancestry reveals widespread consensus but also points of ongoing disagreement

abstract: The use of population descriptors like race, ethnicity, and ancestry in science, medicine and public health has a long, complicated, and at times dark history, particularly for genetics, given the field's perceived importance for understanding between-group differences. The historical and potential harms that come with irresponsible use of these categories suggests a clear need for definitive guidance about when and how they can be used appropriately. However, while many prior authors have provided such guidance, no established consensus exists, and the extant literature has not been examined for implied consensus and sources of disagreement. Here we present the results of a systematic review of published normative recommendations regarding the use of population categories, particularly in genetics research. Following PRISMA guidelines, we extracted recommendations from n=121 articles matching inclusion criteria. Articles were published consistently throughout the time period examined and in a broad range of journals, demonstrating an ongoing and interdisciplinary perceived need for guidance. Examined recommendations fall under one of eight themes identified during analysis. Seven are characterized by broad agreement across articles; one, Appropriate definitions of population categories and contexts for use, revealed substantial fundamental disagreement among articles. While many articles focus on the inappropriate use of race, none fundamentally problematize ancestry. This work can be a resource to researchers looking for normative guidance on the use of population descriptors, and can orient authors of future guidelines to this complex field, contributing to the development of more effective future guidelines for genetics research.


title: Generative De Novo Protein Design with Global Context

abstract: The linear sequence of amino acids determines protein structure and function. Protein design, known as the inverse of protein structure prediction, aims to obtain a novel protein sequence that will fold into the defined structure. Recent works on computational protein design have studied designing sequences for the desired backbone structure with local positional information and achieved competitive performance. However, similar local environments in different backbone structures may result in different amino acids, indicating that protein structure's global context matters. Thus, we propose the Global-Context Aware generative de novo protein design method (GCA), consisting of local and global modules. While local modules focus on relationships between neighbor amino acids, global modules explicitly capture non-local contexts. Experimental results demonstrate that the proposed GCA method outperforms state-of-the-arts on de novo protein design. Our code and pretrained model will be released.


title: Proton-Electron Mass Ratio from Laser Spectroscopy of HD$^+$ at the Part-Per-Trillion Level

abstract: Accepted values of the masses of several subatomic particles have been under debate since recent measurements in Penning traps produced more precise yet incompatible results, implying possible inconsistencies in closely related physical constants like the proton-electron and deuteron-proton mass ratios. These quantities also influence the predicted vibrational spectrum of the deuterated molecular hydrogen ion in its electronic ground state, of which we measured the v=0 - 9 overtone transition frequency with an uncertainty of 2.9 parts-per-trillion through Doppler-free two-photon laser spectroscopy. Leveraging high-precision ab initio calculations we convert our measurement to tight constraints on the proton-electron and deuteron-proton mass ratios, consistent with the most recent Penning-trap determinations of these quantities, and yielding a new value of the proton-electron mass ratio with an unprecedented precision of 21 parts-per-trillion.


title: Unknown Face Presentation Attack Detection via Localised Learning of Multiple Kernels

abstract: The paper studies face spoofing, a.k.a. presentation attack detection (PAD) in the demanding scenarios of unknown types of attack. While earlier studies have revealed the benefits of ensemble methods, and in particular, a multiple kernel learning approach to the problem, one limitation of such techniques is that they typically treat the entire observation space similarly and ignore any variability and local structure inherent to the data. This work studies this aspect of the face presentation attack detection problem in relation to multiple kernel learning in a one-class setting to benefit from intrinsic local structure in bona fide face samples. More concretely, inspired by the success of the one-class Fisher null formalism, we formulate a convex localised multiple kernel learning algorithm by imposing a joint matrix-norm constraint on the collection of local kernel weights and infer locally adaptive weights for zero-shot one-class unseen attack detection. We present a theoretical study of the proposed localised MKL algorithm using Rademacher complexities to characterise its generalisation capability and demonstrate the advantages of the proposed technique over some other options. An assessment of the proposed approach on general object image datasets illustrates its efficacy for abnormality and novelty detection while the results of the experiments on face PAD datasets verifies its potential in detecting unknown/unseen face presentation attacks.


title: A Bayesian actor-oriented multilevel relational event model with hypothesis testing procedures

abstract: Relational event network data are becoming increasingly available. Consequently, statistical models for such data have also surfaced. These models mainly focus on the analysis of single networks, while in many applications, multiple independent event sequences are observed, which are likely to display similar social interaction dynamics. Furthermore, statistical methods for testing hypotheses about social interaction behavior are underdeveloped. Therefore, the contribution of the current paper is twofold. First, we present a multilevel extension of the dynamic actor-oriented model, which allows researchers to model sender and receiver processes separately. The multilevel formulation enables principled probabilistic borrowing of information across networks to accurately estimate drivers of social dynamics. Second, a flexible methodology is proposed to test hypotheses about common and heterogeneous social interaction drivers across relational event sequences. Social interaction data between children and teachers in classrooms are used to showcase the methodology.


title: Improving tracking with a tracklet associator

abstract: Multiple object tracking (MOT) is a task in computer vision that aims to detect the position of various objects in videos and to associate them to a unique identity. We propose an approach based on Constraint Programming (CP) whose goal is to be grafted to any existing tracker in order to improve its object association results. We developed a modular algorithm divided into three independent phases. The first phase consists in recovering the tracklets provided by a base tracker and to cut them at the places where uncertain associations are spotted, for example, when tracklets overlap, which may cause identity switches. In the second phase, we associate the previously constructed tracklets using a Belief Propagation Constraint Programming algorithm, where we propose various constraints that assign scores to each of the tracklets based on multiple characteristics, such as their dynamics or the distance between them in time and space. Finally, the third phase is a rudimentary interpolation model to fill in the remaining holes in the trajectories we built. Experiments show that our model leads to improvements in the results for all three of the state-of-the-art trackers on which we tested it (3 to 4 points gained on HOTA and IDF1).


title: Sequential monitoring using the Second Generation P-Value with Type I error controlled by monitoring frequency

abstract: Many adaptive monitoring schemes adjust the required evidence toward a hypothesis to control Type I error. This shifts focus away from determining scientific relevance with an uncompromised degree of evidence. We propose sequentially monitoring the Second Generation P-Value (SGPV) on repeated intervals until establishing evidence for scientific relevance (SeqSGPV). SeqSGPV encompasses existing strategies to monitor Region of Practical Equivalence (ROPE) or Region of Equivalence (ROE) hypotheses. Hence, our focus is to formalize sequential SGPV monitoring; establish a novel set of scientific hypotheses, called PRISM, which is a ROE with a ROPE surrounding the null hypothesis; and use monitoring frequency and a novel affirmation step to control Type I error. Under immediate and delayed outcomes, we assess finite and limiting SeqSGPV operating characteristics when monitoring PRISM, ROPE, and null-bound ROE hypotheses. In extensive simulations, SeqSGPV PRISM monitoring reduced wait time for fully sequential monitoring, average sample size, and reversals of null hypothesis conclusions under the null. With real-world data, we design a SeqSGPV-monitored randomized trial. SeqSGPV is method-agnostic and easy to implement. Adjusting monitoring frequency/affirmation and monitoring a one-sided PRISM synergistically control Type I error. PRISM monitoring and adjusting monitoring frequency to control Type I error may have application beyond SeqSGPV.


title: Deterministic Sensitivity Oracles for Diameter, Eccentricities and All Pairs Distances

abstract: We construct data structures for extremal and pairwise distances in directed graphs in the presence of transient edge failures. Henzinger et al. [ITCS 2017] initiated the study of fault-tolerant (sensitivity) oracles for the diameter and vertex eccentricities. We extend this with a special focus on space efficiency. We present several new data structures, among them the first fault-tolerant eccentricity oracle for dual failures in subcubic space. We further prove lower bounds that show limits to approximation vs. space and diameter vs. space trade-offs for fault-tolerant oracles. They highlight key differences between data structures for undirected and directed graphs. Initially, our oracles are randomized leaning on a sampling technique frequently used in sensitivity analysis. Building on the work of Alon, Chechik, and Cohen [ICALP 2019] as well as Karthik and Parter [SODA 2021], we develop a hierarchical framework to derandomize fault-tolerant data structures. We first apply it to our own diameter and eccentricity oracles and then show its versatility by derandomizing algorithms from the literature: the distance sensitivity oracle of Ren [JCSS 2022] and the Single-Source Replacement Path algorithm of Chechik and Magen [ICALP 2020]. This way, we obtain the first deterministic distance sensitivity oracle with subcubic preprocessing time.


title: TYC~2990-127-1: an Algol-type SB2 binary system of subgiant and red giant with a probable ongoing mass-transfer

abstract: We present a study of the spectroscopic binary TYC 2990-127-1 from the LAMOST survey. We use full-spectrum fitting to derive radial velocities and spectral parameters. The high mass ratio indicates that the system underwent mass transfer in the past. We compute the orbital solution and find that it is a very close sub-giant/red giant pair on circular orbit, slightly inclined to the sky-plane. Fitting of the TESS photometrical data confirms this and suggests an inclination of i \sim 39.8 deg. The light curve and spectrum around H_alpha show signs of irregular variability, which supports ongoing mass transfer. The binary evolution simulations suggest that the binary may experience non-conservative mass transfer with accretion efficiency 0.3, and the binary will enter into common envelope phase in the subsequent evolution. The remnant product after the ejection of common envelope may be a detached double helium white dwarf (He WD) or a merger.


title: A Weak Law of Large Numbers for Dependent Random Variables

abstract: Every sequence $f_1, f_2, \cdots \, $ of random variables with $ \, \lim_{M \to \infty} \big( M \sup_{k \in \mathbb{N}} \mathbb{P} ( |f_k| > M ) \big)=0\,$ contains a subsequence $ f_{k_1}, f_{k_2} , \cdots \,$ that satisfies, along with all its subsequences, the weak law of large numbers: $ \, \lim_{N \to \infty} \big( (1/N) \sum_{n=1}^N f_{k_n} - D_N \big) =0\,,$ in probability. Here $\, D_N\, $ is a "corrector" random variable with values in $[-N,N]$, for each $N \in \mathbb{N} $; these correctors are all equal to zero if, in addition, $\, \liminf_{k \to \infty} \mathbb{E} \big( f_k^2 \, \mathbf{ 1}_{ \{ |f_k| \le M \} } \big) =0\,$ holds for every $M \in (0, \infty)\,.$


title: Spin Density Wave versus Fractional Magnetization Plateau in a Triangular Antiferromagnet

abstract: We report an excellent realization of the highly non-classical incommensurate spin-density wave (SDW) state in the quantum frustrated antiferromagnetic insulator Cs$_2$CoBr$_4$. In contrast to the well-known Ising spin chain case, here the SDW is stabilized by virtue of competing planar in-chain anisotropies and frustrated interchain exchange. Adjacent to the SDW phase is a broad $m = 1/3$ magnetization plateau that can be seen as a commensurate locking of the SDW state into the up-up-down (UUD) spin structure. This represents the first example of long-sought SDW-UUD transition in triangular-type quantum magnets.


title: Finite-disorder critical point in the yielding transition of elasto-plastic models

abstract: Upon loading, amorphous solids can exhibit brittle yielding, with the abrupt formation of macroscopic shear bands leading to fracture, or ductile yielding, with a multitude of plastic events leading to homogeneous flow. It has been recently proposed, and subsequently questioned, that the two regimes are separated by a sharp critical point, as a function of some control parameter characterizing the intrinsic disorder strength and the degree of stability of the solid. In order to resolve this issue, we have performed extensive numerical simulations of athermally driven elasto-plastic models with long-range and anisotropic realistic interaction kernels in two and three dimensions. Our results provide clear evidence for a finite-disorder critical point separating brittle and ductile yielding, and we provide an estimate of the critical exponents in 2D and 3D.


title: Photoproduction of low-$p_{\rm T}$ J/$\psi$ from peripheral to central Pb$-$Pb collisions at 5.02 TeV

abstract: An excess of J/$\psi$ yield at very low transverse momentum ($p_{\rm T} < 0.3$ GeV/$c$), originating from coherent photoproduction, is observed in peripheral and semicentral hadronic Pb$-$Pb collisions at a center-of-mass energy per nucleon pair of $\sqrt{s_{\rm NN}} = 5.02$ TeV. The measurement is performed with the ALICE detector via the dimuon decay channel at forward rapidity ($2.5<y<4$). The nuclear modification factor at very low $p_{\rm T}$ and the coherent photoproduction cross section are measured as a function of centrality down to the 10% most central collisions. These results extend the previous study at $\sqrt{s_{\rm NN}} = 2.76$ TeV, confirming the clear excess over hadronic production in the $p_{\rm T}$ range 0$-$0.3 GeV/$c$ and the centrality range 70$-$90%, and establishing an excess with a significance greater than 5$\sigma$ also in the 50$-$70% and 30$-$50% centrality ranges. The results are compared with earlier measurements at $\sqrt{s_{\rm NN}} = 2.76$ TeV and with different theoretical predictions aiming at describing how coherent photoproduction occurs in hadronic interactions with nuclear overlap.


title: TASAC: a twin-actor reinforcement learning framework with stochastic policy for batch process control

abstract: Due to their complex nonlinear dynamics and batch-to-batch variability, batch processes pose a challenge for process control. Due to the absence of accurate models and resulting plant-model mismatch, these problems become harder to address for advanced model-based control strategies. Reinforcement Learning (RL), wherein an agent learns the policy by directly interacting with the environment, offers a potential alternative in this context. RL frameworks with actor-critic architecture have recently become popular for controlling systems where state and action spaces are continuous. It has been shown that an ensemble of actor and critic networks further helps the agent learn better policies due to the enhanced exploration due to simultaneous policy learning. To this end, the current study proposes a stochastic actor-critic RL algorithm, termed Twin Actor Soft Actor-Critic (TASAC), by incorporating an ensemble of actors for learning, in a maximum entropy framework, for batch process control.


title: Boolean automata isolated cycles and tangential double-cycles dynamics

abstract: Our daily social and political life is more and more impacted by social networks. The functioning of our living bodies is deeply dependent on biological regulation networks such as neural, genetic, and protein networks. And the physical world in which we evolve, is also structured by systems of interacting particles. Interaction networks can be seen in all spheres of existence that concern us, and yet, our understanding of interaction networks remains severely limited by our present lack of both theoretical and applied insight into their clockworks. In the past, efforts at understanding interaction networks have mostly been directed towards applications. This has happened at the expense of developing understanding of the generic and fundamental aspects of interaction networks. Intrinsic properties of interaction networks (eg the ways in which they transmit information along entities, their ability to produce this or that kind of global dynamical behaviour depending on local interactions) are thus still not well understood. Lack of fundamental knowledge tends to limit the innovating power of applications. Without more theoretical fundamental knowledge, applications cannot evolve deeply and become more impacting. Hence, it is necessary to better apprehend and comprehend the intrinsic properties of interaction networks, notably the relations between their architecture and their dynamics and how they are affected by and set in time. In this chapter, we use the elementary mathematical model of Boolean automata networks as a formal archetype of interaction networks. We survey results concerning the role of feedback cycles and the role of intersections between feedback cycles, in shaping the asymptotic dynamical behaviours of interaction networks.


title: SNE: an Energy-Proportional Digital Accelerator for Sparse Event-Based Convolutions

abstract: Event-based sensors are drawing increasing attention due to their high temporal resolution, low power consumption, and low bandwidth. To efficiently extract semantically meaningful information from sparse data streams produced by such sensors, we present a 4.5TOP/s/W digital accelerator capable of performing 4-bits-quantized event-based convolutional neural networks (eCNN). Compared to standard convolutional engines, our accelerator performs a number of operations proportional to the number of events contained into the input data stream, ultimately achieving a high energy-to-information processing proportionality. On the IBM-DVS-Gesture dataset, we report 80uJ/inf to 261uJ/inf, respectively, when the input activity is 1.2% and 4.9%. Our accelerator consumes 0.221pJ/SOP, to the best of our knowledge it is the lowest energy/OP reported on a digital neuromorphic engine.


title: Spatiality-guided Transformer for 3D Dense Captioning on Point Clouds

abstract: Dense captioning in 3D point clouds is an emerging vision-and-language task involving object-level 3D scene understanding. Apart from coarse semantic class prediction and bounding box regression as in traditional 3D object detection, 3D dense captioning aims at producing a further and finer instance-level label of natural language description on visual appearance and spatial relations for each scene object of interest. To detect and describe objects in a scene, following the spirit of neural machine translation, we propose a transformer-based encoder-decoder architecture, namely SpaCap3D, to transform objects into descriptions, where we especially investigate the relative spatiality of objects in 3D scenes and design a spatiality-guided encoder via a token-to-token spatial relation learning objective and an object-centric decoder for precise and spatiality-enhanced object caption generation. Evaluated on two benchmark datasets, ScanRefer and ReferIt3D, our proposed SpaCap3D outperforms the baseline method Scan2Cap by 4.94% and 9.61% in CIDEr@0.5IoU, respectively. Our project page with source code and supplementary files is available at https://SpaCap3D.github.io/ .


title: Reinforcing Generated Images via Meta-learning for One-Shot Fine-Grained Visual Recognition

abstract: One-shot fine-grained visual recognition often suffers from the problem of having few training examples for new fine-grained classes. To alleviate this problem, off-the-shelf image generation techniques based on Generative Adversarial Networks (GANs) can potentially create additional training images. However, these GAN-generated images are often not helpful for actually improving the accuracy of one-shot fine-grained recognition. In this paper, we propose a meta-learning framework to combine generated images with original images, so that the resulting "hybrid" training images improve one-shot learning. Specifically, the generic image generator is updated by a few training instances of novel classes, and a Meta Image Reinforcing Network (MetaIRNet) is proposed to conduct one-shot fine-grained recognition as well as image reinforcement. Our experiments demonstrate consistent improvement over baselines on one-shot fine-grained image classification benchmarks. Furthermore, our analysis shows that the reinforced images have more diversity compared to the original and GAN-generated images.


title: Implicit Channel Charting with Application to UAV-aided Localization

abstract: Traditional localization algorithms based on features such as time difference of arrival are impaired by non-line of sight propagation, which negatively affects the consistency that they expect among distance estimates. Instead, fingerprinting localization is robust to these propagation conditions but requires the costly collection of large data sets. To alleviate these limitations, the present paper capitalizes on the recently-proposed notion of channel charting to learn the geometry of the space that contains the channel state information (CSI) measurements collected by the nodes to be localized. The proposed algorithm utilizes a deep neural network that learns distances between pairs of nodes using their measured CSI. Unlike standard channel charting approaches, this algorithm directly works with the physical geometry and therefore only implicitly learns the geometry of the radio domain. Simulation results demonstrate that the proposed algorithm outperforms its competitors and allows accurate localization in emergency scenarios using an unmanned aerial vehicle.


title: The mixed search game against an agile and visible fugitive is monotone

abstract: We consider the mixed search game against an agile and visible fugitive. This is the variant of the classic fugitive search game on graphs where searchers may be placed to (or removed from) the vertices or slide along edges. Moreover, the fugitive resides on the edges of the graph and can move at any time along unguarded paths. The mixed search number against an agile and visible fugitive of a graph $G$, denoted $avms(G)$, is the minimum number of searchers required to capture to fugitive in this graph searching variant. Our main result is that this graph searching variant is monotone in the sense that the number of searchers required for a successful search strategy does not increase if we restrict the search strategies to those that do not permit the fugitive to visit an already clean edge. This means that mixed search strategies against an agile and visible fugitive can be polynomially certified, and therefore that the problem of deciding, given a graph $G$ and an integer $k,$ whether $avms(G)\leq k$ is in NP. Our proof is based on the introduction of the notion of tight bramble, that serves as an obstruction for the corresponding search parameter. Our results imply that for a graph $G$, $avms(G)$ is equal to the Cartesian tree product number of $G$ that is the minimum $k$ for which $G$ is a minor of the Cartesian product of a tree and a clique on $k$ vertices.


title: Constructing Trinomial Models Based on Cubature Method on Wiener Space: Applications to Pricing Financial Derivatives

abstract: This contribution deals with an extension to our developed novel cubature methods of degrees 5 on Wiener space. In our previous studies, we have shown that the cubature formula is exact for all multiple Stratonovich integrals up to dimension equal to the degree. In fact, cubature method reduces solving a stochastic differential equation to solving a finite set of ordinary differential equations. Now, we apply the above methods to construct trinomial models and to price different financial derivatives. We will compare our numerical solutions with the Black's and Black--Scholes models' analytical solutions. The constructed model has practical usage in pricing American-style derivatives and can be extended to more sophisticated stochastic market models.


title: Successive approximations of $\pi$ using Euler Beta functions

abstract: In this didactic note, we describe a procedure to derive successive approximations of $\pi$ using Euler Beta functions. It is an interesting exercise for undergraduate students, since it involves polynomial roots, integral calculations, inequalities and Euler Beta functions.


title: A Multigraph Approach for Performing the Quantum Schur Transform

abstract: We take inspiration from the Okounkov-Vershik approach to the representation theory of the symmetric groups to develop a new way of understanding how the Schur-Weyl duality can be used to perform the Quantum Schur Transform. The Quantum Schur Transform is a unitary change of basis transformation between the computational basis of $(\mathbb{C}^d)^{\otimes n}$ and the Schur-Weyl basis of $(\mathbb{C}^d)^{\otimes n}$. We describe a new multigraph, which we call the Schur-Weyl-Young graph, that represents both standard Weyl tableaux and standard Young tableaux in the same diagram. We suggest a major improvement on Louck's formula for calculating the transition amplitudes between two standard Weyl tableaux appearing in adjacent levels of the Schur-Weyl-Young graph for the case $d=2$, merely by looking at the entries in the two tableaux. The key theoretical component that underpins our results is the discovery of a branching rule for the Schur-Weyl states, which we call the Schur-Weyl branching rule. This branching rule allows us to perform the change of basis transformation described above in a straightforward manner for any $n$ and $d$.


title: Universum-inspired Supervised Contrastive Learning

abstract: As an effective data augmentation method, Mixup synthesizes an extra amount of samples through linear interpolations. Despite its theoretical dependency on data properties, Mixup reportedly performs well as a regularizer and calibrator contributing reliable robustness and generalization to deep model training. In this paper, inspired by Universum Learning which uses out-of-class samples to assist the target tasks, we investigate Mixup from a largely under-explored perspective - the potential to generate in-domain samples that belong to none of the target classes, that is, universum. We find that in the framework of supervised contrastive learning, Mixup-induced universum can serve as surprisingly high-quality hard negatives, greatly relieving the need for large batch sizes in contrastive learning. With these findings, we propose Universum-inspired supervised Contrastive learning (UniCon), which incorporates Mixup strategy to generate Mixup-induced universum as universum negatives and pushes them apart from anchor samples of the target classes. We extend our method to the unsupervised setting, proposing Unsupervised Universum-inspired contrastive model (Un-Uni). Our approach not only improves Mixup with hard labels, but also innovates a novel measure to generate universum data. With a linear classifier on the learned representations, UniCon shows state-of-the-art performance on various datasets. Specially, UniCon achieves 81.7% top-1 accuracy on CIFAR-100, surpassing the state of art by a significant margin of 5.2% with a much smaller batch size, typically, 256 in UniCon vs. 1024 in SupCon using ResNet-50. Un-Uni also outperforms SOTA methods on CIFAR-100. The code of this paper is released on https://github.com/hannaiiyanggit/UniCon.


title: Microscopic and Macroscopic Effects in the Decoherence of Neutrino Oscillations

abstract: We present a generic structure (the layer structure) for decoherence effects in neutrino oscillations, which includes decoherence from quantum mechanical and classical uncertainties. The calculation is done by combining the concept of open quantum system and quantum field theory, forming a structure composed of phase spaces from microscopic to macroscopic level. Having information loss at different levels, quantum mechanical uncertainties parameterize decoherence by an intrinsic mass eigenstate separation effect, while decoherence for classical uncertainties is typically dominated by a statistical averaging effect. With the help of the layer structure, we classify the former as state decoherence (SD) and the latter as phase decoherence (PD), then further conclude that both SD and PD result from phase wash-out effects of different phase structures on different layers. Such effects admit for simple numerical calculations of decoherence for a given width and shape of uncertainties. While our structure is generic, so are the uncertainties, nonetheless, a few notable ones are: the wavepacket size of the external particles, the effective interaction volume at production and detection, the energy reconstruction model and the neutrino production profile. Furthermore, we estimate the experimental sensitivities for SD and PD parameterized by the uncertainty parameters, for reactor neutrinos and decay-at-rest neutrinos, using a traditional rate measuring method and a novel phase measuring method.


title: Observation of $1/k^4$-tails after expansion of Bose-Einstein Condensates with impurities

abstract: We measure the momentum density in a Bose-Einstein condensate (BEC) with dilute spin impurities after an expansion in the presence of interactions. We observe tails decaying as $1/k^4$ at large momentum $k$ in the condensate and in the impurity cloud. These algebraic tails originate from the impurity-BEC interaction, but their amplitudes greatly exceed those expected from two-body contact interactions at equilibrium in the trap. Furthermore, in the absence of impurities, such algebraic tails are not found in the BEC density measured after the interaction-driven expansion. These results highlight the key role played by impurities when present, a possibility that had not been considered in our previous work [Phys. Rev. Lett. 117, 235303 (2016)]. Our measurements suggest that these unexpected algebraic tails originate from the non-trivial dynamics of the expansion in the presence of impurity-bath interactions.


title: Graph Gain: A Concave-Hull Based Volumetric Gain for Robotic Exploration

abstract: The existing volumetric gain for robotic exploration is calculated in the 3D occupancy map, while the sampling-based exploration method is extended in the reachable (free) space. The inconsistency between them makes the existing calculation of volumetric gain inappropriate for a complete exploration of the environment. To address this issue, we propose a concave-hull based volumetric gain in a sampling-based exploration framework. The concave hull is constructed based on the viewpoints generated by Rapidly-exploring Random Tree (RRT) and the nodes that fail to expand. All space outside this concave hull is considered unknown. The volumetric gain is calculated based on the viewpoints configuration rather than using the occupancy map. With the new volumetric gain, robots can avoid inefficient or even erroneous exploration behavior caused by the inappropriateness of existing volumetric gain calculation methods. Our exploration method is evaluated against the existing state-of-the-art RRT-based method in a benchmark environment. In the evaluated environment, the average running time of our method is about 38.4% of the existing state-of-the-art method and our method is more robust.


title: The subharmonic bifurcation of Stokes waves on vorticity flow

abstract: We consider a family of Stokes waves on vorticity flow parameterized by a parameter. For large value of the parameter the Stokes waves approach the Stokes extreme wave. We prove that there are infinitely many subharmonic bifurcation points on such branches.


title: Quantum Semi-Supervised Kernel Learning

abstract: Quantum computing leverages quantum effects to build algorithms that are faster then their classical variants. In machine learning, for a given model architecture, the speed of training the model is typically determined by the size of the training dataset. Thus, quantum machine learning methods have the potential to facilitate learning using extremely large datasets. While the availability of data for training machine learning models is steadily increasing, oftentimes it is much easier to collect feature vectors that to obtain the corresponding labels. One of the approaches for addressing this issue is to use semi-supervised learning, which leverages not only the labeled samples, but also unlabeled feature vectors. Here, we present a quantum machine learning algorithm for training Semi-Supervised Kernel Support Vector Machines. The algorithm uses recent advances in quantum sample-based Hamiltonian simulation to extend the existing Quantum LS-SVM algorithm to handle the semi-supervised term in the loss. Through a theoretical study of the algorithm's computational complexity, we show that it maintains the same speedup as the fully-supervised Quantum LS-SVM.