title: Doubly Robust Interval Estimation for Optimal Policy Evaluation in Online Learning

abstract: Evaluating the performance of an ongoing policy plays a vital role in many areas such as medicine and economics, to provide crucial instruction on the early-stop of the online experiment and timely feedback from the environment. Policy evaluation in online learning thus attracts increasing attention by inferring the mean outcome of the optimal policy (i.e., the value) in real-time. Yet, such a problem is particularly challenging due to the dependent data generated in the online environment, the unknown optimal policy, and the complex exploration and exploitation trade-off in the adaptive experiment. In this paper, we aim to overcome these difficulties in policy evaluation for online learning. We explicitly derive the probability of exploration that quantifies the probability of exploring the non-optimal actions under commonly used bandit algorithms. We use this probability to conduct valid inference on the online conditional mean estimator under each action and develop the doubly robust interval estimation (DREAM) method to infer the value under the estimated optimal policy in online learning. The proposed value estimator provides double protection on the consistency and is asymptotically normal with a Wald-type confidence interval provided. Extensive simulations and real data applications are conducted to demonstrate the empirical validity of the proposed DREAM method.


title: Higher-order extension of Starobinsky inflation: initial conditions, slow-roll regime, and reheating phase

abstract: The most current observational data corroborate the Starobinsky model as one of the strongest candidates in the description of an inflationary regime. Motivated by such success, extensions of the Starobinsky model have been increasingly recurrent in the literature. The theoretical justification for this is well grounded: higher-order gravities arise in high-energy physics in the search for the ultraviolet completeness of general relativity. In this paper, we propose to investigate the inflation due to the extension of the Starobinsky model characterized by the inclusion of the $R^{3}$ term. We make a complete analysis of the potential and phase space of the model, where we observe the existence of three regions with distinct dynamics for the scalar field. We can establish restrictive limits for the number of $e$-folds through a study of the reheating and by considering the usual couplings of the standard matter fields and gravity. Thereby, we duly confront our model with the observational data from Planck, BICEP3/Keck, and BAO. Finally, we discuss how the inclusion of the cubic term restricts the initial conditions necessary for the occurrence of a physical inflation.


title: A Pre-processing Method for Fairness in Ranking

abstract: Fair ranking problems arise in many decision-making processes that often necessitate a trade-off between accuracy and fairness. Many existing studies have proposed correction methods such as adding fairness constraints to a ranking model's loss. However, the challenge of correcting the data bias for fair ranking remains, and the trade-off of the ranking models leaves room for improvement. In this paper, we propose a fair ranking framework that evaluates the order of training data in a pairwise manner as well as various fairness measurements in ranking. This study is the first proposal of a pre-processing method that solves fair ranking problems using the pairwise ordering method with our best knowledge. The fair pairwise ordering method is prominent in training the fair ranking models because it ensures that the resulting ranking likely becomes parity across groups. As far as the fairness measurements in ranking are represented as a linear constraint of the ranking models, we proved that the minimization of loss function subject to the constraints is reduced to the closed solution of the minimization problem augmented by weights to training data. This closed solution inspires us to present a practical and stable algorithm that iterates the optimization of weights and model parameters. The empirical results over real-world datasets demonstrated that our method outperforms the existing methods in the trade-off between accuracy and fairness over real-world datasets and various fairness measurements.


title: A Remark on Random Vectors and Irreducible Representations

abstract: It was observed in \cite{Al2} that the expectation of a squared scalar product of two random independent unit vectors that are uniformly distributed on the unit sphere in $\mathbb{R}^n $ is equal to $1/n$. It is shown below that this is a characteristic property of random unit vectors defined on invariant probability subspaces of irreducible real representations of compact Lie groups.


title: Diverse densest ternary sphere packings

abstract: The exploration of the densest sphere packings is a fundamental problem in mathematics and a wide variety of sciences including materials science. We present our exhaustive computational exploration of the densest ternary sphere packings (DTSPs) for 451 radius ratios and 436 compositions on top of our previous study [Koshoji and Ozaki, Phys. Rev. E 104, 024101 (2021)]. The unbiased exploration discovers diverse 22 putative DTSPs, and thereby 60 putative DTSPs are identified in total including the 38 DTSPs discussed by the previous study. Some of the discovered DTSPs are well-ordered, for example, the medium spheres in the (9-7-3) structure are placed in a straight line with comprising the unit cell, and the DTSP has the $Pm \bar{3}m$ symmetry if the structural distortion is corrected. At a considerable number of radius ratios, the highest packing fractions are achieved by the phase separations consisting of only the FCC and/or the putative densest binary sphere packings (DBSPs) for all compositions, and the tendency is getting evident as the small and medium spheres are getting larger. The result seems to indicate directly that the local structures in the DBSPs may be denser than those consisting of three kinds of spheres. However, the unit cell of undiscovered DTSPs might only be much larger than in this study due to the complexity of the ternary local structures. Finally, we discuss the correspondence of the DTSPs with real crystals based on the space group. Our study suggests that the diverse structures of DTSPs can be effectively used as structural prototypes for searching ternary, quaternary, and quinary crystal structures.


title: Thermal melting of discrete time crystals: a dynamical phase transition induced by thermal fluctuations

abstract: The stability of a discrete time crystal against thermal fluctuations has been studied numerically by solving a stochastic Landau-Lifshitz-Gilbert equation of a periodically-driven classical system composed of interacting spins, each of which couples to a thermal bath. It is shown that in the thermodynamic limit, even though the long-range temporary crystalline order is stable at low temperature, it is melting above a critical temperature, at which the system experiences a non-equilibrium phase transition. The critical behaviors of the continuous phase transition have been systematically investigated, and it is shown that despite the genuine non-equilibrium feature of such a periodically driven system, its critical properties fall into the 3D Ising universality class with a dynamical exponent ($z=2$) identical to that in the critical dynamics of kinetic Ising model without driving.


title: Two types of magnetic bubbles in MnNiGa observed via Lorentz microscopy

abstract: Magnetic bubbles are remarkable spin structures that developed in uniaxial magnets with strong magnetocrystalline anisotropy. Several contradictory reports have been published concerning the magnetic bubble structure in a metallic magnet MnNiGa: Biskyrmions or type-II bubbles. Lorentz microscopy in polycrystalline MnNiGa was used to explain the magnetic bubble structure. Depending on the connection between the magnetic easy axis and the observation plane, two types of magnetic bubbles were formed. Magnetic bubbles with 180{\deg} domains were formed if the easy axis was away from the direction perpendicular to the observation plane. The contrast of biskyrmion is reproduced by this form of a magnetic bubble. When the easy axis was approximately perpendicular to the observing plane, type-II bubbles were observed in the same specimen. The findings will fill a knowledge gap between prior reports on magnetic bubbles in MnNiGa.


title: Quasi-linear analysis of dispersion relation preservation for nonlinear schemes

abstract: In numerical simulations of complex flows with discontinuities, it is necessary to use nonlinear schemes. The spectrum of the scheme used have a significant impact on the resolution and stability of the computation. Based on the approximate dispersion relation method, we combine the corresponding spectral property with the dispersion relation preservation proposed by De and Eswaran (J. Comput. Phys. 218 (2006) 398-416) and propose a quasi-linear dispersion relation preservation (QL-DRP) analysis method, through which the group velocity of the nonlinear scheme can be determined. In particular, we derive the group velocity property when a high-order Runge-Kutta scheme is used and compare the performance of different time schemes with QL-DRP. The rationality of the QL-DRP method is verified by a numerical simulation and the discrete Fourier transform method. To further evaluate the performance of a nonlinear scheme in finding the group velocity, new hyperbolic equations are designed. The validity of QL-DRP and the group velocity preservation of several schemes are investigated using two examples of the equation for one-dimensional wave propagation and the new hyperbolic equations. The results show that the QL-DRP method integrated with high-order time schemes can determine the group velocity for nonlinear schemes and evaluate their performance reasonably and efficiently.


title: Cosmic-Ray-Related Signals from Detectors in Space: the Spitzer/IRAC Si:As IBC Devices

abstract: We evaluate the hit rate of cosmic rays and their daughter particles on the Si:As IBC detectors in the IRAC instrument on the Spitzer Space Telescope. The hit rate follows the ambient proton flux closely, but the hits occur at more than twice the rate expected just from this flux. Toward large amplitudes, the size distribution of hits by single-charge particles (muons) follows the Landau Distribution. The amplitudes of the hits are distributed to well below the energy loss of a traditional ``average minimum-ionizing proton'' as a result of statistical fluctuations in the ionization loss within the detectors. Nonetheless, hits with amplitudes less than a few hundred electrons are rare; this places nearly all hits in an amplitude range that is readily identified given the read noises of modern solid-state detectors. The spread of individual hits over multiple pixels is dominated by geometric effects, i.e., the range of incident angles, but shows a modest excess probably due to: (1) showering and scattering of particles; (2) the energy imparted on the ionization products by the energetic protons; and (3) interpixel capacitance. Although this study is focused on a specific detector type, it should have general application to operation of modern solid-state detectors in space.


title: Monostatic sampling methods in limited-aperture configuration

abstract: We present monostatic sampling methods for limited-aperture scattering problems in two dimensions. The direct sampling method (DSM) is well known to provide a robust, stable, and fast numerical scheme for imaging inhomogeneities from multistatic measurements even with only one or two incident fields. However, in practical applications, monostatic measurements in limited-aperture configuration are frequently encountered. A monostatic sampling method (MSM) was studied in full-aperture configuration in recent literature. In this paper, we develop MSM in limited-aperture configuration and derive an asymptotic formula of the corresponding indicator function. Based on the asymptotic formula, we then analyze the imaging performance of the proposed method depending on the range of measurement directions and the geometric, material properties of inhomogeneities. Furthermore, we propose a modified numerical scheme with multi-frequency measurements that improve imaging performance, especially for small anomalies. Numerical simulations are presented to validate the analytical results.


title: Dissipation and adhesion hysteresis between (010) forsterite surfaces using molecular-dynamics simulation and the Jarzynski equality

abstract: Dissipation and adhesion are important in many areas of materials science, including friction and lubrication, cold spray deposition, and micro-electromechanical systems (MEMS). Another interesting problem is the adhesion of mineral grains during the early stages of planetesimal formation in the early solar system. Molecular-dynamics (MD) simulation has often been used to elucidate dissipative properties, most often in the simulation of sliding friction. In this paper, we demonstrate how the reversible and irreversible work associated with interactions between planar surfaces can be calculated using the dynamical contact simulation approach based on MD and empirical potentials. Moreover, it is demonstrated how the approach can obtain the free-energy $\Delta A(z)$ as a function of separation between two slabs using the Jarzynksi equality applied to an ensemble of trajectories which deviate significantly from equilibrium. Furthermore, the dissipative work can also be obtained using this method without the need to compute an entire cycle from approach to retraction. It is expected that this technique might be used to efficiently compute dissipative properties which might enable the use of more accurate approaches including density-functional theory. In this paper, we present results obtained for forsterite surfaces both with and without MgO-vacancy surface defects. It is shown that strong dissipation is possible when MgO-vacancy defects are present. The mechanism for strong dissipation is connected to the tendency of less strongly-bound surface units to undergo large displacements including mass transfer between the two surfaces. Systems with strong dissipation tend to exhibit a long-tailed distribution rather than the Gaussian distribution often anticipated in near-equilibrium applications of the JE.


title: Spin conservation of cosmic filaments

abstract: Cosmic filaments are the largest collapsing structure in the Universe. Recently both observations and simulations inferred that cosmic filaments have coherent angular momenta (spins). Here we use filament finders to identify the filamentary structures in cosmological simulations and study their physical origins, which are well described by the primordial tidal torque of their Lagrangian counterpart regions -- protofilaments. This initial angular momenta statistically preserve their directions to low redshifts. We further show that a spin reconstruction method can predict the spins of filaments and potentially relate their spins to the initial conditions of the Universe. This correlation provides a new way of constraining and obtaining additional information of the initial perturbations of the Universe.


title: Generalization of bibliographic coupling and co-citation using the node split network

abstract: Bibliographic coupling (BC) and co-citation (CC) are the two most common citation-based coupling measures of similarity between scientific items. One can interpret these measures as second-neighbor relations distinguished by the direction of the citation: BC is a similarity between two citing items, whereas CC is that between two cited items. A previous study proposed a two-layer node split network that can emulate clusters of coupling measures in a computationally efficient manner; however, the lack of intralayer links makes it impossible to obtain exact similarities. Here, we propose novel methods to estimate intralayer similarity on a node split network using personalized PageRank and neural embedding. We demonstrate that the proposed measures are strongly correlated with the coupling measures. Moreover, our proposed method can yield precise similarities between items even if they are distant from each other. We also show that many links with high similarity are missing in the original BC/CC network, which suggests that it is essential to consider long-range similarities. Comparative experiments on global and local edge sampling suggest that local sampling is stable for both similarities in node split networks. This analysis offers valuable insights into the process of searching for significantly related items regarding each coupling measure.


title: Harmonic maser emissions from electrons with loss-cone distribution in solar active regions

abstract: Electron cyclotron maser emission (ECME) is regarded as a plausible source for the coherent radio radiations from solar active regions (e.g., solar radio spikes). In this Letter, we present a 2D3V fully kinetic electromagnetic particle-in-cell (PIC) simulation to investigate the wave excitations and subsequent nonlinear processes induced by the energetic electrons in the loss-cone distribution. The ratio of the plasma frequency to the electron gyrofrequency ${\omega}_{pe}/{\Omega}_{ce}$ is set to 0.25, adequate for solar active region conditions. As a main result, we obtain strong emissions at the second-harmonic X mode (X2). While the fundamental X mode (X1) and the Z mode are amplified directly via the electron cyclotron maser instability, the X2 emissions can be produced by the nonlinear coalescence between two Z modes and between Z and X1 modes. This represents a novel generation mechanism for the harmonic emissions in plasmas with a low value of ${\omega}_{pe}/{\Omega}_{ce}$, which may resolve the escaping difficulty of explaining solar radio emissions with the ECME mechanism.


title: Acceleration of DNA Replication of Klenow Fragment by Small Resisting Force

abstract: DNA polymerases are an essential class of enzymes or molecular motors that catalyze processive DNA syntheses during DNA replications. A critical issue for DNA polymerases is their molecular mechanism of processive DNA replication. We have previously proposed a model for chemomechanical coupling of DNA polymerases, based on which the predicted results have been provided about the dependence of DNA replication velocity upon the external force on Klenow fragment of DNA polymerase I. Here, we performed single molecule measurements of the replication velocity of Klenow fragment under the external force by using magnetic tweezers. The single molecule data verified quantitatively the previous theoretical predictions, which is critical to the chemomechanical coupling mechanism of DNA polymerases. A prominent characteristic for the Klenow fragment is that the replication velocity is independent of the assisting force whereas the velocity increases largely with the increase of the resisting force, attains the maximum velocity at about 3.8 pN and then decreases with the further increase of the resisting force.


title: Multigravity and the cosmological constant

abstract: The possibility of flat metric solutions in the presence of arbitrary, in particular, Planck mass sized cosmological constants is investigated within multigravity theory, the ghost-free theory of $(N+1)$ rank-2 tensor fields comprising one massless and $N$ massive spin-2 fields. It is found that, indeed, for any $N$, no matter how large, no flat solutions exist without fine-tuning parameters in the potential. For an infinite number of fields, however, flat solutions exist within an infinite-dimensional parameter space. Such a ground state may be viewed as a collective state that cannot be approximated by any finite $N$.


title: CP Factor Model for Dynamic Tensors

abstract: Observations in various applications are frequently represented as a time series of multidimensional arrays, called tensor time series, preserving the inherent multidimensional structure. In this paper, we present a factor model approach, in a form similar to tensor CP decomposition, to the analysis of high-dimensional dynamic tensor time series. As the loading vectors are uniquely defined but not necessarily orthogonal, it is significantly different from the existing tensor factor models based on Tucker-type tensor decomposition. The model structure allows for a set of uncorrelated one-dimensional latent dynamic factor processes, making it much more convenient to study the underlying dynamics of the time series. A new high order projection estimator is proposed for such a factor model, utilizing the special structure and the idea of the higher order orthogonal iteration procedures commonly used in Tucker-type tensor factor model and general tensor CP decomposition procedures. Theoretical investigation provides statistical error bounds for the proposed methods, which shows the significant advantage of utilizing the special model structure. Simulation study is conducted to further demonstrate the finite sample properties of the estimators. Real data application is used to illustrate the model and its interpretations.


title: Some remarks on relative modular categories

abstract: We study properties of relative modular categories and derive sufficient conditions for their existence. In particular, we derive sufficient conditions for relative pre-modular categories to be non-degenerate and relative modular, and for the quotient of categories taking a particular form by their ideal of negligible modules to be generically semi-simple.


title: Proof of a conjecture on hamiltonian-connected graphs

abstract: We prove that every 3-connected claw-free graph with domination number at most 3 is hamiltonian-connected. The result is sharp and it is inspired by a conjecture posed by Zheng, Broersma, Wang and Zhang in 2020.


title: On Label Shift in Domain Adaptation via Wasserstein Distance

abstract: We study the label shift problem between the source and target domains in general domain adaptation (DA) settings. We consider transformations transporting the target to source domains, which enable us to align the source and target examples. Through those transformations, we define the label shift between two domains via optimal transport and develop theory to investigate the properties of DA under various DA settings (e.g., closed-set, partial-set, open-set, and universal settings). Inspired from the developed theory, we propose Label and Data Shift Reduction via Optimal Transport (LDROT) which can mitigate the data and label shifts simultaneously. Finally, we conduct comprehensive experiments to verify our theoretical findings and compare LDROT with state-of-the-art baselines.


title: ARviz -- An Augmented Reality-enabled Visualization Platform for ROS Applications

abstract: Current robot interfaces such as teach pendants and 2D screen displays used for task visualization and interaction often seem unintuitive and limited in terms of information flow. This compromises task efficiency as interacting with the interface can distract the user from the task at hand. Augmented Reality (AR) technology offers the capability to create visually rich displays and intuitive interaction elements in situ. In recent years, AR has shown promising potential to enable effective human-robot interaction. We introduce ARviz - a versatile, extendable AR visualization platform built for robot applications developed with the widely used Robot Operating System (ROS) framework. ARviz aims to provide both a universal visualization platform with the capability of displaying any ROS message data type in AR, as well as a multimodal user interface for interacting with robots over ROS. ARviz is built as a platform incorporating a collection of plugins that provide visualization and/or interaction components. Users can also extend the platform by implementing new plugins to suit their needs. We present three use cases as well as two potential use cases to showcase the capabilities and benefits of the ARviz platform for human-robot interaction applications. The open access source code for our ARviz platform is available at: https://github.com/hri-group/arviz.


title: ADDS: Adaptive Differentiable Sampling for Robust Multi-Party Learning

abstract: Distributed multi-party learning provides an effective approach for training a joint model with scattered data under legal and practical constraints. However, due to the quagmire of a skewed distribution of data labels across participants and the computation bottleneck of local devices, how to build smaller customized models for clients in various scenarios while providing updates appliable to the central model remains a challenge. In this paper, we propose a novel adaptive differentiable sampling framework (ADDS) for robust and communication-efficient multi-party learning. Inspired by the idea of dropout in neural networks, we introduce a network sampling strategy in the multi-party setting, which distributes different subnets of the central model to clients for updating, and the differentiable sampling rates allow each client to extract optimal local architecture from the supernet according to its private data distribution. The approach requires minimal modifications to the existing multi-party learning structure, and it is capable of integrating local updates of all subnets into the supernet, improving the robustness of the central model. The proposed framework significantly reduces local computation and communication costs while speeding up the central model convergence, as we demonstrated through experiments on real-world datasets.


title: Sampling low-spectrum signals on graphs via cluster-concentrated modes: examples

abstract: We establish frame inequalities for signals in Paley--Wiener spaces on two specific families of graphs consisting of combinations of cubes and cycles. The frame elements are localizations to cubes, regarded as clusters in the graphs, of vertex functions that are eigenvectors of certain spatio--spectral limiting operators on graph signals.


title: Perturbed potential temperature distribution in atmospheric boundary layers

abstract: This article discusses the modeling of perturbed potential temperature in an atmospheric boundary layer. We adopt a convection-diffusion model with specified initial and boundary conditions that resulted from simplifying the linearized equation of the standard continuity equation for potential temperature field in the state of weak turbulent fluxes. By implementing the method of separation of variables to the non-steady-state perturbed potential temperature, we obtain a regular Sturm-Liouville problem for the spatial-dependent, vertical distribution component of the perturbed potential temperature. By transforming the canonical problem into the Liouville normal form, we provide asymptotic solutions for the corresponding second-order boundary value problem using the WKB theory. Furthermore, by solving the problem numerically, we observe a remarkable qualitative agreement between the asymptotic solutions and numerical simulations. As other convection-diffusion models typically perform, the perturbed potential temperature diminishes and approaches the steady-state condition over time.


title: PEDENet: Image Anomaly Localization via Patch Embedding and Density Estimation

abstract: A neural network targeting at unsupervised image anomaly localization, called the PEDENet, is proposed in this work. PEDENet contains a patch embedding (PE) network, a density estimation (DE) network, and an auxiliary network called the location prediction (LP) network. The PE network takes local image patches as input and performs dimension reduction to get low-dimensional patch embeddings via a deep encoder structure. Being inspired by the Gaussian Mixture Model (GMM), the DE network takes those patch embeddings and then predicts the cluster membership of an embedded patch. The sum of membership probabilities is used as a loss term to guide the learning process. The LP network is a Multi-layer Perception (MLP), which takes embeddings from two neighboring patches as input and predicts their relative location. The performance of the proposed PEDENet is evaluated extensively and benchmarked with that of state-of-the-art methods.


title: The Structure-Behavior Coalescence Method --Toward a Unified View of the Software System in Model-Driven Engineering

abstract: In Model-Driven Engineering (MDE), the Unified Modeling Language (UML) 2.0 specification includes a metamodel that defines the language concepts and a user model that defines how the language concepts are represented. In UML 2.0, an important use of metamodel is to provide an integrated semantic framework that every diagram in the user model can be projected as a view of the metamodel. However, most existing UML 2.0 metamodels lack the ability to serve as the basis for unifying different views of a software system. To overcome the shortcomings of the current UML 2.0 metamodel approaches, we developed Operation-Based Multi-Queue Structure-Behavior Coalescence Process Algebra (O-M-SBC-PA), which provides an integrated semantic framework that is able to integrate structural and behavioral constructs. Using O-M-SBC-PA as the metamodel of UML 2.0, each diagram in the user model can be projected as a view of the MDE metamodel.


title: Pre-training Co-evolutionary Protein Representation via A Pairwise Masked Language Model

abstract: Understanding protein sequences is vital and urgent for biology, healthcare, and medicine. Labeling approaches are expensive yet time-consuming, while the amount of unlabeled data is increasing quite faster than that of the labeled data due to low-cost, high-throughput sequencing methods. In order to extract knowledge from these unlabeled data, representation learning is of significant value for protein-related tasks and has great potential for helping us learn more about protein functions and structures. The key problem in the protein sequence representation learning is to capture the co-evolutionary information reflected by the inter-residue co-variation in the sequences. Instead of leveraging multiple sequence alignment as is usually done, we propose a novel method to capture this information directly by pre-training via a dedicated language model, i.e., Pairwise Masked Language Model (PMLM). In a conventional masked language model, the masked tokens are modeled by conditioning on the unmasked tokens only, but processed independently to each other. However, our proposed PMLM takes the dependency among masked tokens into consideration, i.e., the probability of a token pair is not equal to the product of the probability of the two tokens. By applying this model, the pre-trained encoder is able to generate a better representation for protein sequences. Our result shows that the proposed method can effectively capture the inter-residue correlations and improves the performance of contact prediction by up to 9% compared to the MLM baseline under the same setting. The proposed model also significantly outperforms the MSA baseline by more than 7% on the TAPE contact prediction benchmark when pre-trained on a subset of the sequence database which the MSA is generated from, revealing the potential of the sequence pre-training method to surpass MSA based methods in general.


title: Deconvolutional Networks on Graph Data

abstract: In this paper, we consider an inverse problem in graph learning domain -- ``given the graph representations smoothed by Graph Convolutional Network (GCN), how can we reconstruct the input graph signal?" We propose Graph Deconvolutional Network (GDN) and motivate the design of GDN via a combination of inverse filters in spectral domain and de-noising layers in wavelet domain, as the inverse operation results in a high frequency amplifier and may amplify the noise. We demonstrate the effectiveness of the proposed method on several tasks including graph feature imputation and graph structure generation.


title: Topological Relational Learning on Graphs

abstract: Graph neural networks (GNNs) have emerged as a powerful tool for graph classification and representation learning. However, GNNs tend to suffer from over-smoothing problems and are vulnerable to graph perturbations. To address these challenges, we propose a novel topological neural framework of topological relational inference (TRI) which allows for integrating higher-order graph information to GNNs and for systematically learning a local graph structure. The key idea is to rewire the original graph by using the persistent homology of the small neighborhoods of nodes and then to incorporate the extracted topological summaries as the side information into the local algorithm. As a result, the new framework enables us to harness both the conventional information on the graph structure and information on the graph higher order topological properties. We derive theoretical stability guarantees for the new local topological representation and discuss their implications on the graph algebraic connectivity. The experimental results on node classification tasks demonstrate that the new TRI-GNN outperforms all 14 state-of-the-art baselines on 6 out 7 graphs and exhibit higher robustness to perturbations, yielding up to 10\% better performance under noisy scenarios.


title: Measurements of $\phi$ meson and $\Xi^-$ hyperon production in Au+Au collisions at $\sqrt{s_{NN}}$ = 3 GeV from STAR experiment

abstract: In this proceedings, we present our first measurements of $\phi$ meson and $\Xi^-$ hyperon production in Au+Au collisions at $\sqrt{s_{NN}}$ = 3 GeV. Various models including thermal and transport model calculations are compared to data, these results imply that the matter produced in the 3 GeV Au+Au collisions is considerably different from that at higher energies.


title: Recent CMS results on soft QCD physics

abstract: Soft quantum chromodynamics (QCD) measurements play an important role in fundamental QCD studies as well as in tuning of corresponding Monte Carlo generator models for a good description of experimental data. Recent results of soft QCD measurements with the CMS experiment, such as minimum bias/underlying event physics, double parton scattering and forward jet production production are presented.


title: Contact Transfer: A Direct, User-Driven Method for Human to Robot Transfer of Grasps and Manipulations

abstract: We present a novel method for the direct transfer of grasps and manipulations between objects and hands through utilization of contact areas. Our method fully preserves contact shapes, and in contrast to existing techniques, is not dependent on grasp families, requires no model training or grasp sampling, makes no assumptions about manipulator morphology or kinematics, and allows user control over both transfer parameters and solution optimization. Despite these accommodations, we show that our method is capable of synthesizing kinematically feasible whole hand poses in seconds even for poor initializations or hard to reach contacts. We additionally highlight the method's benefits in both response to design alterations as well as fast approximation over in-hand manipulation sequences. Finally, we demonstrate a solution generated by our method on a physical, custom designed prosthetic hand.


title: Improved Sliding Window Algorithms for Clustering and Coverage via Bucketing-Based Sketches

abstract: Streaming computation plays an important role in large-scale data analysis. The sliding window model is a model of streaming computation which also captures the recency of the data. In this model, data arrives one item at a time, but only the latest $W$ data items are considered for a particular problem. The goal is to output a good solution at the end of the stream by maintaining a small summary during the stream. In this work, we propose a new algorithmic framework for designing efficient sliding window algorithms via bucketing-based sketches. Based on this new framework, we develop space-efficient sliding window algorithms for $k$-cover, $k$-clustering and diversity maximization problems. For each of the above problems, our algorithm achieves $(1\pm \varepsilon)$-approximation. Compared with the previous work, it improves both the approximation ratio and the space.


title: Structure-aware Fine-tuning of Sequence-to-sequence Transformers for Transition-based AMR Parsing

abstract: Predicting linearized Abstract Meaning Representation (AMR) graphs using pre-trained sequence-to-sequence Transformer models has recently led to large improvements on AMR parsing benchmarks. These parsers are simple and avoid explicit modeling of structure but lack desirable properties such as graph well-formedness guarantees or built-in graph-sentence alignments. In this work we explore the integration of general pre-trained sequence-to-sequence language models and a structure-aware transition-based approach. We depart from a pointer-based transition system and propose a simplified transition set, designed to better exploit pre-trained language models for structured fine-tuning. We also explore modeling the parser state within the pre-trained encoder-decoder architecture and different vocabulary strategies for the same purpose. We provide a detailed comparison with recent progress in AMR parsing and show that the proposed parser retains the desirable properties of previous transition-based approaches, while being simpler and reaching the new parsing state of the art for AMR 2.0, without the need for graph re-categorization.


title: An $O(k \log{n})$ algorithm for prefix based ranked autocomplete

abstract: Many search engines such as Google, Bing & Yahoo! show search suggestions when users enter search phrases on their interfaces. These suggestions are meant to assist the user in finding what she wants quickly and also suggesting common searches that may result in finding information that is more relevant. It also serves the purpose of helping the user if she is not sure of what to search for, but has a vague idea of what it is that she wants. We present an algorithm that takes time proportional to $O(k \log{n})$, and $O(n)$ extra space for providing the user with the top $k$ ranked suggestions out of a corpus of $n$ possible suggestions based on the prefix of the query that she has entered so far.


title: Optimal prediction for kernel-based semi-functional linear regression

abstract: In this paper, we establish minimax optimal rates of convergence for prediction in a semi-functional linear model that consists of a functional component and a less smooth nonparametric component. Our results reveal that the smoother functional component can be learned with the minimax rate as if the nonparametric component were known. More specifically, a double-penalized least squares method is adopted to estimate both the functional and nonparametric components within the framework of reproducing kernel Hilbert spaces. By virtue of the representer theorem, an efficient algorithm that requires no iterations is proposed to solve the corresponding optimization problem, where the regularization parameters are selected by the generalized cross validation criterion. Numerical studies are provided to demonstrate the effectiveness of the method and to verify the theoretical analysis.


title: Composite acousto-optical modulation

abstract: We propose a composite acousto-optical modulation (AOM) scheme for wide-band, efficient modulation of CW and pulsed lasers. We show that by adjusting the amplitudes and phases of weakly-driven daughter AOMs, diffraction beyond the Bragg condition can be achieved with exceptional efficiencies. Furthermore, by imaging pairs of AOMs in a counter-propagating configuration, high contrast switching of output orders can be achieved at the driving radio frequency (rf) limit, thereby enabling efficient bidirectional routing of a synchronized mode-locked laser. Here we demonstrate a simplest example of such scheme with a double-AOM setup for efficient diffraction across an octave of rf bandwidth, and for routing a mode-locked pulse train with up to $f_{\rm rep}=400$~MHz repetition rate. We discuss extension of the composite scheme toward multi-path routing and time-domain multiplexing, so as to individually shape each pulses of ultrafast lasers for novel quantum control applications.


title: On Cross-Layer Alignment for Model Fusion of Heterogeneous Neural Networks

abstract: Layer-wise model fusion via optimal transport, named OTFusion, applies soft neuron association for unifying different pre-trained networks to save computational resources. While enjoying its success, OTFusion requires the input networks to have the same number of layers. To address this issue, we propose a novel model fusion framework, named CLAFusion, to fuse neural networks with a different number of layers, which we refer to as heterogeneous neural networks, via cross-layer alignment. The cross-layer alignment problem, which is an unbalanced assignment problem, can be solved efficiently using dynamic programming. Based on the cross-layer alignment, our framework balances the number of layers of neural networks before applying layer-wise model fusion. Our experiments indicate that CLAFusion, with an extra finetuning process, improves the accuracy of residual networks on the CIFAR10, CIFAR100, and Tiny-ImageNet datasets. Furthermore, we explore its practical usage for model compression and knowledge distillation when applying to the teacher-student setting.


title: Relaxation dynamics of SIR-flocks with random epidemic states

abstract: We study the collective dynamics of a multi-particle system with three epidemic states as an internal state. For the collective modeling of active particle system, we adopt modeling spirits from the swarmalator model and the SIR epidemic model for the temporal evolution of particles' position and internal states. Under suitable assumptions on system parameters and non-collision property of initial spatial configuration, we show that the proposed model does not admit finite-time collisions so that the standard Cauchy-Lipschitz theory can be applied for the global well-posedness. For the relaxation dynamics, we provide several sufficient frameworks leading to the relaxation dynamics of the proposed model. The proposed sufficient frameworks are formulated in terms of system parameters and initial configuration. Under such sufficient frameworks, we show that the state configuration relaxes to the fixed constant configuration via the exponentially perturbed gradient system and explicit dynamics of the SIR model. We present explicit lower and upper bounds for the minimal and maximal relative distances.


title: Stability of uniqueness and coexistence of equilibrium states of the Ising model under long range perturbations

abstract: In this paper, we study perturbations of the $d$-dimensional Ising model for $d\geq 2$, including long range ones to which the Pirogov-Sinai theory is not applicable. We show that the uniqueness of the equilibrium state of the Ising model at high temperature and the coexistence of equilibrium states at low temperature are preserved by spin-flip symmetric perturbations.

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


title: Unified prescription for the generation of electroweak and gravitational gauge field Lagrangian on a principal fiber bundle

abstract: The Glashow-Weinberg-Salam gauge field Lagrangian for electroweak theory and the Townsend-Zardecki action for gravitation are obtained from the same type of Yang-Mills Weil form on a principal fiber bundle over space-time, with symmetry group U(2) and SO(2,3), respectively. The unified geometrical approach given here shows that fiber bundle reduction and symmetry breaking are essential not only in electroweak theory but also in the SO(2,3) gauge theory for gravitation. In fact, the process of symmetry breaking in electroweak theory and the soldering of the anti-de Sitter bundle, essential in the interpretation of SO(2,3) gauge theory as a theory for gravitation, are corresponding geometrical concepts.


title: Automatic Hand Sign Recognition: Identify Unusuality through Latent Cognizance

abstract: Sign language is a main communication channel among hearing disability community. Automatic sign language transcription could facilitate better communication and understanding between hearing disability community and hearing majority. As a recent work in automatic sign language transcription has discussed, effectively handling or identifying a non-sign posture is one of the key issues. A non-sign posture is a posture unintended for sign reading and does not belong to any valid sign. A non-sign posture may arise during sign transition or simply from an unaware posture. Confidence ratio has been proposed to mitigate the issue. Confidence ratio is simple to compute and readily available without extra training. However, confidence ratio is reported to only partially address the problem. In addition, confidence ratio formulation is susceptible to computational instability. This article proposes alternative formulations to confidence ratio, investigates an issue of non-sign identification for Thai Finger Spelling recognition, explores potential solutions and has found a promising direction. Not only does this finding address the issue of non-sign identification, it also provide some insight behind a well-learned inference machine, revealing hidden meaning and new interpretation of the underlying mechanism. Our proposed methods are evaluated and shown to be effective for non-sign detection.


title: Statistical properties of H{\alpha} jets in the polar coronal hole and their implications in coronal activities

abstract: Dynamic features, such as chromospheric jets, transition region network jets, coronal plumes and coronal jets, are abundant in the network regions of the solar polar coronal holes. We investigate the relationship between chromospheric jets and coronal activities (e.g., coronal plumes and jets).We analyze observations of a polar coronal hole including the filtergrams that were taken by the New Vacuum Solar Telescope (NVST) at the H{\alpha}-0.6 {\AA}to study the H{\alpha} jets,and the Atmospheric Imaging Assembly (AIA) 171 {\AA} images to follow the evolution of coronal activities. H{\alpha} jets are persistent in the network regions, only some regions (denoted as R1-R5) are rooted with discernible coronal plumes.With an automated method, we identify and track 1 320 H{\alpha} jets in the network regions. We find that the average lifetime, height and ascending speed of the H{\alpha} jets are 75.38 s, 2.67 Mm, 65.60 km s$^{-1}$, respectively. The H{\alpha} jets rooted in R1-R5 are higher and faster than those in the others. We also find that propagating disturbances (PDs) in coronal plumes have a close connection with the H{\alpha} jets. The speeds of 28 out of 29 H{\alpha} jets associated with PDs are about 50 km s$^{-1}$ . In a case of coronal jet, we find that the speeds of both the coronal jet and the H{\alpha} jet are over 150 km s$^{-1}$, suggesting that both cool and hot jets can be coupled together. Based on our analyses, it is evident that more dynamic H{\alpha} jets could release the energies to the corona, which might be the results of the development of Kelvin-Helmholtz instability (KHi) or small-scaled magnetic activities. We suggest that chromospheric jets, transition region network jets and ray-like features in the corona are coherent phenomena, and they are important tunnels for cycling energy and mass in the solar atmosphere.


title: Matrix regularization for tensor fields

abstract: We propose a novel matrix regularization for tensor fields. In this regularization, tensor fields are described as rectangular matrices and both area-preserving diffeomorphisms and local rotations of the orthonormal frame are realized as unitary similarity transformations of matrices in a unified way. We also show that the matrix commutator corresponds to the covariantized Poisson bracket for tensor fields in the large-$N$ limit.


title: Improving Fairness via Federated Learning

abstract: Recently, lots of algorithms have been proposed for learning a fair classifier from decentralized data. However, many theoretical and algorithmic questions remain open. First, is federated learning necessary, i.e., can we simply train locally fair classifiers and aggregate them? In this work, we first propose a new theoretical framework, with which we demonstrate that federated learning can strictly boost model fairness compared with such non-federated algorithms. We then theoretically and empirically show that the performance tradeoff of FedAvg-based fair learning algorithms is strictly worse than that of a fair classifier trained on centralized data. To bridge this gap, we propose FedFB, a private fair learning algorithm on decentralized data. The key idea is to modify the FedAvg protocol so that it can effectively mimic the centralized fair learning. Our experimental results show that FedFB significantly outperforms existing approaches, sometimes matching the performance of the centrally trained model.


title: Matching coefficients in the series expansions of certain $q$-products and their reciprocals

abstract: We show that the series expansions of certain $q$-products have \textit{matching coefficients} with their reciprocals. Several of the results are associated to Ramanujan's continued fractions. For example, let $R(q)$ denote the Rogers-Ramanujan continued fraction having the well-known $q$-product repesentation $$R(q)=\dfrac{(q;q^5)_\infty(q^4;q^5)_\infty}{(q^2;q^5)_\infty(q^3;q^5)_\infty}.$$ If \begin{align*} \sum_{n=0}^{\infty}\alpha(n)q^n=\dfrac{1}{R^5\left(q\right)}=\left(\sum_{n=0}^{\infty}\alpha^{\prime}(n)q^n\right)^{-1},\\ \sum_{n=0}^{\infty}\beta(n)q^n=\dfrac{R(q)}{R\left(q^{16}\right)}=\left(\sum_{n=0}^{\infty}\beta^{\prime}(n)q^n\right)^{-1}, \end{align*} then \begin{align*} \alpha(5n+r)&=-\alpha^{\prime}(5n+r-2) \quad r\in\{3,4\},\\ \beta(10n+r)&=-\beta^{\prime}(10n+r-6) \quad r\in\{7,9\}. \end{align*}


title: Does Momentum Help? A Sample Complexity Analysis

abstract: Stochastic Heavy Ball (SHB) and Nesterov's Accelerated Stochastic Gradient (ASG) are popular momentum methods in stochastic optimization. While benefits of such acceleration ideas in deterministic settings are well understood, their advantages in stochastic optimization is still unclear. In fact, in some specific instances, it is known that momentum does not help in the sample complexity sense. Our work shows that a similar outcome actually holds for the whole of quadratic optimization. Specifically, we obtain a lower bound on the sample complexity of SHB and ASG for this family and show that the same bound can be achieved by the vanilla SGD. We note that there exist results claiming the superiority of momentum based methods in quadratic optimization, but these are based on one-sided or flawed analyses.


title: Latent Cognizance: What Machine Really Learns

abstract: Despite overwhelming achievements in recognition accuracy, extending an open-set capability -- ability to identify when the question is out of scope -- remains greatly challenging in a scalable machine learning inference. A recent research has discovered Latent Cognizance (LC) -- an insight on a recognition mechanism based on a new probabilistic interpretation, Bayesian theorem, and an analysis of an internal structure of a commonly-used recognition inference structure. The new interpretation emphasizes a latent assumption of an overlooked probabilistic condition on a learned inference model. Viability of LC has been shown on a task of sign language recognition, but its potential and implication can reach far beyond a specific domain and can move object recognition toward a scalable open-set recognition. However, LC new probabilistic interpretation has not been directly investigated. This article investigates the new interpretation under a traceable context. Our findings support the rationale on which LC is based and reveal a hidden mechanism underlying the learning classification inference. The ramification of these findings could lead to a simple yet effective solution to an open-set recognition.


title: Competition of First-Order and Second-Order Topology on the Honeycomb Lattice

abstract: We investigate both first-order topology, as realized through Haldane's model, and second-order topology, implemented through an additional Kekul\'e-distortion, on the honeycomb lattice. The interplay and competition of both terms result in a phase diagram at half-filling which contains twelve distinct phases. All phases can be characterized by the first Chern number or by a quantized $\mathbb{Z}_Q$ Berry phase. Highlights include phases with high Chern numbers, a novel $\mathbb{Z}_6$ topological phase, but also coupled kagome-lattice Chern insulators. Furthermore, we explore the insulating phases at lower fillings, and find again first-order and second-order topological phases. Finally, we identify real-space structures which feature corner states not only at half but also at third and sixth fillings, in agreement with the quantized $\mathbb{Z}_Q$ Berry phases.


title: Existence results on Lagrange multiplier approach for gradient flows and application to optimization

abstract: This paper deals with the geometric numerical integration of gradient flow and its application to optimization. Gradient flows often appear as model equations of various physical phenomena, and their dissipation laws are essential. Therefore, dissipative numerical methods, which are numerical methods replicating the dissipation law, have been studied in the literature. Recently, Cheng, Liu, and Shen proposed a novel dissipative method, the Lagrange multiplier approach, for gradient flows, which is computationally cheaper than existing dissipative methods. Although their efficacy is numerically confirmed in existing studies, the existence results of the Lagrange multiplier approach are not known in the literature. In this paper, we establish some existence results. We prove the existence of the solution under a relatively mild assumption. In addition, by restricting ourselves to a special case, we show some existence and uniqueness results with concrete bounds. As gradient flows also appear in optimization, we further apply the latter results to optimization problems.


title: Partial Hadamard Encoded Synthetic Transmit Aperture for High Frame Rate Imaging with Minimal l2-Norm Least Square Method

abstract: Synthetic transmit aperture (STA) ultrasound imaging is well known for ideal focusing in the full field of view. However, it suffers from low signal-to-noise ratio (SNR) and low frame rate, because each array element must be activated individually. In our previous study, we encoded all the array elements with partial Hadamard matrix and reconstructed the complete STA dataset with compressed sensing (CS) algorithm (CS-STA). As all the elements are activated in each transmission and the number of transmissions is smaller than that of STA, this method can achieve higher SNR and higher frame rate. Its main drawback is the time-consuming CS reconstruction. In this study, we accelerate the complete STA dataset reconstruction with minimal l2-norm least square method. Thanks of the orthogonality of partial Hadamard matrix, the minimal l2-norm least square solution can be easily calculated. The proposed method is tested with simulation data and experimental phantom and in-vivo data. The results demonstrate that the proposed method achieves ~5*10^3 times faster reconstruction speed than CS algorithm. The simulation results demonstrate that the proposed method is capable of achieving the same accuracy for STA dataset reconstruction as conventional CS-STA method. The simulations, phantom and in-vivo experiments show that the proposed method is capable of improving the generalized contrast-to-noise ratio (gCNR) and SNR with maintained spatial resolution and fewer transmissions, compared with STA. In conclusion, the improved image quality and reduced computational time of LS-STA pave the way for its real-time applications in the clinics.


title: A Comprehensive Study on Learning-Based PE Malware Family Classification Methods

abstract: Driven by the high profit, Portable Executable (PE) malware has been consistently evolving in terms of both volume and sophistication. PE malware family classification has gained great attention and a large number of approaches have been proposed. With the rapid development of machine learning techniques and the exciting results they achieved on various tasks, machine learning algorithms have also gained popularity in the PE malware family classification task. Three mainstream approaches that use learning based algorithms, as categorized by the input format the methods take, are image-based, binary-based and disassembly-based approaches. Although a large number of approaches are published, there is no consistent comparisons on those approaches, especially from the practical industry adoption perspective. Moreover, there is no comparison in the scenario of concept drift, which is a fact for the malware classification task due to the fast evolving nature of malware. In this work, we conduct a thorough empirical study on learning-based PE malware classification approaches on 4 different datasets and consistent experiment settings. Based on the experiment results and an interview with our industry partners, we find that (1) there is no individual class of methods that significantly outperforms the others; (2) All classes of methods show performance degradation on concept drift (by an average F1-score of 32.23%); and (3) the prediction time and high memory consumption hinder existing approaches from being adopted for industry usage.


title: Data-driven Uncertainty Quantification in Computational Human Head Models

abstract: Computational models of the human head are promising tools for estimating the impact-induced response of brain, and thus play an important role in the prediction of traumatic brain injury. Modern biofidelic head model simulations are associated with very high computational cost, and high-dimensional inputs and outputs, which limits the applicability of traditional uncertainty quantification (UQ) methods on these systems. In this study, a two-stage, data-driven manifold learning-based framework is proposed for UQ of computational head models. This framework is demonstrated on a 2D subject-specific head model, where the goal is to quantify uncertainty in the simulated strain fields (i.e., output), given variability in the material properties of different brain substructures (i.e., input). In the first stage, a data-driven method based on multi-dimensional Gaussian kernel-density estimation and diffusion maps is used to generate realizations of the input random vector directly from the available data. Computational simulations of a small number of realizations provide input-output pairs for training data-driven surrogate models in the second stage. The surrogate models employ nonlinear dimensionality reduction using Grassmannian diffusion maps, Gaussian process regression to create a low-cost mapping between the input random vector and the reduced solution space, and geometric harmonics models for mapping between the reduced space and the Grassmann manifold. It is demonstrated that the surrogate models provide highly accurate approximations of the computational model while significantly reducing the computational cost. Monte Carlo simulations of the surrogate models are used for uncertainty propagation. UQ of strain fields highlight significant spatial variation in model uncertainty, and reveal key differences in uncertainty among commonly used strain-based brain injury predictor variables.


title: Cubic upper and lower bounds for subtrajectory clustering under the continuous Fr\'echet distance

abstract: Detecting commuting patterns or migration patterns in movement data is an important problem in computational movement analysis. Given a trajectory, or set of trajectories, this corresponds to clustering similar subtrajectories. We study subtrajectory clustering under the continuous and discrete Fr\'echet distances. The most relevant theoretical result is by Buchin et al. (2011). They provide, in the continuous case, an $O(n^5)$ time algorithm and a 3SUM-hardness lower bound, and in the discrete case, an $O(n^3)$ time algorithm. We show, in the continuous case, an $O(n^3 \log^2 n)$ time algorithm and a 3OV-hardness lower bound, and in the discrete case, an $O(n^2 \log n)$ time algorithm and a quadratic lower bound. Our bounds are almost tight unless SETH fails.


title: The impact of primordial binary on the dynamical evolution of intermediate massive star clusters

abstract: Observations found that star clusters contain a large fraction of binaries. Tight binaries are an important heating source that influences the long-term dynamical evolution of star clusters. However, due to the limitation of $N$-body tool, previous theoretical modelling for globular clusters (GCs) by using direct $N$-body simulations have not investigated how a large fraction of primordial binaries affect their long-term evolution. In this work, by using the high-performance $N$-body code, PeTar, we carry out star-by-star models for intermediate massive GCs ($N=100000$) with the primordial binary fraction varying from 0 to 1. We find that when a stellar-mass black hole (BH) subsystem exists, the structural evolution of GCs (core and half-mass radii) only depends on the properties of massive primordial binaries, because they affect the number of BH binaries (BBHs), which dominate the binary heating process. Low-mass binaries including double white dwarf binaries (BWDs) have almost no influence on the dynamics. Meanwhile, only gravitational wave (GW) mergers from BBHs are strongly affected by dynamical interactions, while low-mass mergers from BWDs show no difference in the isolated environment (field) and in GCs. Low-mass binaries become important only after most BHs escape and the core collapse of light stars occurs. Our result suggests that for $N$-body modelling of GCs with a black hole subsystem dominating binary heating, it is not necessary to include low-mass binaries. These binaries can be studied separately by using standalone binary stellar evolution codes. This way can significantly reduce the computing cost.


title: MATISSE, the VLTI mid-infrared imaging spectro-interferometer

abstract: Context:Optical interferometry is at a key development stage. ESO's VLTI has established a stable, robust infrastructure for long-baseline interferometry for general astronomical observers. The present second-generation instruments offer a wide wavelength coverage and improved performance. Their sensitivity and measurement accuracy lead to data and images of high reliability. Aims:We have developed MATISSE, the Multi AperTure mid-Infrared SpectroScopic Experiment, to access high resolution imaging in a wide spectral domain and explore topics such: stellar activity and mass loss; planet formation and evolution in the gas and dust disks around young stars; accretion processes around super massive black holes in AGN. Methods:The instrument is a spectro-interferometric imager covering three atmospheric bands (L,M,N) from 2.8 to 13.0 mu, combining four optical beams from the VLTI's telscopes. Its concept, related observing procedure, data reduction and calibration approach are the product of 30 years of instrumental research. The instrument utilizes a multi-axial beam combination that delivers spectrally dispersed fringes. The signal provides the following quantities at several spectral resolutions: photometric flux, coherent fluxes, visibilities, closure phases, wavelength differential visibilities and phases, and aperture-synthesis imaging. Results:We provide an overview of the physical principle of the instrument and its functionalities, the characteristics of the delivered signal, a description of the observing modes and of their performance limits. An ensemble of data and reconstructed images are illustrating the first acquired key observations. Conclusion:The instrument has been in operation at Cerro Paranal, ESO, Chile since 2018, and has been open for science use by the international community since April 2019. The first scientific results are being published now.


title: Crowd-sensing Enhanced Parking Patrol using Trajectories of Sharing Bikes

abstract: Illegal vehicle parking is a common urban problem faced by major cities in the world, as it incurs traffic jams, which lead to air pollution and traffic accidents. The government highly relies on active human efforts to detect illegal parking events. However, such an approach is extremely ineffective to cover a large city since the police have to patrol over the entire city roads. The massive and high-quality sharing bike trajectories from Mobike offer us a unique opportunity to design a ubiquitous illegal parking detection approach, as most of the illegal parking events happen at curbsides and have significant impact on the bike users. The detection result can guide the patrol schedule, i.e. send the patrol policemen to the region with higher illegal parking risks, and further improve the patrol efficiency. Inspired by this idea, three main components are employed in the proposed framework: 1)~{\em trajectory pre-processing}, which filters outlier GPS points, performs map-matching, and builds trajectory indexes; 2)~{\em illegal parking detection}, which models the normal trajectories, extracts features from the evaluation trajectories, and utilizes a distribution test-based method to discover the illegal parking events; and 3)~{\em patrol scheduling}, which leverages the detection result as reference context, and models the scheduling task as a multi-agent reinforcement learning problem to guide the patrol police. Finally, extensive experiments are presented to validate the effectiveness of illegal parking detection, as well as the improvement of patrol efficiency.


title: AI-Powered Semantic Segmentation and Fluid Volume Calculation of Lung CT images in Covid-19 Patients

abstract: COVID-19 pandemic is a deadly disease spreading very fast. People with the confronted immune system are susceptible to many health conditions. A highly significant condition is pneumonia, which is found to be the cause of death in the majority of patients. The main purpose of this study is to find the volume of GGO and consolidation of a covid-19 patient so that the physicians can prioritize the patients. Here we used transfer learning techniques for segmentation of lung CTs with the latest libraries and techniques which reduces training time and increases the accuracy of the AI Model. This system is trained with DeepLabV3+ network architecture and model Resnet50 with Imagenet weights. We used different augmentation techniques like Gaussian Noise, Horizontal shift, color variation, etc to get to the result. Intersection over Union(IoU) is used as the performance metrics. The IoU of lung masks is predicted as 99.78% and that of infected masks is as 89.01%. Our work effectively measures the volume of infected region by calculating the volume of infected and lung mask region of the patients.


title: Minimal Envy Matchings in the Hospitals/Residents Problem with Lower Quotas

abstract: In the Hospitals/Residents problem, every hospital has an upper quota that limits the number of residents assigned to it. While, in some applications, each hospital also has a lower quota for the number of residents it receives. In this setting, a stable matching may not exist. Envy-freeness is introduced as a relaxation of stability that allows blocking pairs involving a resident and an empty position of a hospital. While, envy-free matching might not exist either when lower quotas are introduced. We consider the problem of finding a feasible matching that satisfies lower quotas and upper quotas and minimizes envy in terms of envy-pairs and envy-residents in the Hospitals/Resident problem with Lower Quota. We show that the problem is NP-hard with both envy measurement. We also give a simple exponential-time algorithm for the Minimum-Envy-Pair HRLQ problem.


title: Low-Complexity Geometrical Shaping for 4D Modulation Formats via Amplitude Coding

abstract: Signal shaping is vital to approach Shannon's capacity, yet it is challenging to implement at very high speeds. For example, probabilistic shaping often requires arithmetic coding to realize the target distribution. Geometric shaping requires look-up tables to store the constellation points. In this paper, we propose a four-dimensional amplitude coding (4D-AC) geometrical shaper architecture. The proposed architecture can generate in real time geometrically shaped 4D formats via simple logic circuit operations and two conventional quadrature amplitude modulation (QAM) modulators. This paper describes the 4D-AC used in generating approximated versions of two recently proposed 4D orthant symmetric modulation formats with spectral efficiencies of 6 bit/4D-sym and 7 bit/4D-sym, respectively. Numerical results show losses below 0.05 dB when compared against the baseline formats.


title: Exposing Deepfake with Pixel-wise AR and PPG Correlation from Faint Signals

abstract: Deepfake poses a serious threat to the reliability of judicial evidence and intellectual property protection. In spite of an urgent need for Deepfake identification, existing pixel-level detection methods are increasingly unable to resist the growing realism of fake videos and lack generalization. In this paper, we propose a scheme to expose Deepfake through faint signals hidden in face videos. This scheme extracts two types of minute information hidden between face pixels-photoplethysmography (PPG) features and auto-regressive (AR) features, which are used as the basis for forensics in the temporal and spatial domains, respectively. According to the principle of PPG, tracking the absorption of light by blood cells allows remote estimation of the temporal domains heart rate (HR) of face video, and irregular HR fluctuations can be seen as traces of tampering. On the other hand, AR coefficients are able to reflect the inter-pixel correlation, and can also reflect the traces of smoothing caused by up-sampling in the process of generating fake faces. Furthermore, the scheme combines asymmetric convolution block (ACBlock)-based improved densely connected networks (DenseNets) to achieve face video authenticity forensics. Its asymmetric convolutional structure enhances the robustness of network to the input feature image upside-down and left-right flipping, so that the sequence of feature stitching does not affect detection results. Simulation results show that our proposed scheme provides more accurate authenticity detection results on multiple deep forgery datasets and has better generalization compared to the benchmark strategy.


title: On 1D, N = 4 Supersymmetric SYK-Type Models (II)

abstract: This paper is an extension of our last 1D, N = 4 supersymmetric SYK paper [arXiv:2103.11899]. In this paper we introduced the complex linear supermultiplet (CLS), which is "usefully inequivalent" to the chiral supermultiplet. We construct three types of models based on the complex linear supermultiplet containing quartic interactions from modified CLS kinetic term, quartic interactions from 3-pt vertices integrated over the whole superspace, and 2(q-1)-pt interactions generated via superpotentials respectively. A strong evidence for the inevitability of dynamical bosons for 1D, N = 4 SYK is also presented.


title: Computing Lewis Weights to High Precision

abstract: We present an algorithm for computing approximate $\ell_p$ Lewis weights to high precision. Given a full-rank $\mathbf{A} \in \mathbb{R}^{m \times n}$ with $m \geq n$ and a scalar $p>2$, our algorithm computes $\epsilon$-approximate $\ell_p$ Lewis weights of $\mathbf{A}$ in $\widetilde{O}_p(\log(1/\epsilon))$ iterations; the cost of each iteration is linear in the input size plus the cost of computing the leverage scores of $\mathbf{D}\mathbf{A}$ for diagonal $\mathbf{D} \in \mathbb{R}^{m \times m}$. Prior to our work, such a computational complexity was known only for $p \in (0, 4)$ [CohenPeng2015], and combined with this result, our work yields the first polylogarithmic-depth polynomial-work algorithm for the problem of computing $\ell_p$ Lewis weights to high precision for all constant $p > 0$. An important consequence of this result is also the first polylogarithmic-depth polynomial-work algorithm for computing a nearly optimal self-concordant barrier for a polytope.


title: Transport and spectral properties of the XX$+$XXZ diode and stability to dephasing

abstract: We study the transport and spectral property of a segmented diode formed by an XX $+$ XXZ spin chain. This system has been shown to become an ideal rectifier for spin current for large enough anisotropy. Here we show numerical evidence that the system in reverse bias has three different transport regimes depending on the value of the anisotropy: ballistic, diffusive and insulating. In forward bias we encounter two regimes, ballistic and diffusive. The system in forward and reverse bias shows significantly different spectral properties, with distribution of rapidities converging towards different functions. In the presence of dephasing the system becomes diffusive, rectification is significantly reduced, the relaxation gap increases and the spectral properties in forward and reverse bias tend to converge. For large dephasing the relaxation gap decreases again as a result of Quantum Zeno physics.


title: A simpler proof of Sternfeld's Theorem

abstract: In Sternfeld's work on Kolmogorov's Superposition Theorem appeared the combinatorial-geometric notion of a basic set and a certain kind of arrays. A subset $X \subset \mathbb R^n$ is basic if any continuous function $X\to \mathbb R$ could be represented as the sum of compositions of continuous functions $\mathbb R\to \mathbb R$ and projections to the coordinate axes. The definition of a Sternfeld array will be presented in the paper. Sternfeld's Arrays Theorem. If a closed bounded subset $X \subset \mathbb R^{2n}$ contains Sternfeld arrays of arbitrary large size then $X$ is not basic. The paper provides a simpler proof of this theorem.


title: Mutually annihilating matrices, and a Cohen--Lenstra series for the nodal singularity

abstract: We give a generating function for the number of pairs of $n\times n$ matrices $(A, B)$ over a finite field that are mutually annihilating, namely, $AB=BA=0$. This generating function can be viewed as a singular analogue of a series considered by Cohen and Lenstra. We show that this generating function has a factorization that allows it to be meromorphically extended to the entire complex plane. We also use it to count pairs of mutually annihilating nilpotent matrices. This work is essentially a study of the motivic aspects about the variety of modules over $\mathbb C[u,v]/(uv)$ as well as the moduli stack of coherent sheaves over an algebraic curve with nodal singularities.


title: Assyrian merchants meet nuclear physicists: history of the early contributions from social sciences to computer science. The case of automatic pattern detection in graphs (1950s--1970s)

abstract: Community detection is a major issue in network analysis. This paper combines a socio-historical approach with an experimental reconstruction of programs to investigate the early automation of clique detection algorithms, which remains one of the unsolved NP-complete problems today. The research led by the archaeologist Jean-Claude Gardin from the 1950s on non-numerical information and graph analysis is retraced to demonstrate the early contributions of social sciences and humanities. The limited recognition and reception of Gardin's innovative computer application to the humanities are addressed through two factors, in addition to the effects of historiography and bibliographies on the recording, discoverability, and reuse of scientific productions: 1) funding policies, evidenced by the transfer of research effort on graph applications from temporary interdisciplinary spaces to disciplinary organizations related to the then-emerging field of computer science; and 2) the erratic careers of algorithms, in which efficiency, flaws, corrections, and authors' status, were determining factors.


title: Unsupervised PET Reconstruction from a Bayesian Perspective

abstract: Positron emission tomography (PET) reconstruction has become an ill-posed inverse problem due to low-count projection data, and a robust algorithm is urgently required to improve imaging quality. Recently, the deep image prior (DIP) has drawn much attention and has been successfully applied in several image restoration tasks, such as denoising and inpainting, since it does not need any labels (reference image). However, overfitting is a vital defect of this framework. Hence, many methods have been proposed to mitigate this problem, and DeepRED is a typical representation that combines DIP and regularization by denoising (RED). In this article, we leverage DeepRED from a Bayesian perspective to reconstruct PET images from a single corrupted sinogram without any supervised or auxiliary information. In contrast to the conventional denoisers customarily used in RED, a DnCNN-like denoiser, which can add an adaptive constraint to DIP and facilitate the computation of derivation, is employed. Moreover, to further enhance the regularization, Gaussian noise is injected into the gradient updates, deriving a Markov chain Monte Carlo (MCMC) sampler. Experimental studies on brain and whole-body datasets demonstrate that our proposed method can achieve better performance in terms of qualitative and quantitative results compared to several classic and state-of-the-art methods.


title: Novel View Synthesis from a Single Image via Unsupervised learning

abstract: View synthesis aims to generate novel views from one or more given source views. Although existing methods have achieved promising performance, they usually require paired views of different poses to learn a pixel transformation. This paper proposes an unsupervised network to learn such a pixel transformation from a single source viewpoint. In particular, the network consists of a token transformation module (TTM) that facilities the transformation of the features extracted from a source viewpoint image into an intrinsic representation with respect to a pre-defined reference pose and a view generation module (VGM) that synthesizes an arbitrary view from the representation. The learned transformation allows us to synthesize a novel view from any single source viewpoint image of unknown pose. Experiments on the widely used view synthesis datasets have demonstrated that the proposed network is able to produce comparable results to the state-of-the-art methods despite the fact that learning is unsupervised and only a single source viewpoint image is required for generating a novel view. The code will be available soon.


title: Counting on the variety of modules over the quantum plane

abstract: Let $\zeta$ be a fixed nonzero element in a finite field $\mathbb F_q$ with $q$ elements. In this article, we count the number of pairs $(A,B)$ of $n\times n$ matrices over $\mathbb F_q$ satisfying $AB=\zeta BA$ by giving a generating function. This generalizes a generating function of Feit and Fine that counts pairs of commuting matrices. Our result can be also viewed as the point count of the variety of modules over the quantum plane $xy=\zeta yx$, whose geometry was described by Chen and Lu.


title: Contribution of Gaia Sausage to the Galactic Stellar Halo Revealed by K Giants and Blue Horizontal Branch Stars from the Large Sky Area Multi-Object Fiber Spectroscopic Telescope, Sloan Digital Sky Survey, and Gaia

abstract: We explore the contribution of the Gaia-Sausage to the stellar halo of the Milky Way by making use of a Gaussian Mixture model (GMM) and applying it to halo star samples of LAMOST K giants, SEGUE K giants, and SDSS blue horizontal branch stars. The GMM divides the stellar halo into two parts, of which one represents a more metal-rich and highly radially biased component associated with an ancient, head-on collision referred to as the Gaia-Sausage, and the other one is a more metal-poor and isotropic halo. A symmetric bimodal Gaussian is used to describe the distribution of spherical velocity of the Gaia-Sausage, and we find that the mean absolute radial velocity of the two lobes decreases with Galactocentric radius. We find that the Gaia-Sausage contributes about $41\%-74\%$ of the inner (Galactocentric radius $r_\mathrm{gc} < 30$ kpc) stellar halo. The fraction of stars of the Gaia-Sausage starts to decline beyond $r_\mathrm{gc} \sim$ $25-30$ kpc, and the outer halo is found to be significantly less influenced by the Gaia-Sausage than the inner halo. After the removal of halo substructures found by integrals of motion, the contribution of the \textit{Gaia}-Sausage falls slightly within $r_\mathrm{gc} \sim$ 25 kpc, but is still as high as $30\%-63\%$. Finally, we select several possible Sausage-related substructures consisting of stars on highly eccentric orbits. The GMM/Sausage component agrees well with the selected substructure stars in their chemodynamical properties, which increases our confidence in the reliability of the GMM fits.


title: Understanding the Effect of Stochasticity in Policy Optimization

abstract: We study the effect of stochasticity in on-policy policy optimization, and make the following four contributions. First, we show that the preferability of optimization methods depends critically on whether stochastic versus exact gradients are used. In particular, unlike the true gradient setting, geometric information cannot be easily exploited in the stochastic case for accelerating policy optimization without detrimental consequences or impractical assumptions. Second, to explain these findings we introduce the concept of committal rate for stochastic policy optimization, and show that this can serve as a criterion for determining almost sure convergence to global optimality. Third, we show that in the absence of external oracle information, which allows an algorithm to determine the difference between optimal and sub-optimal actions given only on-policy samples, there is an inherent trade-off between exploiting geometry to accelerate convergence versus achieving optimality almost surely. That is, an uninformed algorithm either converges to a globally optimal policy with probability $1$ but at a rate no better than $O(1/t)$, or it achieves faster than $O(1/t)$ convergence but then must fail to converge to the globally optimal policy with some positive probability. Finally, we use the committal rate theory to explain why practical policy optimization methods are sensitive to random initialization, then develop an ensemble method that can be guaranteed to achieve near-optimal solutions with high probability.


title: A/B/n Testing with Control in the Presence of Subpopulations

abstract: Motivated by A/B/n testing applications, we consider a finite set of distributions (called \emph{arms}), one of which is treated as a \emph{control}. We assume that the population is stratified into homogeneous subpopulations. At every time step, a subpopulation is sampled and an arm is chosen: the resulting observation is an independent draw from the arm conditioned on the subpopulation. The quality of each arm is assessed through a weighted combination of its subpopulation means. We propose a strategy for sequentially choosing one arm per time step so as to discover as fast as possible which arms, if any, have higher weighted expectation than the control. This strategy is shown to be asymptotically optimal in the following sense: if $\tau_\delta$ is the first time when the strategy ensures that it is able to output the correct answer with probability at least $1-\delta$, then $\mathbb{E}[\tau_\delta]$ grows linearly with $\log(1/\delta)$ at the exact optimal rate. This rate is identified in the paper in three different settings: (1) when the experimenter does not observe the subpopulation information, (2) when the subpopulation of each sample is observed but not chosen, and (3) when the experimenter can select the subpopulation from which each response is sampled. We illustrate the efficiency of the proposed strategy with numerical simulations on synthetic and real data collected from an A/B/n experiment.


title: ST-ABN: Visual Explanation Taking into Account Spatio-temporal Information for Video Recognition

abstract: It is difficult for people to interpret the decision-making in the inference process of deep neural networks. Visual explanation is one method for interpreting the decision-making of deep learning. It analyzes the decision-making of 2D CNNs by visualizing an attention map that highlights discriminative regions. Visual explanation for interpreting the decision-making process in video recognition is more difficult because it is necessary to consider not only spatial but also temporal information, which is different from the case of still images. In this paper, we propose a visual explanation method called spatio-temporal attention branch network (ST-ABN) for video recognition. It enables visual explanation for both spatial and temporal information. ST-ABN acquires the importance of spatial and temporal information during network inference and applies it to recognition processing to improve recognition performance and visual explainability. Experimental results with Something-Something datasets V1 \& V2 demonstrated that ST-ABN enables visual explanation that takes into account spatial and temporal information simultaneously and improves recognition performance.


title: Predictions of exclusive $\Upsilon$ photoproduction at the LHC and future colliders

abstract: The cross section for exclusive $\Upsilon$ ultraperipheral photoproduction at present and future colliders is determined using the low $x$ gluon PDF extracted from an analysis of exclusive $J/\psi$ measurements performed at HERA and the LHC. Predictions are given at next-to-leading order in collinear factorisation over a wide $\gamma p$ centre-of-mass energy range, calculated assuming the non-relativistic approximation for the $\Upsilon$ wave function, and with skewing corrections incorporated.


title: On the Disjoint and Sliding Block Maxima method for piecewise stationary time series

abstract: Modeling univariate block maxima by the generalized extreme value distribution constitutes one of the most widely applied approaches in extreme value statistics. It has recently been found that, for an underlying stationary time series, respective estimators may be improved by calculating block maxima in an overlapping way. A proof of concept is provided that the latter finding also holds in situations that involve certain piecewise stationarities. A weak convergence result for an empirical process of central interest is provided, and, as a case-in-point, further details are worked out explicitly for the probability weighted moment estimator. Irrespective of the serial dependence, the estimation variance is shown to be smaller for the new estimator, while the bias was found to be the same or vary comparably little in extensive simulation experiments. The results are illustrated by Monte Carlo simulation experiments and are applied to a common situation involving temperature extremes in a changing climate.


title: Approaching the ultimate superconducting properties of (Ba,K)Fe2As2 by naturally formed low-angle grain boundary networks

abstract: The most effective way to enhance the dissipation-free supercurrent in presence of magnetic field for type II superconductors is the introduction of defects that acts as artificial pinning centres (APCs) for the vortices. For instance, the in-field critical current density of doped BaFe2As2 (Ba122), one of the most technologically important Fe-based superconductors, has been improved over the last decade by APCs created by ion-irradiation. The technique of ion-irradiation has been commonly implemented to determine the ultimate superconducting properties. However, this method is rather complicated and expensive. Here, we report on a surprisingly high critical current density and strong pinning efficiency close to the crystallographic c-axis for a K-doped Ba122 epitaxial thin film without APCs, achieving performance comparable to ion-irradiated K-doped Ba122 single crystals. Microstructural analysis reveals that the film is composed of columnar grains having width around 30-60 nm. The grains are rotated around the b- (or a-) axis by 1.5 degree and around the c-axis by -1 degree, resulting in the formation of low-angle grain boundary networks. This study demonstrates that the upper limit of in-field properties reached in ion-irradiated K-doped Ba122 is achievable by grain boundary engineering, which is a simple and industrially scalable manner.


title: Nonlinear inverse problem for identifying a coefficient of the lowest term in hyperbolic equation with nonlocal conditions

abstract: In this paper, a nonlinear inverse boundary value problem for the second-order hyperbolic equation with nonlocal conditions is studied. To investigate the solvability of the original problem, we first consider an auxiliary inverse boundary value problem and prove its equivalence (in a certain sense) to the original problem. Then using the Fourier method and contraction map pings principle, the existence and uniqueness theorem for auxiliary problem is proved. Further, on the basis of the equivalency of these problems the existence and uniqueness theorem for the classical solution of the considered inverse coefficient problem is proved for the smaller value of time.


title: A Hybrid-High Order Method for Quasilinear Elliptic Problems of Nonmonotone Type

abstract: In this paper, we design and analyze a Hybrid-High Order (HHO) approximation for a class of quasilinear elliptic problems of nonmonotone type. The proposed method has several advantages, for instance, it supports arbitrary order of approximation and general polytopal meshes. The key ingredients involve local reconstruction and high-order stabilization terms. Existence and uniqueness of the discrete solution are shown by Brouwer's fixed point theorem and contraction result. A priori error estimate is shown in discrete energy norm that shows optimal order convergence rate. Numerical experiments are performed to substantiate the theoretical results.


title: Metrics with positive constant curvature and modular differential equations

abstract: In this paper, we consider the problem when a differential equation y"(z)=Q(z)y(z) is Fuchsian on H* and apparent on H, where Q(z) is a meromorphic modular form of weight 4 on SL(2,Z) and H denotes the complex upper half-plane. Such a problem is closely related to the problem of the existence of a conformal metric with curvature 1/2 on H.


title: SA-SDR: A novel loss function for separation of meeting style data

abstract: Many state-of-the-art neural network-based source separation systems use the averaged Signal-to-Distortion Ratio (SDR) as a training objective function. The basic SDR is, however, undefined if the network reconstructs the reference signal perfectly or if the reference signal contains silence, e.g., when a two-output separator processes a single-speaker recording. Many modifications to the plain SDR have been proposed that trade-off between making the loss more robust and distorting its value. We propose to switch from a mean over the SDRs of each individual output channel to a global SDR over all output channels at the same time, which we call source-aggregated SDR (SA-SDR). This makes the loss robust against silence and perfect reconstruction as long as at least one reference signal is not silent. We experimentally show that our proposed SA-SDR is more stable and preferable over other well-known modifications when processing meeting-style data that typically contains many silent or single-speaker regions.


title: Construction of APN permutations via Walsh zero spaces

abstract: A Walsh zero space (WZ space) for $f:F_{2^n}\rightarrow F_{2^n}$ is an $n$-dimensional vector subspace of $F_{2^n}\times F_{2^n}$ whose all nonzero elements are Walsh zeros of $f$. We provide several theoretical and computer-free constructions of WZ spaces for Gold APN functions $f(x)=x^{2^i+1}$ on $F_{2^n}$ where $n$ is odd and $\gcd(i,n)=1$. We also provide several constructions of trivially intersecting pairs of such spaces. We illustrate applications of our constructions that include constructing APN permutations that are CCZ equivalent to $f$ but not extended affine equivalent to $f$ or its compositional inverse.


title: On Controllability of Driftless Control System on Symmetric Spaces

abstract: Symmetric spaces arise in wide variety of problems in Mathematics and Physics. They are mostly studied in Representation theory, Harmonic analysis and Differential geometry. As many physical systems have symmetric spaces as their configuration spaces, the study of controllability on symmetric space is quite interesting. In this paper, a driftless control system of type \dot{x}= \sum_{i=1}^m u_if_i(x) is considered on a symmetric space. For this we have established global controllability condition which is illustrated by few examples of exponential submanifolds of SE(3) and random matrix ensembles.


title: A two level finite element method for Stokes constrained Dirichlet boundary control problem

abstract: In this paper we present a finite element analysis for a Dirichlet boundary control problem governed by the Stokes equation. The Dirichlet control is considered in a convex closed subset of the energy space $\mathbf{H}^1(\Omega).$ Most of the previous works on the Stokes Dirichlet boundary control problem deals with either tangential control or the case where the flux of the control is zero. This choice of the control is very particular and their choice of the formulation leads to the control with limited regularity. To overcome this difficulty, we introduce the Stokes problem with outflow condition and the control acts on the Dirichlet boundary only hence our control is more general and it has both the tangential and normal components. We prove well-posedness and discuss on the regularity of the control problem. The first-order optimality condition for the control leads to a Signorini problem. We develop a two-level finite element discretization by using $\mathbf{P}_1$ elements(on the fine mesh) for the velocity and the control variable and $P_0$ elements (on the coarse mesh) for the pressure variable. The standard energy error analysis gives $\frac{1}{2}+\frac{\delta}{2}$ order of convergence when the control is in $\mathbf{H}^{\frac{3}{2}+\delta}(\Omega)$ space. Here we have improved it to $\frac{1}{2}+\delta,$ which is optimal. Also, when the control lies in less regular space we derived optimal order of convergence up to the regularity. The theoretical results are corroborated by a variety of numerical tests.


title: Non-existence results for vectorial bent functions with Dillon exponent

abstract: We prove new non-existence results for vectorial monomial Dillon type bent functions mapping the field of order $2^{2m}$ to the field of order $2^{m/3}$. When $m$ is odd and $m>3$ we show that there are no such functions. When $m$ is even we derive a condition for the bent coefficient. The latter result allows us to find examples of bent functions with $m=6$ in a simple way.


title: A hybrid chaos map with two control parameters to secure image encryption algorithms

abstract: In this paper, we introduce a hybrid chaos map for image encryption method with high sensitivity. This new map is sensitive to small changes in the starting point and also in control parameters which result in having more computational complexity. Also, it has uniform distribution that provides resisting of the new system against attacks in security applications. Various tests and plots are demonstrated to show more chaotic behavior of the proposed system. Finally, to show the ability of the generated chaotic map in the existences image cryptography approaches, we further report some results in this area.


title: A sublinear query quantum algorithm for s-t minimum cut on dense simple graphs

abstract: An $s{\operatorname{-}}t$ minimum cut in a graph corresponds to a minimum weight subset of edges whose removal disconnects vertices $s$ and $t$. Finding such a cut is a classic problem that is dual to that of finding a maximum flow from $s$ to $t$. In this work we describe a quantum algorithm for the minimum $s{\operatorname{-}}t$ cut problem on undirected graphs. For an undirected graph with $n$ vertices, $m$ edges, and integral edge weights bounded by $W$, the algorithm computes with high probability the weight of a minimum $s{\operatorname{-}}t$ cut after $\widetilde O(\sqrt{m} n^{5/6} W^{1/3})$ queries to the adjacency list of $G$. For simple graphs this bound is always $\widetilde O(n^{11/6})$, even in the dense case when $m = \Omega(n^2)$. In contrast, a randomized algorithm must make $\Omega(m)$ queries to the adjacency list of a simple graph $G$ even to decide whether $s$ and $t$ are connected.


title: Nash equilibrium of multi-agent graphical game with a privacy information encrypted learning algorithm

abstract: This paper studies the global Nash equilibrium problem of leader-follower multi-agent dynamics, which yields consensus with a privacy information encrypted learning algorithm. With the secure hierarchical structure, the relationship between the secure consensus problem and global Nash equilibrium is discussed under potential packet loss attacks, and the necessary and sufficient condition for the existence of global Nash equilibrium is provided regarding the soft-constrained graphical game. To achieve the optimal policies, the convergence of decentralized learning algorithm is guaranteed with an iteratively updated pair of decoupled gains. By using the developed quantization scheme and additive-multiplicative property, the encryption-decryption is successfully embedded in the data transmission and computation to overcome the potential privacy violation in unreliable networks. A simulation example is provided to verify the effectiveness of the designed algorithm.