title: ezDPS: An Efficient and Zero-Knowledge Machine Learning Inference Pipeline

abstract: Machine Learning as a service (MLaaS) permits resource-limited clients to access powerful data analytics services ubiquitously. Despite its merits, MLaaS poses significant concerns regarding the integrity of delegated computation and the privacy of the server's model parameters. To address this issue, Zhang et al. (CCS'20) initiated the study of zero-knowledge Machine Learning (zkML). Few zkML schemes have been proposed afterward; however, they focus on sole ML classification algorithms that may not offer satisfactory accuracy or require large-scale training data and model parameters, which may not be desirable for some applications. We propose ezDPS, a new efficient and zero-knowledge ML inference scheme. Unlike prior works, ezDPS is a zkML pipeline in which the data is processed in multiple stages for high accuracy. Each stage of ezDPS is harnessed with an established ML algorithm that is shown to be effective in various applications, including Discrete Wavelet Transformation, Principal Components Analysis, and Support Vector Machine. We design new gadgets to prove ML operations effectively. We fully implemented ezDPS and assessed its performance on real datasets. Experimental results showed that ezDPS achieves one-to-three orders of magnitude more efficient than the generic circuit-based approach in all metrics while maintaining more desirable accuracy than single ML classification approaches.


title: MORTY: Structured Summarization for Targeted Information Extraction from Scholarly Articles

abstract: Information extraction from scholarly articles is a challenging task due to the sizable document length and implicit information hidden in text, figures, and citations. Scholarly information extraction has various applications in exploration, archival, and curation services for digital libraries and knowledge management systems. We present MORTY, an information extraction technique that creates structured summaries of text from scholarly articles. Our approach condenses the article's full-text to property-value pairs as a segmented text snippet called structured summary. We also present a sizable scholarly dataset combining structured summaries retrieved from a scholarly knowledge graph and corresponding publicly available scientific articles, which we openly publish as a resource for the research community. Our results show that structured summarization is a suitable approach for targeted information extraction that complements other commonly used methods such as question answering and named entity recognition.


title: Corruption-tolerant Algorithms for Generalized Linear Models

abstract: This paper presents SVAM (Sequential Variance-Altered MLE), a unified framework for learning generalized linear models under adversarial label corruption in training data. SVAM extends to tasks such as least squares regression, logistic regression, and gamma regression, whereas many existing works on learning with label corruptions focus only on least squares regression. SVAM is based on a novel variance reduction technique that may be of independent interest and works by iteratively solving weighted MLEs over variance-altered versions of the GLM objective. SVAM offers provable model recovery guarantees superior to the state-of-the-art for robust regression even when a constant fraction of training labels are adversarially corrupted. SVAM also empirically outperforms several existing problem-specific techniques for robust regression and classification. Code for SVAM is available at https://github.com/purushottamkar/svam/


title: Sharp inequalities involving multiplicative chaos sums

abstract: The present note is an essential addition to the author's arxiv paper arXiv:2001.01070, concerning general multiplicative systems of random variables. Using some lemmas and the methodology of \cite{Kar4}, we obtain a general extreme inequality, with corollaries involving Rademacher chaos sums and those analogues for multiplicative systems. In particular we prove that a system of functions generated by bounded products of a multiplicative system is a convergence system.


title: Ego Vehicle Speed Estimation using 3D Convolution with Masked Attention

abstract: Speed estimation of an ego vehicle is crucial to enable autonomous driving and advanced driver assistance technologies. Due to functional and legacy issues, conventional methods depend on in-car sensors to extract vehicle speed through the Controller Area Network bus. However, it is desirable to have modular systems that are not susceptible to external sensors to execute perception tasks. In this paper, we propose a novel 3D-CNN with masked-attention architecture to estimate ego vehicle speed using a single front-facing monocular camera. To demonstrate the effectiveness of our method, we conduct experiments on two publicly available datasets, nuImages and KITTI. We also demonstrate the efficacy of masked-attention by comparing our method with a traditional 3D-CNN.


title: Beyond circular-arc graphs -- recognizing lollipop graphs and medusa graphs

abstract: In 1992 Bir\'{o}, Hujter and Tuza introduced, for every fixed connected graph $H$, the class of $H$-graphs, defined as the intersection graphs of connected subgraphs of some subdivision of $H$. Recently, quite a lot of research has been devoted to understanding the tractability border for various computational problems, such as recognition or isomorphism testing, in classes of $H$-graphs for different graphs $H$. In this work we undertake this research topic, focusing on the recognition problem. Chaplick, T\"{o}pfer, Voborn\'{\i}k, and Zeman showed, for every fixed tree $T$, a polynomial-time algorithm recognizing $T$-graphs. Tucker showed a polynomial time algorithm recognizing $K_3$-graphs (circular-arc graphs). On the other hand, Chaplick at al. showed that recognition of $H$-graphs is $NP$-hard if $H$ contains two different cycles sharing an edge. The main two results of this work narrow the gap between the $NP$-hard and $P$ cases of $H$-graphs recognition. First, we show that recognition of $H$-graphs is $NP$-hard when $H$ contains two different cycles. On the other hand, we show a polynomial-time algorithm recognizing $L$-graphs, where $L$ is a graph containing a cycle and an edge attached to it ($L$-graphs are called lollipop graphs). Our work leaves open the recognition problems of $M$-graphs for every unicyclic graph $M$ different from a cycle and a lollipop. Other results of this work, which shed some light on the cases that remain open, are as follows. Firstly, the recognition of $M$-graphs, where $M$ is a fixed unicyclic graph, admits a polynomial time algorithm if we restrict the input to graphs containing particular holes (hence recognition of $M$-graphs is probably most difficult for chordal graphs). Secondly, the recognition of medusa graphs, which are defined as the union of $M$-graphs, where $M$ runs over all unicyclic graphs, is $NP$-complete.


title: Fluctuation-induced first order phase transitions in Kitaev-like $d^4$ honeycomb magnet

abstract: We study numerically a bosonic analog of the Kitaev honeycomb model, which is a minimal model for $4d^4/5d^4$ quantum magnets with honeycomb lattice geometry. We construct its phase diagram by a combination of Landau theory analysis and quantum Monte Carlo simulations. In particular, we show that the phase boundaries between the paramagnetic state and magnetically ordered states are generically fluctuation-induced first order phase transitions. Our results are potentially applicable to Ru$^{4+}$- and Ir$^{5+}$-based honeycomb magnets.


title: Wireless earbuds for low-cost hearing screening

abstract: We present the first wireless earbud hardware that can perform hearing screening by detecting otoacoustic emissions. The conventional wisdom has been that detecting otoacoustic emissions, which are the faint sounds generated by the cochlea, requires sensitive and expensive acoustic hardware. Thus, medical devices for hearing screening cost thousands of dollars and are inaccessible in low and middle income countries. We show that by designing wireless earbuds using low-cost acoustic hardware and combining them with wireless sensing algorithms, we can reliably identify otoacoustic emissions and perform hearing screening. Our algorithms combine frequency modulated chirps with wideband pulses emitted from a low-cost speaker to reliably separate otoacoustic emissions from in-ear reflections and echoes. We conducted a clinical study with 50 ears across two healthcare sites. Our study shows that the low-cost earbuds detect hearing loss with 100% sensitivity and 89.7% specificity, which is comparable to the performance of a $8000 medical device. By developing low-cost and open-source wearable technology, our work may help address global health inequities in hearing screening by democratizing these medical devices.


title: Gaussian breeding for encoding a qubit in propagating light

abstract: Practical quantum computing requires robust encoding of logical qubits in physical systems to protect fragile quantum information. Currently, the lack of scalability limits the logical encoding in most physical systems, and thus the high scalability of propagating light can be a game changer for realizing a practical quantum computer. However, propagating light also has a drawback: the difficulty of logical encoding due to weak nonlinearity. Here, we propose Gaussian breeding that encodes arbitrary Gottesman-Kitaev-Preskill (GKP) qubits in propagating light. The key idea is the efficient and iterable generation of quantum superpositions by photon detectors, which is the most widely used nonlinear element in quantum propagating light. This formulation makes it possible to systematically create the desired qubits with minimal resources. Our simulations show that GKP qubits above a fault-tolerant threshold, including ``magic states'', can be generated with a high success probability and with a high fidelity exceeding 0.99. This result fills an important missing piece toward practical quantum computing.


title: Experimental Demonstration of Stationary Dark-State Polaritons Dressed by Dipole-Dipole Interaction

abstract: Dark-state polaritons (DSPs) based on the effect of electromagnetically induced transparency are bosonic quasiparticles, representing the superpositions of photons and atomic ground-state coherences. It has been proposed that stationary DSPs are governed by the equation of motion closely similar to the Schr\"{o}dinger equation and can be employed to achieve Bose-Einstein condensation (BEC) with transition temperature orders of magnitude higher than that of the atomic BEC. The stationary-DSP BEC is a three-dimensional system and has a far longer lifetime than the exciton-polariton BEC. In this work, we experimentally demonstrated the stationary DSP dressed by the Rydberg-state dipole-dipole interaction (DDI). The DDI-induced phase shift of the stationary DSP was systematically studied. Notably, the experimental data are consistent with the theoretical predictions. The phase shift can be viewed as a consequence of elastic collisions. In terms of thermalization to achieve BEC, the $\mu$m$^2$-size interaction cross-section of the DDI can produce a sufficient elastic collision rate for the stationary DSPs. This work makes a substantial advancement toward the realization of the stationary-DSP BEC.


title: Understanding Concurrency Vulnerabilities in Linux Kernel

abstract: While there is a large body of work on analyzing concurrency related software bugs and developing techniques for detecting and patching them, little attention has been given to concurrency related security vulnerabilities. The two are different in that not all bugs are vulnerabilities: for a bug to be exploitable, there needs be a way for attackers to trigger its execution and cause damage, e.g., by revealing sensitive data or running malicious code. To fill the gap, we conduct the first empirical study of concurrency vulnerabilities reported in the Linux operating system in the past ten years. We focus on analyzing the confirmed vulnerabilities archived in the Common Vulnerabilities and Exposures (CVE) database, which are then categorized into different groups based on bug types, exploit patterns, and patch strategies adopted by developers. We use code snippets to illustrate individual vulnerability types and patch strategies. We also use statistics to illustrate the entire landscape, including the percentage of each vulnerability type. We hope to shed some light on the problem, e.g., concurrency vulnerabilities continue to pose a serious threat to system security, and it is difficult even for kernel developers to analyze and patch them. Therefore, more efforts are needed to develop tools and techniques for analyzing and patching these vulnerabilities.


title: Personalized local heating neutralizing individual, spatial and temporal thermo-physiological variances in extreme cold environments

abstract: In this paper, we investigate the feasibility, robustness and optimization of introducing personal comfort systems (PCS), apparatuses that promises in energy saving and comfort improvement, into a broader range of environments. We report a series of laboratory experiments systematically examining the effect of personalized heating in neutralizing individual, spatial and temporal variations of thermal demands. The experiments were conducted in an artificial climate chamber at -15 degC in order to simulate extreme cold environments. We developed a heating garment with 20 pieces of 20 * 20 cm2 heating cloth (grouped into 9 regions) comprehensively covering human body. Surface temperatures of the garment can be controlled independently, quickly (within 20 seconds), precisely (within 1 degC) and easily (through a tablet) up to 45 degC. Participants were instructed to adjust surface temperatures of each segment to their preferences, with their physiological, psychological and adjustment data collected. We found that active heating could significantly and stably improve thermal satisfaction. The overall TSV and TCV were improved 1.50 and 1.53 during the self-adjustment phase. Preferred heating surface temperatures for different segments varied widely. Further, even for the same segment, individual differences among participants were considerable. Such variances were observed through local heating powers, while unnoticeable among thermal perception votes. In other words, all these various differences could be neutralized given the flexibility in personalized adjustments. Our research reaffirms the paradigm of "adaptive thermal comfort" and will promote innovations on human-centric design for more efficient PCSs.


title: Hyperbolic sumation for the function $\Omega(n)$ involving the GCD and LCM

abstract: We consider the sums $\sum_{abc\leqslant{x}}\Omega(a,b,c))$ and $\sum_{abc\leqslant{x}}\Omega[a,b,c]$ where $\Omega(n)$ is the number of prime power divisors of $n\in\Bbb{Z}_{n\geq{2}}, (a,b,c)=gcd(a,b,c)$ and $[a,b,c]=lcm(a,b,c$). We give asymptotic formulas for these sums over the hyperbolic region $\lbrace(a,b,c)\in{\Bbb{Z}^{3}}, abc\leqslant{x}\rbrace$.


title: We Drink Good 4.5-Billion-Year-Old Water

abstract: Water is crucial for the emergence and evolution of life on Earth. Recent studies of the water content in early forming planetary systems similar to our own show that water is an abundant and ubiquitous molecule, initially synthesized on the surfaces of tiny interstellar dust grains by the hydrogenation of frozen oxygen. Water then enters a cycle of sublimation/freezing throughout the successive phases of planetary system formation, namely, hot corinos and protoplanetary disks, eventually to be incorporated into planets, asteroids, and comets. The amount of heavy water measured on Earth and in early forming planetary systems suggests that a substantial fraction of terrestrial water was inherited from the very first phases of the Solar System formation and is 4.5 billion years old.


title: Parallel remote state preparation for fully device-independent verifiable blind quantum computation

abstract: We introduce a device-independent two-prover scheme in which a classical verifier is able to use a simple untrusted quantum measurement device (the client device) to securely delegate a quantum computation to an untrusted quantum server. To do this, we construct a parallel self-testing protocol to perform device-independent remote state preparation of $n$ qubits and compose this with the unconditionally secure universal verifiable blind quantum computation (VBQC) scheme of J. F. Fitzsimons and E. Kashefi [Phys. Rev. A 96, 012303 (2017)]. Our self-test achieves a multitude of desirable properties for the application we consider, giving rise to practical and fully device-independent VBQC. It certifies parallel measurements of all cardinal and intercardinal directions in the $XY$-plane as well as the computational basis, uses few input questions (of size logarithmic in $n$ for the client and a constant number communicated to the server), and requires only single-qubit measurements to be performed by the client device.


title: Hyperbolic Summation for Fractional Sums

abstract: Let $f(n)$ be an arithmetic function with $f(n) \ll n^\alpha$ for some $\alpha\in[0,1)$ and let $\lfloor .\rfloor $ denote the integer part function. In this paper, we evaluate asymptotically the sums $$\sum_{n_{1}n_{2}\leq x}f \left( \left\lfloor \frac{x}{n_{1}n_{2}} \right\rfloor \right),$$ we use the estimation of three-dimensional exponential sums due to Robert and Sargos.


title: Artinian Gorenstein algebras of embedding dimension four and socle degree three

abstract: We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be obtained by \emph{doubling} from a grade three perfect ideal $J\subset I$ such that $Q/J$ is a locally Gorenstein ring. Moreover, a graded minimal free resolution of the $Q$-module $Q/I$ can be completely described in terms of a graded minimal free resolution of the $Q$-module $Q/J$ and a homogeneous embedding of a shift of the canonical module $\omega_{Q/J}$ into $Q/J$.


title: 2D/3D Deep Image Registration by Learning 3D Displacement Fields for Abdominal Organs

abstract: Deformable registration of two-dimensional/three-dimensional (2D/3D) images of abdominal organs is a complicated task because the abdominal organs deform significantly and their contours are not detected in two-dimensional X-ray images. We propose a supervised deep learning framework that achieves 2D/3D deformable image registration between 3D volumes and single-viewpoint 2D projected images. The proposed method learns the translation from the target 2D projection images and the initial 3D volume to 3D displacement fields. In experiments, we registered 3D-computed tomography (CT) volumes to digitally reconstructed radiographs generated from abdominal 4D-CT volumes. For validation, we used 4D-CT volumes of 35 cases and confirmed that the 3D-CT volumes reflecting the nonlinear and local respiratory organ displacement were reconstructed. The proposed method demonstrate the compatible performance to the conventional methods with a dice similarity coefficient of 91.6 \% for the liver region and 85.9 \% for the stomach region, while estimating a significantly more accurate CT values.


title: Heat equation on the hypergraph containing vertices with given data

abstract: This paper is concerned with the Cauchy problem of a multivalued ordinary differential equation governed by the hypergraph Laplacian, which describes the diffusion of ``heat'' or ``particles'' on the vertices of hypergraph. We consider the case where the heat on several vertices are manipulated internally by the observer, namely, are fixed by some given functions. This situation can be reduced to a nonlinear evolution equation associated with a time-dependent subdifferential operator, whose solvability has been investigated in numerous previous researches. In this paper, however, we give an alternative proof of the solvability in order to avoid some complicated calculations arising from the chain rule for the time-dependent subdifferential. As for results which cannot be assured by the known abstract theory, we also discuss the continuous dependence of solution on the given data and the time-global behavior of solution.


title: Bypassing Content-based internet packages with an SSL/TLS Tunnel, SNI Spoofing, and DNS spoofing

abstract: Internet Service Providers (ISPs) are increasingly offering content-based packages to their clients. These packages offer access to a range of online content, such as Facebook, YouTube, Messenger, Zoom, and many other popular services, for a fixed price. This allows users to access all the content they want without worrying about data caps or overage charges. These packages are way cheaper than regular internet packages. Even some ISPs offer unlimited content-based packages for a low price. When using these packages, network traffic is continuously filtered by the ISP, and the user will be charged separately for using other services which are not included in the content-based package. Some internet users are using HTTP injector Software to bypass ISP's Network traffic filters and access other resources available on the internet using content-based package data quotes. This research aims to find an alternative method to bypass ISP's Network traffic filters without using an HTTP injector.


title: Measurement of the total neutron cross section on argon in the 20 to 70 keV energy range

abstract: The cross section for neutron interactions on argon is an important design and operational parameter for a number of neutrino, dark matter, and neutrinoless double beta decay experiments which use liquid argon as a detection or shielding medium. There is a discrepancy between the evaluated total cross section in the $20$ to $70~\rm$\,keV neutron kinetic energy region given in the ENDF database and a single measurement conducted by an experiment with a thin target (0.2 atoms/barn) optimized for higher cross sections. This gives rise to significant uncertainty in the interaction length of neutrons in liquid argon. This discrepancy is now resolved by new results presented here from the Argon Resonance Transport Interaction Experiment (ARTIE), a thick target experiment (3.3 atoms/barn) optimized for the small cross sections in this energy region.


title: Strain induced variations in transport and optical properties of SrVO$_3$: a DFT+U study

abstract: First-principles calculations based on density functional theory + Hubbard U (DFT+U) approach have been carried out to study the strain induced variations in the optical and transport properties of the correlated perovskite SrVO$_3$. By virtue of its conductivity, high carrier mobility and optical transparency, SrVO$_3$ can be used as a potential replacement of indium tin oxide (ITO) as a transparent conductor. As strain tuning is an effective way to tune the electron-electron correlations in correlated oxides, the epitaxial strain induced variations in V-3d bandwidth, band center shift and band splitting at high symmetry points (${\Gamma}$, R) in SrVO$_3$ are investigated. The alterations in resistivity, carrier concentration, Hall coefficient and plasma frequency with applied strain are also elucidated. Our calculations revealed that under tensile strain, the lifting of the threefold degeneracy of 3d-t$_{2g}$ orbital and d-band narrowing reinforces a relatively less conducting state thus limiting the $\omega_P$ to lower frequencies. On the contrary, in case of compressive strain the d-band widening predominates leading to an increase in carrier concentration and decrease in resistivity enhancing the metallic state. As a result, $\omega_P$ is increased to higher frequencies which decreases the optical transparency window. Hence, our results and findings clearly demonstrate the interdependence between the optical and transport properties, and provides a detailed mechanism to tune the optoelectronic properties of SrVO$_3$ for its applications as a transparent conducting oxide.


title: Exciting space-time surface plasmon polaritons by irradiating a nanoslit structure

abstract: Space-time (ST) wave packets are propagation-invariant pulsed optical beams that travel freely in dielectrics at a tunable group velocity without diffraction or dispersion. Because ST wave packets maintain these characteristics even when only one transverse dimension is considered, they can realize surface-bound waves (e.g., surface plasmon polaritons at a metal-dielectric interface, which we call ST-SPPs) that have the same unique characteristics of their freely propagating counterparts. However, because the spatio-temporal spectral structure of ST-SPPs is key to their propagation invariance on the metal surface, their excitation methodology must be considered carefully. We show here using finite-difference time-domain (FDTD) simulations that an appropriately synthesized ST wave packet in free space can be couples to a ST-SPP via a single nano-scale slit inscribed in the metal surface. Our calculations confirm that this excitation methodology yields surface-bound ST-SPPs that are locarized in all dimensions (and can thus be considered as plasmonic 'bullets'), which travel rigidly at the metal-dielectric interface without diffraction or dispersion at a tunable group velocity.


title: OSC-MC: Online Secure Communication Model for Cloud Environment

abstract: A malicious cloud user may exploit outsourced data involved in online communication, co-residency, and hypervisor vulnerabilities to breach and hamper sensitive information, and inject malicious traffic-based congestion, rendering services to other benign users. To address this critical and challenging the problem, this letter proposes an Online Secure Communication Model for Cloud (OSC-MC) by identifying and terminating malicious VMs and inter-VM links prior to the occurrence of security threats. The anomalous network traffic, bandwidth usage, and unauthorized inter-VM links are security breach indicators which guides secure cloud communication and resource allocation. The simulation and comparison of the proposed model with existing approaches reveal that it significantly improves authorised inter-communication links up to 34.5% with a reduction of network hogs, and power consumption by 66.46% and 39.31%, respectively.


title: Multi-particle quantum walks in one-dimensional lattice

abstract: Quantum walk is a counterpart of classical random walk in the quantum regime that exhibits non-classical behaviors and outperforms classical random walk in various aspects. It has been known that the spatial probability distribution of a single-particle quantum walk can expand quadratically in time while a single-particle classical random walk can do only linearly. In this paper, we analytically study the discrete-time quantum walk of non-interacting multiple particles in a one-dimensional infinite lattice, and investigate the role of entanglement and exchange symmetry in the position distribution of the particles during the quantum walk. To analyze the position distribution of multi-particle quantum walk, we consider the relative distance between particles, and study how it changes with the number of walk steps. We compute the relative distance asymptotically for a large number of walk steps and find that the distance increases quadratically with the number of walk steps. We also study the extremal relative distances between the particles, and show the role of the exchange symmetry of the initial state in the distribution of the particles. Our study further shows the dependence of two-particle correlations, two-particle position distributions on the exchange symmetry, and find exponential decrement of the entanglement of the extremal state with the number of particles.


title: Normal categories of semigroup of order-preserving transformations on a finite chain

abstract: K. S. S. Nambooripad intoduced nornal categories to enable to describe the structure of regular semigroups fully. In this paper we describe the ideal categories of the regular semigroup $OX_n,$ of non-invertible order-preserving transformations on a finite chain $X_n=\{1\leq 2\leq \cdots \leq n \}$ which are normal categories. Further it is shown that the principal left ideal category of $OX_n$ as the power set category $P_o(X_n)$ of $OX_n$ and the principal right ideal category as $\prod_o(X_n)$ category of ordered partitions of $X_n$ and described the cone semigroup $T\mathscr L(OX_n)$ and prove that it is isomorphic to $OX_n.$


title: A new proof of Strichartz estimates for the Schr\"odinger equation in $2+1$ dimensions

abstract: This note presents a new proof of the well-known Strichartz estimates for the Schr\"odinger equation in $2+1$ dimensions, building on ideas from our recent work \cite{MO}.


title: Spectral radius and spanning trees of graphs

abstract: For integer $k\geq2,$ a spanning $k$-ended-tree is a spanning tree with at most $k$ leaves. Motivated by the closure theorem of Broersma and Tuinstra [Independence trees and Hamilton cycles, J. Graph Theory 29 (1998) 227--237], we provide tight spectral conditions to guarantee the existence of a spanning $k$-ended-tree in a connected graph of order $n$ with extremal graphs being characterized. Moreover, by adopting Kaneko's theorem [Spanning trees with constraints on the leaf degree, Discrete Appl. Math. 115 (2001) 73--76], we also present tight spectral conditions for the existence of a spanning tree with leaf degree at most $k$ in a connected graph of order $n$ with extremal graphs being determined, where $k\geq1$ is an integer.


title: The Smith normal form of the walk matrix of the Dynkin graph $D_n$ for $n\equiv 0\pmod{4}$

abstract: Let $W(D_n)$ denote the walk matrix of the Dynkin graph $D_n$. We prove that the Smith normal form of $W(D_n)$ is $$\textup{diag}[\underbrace{1,1,\ldots,1}_{\frac{n}{2}-1},\underbrace{2,2,\ldots,2}_{\frac{n}{2}-1},0,0]$$ when $n\equiv 0\pmod{4}$. This gives an affirmative answer to a question in [W. Wang, C. Wang, S. Guo, On the walk matrix of the Dynkin graph $D_n$, Linear Algebra Appl. 653 (2022) 193--206].


title: On the Fair Termination of Client-Server Sessions

abstract: Client-server sessions are based on a variation of the traditional interpretation of linear logic propositions as session types in which non-linear channels (those regulating the interaction between a pool of clients and a single server) are typed by coexponentials instead of the usual exponentials. Coexponentials enable the modeling of racing interactions, whereby clients compete to interact with a single server whose internal state (and thus the offered service) may change as the server processes requests sequentially. In this work we present a fair termination result for CSLL$^\infty$, a core calculus of client-server sessions. We design a type system such that every well-typed term corresponds to a valid derivation in $\mu$MALL$^\infty$, the infinitary proof theory of linear logic with least and greatest fixed points. We then establish a correspondence between reductions in the calculus and principal reductions in $\mu$MALL$^\infty$. Fair termination in CSLL$^\infty$ follows from cut elimination in $\mu$MALL$^\infty$.


title: COOL-CHIC: Coordinate-based Low Complexity Hierarchical Image Codec

abstract: We introduce COOL-CHIC, a Coordinate-based Low Complexity Hierarchical Image Codec. It is a learned alternative to autoencoders with 629 parameters and 680 multiplications per decoded pixel. COOL-CHIC offers compression performance close to modern conventional MPEG codecs such as HEVC and is competitive with popular autoencoder-based systems. This method is inspired by Coordinate-based Neural Representations, where an image is represented as a learned function which maps pixel coordinates to RGB values. The parameters of the mapping function are then sent using entropy coding. At the receiver side, the compressed image is obtained by evaluating the mapping function for all pixel coordinates. COOL-CHIC implementation is made open-source.


title: Caffarelli-Kohn-Nirenberg-type inequalities related to weighted $p$-Laplace equations

abstract: We use a suitable transform related to Sobolev inequality to investigate the sharp constants and optimizers for some Caffarelli-Kohn-Nirenberg-type inequalities which are related to the weighted $p$-Laplace equations. Moreover, we give the classification to the linearized problem related to the radial extremals. As an application, we investigate the gradient type remainder term of related inequality by using spectral estimate combined with a compactness argument which extends the work of Figalli and Zhang (Duke Math. J. 2022) at least for radial case.


title: Formation and construction of a shock wave for one dimensional $n\times n$ strictly hyperbolic conservation laws with small smooth initial data

abstract: Under the genuinely nonlinear assumptions for one dimensional $n\times n$ strictly hyperbolic conservation laws, we investigate the geometric blowup of smooth solutions and the development of singularities when the small initial data fulfill the generic nondegenerate condition. At first, near the unique blowup point we give a precise description on the space-time blowup rate of the smooth solution and meanwhile derive the cusp singularity structure of characteristic envelope. These results are established through extending the smooth solution of the completely nonlinear blowup system across the blowup time. Subsequently, by utilizing a new form on the resulting 1-D strictly hyperbolic system with $(n-1)$ good components and one bad component, together with the choice of an efficient iterative scheme and some involved analyses, a weak entropy shock wave starting from the blowup point is constructed.


title: Detector array for the $^7$H nucleus multi-neutron decay study

abstract: Setup fitting the requirements for the detailed study of the five-body decay of the 7H nucleus obtained as a result of the proton transfer from the 8He projectiles to the deuterium target nuclei is being built at the radioactive beam line of ACCULINNA-2 separator in the G.N. Flerov Laboratory of Nuclear Reactions. Described here is the assembly of 100 BC-404 plastic scintillators, intended for neutron detection, the annular Si detector telescope for the 3He recoils, and the detector array providing the $\Delta E$-$E$-TOF registration of 3H nuclei emitted at the 7H decay. Results obtained by the Monte Carlo simulations made for the energy values and flight passes of all these particles are given together with the luminosity expected for the discussed experiments.


title: Cryptanalysis and designing chaos-based irreversible and parallel key expansion module over Galois field

abstract: From the security criteria of irreversibility, parallelizability and independence, we cryptanalyzed the key expansion modules of candidate block ciphers of AES, the results revealed that there exist some weaknesses inside, which may be explored by the attacker. Hence, we designed a more secure key expansion module that the round-key can satisfy three criteria above. First, we constructed a non-degenerate 2D chaotic map (2D-{\pi}eCM) with ergodicity in phase space and sufficient large chaotic range. Then based on 2D-{\pi}eCM and polynomial multiplication over Galois field, we designed an irreversible key expansion module, which could transform the initial key of arbitrary length to desired number of independent round keys in parallel. Security and statistical results demonstrated the flexible and effectiveness of the proposed key expansion module.


title: Vision Transformer with Attentive Pooling for Robust Facial Expression Recognition

abstract: Facial Expression Recognition (FER) in the wild is an extremely challenging task. Recently, some Vision Transformers (ViT) have been explored for FER, but most of them perform inferiorly compared to Convolutional Neural Networks (CNN). This is mainly because the new proposed modules are difficult to converge well from scratch due to lacking inductive bias and easy to focus on the occlusion and noisy areas. TransFER, a representative transformer-based method for FER, alleviates this with multi-branch attention dropping but brings excessive computations. On the contrary, we present two attentive pooling (AP) modules to pool noisy features directly. The AP modules include Attentive Patch Pooling (APP) and Attentive Token Pooling (ATP). They aim to guide the model to emphasize the most discriminative features while reducing the impacts of less relevant features. The proposed APP is employed to select the most informative patches on CNN features, and ATP discards unimportant tokens in ViT. Being simple to implement and without learnable parameters, the APP and ATP intuitively reduce the computational cost while boosting the performance by ONLY pursuing the most discriminative features. Qualitative results demonstrate the motivations and effectiveness of our attentive poolings. Besides, quantitative results on six in-the-wild datasets outperform other state-of-the-art methods.


title: Dynamics of pressurized ultra-thin membranes

abstract: The resonance frequency of ultra-thin layered two-dimensional (2D) materials changes nonlinearly with the tension induced by the pressure from the surrounding gas. Although the dynamics of pressurized 2D material membranes have been extensively explored, recent experimental observations show significant deviations from analytical predictions. Here, we present a multi-mode continuum approach to capture the nonlinear pressure-frequency response of pre-tensioned membranes undergoing large deflections. We validate the model using experiments conducted on polysilicon drums excited opto-thermally and subjected to pressure changes in the surrounding medium. We demonstrate that considering the effect of pressure on the membrane tension is not sufficient for determining the resonance frequencies. In fact, it is essential to also account for the change in the membrane's shape in the pressurized configuration, the mid-plane stretching, and the contributions of higher modes to the mode shapes. Finally, we show how the presented high-frequency mechanical characterization method can be used to determine Young's modulus of ultra-thin membranes.


title: Acoustic emission due to the interaction between shock and instability waves in 2D supersonic jet flows

abstract: An analytical model is developed to study the sound produced by the interaction between shock and instability waves in two-dimensional supersonic jet flows. The jet is considered to be of vortex-sheet type and 2D Euler equations are linearised to determine the governing equations for shock, instability waves, and their interaction. Pack's model is used to describe shock waves, while instability waves are calculated using spatial stability analysis. The interaction between shock and instability waves can be solved analytically by performing Fourier transform and subsequently using the method of steepest descent. Sound produced by the interaction between the instability wave and a single shock cell is studied first, after which that due to a number of cells follows. We find that the model developed in this study can correctly predict the frequencies of the fundamental screech tone and its first and second harmonics. We show that the predicted sound directivity, even from a single shock cell, is in good agreement with experimental data. In particular, this model shows the strongest noise emission close to the upstream direction but the emitted noise starts to rapidly decay as the observer angle approaches 180 degrees, which is in accordance with experimental results; this suggests that the effective noise from a single shock cell is far from of the monopole type as assumed in the classical Powell's model. We find that the noise directivity is very sensitive to the local growth rate of the instability waves and the noise is generated primarily through the Mach wave mechanism.


title: Comprehensive Complexity Assessment of Emerging Learned Image Compression on CPU and GPU

abstract: Learned Compression (LC) is the emerging technology for compressing image and video content, using deep neural networks. Despite being new, LC methods have already gained a compression efficiency comparable to state-of-the-art image compression, such as HEVC or even VVC. However, the existing solutions often require a huge computational complexity, which discourages their adoption in international standards or products. This paper provides a comprehensive complexity assessment of several notable methods, that shed light on the matter, and guide the future development of this field by presenting key findings. To do so, six existing methods have been evaluated for both encoding and decoding, on CPU and GPU platforms. Various aspects of complexity such as the overall complexity, share of each coding module, number of operations, number of parameters, most demanding GPU kernels, and memory requirements have been measured and compared on Kodak dataset. The reported results (1) quantify the complexity of LC methods, (2) fairly compare different methods, and (3) a major contribution of the work is identifying and quantifying the key factors affecting the complexity.


title: Invariant cones for strange attractors of Lozi, H\'{e}non and Belykh type maps

abstract: We consider strange attractors of two dimensional generalized map with one nonlinearity such that Lozi, H\'{e}non and Belykh maps are particular cases of it. We describe technique of invariant expanding and contracting cones creation for study of hyperbolic properties. Theorems of singular hyperbolic attractors for new modifications of Lozi, H\'{e}non and Belykh-type maps are presented.


title: McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs

abstract: Context: Model checking has become a key tool for gaining confidence in correctness of multi-threaded programs. Unit tests and functional tests do not suffice because of race conditions that are not discovered by those tests. This problem is addressed by model checking tools. A simple model checker is useful for detecting race conditions prior to production. Inquiry: Current model checkers hardwire the behavior of common thread operations, and do not recognize application-dependent thread paradigms or functions using simpler primitive operations. This introduces additional operations, causing current model checkers to be excessively slow. In addition, there is no mechanism to model the semantics of the actual thread wakeup policies implemented in the underlying thread library or operating system. Eliminating these constraints can make model checkers faster. Approach: McMini is an **extensible** model checker based on DPOR (Dynamic Partial Order Reduction). A mechanism was invented to declare to McMini new, primitive thread operations, typically in 100~lines or less of C~code. The mechanism was extended to also allow a user of McMini to declare alternative thread wakeup policies, including spurious wakeups from condition variables. Knowledge: In McMini, the user defines new thread operations. The user optimizes these operations by declaring to the DPOR algorithm information that reduces the number of thread schedules to be searched. One declares: (i) under what conditions an operation is enabled; (ii) which thread operations are independent of each other; and (iii) when two operations can be considered as co-enabled. An optional wakeup policy is implemented by defining when a wait operation (on a semaphore, condition variable, etc.) is enabled. A new enqueue thread operation is described, allowing a user to declare alternative wakeup policies. Grounding: McMini was first confirmed to operate correctly and efficiently as a traditional, but extensible model checker for mutex, semaphore, condition variable, and reader-writer lock. McMini's extensibility was then tested on novel primitive operations, representing other useful paradigms for multithreaded operations. An example is readers-and-two-writers. The speed of model checking was found to be five times faster and more, as compared to traditional implementations on top of condition variables. Alternative wakeup policies (e.g., FIFO, LIFO, arbitrary, etc.) were then tested using an enqueue operation. Finally, spurious wakeups were tested with a program that exposes a bug **only** in the presence of a spurious wakeup. Importance: Many applications employ functions for multithreaded paradigms that go beyond the traditional mutex, semaphore, and condition variables. They are defined on top of basic operations. The ability to directly define new primitives for these paradigms makes model checkers run faster by searching fewer thread schedules. The ability to model particular thread wakeup policies, including spurious wakeup for condition variables, is also important. Note that POSIX leaves undefined the wakeup policies of `pthread_mutex_lock`, `sem_wait`, and `pthread_cond_wait`. The POSIX thread implementation then chooses a particular policy (e.g., FIFO, arbitrary), which can be directly modeled by McMini.


title: Matrix Approximation with Side Information: When Column Sampling is Enough

abstract: A novel matrix approximation problem is considered herein: observations based on a few fully sampled columns and quasi-polynomial structural side information are exploited. The framework is motivated by quantum chemistry problems wherein full matrix computation is expensive, and partial computations only lead to column information. The proposed algorithm successfully estimates the column and row-space of a true matrix given a priori structural knowledge of the true matrix. A theoretical spectral error bound is provided, which captures the possible inaccuracies of the side information. The error bound proves it scales in its signal-to-noise (SNR) ratio. The proposed algorithm is validated via simulations which enable the characterization of the amount of information provided by the quasi-polynomial side information.


title: Stability of Rarefaction Waves for the Non-cutoff Vlasov-Poisson-Boltzmann System with Physical Boundary

abstract: In this paper, we are concerned with the Vlasov-Poisson-Boltzmann (VPB) system in three-dimensional spatial space without angular cutoff in a rectangular duct with or without physical boundary conditions. Near a local Maxwellian with macroscopic quantities given by rarefaction wave solution of one-dimensional compressible Euler equations, we establish the time-asymptotic stability of planar rarefaction wave solutions for the Cauchy problem to VPB system with periodic or specular-reflection boundary condition. In particular, we successfully introduce physical boundaries, namely, specular-reflection boundary, to the models describing wave patterns of kinetic equations. Moreover, we treat the non-cutoff collision kernel instead of the cutoff one. As a simplified model, we also consider the stability and large time behavior of the rarefaction wave solution for the Boltzmann equation.


title: Transmit power policies for stochastic stabilisation of multi-link wireless networked control systems

abstract: Transmit power control is one of the most important issues in wireless networks, where nodes typically operate on limited battery power. Reducing communicating power consumption is essential for both economic and ecologic reasons. In fact, transmitting at unnecessarily high power not only reduces node lifetime, but also introduces excessive interference and electromagnetic pollution. Existing work in the wireless community mostly focus on designing transmit power policies by taking into account communication aspects like quality of service or network capacity. Wireless networked control systems (WNCSs), on the other hand, have different and specific needs such as stability, which require transmit power policies adapted to the control context. Transmit power design in the control community has recently attracted much attention, and available works mostly consider linear systems or specific classes of non-linear systems with a single-link view of the system. In this paper, we propose a framework for the design of stabilising transmit power levels that applies to much larger classes of non-linear plants, controllers, and multi-link setting. By exploiting the fact that channel success probabilities are related to transmit power in a non-linear fashion, we first derive closed-loop stability conditions that relate channel probabilities with transmission rate. Next, we combine these results together with well-known and realistic interference models to provide a design methodology for stabilising transmit power in non-linear and multi-link WNCSs.


title: Surface-induced ferromagnetism and anomalous Hall transport at Zr2S(001)

abstract: Two-dimensional layered electrides possessing anionic excess electrons in the interstitial spaces between cationic layers have attracted much attention due to their promising opportunities in both fundamental research and technological applications. Using first-principles calculations, we predict that the layered bulk electride Zr2S is nonmagnetic with massive Dirac nodal-line states arising from Zr-4d cationic and interlayer anionic electrons. However, the Zr2S(001) surface increases the density of states at the Fermi level caused by the surface potential, thereby inducing a ferromagnetic order at the outermost Zr layer via the Stoner instability. Consequently, the time-reversal symmetry breaking at the surface not only generates highly spin-polarized topological surface states with intricate helical spin textures, but also hosts an intrinsic anomalous Hall effect originating from the Berry curvature generated by spin-orbit coupling. Our findings offer a playground to investigate the emergence of ferromagnetism and anomalous Hall transport at the surface of nonmagnetic topological electrides.


title: SEPT: Towards Scalable and Efficient Visual Pre-Training

abstract: Recently, the self-supervised pre-training paradigm has shown great potential in leveraging large-scale unlabeled data to improve downstream task performance. However, increasing the scale of unlabeled pre-training data in real-world scenarios requires prohibitive computational costs and faces the challenge of uncurated samples. To address these issues, we build a task-specific self-supervised pre-training framework from a data selection perspective based on a simple hypothesis that pre-training on the unlabeled samples with similar distribution to the target task can bring substantial performance gains. Buttressed by the hypothesis, we propose the first yet novel framework for Scalable and Efficient visual Pre-Training (SEPT) by introducing a retrieval pipeline for data selection. SEPT first leverage a self-supervised pre-trained model to extract the features of the entire unlabeled dataset for retrieval pipeline initialization. Then, for a specific target task, SEPT retrievals the most similar samples from the unlabeled dataset based on feature similarity for each target instance for pre-training. Finally, SEPT pre-trains the target model with the selected unlabeled samples in a self-supervised manner for target data finetuning. By decoupling the scale of pre-training and available upstream data for a target task, SEPT achieves high scalability of the upstream dataset and high efficiency of pre-training, resulting in high model architecture flexibility. Results on various downstream tasks demonstrate that SEPT can achieve competitive or even better performance compared with ImageNet pre-training while reducing the size of training samples by one magnitude without resorting to any extra annotations.


title: A new approach to handle curved meshes in the hybrid high-order method

abstract: The hybrid high-order method is a modern numerical framework for the approximation of elliptic PDEs. We present here an extension of the hybrid high-order method to meshes possessing curved edges/faces. Such an extension allows us to enforce boundary conditions exactly on curved domains, and capture curved geometries that appear internally in the domain e.g. discontinuities in a diffusion coefficient. The method makes use of non-polynomial functions on the curved faces and does not require any mappings between reference elements/faces. Such an approach does not require the faces to be polynomial, and has a strict upper bound on the number of degrees of freedom on a curved face for a given polynomial degree. Moreover, this approach of enriching the space of unknowns on the curved faces with non-polynomial functions should extend naturally to other polytopal methods. We show the method to be stable and consistent on curved meshes and derive optimal error estimates in $L^2$ and energy norms. We present numerical examples of the method on a domain with curved boundary, and for a diffusion problem such that the diffusion tensor is discontinuous along a curved arc.


title: Connecting Tikhonov regularization to the maximum entropy method for the analytic continuation of quantum Monte Carlo data

abstract: Analytic continuation is an essential step in extracting information about the dynamical properties of physical systems from quantum Monte Carlo (QMC) simulations. Different methods for analytic continuation have been proposed and are still being developed. This paper explores a regularization method based on the repeated application of Tikhonov regularization under the discrepancy principle. The method can be readily implemented in any linear algebra package and gives results surprisingly close to the maximum entropy method (MaxEnt). We analyze the method in detail and demonstrate its connection to MaxEnt. In addition, we provide a straightforward method for estimating the noise level of QMC data, which is helpful for practical applications of the discrepancy principle when the noise level is not known reliably.


title: Neural Replicator Analysis for virus genomes binomial systematics in metagenomics

abstract: We have presented some arguments to substantiate the usefulness of neural replicator analysis (NRA) for constructing variants of the natural binomial classification of virus genomes based only on knowledge of their complete genomic sequences, without involving other data on the phenotype, functions, encoded proteins, etc., and also without the need of genomic sequences alignment. Perhaps this will make sense when processing metagenomic data. This makes it possible to construct the binomial classification accepted for the viruses themselves. We restrict ourselves to three families of viruses having dsDNA circular genomes (Papillomaviridae, Polyomaviridae and Caulimoviridae) and partly to the family Geminiviridae having ssDNA genomes though the approach presented can be also applied to genomes of other dsDNA, ssDNA and ssRNA viruses, including linear ones (some results for Mitoviridae are also presented). It is argued that binomial classification of virus genomes which is difficult to apply in all cases can nevertheless be informative tool of revealing virus properties, areal of hosts, forms of diseases and can also show the connections of the viruses belonging to different families and even to different kingdoms.


title: 3D LiDAR Aided GNSS NLOS Mitigation for Reliable GNSS-RTK Positioning in Urban Canyons

abstract: GNSS and LiDAR odometry are complementary as they provide absolute and relative positioning, respectively. Their integration in a loosely-coupled manner is straightforward but is challenged in urban canyons due to the GNSS signal reflections. Recent proposed 3D LiDAR-aided (3DLA) GNSS methods employ the point cloud map to identify the non-line-of-sight (NLOS) reception of GNSS signals. This facilitates the GNSS receiver to obtain improved urban positioning but not achieve a sub-meter level. GNSS real-time kinematics (RTK) uses carrier phase measurements to obtain decimeter-level positioning. In urban areas, the GNSS RTK is not only challenged by multipath and NLOS-affected measurement but also suffers from signal blockage by the building. The latter will impose a challenge in solving the ambiguity within the carrier phase measurements. In the other words, the model observability of the ambiguity resolution (AR) is greatly decreased. This paper proposes to generate virtual satellite (VS) measurements using the selected LiDAR landmarks from the accumulated 3D point cloud maps (PCM). These LiDAR-PCM-made VS measurements are tightly-coupled with GNSS pseudorange and carrier phase measurements. Thus, the VS measurements can provide complementary constraints, meaning providing low-elevation-angle measurements in the across-street directions. The implementation is done using factor graph optimization to solve an accurate float solution of the ambiguity before it is fed into LAMBDA. The effectiveness of the proposed method has been validated by the evaluation conducted on our recently open-sourced challenging dataset, UrbanNav. The result shows the fix rate of the proposed 3DLA GNSS RTK is about 30% while the conventional GNSS-RTK only achieves about 14%. In addition, the proposed method achieves sub-meter positioning accuracy in most of the data collected in challenging urban areas.


title: Mul-GAD: a semi-supervised graph anomaly detection framework via aggregating multi-view information

abstract: Anomaly detection is defined as discovering patterns that do not conform to the expected behavior. Previously, anomaly detection was mostly conducted using traditional shallow learning techniques, but with little improvement. As the emergence of graph neural networks (GNN), graph anomaly detection has been greatly developed. However, recent studies have shown that GNN-based methods encounter challenge, in that no graph anomaly detection algorithm can perform generalization on most datasets. To bridge the tap, we propose a multi-view fusion approach for graph anomaly detection (Mul-GAD). The view-level fusion captures the extent of significance between different views, while the feature-level fusion makes full use of complementary information. We theoretically and experimentally elaborate the effectiveness of the fusion strategies. For a more comprehensive conclusion, we further investigate the effect of the objective function and the number of fused views on detection performance. Exploiting these findings, our Mul-GAD is proposed equipped with fusion strategies and the well-performed objective function. Compared with other state-of-the-art detection methods, we achieve a better detection performance and generalization in most scenarios via a series of experiments conducted on Pubmed, Amazon Computer, Amazon Photo, Weibo and Books. Our code is available at https://github.com/liuyishoua/Mul-Graph-Fusion.


title: End-to-End Speech Translation of Arabic to English Broadcast News

abstract: Speech translation (ST) is the task of directly translating acoustic speech signals in a source language into text in a foreign language. ST task has been addressed, for a long time, using a pipeline approach with two modules : first an Automatic Speech Recognition (ASR) in the source language followed by a text-to-text Machine translation (MT). In the past few years, we have seen a paradigm shift towards the end-to-end approaches using sequence-to-sequence deep neural network models. This paper presents our efforts towards the development of the first Broadcast News end-to-end Arabic to English speech translation system. Starting from independent ASR and MT LDC releases, we were able to identify about 92 hours of Arabic audio recordings for which the manual transcription was also translated into English at the segment level. These data was used to train and compare pipeline and end-to-end speech translation systems under multiple scenarios including transfer learning and data augmentation techniques.


title: Detecting dense-matter phase transition signatures in neutron star mass-radius measurements as data anomalies using normalising flows

abstract: Observations of neutron stars may be used to study aspects of extremely dense matter, specifically a possibility of phase transitions to exotic states, such as de-confined quarks. We present a novel data analysis method for detecting signatures of dense-matter phase transitions in sets of mass-radius measurements, and study its sensitivity with respect to the size of observational errors and the number of observations. The method is based on machine learning anomaly detection coupled with normalizing flows technique: the algorithm trained on samples of astrophysical observations featuring no phase transition signatures interprets a phase transition sample as an ''anomaly''. For the sake of this study, we focus on dense-matter equations of state leading to detached branches of mass-radius sequences (strong phase transitions), use an astrophysically-informed neutron-star mass function, and various magnitudes of observational errors and sample sizes. The method is shown to reliably detect cases of mass-radius relations with phase transition signatures, while increasing its sensitivity with decreasing measurement errors and increasing number of observations. We discuss marginal cases, when the phase transition mass is located near the edges of the mass function range. Evaluated on the current state-of-art selection of real measurements of electromagnetic and gravitational-wave observations, the method gives inconclusive results, which we interpret as due to small available sample size, large observational errors and complex systematics.


title: On strong shift equivalence for row-finite graphs and C*-algebras

abstract: This note extends and strengthens a theorem of Bates that says that row-finite graphs that are strong shift equivalent have Morita equivalent graph C*-algebras. This allows us to ask whether our stronger notion of Morita equivalence does in fact characterise strong shift equivalence. We believe this will be relevant for future research on infinite graphs and their C*-algebras. We also study insplits and outsplits as particular examples of strong shift equivalences and show that the induced Morita equivalences respect a whole family of weighted gauge actions. We then ask whether strong shift equivalence is generated by (generalised) insplits and outsplits.


title: The globular cluster system of the nearest Seyfert II galaxy Circinus

abstract: Context. The globular cluster (GC) system of Circinus galaxy has not been probed previously partly because of the location of the galaxy at - 3.8$^\circ$ Galactic latitude which suffers severely from interstellar extinction, stellar crowding, and Galactic foreground contamination. However, the deep near-infrared (NIR) photometry by the VISTA Variables in the Via L\'actea Extended Survey (VVVX) in combination with the precise astrometry of Gaia EDR3 allow us to map GCs in this region. Aims. Our long-term goal is to study and characterise the distributions of GCs and Ultra-compact dwarfs of Circinus galaxy which is the nearest Seyfert II galaxy. Here we conduct the first pilot search for GCs in this galaxy. Methods. We use NIR VVVX photometry in combination with Gaia EDR3 astrometric features such as astrometric excess noise and BP/RP excess factor to build the first homogeneous catalogue of GCs in Circinus galaxy. A robust combination of selection criteria allows us to effectively clean interlopers from our sample. Results. We report the detection of$\sim$ 70 GC candidates in this galaxy at a 3 $\sigma$ confidence level. They show a bimodal colour distribution with the blue peak at (G-Ks)$_0$ = 0.985$\pm$0.127 mag with a dispersion of 0.211$\pm$0.091 mag and the red peak at (G-Ks)$_0$ = 1.625$\pm$0.177 mag with a dispersion of 0.482$\pm$0.114 mag. A GC specific frequency (S$_N$) of 1.3$\pm$0.2 was derived for the galaxy, and we estimated a total population of 120$\pm$40 GCs. Based on the projected radial distribution it appears that Circinus has a different distribution of GC candidates than MW and M31. Conclusions. We demonstrate that Circinus galaxy hosts a sizeable number of cluster candidates. This result is the first leap towards understanding the evolution of old stellar clusters in this galaxy.


title: Gaussian quantum steering in multi-event horizon spacetime

abstract: We study Gaussian quantum steering in the Schwarzschild-de Sitter (SdS) spacetime that is endowed with both a black hole event horizon (BEH) and a cosmological event horizon (CEH), giving rise to two different Hawking temperatures. It is shown that the Hawking effect of the black hole always reduces the quantum steering, but the Hawking effect of the expanding universe does not always play the same role. For the first time, we find that the Hawking effect can improve quantum steering. We also find that the observer who locates in the BEH has stronger steerability than the observer who locates in CEH. Further, we study the steering asymmetry, and the conditions for two-way, one-way and no-way steering in the SdS spacetime. Finally, we study the Gaussian quantum steering in the scenario of effective equilibrium temperature. We show that quantum steering reduces monotonically with the effective temperature but now increases monotonically with the Hawking temperature of the black hole, which banishes the belief that the Hawking effect can only destroy quantum steering.


title: Isometrically deformable cones and cylinders carrying planar curves

abstract: We study cones and cylinders with a 1-parametric isometric deformation carrying at least two planar curves, which remain planar during this continuous flexion and are located in non-parallel planes. We investigate this geometric/kinematic problem in the smooth and the discrete setting, as it is the base for a generalized construction of so-called T-hedral zipper tubes. In contrast to the cylindrical case, which can be solved easily, the conical one is more tricky, but we succeed to give a closed form solution for the discrete case, which is used to prove that these cones correspond to caps of Bricard octahedra of the plane-symmetric type. For the smooth case we are able to reduce the problem by means of symbolic computation to an ordinary differential equation, but its solution remains an open problem.


title: Dynamical solution of the strong CP problem within QCD ?

abstract: The strong CP problem is inseparably connected with the topology of gauge fields and the mechanism of color confinement, which requires nonperturbative tools to solve it. In this talk I present results of a recent lattice investigation of QCD with the $\theta$ term in collaboration with Yoshifumi Nakamura. The tool we are using to address the nonperturbative properties of the theory is the gradient flow, which is a particular realization of momentum space RG transformations. The novel result is that within QCD the vacuum angle $\theta$ is renormalized, together with the strong coupling constant, and flows to $\theta = 0$ in the infrared limit. This means that CP is conserved by the strong interactions.


title: Quantifying the Effect of Socio-Economic Predictors and Built Environment on Mental Health Events in Little Rock, AR

abstract: Proper allocation of law enforcement resources remains a critical issue in crime prediction and prevention that operates by characterizing spatially aggregated crime activities and a multitude of predictor variables of interest. Despite the critical nature of proper resource allocation for mental health incidents, there has been little progress in statistical modeling of the geo-spatial nature of mental health events in Little Rock, Arkansas. In this article, we provide insights into the spatial nature of mental health data from Little Rock, Arkansas between 2015 and 2018, under a supervised spatial modeling framework while extending the popular risk terrain modeling (Caplan et al., 2011, 2015; Drawve, 2016) approach. We provide evidence of spatial clustering and identify the important features influencing such heterogeneity via a spatially informed hierarchy of generalized linear models, spatial regression models and a tree based method, viz., Poisson regression, spatial Durbin error model, Manski model and Random Forest. The insights obtained from these different models are presented here along with their relative predictive performances. The inferential tools developed here can be used in a broad variety of spatial modeling contexts and have the potential to aid both law enforcement agencies and the city in properly allocating resources.


title: Mobility Census for monitoring rapid urban development

abstract: Monitoring urban structure and development requires high-quality data at high spatiotemporal resolution. While traditional censuses have provided foundational insights into demographic and socioeconomic aspects of urban life, their pace may not always align with the pace of urban development. To complement these traditional methods, we explore the potential of analyzing alternative big-data sources, such as human mobility data. However, these often noisy and unstructured big data pose new challenges. Here we propose a method to extract meaningful explanatory variables and classifications from such data. Using movement data from Beijing, which are produced as a byproduct of mobile communication, we show that meaningful features can be extracted, revealing, for example, the emergence and absorption of subcentres. This method allows the analysis of urban dynamics at a high spatial resolution (here, 500m) and near real-time frequency, and high computational efficiency, which is especially suitable for tracing event-driven mobility changes and their impact on urban structures.


title: Non-Exponential Behaviour in Logical Randomized Benchmarking

abstract: We construct a gate and time-independent noise model that results in the output of a logical randomized benchmarking protocol oscillating rather than decaying exponentially. To illustrate our idea, we first construct an example in standard randomized benchmarking where we assume the existence of ``hidden'' qubits, permitting a choice of representation of the Clifford group that contains multiplicities. We use the multiplicities to, with each gate application, update a hidden memory of the gate history that we use to circumvent theorems which guarantee the output decays exponentially. In our focal setting of logical randomized benchmarking, we show that the presence of machinery associated with the implementation of quantum error correction can facilitate non-exponential decay. Since, in logical randomized benchmarking, the role of the hidden qubits is assigned to the syndrome qubits used in error correction and these are strongly coupled to the logical qubits via a decoder.


title: AliCHI: A Large-scale Multi-modal Dataset and Automated Evaluation Tool for Human-like Dialogue Systems

abstract: A well-designed interactive human-like dialogue system is expected to take actions (e.g. smiling) and respond in a pattern similar to humans. However, due to the limitation of single-modality (only speech) or small volume of currently public datasets, most dialogue systems can only respond in speech and cannot take human-like actions. In this work, we build a large-scale multi-modal dataset of human-to-human conversation in a face-to-face fashion, with fine-grained annotations. The raw data in video format contains 635 dialogue sessions, being collected from 200 participants on designed topics and lasting 52 hours in total. Moreover, we manually annotated the verbal and non-verbal behaviors in each dialogue session on their start/end timestamp. Furthermore, we developed a corresponding evaluation tool for human-like dialogue systems to automatically evaluates the accuracy of two basic tasks, turn-taking prediction, and backchannel prediction, on both time and content. We have opened the data, the tools will be released at the conference.


title: Resistive Plate Chambers for Precise Measurement of High-Momentum Protons in Short Range Correlations at R$^3$B

abstract: The Reactions with Relativistic Radioactive Beams (R$^3$B) collaboration of the Facility for Antiproton and Ion Research (FAIR) in Darmstadt, Germany, has constructed an experimental setup to perform fundamental studies of nuclear matter, using as a probe reactions with exotic nuclei at relativistic energies. Among the various detection systems, one of the most recent upgrades consisted on the installation of a large area, around 2 m$^2$, multi-gap Resistive Plate Chamber (RPC), equipped with twelve 0.3 mm gaps and readout by 30 mm pitch strips, exhibiting a timing precision down to 50 ps and efficiencies above 98% for MIPs in a previous characterization of the detector. The RPC was part of the setup of the FAIR Phase 0 experiment that focused on measuring, for the first time, nucleon-nucleon short-range correlations (SRC) inside an exotic nucleus ($^{16}$C) that occurred in Spring 2022. The excellent timing precision of this detector will allow the measurement of the forward emitted proton momentum with a resolution of around 1%. In beam measurements show an RPC efficiency above 95% and a time precision better than 100 ps (including the contribution of a reference scintillator and the momentum spread of the particles) for forward emitted particles.


title: The diagnostic utility of endocytoscopy for the detection of esophageal lesions: a systematic review and meta-analysis

abstract: Objective: To systematically evaluate the value of endocytoscopy (ECS) in the diagnosis of early esophageal cancer (EC). Methods: Pubmed, Ovid and EMbase databases were searched to collect diagnostic tests of ECS assisted diagnosis of early EC. The retrieval time was from the establishment of the database to August 2022. Review manager 5.4, Stata 16.0 and Meta-Disc 1.4 were used for meta-analysis after two researchers independently screened literature, extracted data and evaluated the bias risk of included studies. Results: A total of 7 studies were included, including 520 lesions. Meta-analysis results showed that the combined sensitivity(SE), specificity(SP), positive likelihood ratio (PLR), negative likelihood ratio (NLR), diagnostic odds ratio (DOR) and positive posterior probability (PPP) of ECS screening for early EC were 0.95[95%CI: 0.84, 0.98], 0.92 [95%CI: 0.83, 0.96], 11.8 [95%CI: 5.3, 26.1], 0.06 [95%CI: 0.02, 0.18], 203 [95%CI: 50, 816], and 75%, respectively. The area (AUC) under the receiver Operating Characteristic curve (SROC) was 0.98[95%CI: 0.96, 0.99]. Conclusions: Current evidence suggests that ECS can be used as an effective screening tool for early EC. Due to the limited number and quality of included studies, it is imperative to conduct more high-quality studies to verify the above conclusions.


title: Client Selection for Federated Bayesian Learning

abstract: Distributed Stein Variational Gradient Descent (DSVGD) is a non-parametric distributed learning framework for federated Bayesian learning, where multiple clients jointly train a machine learning model by communicating a number of non-random and interacting particles with the server. Since communication resources are limited, selecting the clients with most informative local learning updates can improve the model convergence and communication efficiency. In this paper, we propose two selection schemes for DSVGD based on Kernelized Stein Discrepancy (KSD) and Hilbert Inner Product (HIP). We derive the upper bound on the decrease of the global free energy per iteration for both schemes, which is then minimized to speed up the model convergence. We evaluate and compare our schemes with conventional schemes in terms of model accuracy, convergence speed, and stability using various learning tasks and datasets.


title: Error suppression by a virtual two-qubit gate

abstract: Sparse connectivity of a superconducting quantum computer results in the large experimental overheads of SWAP gates. In this study, we consider employing a virtual two-qubit gate (VTQG) as an error suppression technique. The VTQG enables a non-local operation between a pair of distant qubits using only single qubit gates and projective measurements. Here, we apply the VTQG to the digital quantum simulation of the transverse-field Ising model on an IBM quantum computer to suppress the errors due to the noisy two-qubit operations. We present an effective use of VTQG, where the reduction of multiple SWAP gates results in increasing the fidelity of the output states. The obtained results indicate that the VTQG can be useful for suppressing the errors due to the additional SWAP gates. Additionally, by combining a pulse-efficient transpilation method with the VTQG, further suppression of the errors is observed. In our experiments, we have observed one order of magnitude improvement in accuracy for the quantum simulation of the transverse-field Ising model with 8 qubits.


title: Spaces of non-resultant systems of bounded multiplicity with real coefficients

abstract: For each pair $(m,n)$ of positive integers with $(m,n)\not= (1,1)$ and an arbitrary field $\bf F$ with algebraic closure $\overline{\bf F}$, let $\rm Po^{d,m}_n(\bf F)$ denote the space of $m$-tuples $(f_1(z),\cdots ,f_m(z))\in \bf F [z]^m$ of $\bf F$-coefficients monic polynomials of the same degree $d$ such that the polynomials $\{f_k(z)\}_{k=1}^m$ have no common root in $\overline{\bf F}$ of multiplicity $\geq n$. These spaces $\rm Po^{d,m}_n(\bf F)$ were first defined and studied by B. Farb and J. Wolfson as generalizations of spaces first studied by Arnold, Vassiliev and Segal and others in several different contexts. In previous we determined explicitly the homotopy type of this space in the case $\bf F =\Bbb C$. In this paper, we investigate the case $\bf F =\Bbb R$.


title: Stochastic Multi-class Traffic Assignment for Autonomous and Regular Vehicles in a Transportation Network

abstract: A transition period from regular vehicles (RVs) to autonomous vehicles (AVs) is imperative. This article explores both types of vehicles using a route choice model, formulated as a stochastic multi-class traffic assignment (SMTA) problem. In RVs, cross-nested logit (CNL) models are used since drivers do not have complete information and the unique characteristics of CNL. AVs, however, are considered to behave in a user equilibrium (UE) due to complete information about the network. The main innovation of this article includes the introduction of three solution methods for SMTA. Depending on the size of the network, each method can be used. These methods include solving the nonlinear complementary problem (NCP) with GAMS software, the decomposition-assignment algorithm, and the modified Wang's algorithm. Through the modification of Wang's algorithm, we have increased the convergence speed of Wang's algorithm and shown its numerical results for the Nguyen and Sioux Falls networks. As it is not possible to consider all paths in the traffic assignment, we proposed a creative path generation-assignment (PGA) algorithm. This algorithm generates several attractive paths for each origin-destination (OD), and the modified Wang's algorithm assigns traffic flow. Keywords: Autonomous Vehicles, Stochastic Multi-class Traffic Assignment, Cross-Nested Logit Model


title: Stable unital basis, hyperfocal subalgebras and basic Morita equivalences

abstract: We investigate Conjecture 1.6 introduced by Barker and Gelvin in [3], which says that any source algebra of a p-block (p is a prime) of finite group has the unit group containing a basis stabilized by left and right action of the defect group. We will reduce this conjecture to a similar statement about basis of the hyperfocal subalgebras in the source algebra. We will also show that such unital basis of source algebras of two p-blocks, stabilized by left and right action of the defect group, are transported trough basic Morita equivalences.


title: Target Detection Framework for Lobster Eye X-Ray Telescopes with Machine Learning Algorithms

abstract: Lobster eye telescopes are ideal monitors to detect X-ray transients, because they could observe celestial objects over a wide field of view in X-ray band. However, images obtained by lobster eye telescopes are modified by their unique point spread functions, making it hard to design a high efficiency target detection algorithm. In this paper, we integrate several machine learning algorithms to build a target detection framework for data obtained by lobster eye telescopes. Our framework would firstly generate two 2D images with different pixel scales according to positions of photons on the detector. Then an algorithm based on morphological operations and two neural networks would be used to detect candidates of celestial objects with different flux from these 2D images. At last, a random forest algorithm will be used to pick up final detection results from candidates obtained by previous steps. Tested with simulated data of the Wide-field X-ray Telescope onboard the Einstein Probe, our detection framework could achieve over 94% purity and over 90% completeness for targets with flux more than 3 mCrab (9.6 * 10-11 erg/cm2/s) and more than 94% purity and moderate completeness for targets with lower flux at acceptable time cost. The framework proposed in this paper could be used as references for data processing methods developed for other lobster eye X-ray telescopes.


title: On graph classes with minor-universal elements

abstract: A graph $U$ is universal for a graph class $\mathcal{C}\ni U$, if every $G\in \mathcal{C}$ is a minor of $U$. We prove the existence or absence of universal graphs in several natural graph classes, including graphs component-wise embeddable into a surface, and graphs forbidding $K_5$, or $K_{3,3}$, or $K_\infty$ as a minor. We prove the existence of uncountably many minor-closed classes of countable graphs that (do and) do not have a universal element. Some of our results and questions may be of interest to the finite graph theorist. In particular, one of our side-results is that every $K_5$-minor-free graph is a minor of a $K_5$-minor-free graph of maximum degree 22.


title: Applicability limitations of differentiable full-reference image-quality

abstract: Subjective image-quality measurement plays a critical role in the development of image-processing applications. The purpose of a visual-quality metric is to approximate the results of subjective assessment. In this regard, more and more metrics are under development, but little research has considered their limitations. This paper addresses that deficiency: we show how image preprocessing before compression can artificially increase the quality scores provided by the popular metrics DISTS, LPIPS, HaarPSI, and VIF as well as how these scores are inconsistent with subjective-quality scores. We propose a series of neural-network preprocessing models that increase DISTS by up to 34.5%, LPIPS by up to 36.8%, VIF by up to 98.0%, and HaarPSI by up to 22.6% in the case of JPEG-compressed images. A subjective comparison of preprocessed images showed that for most of the metrics we examined, visual quality drops or stays unchanged, limiting the applicability of these metrics.


title: Security Defense of Large Scale Networks Under False Data Injection Attacks: An Attack Detection Scheduling Approach

abstract: In large-scale networks, communication links between nodes are easily injected with false data by adversaries. This paper proposes a novel security defense strategy from the perspective of attack detection scheduling to ensure the security of the network. Based on the proposed strategy, each sensor can directly exclude suspicious sensors from its neighboring set. First, the problem of selecting suspicious sensors is formulated as a combinatorial optimization problem, which is non-deterministic polynomial-time hard (NP-hard). To solve this problem, the original function is transformed into a submodular function. Then, we propose an attack detection scheduling algorithm based on the sequential submodular optimization theory, which incorporates \emph{expert problem} to better utilize historical information to guide the sensor selection task at the current moment. For different attack strategies, theoretical results show that the average optimization rate of the proposed algorithm has a lower bound, and the error expectation is bounded. In addition, under two kinds of insecurity conditions, the proposed algorithm can guarantee the security of the entire network from the perspective of the augmented estimation error. Finally, the effectiveness of the developed method is verified by the numerical simulation and practical experiment.


title: Building the Standard Model Historical and Qualitative Aspects

abstract: Without going to the details, I give a short, qualitative and historical description of the development of the Standard Model, from quantum electrodynamics, further through quantum chromodynamics, then to weak interactions with parity- and CP-violation, ending up with electroweak symmetry breaking and the Higgs boson. The presentation is based on my own experiences from the late 1960's up to the discovery of the Higgs boson. It is mainly meant for students at master level, and at some points it is presented somewhat different from standard textbook presentations.


title: Estimator: An Effective and Scalable Framework for Transportation Mode Classification over Trajectories

abstract: Transportation mode classification, the process of predicting the class labels of moving objects transportation modes, has been widely applied to a variety of real world applications, such as traffic management, urban computing, and behavior study. However, existing studies of transportation mode classification typically extract the explicit features of trajectory data but fail to capture the implicit features that affect the classification performance. In addition, most of the existing studies also prefer to apply RNN-based models to embed trajectories, which is only suitable for classifying small-scale data. To tackle the above challenges, we propose an effective and scalable framework for transportation mode classification over GPS trajectories, abbreviated Estimator. Estimator is established on a developed CNN-TCN architecture, which is capable of leveraging the spatial and temporal hidden features of trajectories to achieve high effectiveness and efficiency. Estimator partitions the entire traffic space into disjointed spatial regions according to traffic conditions, which enhances the scalability significantly and thus enables parallel transportation classification. Extensive experiments using eight public real-life datasets offer evidence that Estimator i) achieves superior model effectiveness (i.e., 99% Accuracy and 0.98 F1-score), which outperforms state-of-the-arts substantially; ii) exhibits prominent model efficiency, and obtains 7-40x speedups up over state-of-the-arts learning-based methods; and iii) shows high model scalability and robustness that enables large-scale classification analytics.


title: Low-rank Tensor Assisted K-space Generative Model for Parallel Imaging Reconstruction

abstract: Although recent deep learning methods, especially generative models, have shown good performance in fast magnetic resonance imaging, there is still much room for improvement in high-dimensional generation. Considering that internal dimensions in score-based generative models have a critical impact on estimating the gradient of the data distribution, we present a new idea, low-rank tensor assisted k-space generative model (LR-KGM), for parallel imaging reconstruction. This means that we transform original prior information into high-dimensional prior information for learning. More specifically, the multi-channel data is constructed into a large Hankel matrix and the matrix is subsequently folded into tensor for prior learning. In the testing phase, the low-rank rotation strategy is utilized to impose low-rank constraints on tensor output of the generative network. Furthermore, we alternately use traditional generative iterations and low-rank high-dimensional tensor iterations for reconstruction. Experimental comparisons with the state-of-the-arts demonstrated that the proposed LR-KGM method achieved better performance.


title: Correlation matrix of equi-correlated normal population: fluctuation of the largest eigenvalue, scaling of the bulk eigenvalues, and stock market

abstract: Given an $N$-dimensional sample of size $T$ and form a sample correlation matrix $\mathbf{C}$. Suppose that $N$ and $T$ tend to infinity with $T/N $ converging to a fixed finite constant $Q>0$. If the population is a factor model, then the eigenvalue distribution of $\mathbf{C}$ almost surely converges weakly to Mar\v{c}enko-Pastur distribution such that the index is $Q$ and the scale parameter is the limiting ratio of the specific variance to the $i$-th variable $(i\to\infty)$. For an $N$-dimensional normal population with equi-correlation coefficient $\rho$, which is a one-factor model, for the largest eigenvalue $\lambda$ of $\mathbf{C}$, we prove that $\lambda/N$ converges to the equi-correlation coefficient $\rho$ almost surely. These results suggest an important role of an equi-correlated normal population and a factor model in (Laloux et al. Random matrix theory and financial correlations, Int. J. Theor. Appl. Finance, 2000): the histogram of the eigenvalue of sample correlation matrix of the returns of stock prices fits the density of Mar\v{c}enko-Pastur distribution of index $T/N $ and scale parameter $1-\lambda/N$. Moreover, we provide the limiting distribution of the largest eigenvalue of a sample covariance matrix of an equi-correlated normal population. We discuss the phase transition as to the decay rate of the equi-correlation coefficient in $N$.


title: Focal-PETR: Embracing Foreground for Efficient Multi-Camera 3D Object Detection

abstract: The dominant multi-camera 3D detection paradigm is based on explicit 3D feature construction, which requires complicated indexing of local image-view features via 3D-to-2D projection. Other methods implicitly introduce geometric positional encoding and perform global attention (e.g., PETR) to build the relationship between image tokens and 3D objects. The 3D-to-2D perspective inconsistency and global attention lead to a weak correlation between foreground tokens and queries, resulting in slow convergence. We propose Focal-PETR with instance-guided supervision and spatial alignment module to adaptively focus object queries on discriminative foreground regions. Focal-PETR additionally introduces a down-sampling strategy to reduce the consumption of global attention. Due to the highly parallelized implementation and down-sampling strategy, our model, without depth supervision, achieves leading performance on the large-scale nuScenes benchmark and a superior speed of 30 FPS on a single RTX3090 GPU. Extensive experiments show that our method outperforms PETR while consuming 3x fewer training hours. The code will be made publicly available.


title: FastClass: A Time-Efficient Approach to Weakly-Supervised Text Classification

abstract: Weakly-supervised text classification aims to train a classifier using only class descriptions and unlabeled data. Recent research shows that keyword-driven methods can achieve state-of-the-art performance on various tasks. However, these methods not only rely on carefully-crafted class descriptions to obtain class-specific keywords but also require substantial amount of unlabeled data and takes a long time to train. This paper proposes FastClass, an efficient weakly-supervised classification approach. It uses dense text representation to retrieve class-relevant documents from external unlabeled corpus and selects an optimal subset to train a classifier. Compared to keyword-driven methods, our approach is less reliant on initial class descriptions as it no longer needs to expand each class description into a set of class-specific keywords. Experiments on a wide range of classification tasks show that the proposed approach frequently outperforms keyword-driven models in terms of classification accuracy and often enjoys orders-of-magnitude faster training speed.


title: Dynamics of the fractional quantum Hall edge probed by stroboscope measurements of trions

abstract: By using observations from pump-probe stroboscopic confocal microscopy and spectroscopy, we demonstrate the dynamics of trions and the fractional quantum Hall edge on the order of $\sim1$ ps. The propagation of the quantum Hall edge state excited by a voltage pulse is detected as a temporal change in reflectance in the downstream edge probed by optical pulses synchronized with the voltage pulse. The temporal resolution of such stroboscopic pump-probe measurements is as fast as the duration time of the probe pulse ($\sim1$ ps). This ultra-fast stroboscope measurement enables us to distinguish between the normal mode of edge excitation, known as the edge magneto-plasmon or charge density wave, and other high-energy non-linear excitations. This is the only experimental method available to study the ultra-fast dynamics of quantum Hall edges, and makes it possible to derive the metric tensor $g_{\mu \nu}$ of the $(1+1)=2$-dimensional curved spacetime in quantum universe and black hole analogs implemented in the quantum Hall edge.


title: Noetherian $\pi$-bases and Telg\'arsky's Conjecture

abstract: We investigate Noetherian families. By using a special Noetherian $\pi$-base, we give a result which states that existence of NONEMPTY's 2-tactic in the Banach-Mazur game on a space $X$, BM(X), if NONEMPTY has a winning strategy in $BM(X)$ and $X$ has the special Noetherian $\pi$-base. This result includes one of the Galvin's theorems which is important in this topic. From this result, we prove that for any topological space $X$ if $\pi w(X)\leq \omega_1$ and NONEMPTY has a winning strategy in $BM(X)$, then NONEMPTY has a 2-tactic in $BM(X)$. As a result of this fact, under $\mathsf{CH}$, we show that for any separable $T_3$ space $X$ if NONEMPTY has a winning strategy in $BM(X)$, then NONEMPTY has a 2-tactic in $BM(X)$. So, we prove that Telg{\'a}rsky's conjecture cannot be proven true in the realm of separable $T_3$ spaces, and more generally, in the class of spaces $X$ with $\pi w(X)\leq \omega_1$. We pose some questions about this topic.


title: On the convergence of Baum-Katz series for sums of linear 2-nd order autoregressive sequences of random variables

abstract: We consider complete convergence and closely related Hsu-Robbins-Erdos-Spitzer-Baum-Katz series for sums whose terms are elements of a linear 2-nd order autoregressive sequences of random variables and prove sufficient conditions for the convergence of this series.


title: Mutimodal Ranking Optimization for Heterogeneous Face Re-identification

abstract: Heterogeneous face re-identification, namely matching heterogeneous faces across disjoint visible light (VIS) and near-infrared (NIR) cameras, has become an important problem in video surveillance application. However, the large domain discrepancy between heterogeneous NIR-VIS faces makes the performance of face re-identification degraded dramatically. To solve this problem, a multimodal fusion ranking optimization algorithm for heterogeneous face re-identification is proposed in this paper. Firstly, we design a heterogeneous face translation network to obtain multimodal face pairs, including NIR-VIS/NIR-NIR/VIS-VIS face pairs, through mutual transformation between NIR-VIS faces. Secondly, we propose linear and non-linear fusion strategies to aggregate initial ranking lists of multimodal face pairs and acquire the optimized re-ranked list based on modal complementarity. The experimental results show that the proposed multimodal fusion ranking optimization algorithm can effectively utilize the complementarity and outperforms some relative methods on the SCface dataset.


title: Lipschitz Geometry of Real Semialgebraic Surfaces

abstract: We present here basic results in Lipschitz Geometry of semialgebraic surface germs. Although bi-Lipschitz classification problem of surface germs with respect to the inner metric was solved long ago, classification with respect to the outer metric remains an open problem. We review recent results related to the outer and ambient bi-Lipschitz classification of surface germs. In particular, we explain why the outer Lipschitz classification is much harder than the inner classification, and why the ambient Lipschitz Geometry of surface germs is very different from their outer Lipschitz Geometry. In particular, we show that the ambient Lipschitz Geometry of surface germs includes all of the Knot Theory.


title: Quantum irreversibility of quasistatic protocols for finite-size quantized systems

abstract: Quantum mechanically, a driving process is expected to be reversible in the quasistatic limit, also known as the adiabatic theorem. This statement stands in opposition to classical mechanics, where a mix of regular and chaotic dynamics implies irreversibility. A paradigm for demonstrating the signatures of chaos in quantum irreversibility is a sweep process whose objective is to transfer condensed bosons from a source orbital. We show that such a protocol is dominated by an interplay of adiabatic-shuttling and chaos-assisted depletion processes. The latter is implied by interaction terms that spoil the Bogoliubov integrability of the Hamiltonian. As the sweep rate is lowered, a crossover to a regime that is dominated by quantum fluctuations is encountered, featuring a breakdown of quantum-to-classical correspondence. The major aspects of this picture are not captured by the common two-orbital approximation, which implies failure of the familiar many-body Landau-Zener paradigm.


title: Tiling and weak tiling in $(\mathbb{Z}_p)^d$

abstract: We discuss the relation of tiling, weak tiling and spectral sets in finite abelian groups. In particular, in elementary $p$-groups $(\mathbb{Z}_p)^d$, we introduce an averaging procedure that leads to a natural object of study: a 4-tuple of functions which can be regarded as a common generalization of tiles and spectral sets. We characterize such 4-tuples for $d=1, 2$, and prove some partial results for $d=3$.