title: DC-Loc: Accurate Automotive Radar Based Metric Localization with Explicit Doppler Compensation

abstract: Automotive mmWave radar has been widely used in the automotive industry due to its small size, low cost, and complementary advantages to optical sensors (e.g., cameras, LiDAR, etc.) in adverse weathers, e.g., fog, raining, and snowing. On the other side, its large wavelength also poses fundamental challenges to perceive the environment. Recent advances have made breakthroughs on its inherent drawbacks, i.e., the multipath reflection and the sparsity of mmWave radar's point clouds. However, the frequency-modulated continuous wave modulation of radar signals makes it more sensitive to vehicles' mobility than optical sensors. This work focuses on the problem of frequency shift, i.e., the Doppler effect distorts the radar ranging measurements and its knock-on effect on metric localization. We propose a new radar-based metric localization framework, termed DC-Loc, which can obtain more accurate location estimation by restoring the Doppler distortion. Specifically, we first design a new algorithm that explicitly compensates the Doppler distortion of radar scans and then model the measurement uncertainty of the Doppler-compensated point cloud to further optimize the metric localization. Extensive experiments using the public nuScenes dataset and CARLA simulator demonstrate that our method outperforms the state-of-the-art approach by 25.2% and 5.6% improvements in terms of translation and rotation errors, respectively.


title: Parallel Network Flow Allocation in Repeated Routing Games via LQR Optimal Control

abstract: In this article, we study the repeated routing game problem on a parallel network with affine latency functions on each edge. We cast the game setup in a LQR control theoretic framework, leveraging the Rosenthal potential formulation. We use control techniques to analyze the convergence of the game dynamics with specific cases that lend themselves to optimal control. We design proper dynamics parameters so that the conservation of flow is guaranteed. We provide an algorithmic solution for the general optimal control setup using a multiparametric quadratic programming approach (explicit MPC). Finally we illustrate with numerics the impact of varying system parameters on the solutions.


title: Few-shot Backdoor Defense Using Shapley Estimation

abstract: Deep neural networks have achieved impressive performance in a variety of tasks over the last decade, such as autonomous driving, face recognition, and medical diagnosis. However, prior works show that deep neural networks are easily manipulated into specific, attacker-decided behaviors in the inference stage by backdoor attacks which inject malicious small hidden triggers into model training, raising serious security threats. To determine the triggered neurons and protect against backdoor attacks, we exploit Shapley value and develop a new approach called Shapley Pruning (ShapPruning) that successfully mitigates backdoor attacks from models in a data-insufficient situation (1 image per class or even free of data). Considering the interaction between neurons, ShapPruning identifies the few infected neurons (under 1% of all neurons) and manages to protect the model's structure and accuracy after pruning as many infected neurons as possible. To accelerate ShapPruning, we further propose discarding threshold and $\epsilon$-greedy strategy to accelerate Shapley estimation, making it possible to repair poisoned models with only several minutes. Experiments demonstrate the effectiveness and robustness of our method against various attacks and tasks compared to existing methods.


title: QEMind: Alibaba's Submission to the WMT21 Quality Estimation Shared Task

abstract: Quality Estimation, as a crucial step of quality control for machine translation, has been explored for years. The goal is to investigate automatic methods for estimating the quality of machine translation results without reference translations. In this year's WMT QE shared task, we utilize the large-scale XLM-Roberta pre-trained model and additionally propose several useful features to evaluate the uncertainty of the translations to build our QE system, named \textit{QEMind}. The system has been applied to the sentence-level scoring task of Direct Assessment and the binary score prediction task of Critical Error Detection. In this paper, we present our submissions to the WMT 2021 QE shared task and an extensive set of experimental results have shown us that our multilingual systems outperform the best system in the Direct Assessment QE task of WMT 2020.


title: ARGO-YBJ Observation of the Large-scale Anisotropy During the Solar Minimum between Cycles 23 and 24

abstract: This paper reports on the measurement of the large-scale anisotropy in the distribution of cosmic-ray arrival directions using the data collected by the air shower detector ARGO-YBJ from 2008 January to 2009 December,during the minimum of solar activity between cycles 23 and 24. In this period, more than 200 billion showers were recorded with energies between 1 and 30 TeV. The observed two-dimensional distribution of cosmic rays is characterized by two wide regions of excess and deficit, respectively, both of relative intensity 0.001 with respect to a uniform flux, superimposed on smaller size structures. The harmonic analysis shows that the large-scale cosmic-ray relative intensity as a function of R.A. can be described by the first and second terms of a Fouries series. The high event statistics allow the study of the energy dependence of the anistropy, showing that the amplitude increases with energy, with a maximum intensity at 10 TeV, and then decreases while the phase slowly shifts toward lower values of R.A. with increasing energy. The ARGO-YBJ data provide accurate observations over more than a decade of energy around this feature of the anisotropy spectrum.


title: Intense harmonics with time-varying orbital angular momentum from relativistic plasma mirrors

abstract: In this work using three-dimensional particle-in-cell simulations and analytical considerations we demonstrate intense high-order plasma surface harmonics carrying a time-varying orbital angular momentum (OAM) -- the self-torque. We show that by using two laser beams with different OAMs $l_1$ and $l_2$ and a certain delay between each other and shooting them obliquely on an overdense plasma target, one can generate harmonics with OAM spanning $nl_1$ to $nl_2$, where $n$ is the order of the harmonic. Such intense self-torqued harmonics can offer new possibilities in ultrafast spectroscopy.


title: Reversible Upper Confidence Bound Algorithm to Generate Diverse Optimized Candidates

abstract: Most algorithms for the multi-armed bandit problem in reinforcement learning aimed to maximize the expected reward, which are thus useful in searching the optimized candidate with the highest reward (function value) for diverse applications (e.g., AlphaGo). However, in some typical application scenaios such as drug discovery, the aim is to search a diverse set of candidates with high reward. Here we propose a reversible upper confidence bound (rUCB) algorithm for such a purpose, and demonstrate its application in virtual screening upon intrinsically disordered proteins (IDPs). It is shown that rUCB greatly reduces the query times while achieving both high accuracy and low performance loss.The rUCB may have potential application in multipoint optimization and other reinforcement-learning cases.


title: Feature Generation and Hypothesis Verification for Reliable Face Anti-Spoofing

abstract: Although existing face anti-spoofing (FAS) methods achieve high accuracy in intra-domain experiments, their effects drop severely in cross-domain scenarios because of poor generalization. Recently, multifarious techniques have been explored, such as domain generalization and representation disentanglement. However, the improvement is still limited by two issues: 1) It is difficult to perfectly map all faces to a shared feature space. If faces from unknown domains are not mapped to the known region in the shared feature space, accidentally inaccurate predictions will be obtained. 2) It is hard to completely consider various spoof traces for disentanglement. In this paper, we propose a Feature Generation and Hypothesis Verification framework to alleviate the two issues. Above all, feature generation networks which generate hypotheses of real faces and known attacks are introduced for the first time in the FAS task. Subsequently, two hypothesis verification modules are applied to judge whether the input face comes from the real-face space and the real-face distribution respectively. Furthermore, some analyses of the relationship between our framework and Bayesian uncertainty estimation are given, which provides theoretical support for reliable defense in unknown domains. Experimental results show our framework achieves promising results and outperforms the state-of-the-art approaches on extensive public datasets.


title: Some exact results of the generalized Tur\'an numbers for paths

abstract: For graphs $H$ and $F$ with chromatic number $\chi(F)=k$, we call $H$ strictly $F$-Tur\'an-good (or $(H, F)$ strictly Tur\'an-good) if the Tur\'an graph $T_{k-1}(n)$ is the unique $F$-free graph on $n$ vertices containing the largest number of copies of $H$ when $n$ is large enough. Let $F$ be a graph with chromatic number $\chi(F)\geq 3$ and a color-critical edge and let $P_\ell$ be a path with $\ell$ vertices. Gerbner and Palmer (2020, arXiv:2006.03756) showed that $(P_3, F)$ is strictly Tur\'an good if $\chi(H)\ge 4$ and they conjectured that (a) this result is true when $\chi(F)=3$, and, moreover, (b) $(P_\ell, K_k)$ is Tur\'an-good for every pair of integers $\ell$ and $k$. In the present paper, we show that $(H, F)$ is strictly Tur\'an-good when $H$ is a bipartite graph with matching number $\nu(H)=\lfloor \frac{|V(H)|}{2}\rfloor$ and $\chi(F)= 3$, as a corollary, this result confirms the conjecture (a); we also prove that $(P_\ell, F)$ is strictly Tur\'an-good for $2\le\ell\leq 6$ and $\chi(F)\ge 4$, this also confirms the conjecture (b) for $2\le\ell\leq 6$ and $k\ge 4$.


title: Time-periodic solutions of contact Hamilton-Jacobi equations on the circle

abstract: We are concerned with the existence and multiplicity of nontrivial time-periodic viscosity solutions to \[ \partial_t w(x,t) + H( x,\partial_x w(x,t),w(x,t) )=0,\quad (x,t)\in \mathbb{S} \times [0,+\infty). \] We find that there are infinitely many nontrivial time-periodic viscosity solutions with different periods when $\frac{\partial H}{\partial u}(x,p,u)\leqslant-\delta<0$ by analyzing the asymptotic behavior of the dynamical system $(C(\mathbb{S} ,\mathbb{R}),\{T_t\}_{t\geqslant 0})$, where $\{T_t\}_{t\geqslant 0}$ was introduced in \cite{WWY1}. Moreover, in view of the convergence of $T_{t_n}\varphi$, we get the existence of nontrivial periodic points of $T_t$, where $\varphi$ are initial data satisfying certain properties. This is a long-time behavior result for the solution to the above equation with initial data $\varphi$. At last, as an application, we describe to readers a bifurcation phenomenon for \[ \partial_t w(x,t) + H( x,\partial_x w(x,t),\lambda w(x,t) )=0,\quad (x,t)\in \mathbb{S} \times [0,+\infty), \] when the sign of the parameter $\lambda$ varies. The structure of the unit circle $\mathbb{S}$ plays an essential role here. The most important novelty is the discovery of the nontrivial recurrence of $(C(\mathbb{S} ,\mathbb{R}),\{T_t\}_{t\geqslant 0})$.


title: The derivation of the compressible Euler equation from quantum many-body dynamics

abstract: We study the three dimensional many-particle quantum dynamics in mean-field setting. We forge together the hierarchy method and the modulated energy method. We prove rigorously that the compressible Euler equation is the limit as the particle number tends to infinity and the Planck's constant tends to zero. We establish strong and quantitative microscopic to macroscopic convergence of mass and momentum densities up to the 1st blow up time of the limiting Euler equation. We justify that the macroscopic pressure emerges from the space-time averages of microscopic interactions, which are in fact, Strichartz-type bounds. We have hence found a physical meaning for Strichartz type bounds which were first raised by Klainerman and Machedon in this context.


title: Continuity of Discounted Values and the Structure of Optimal Policies for Periodic-Review Inventory Control with Setup Costs

abstract: This paper proves continuity of value functions in discounted periodic-review single-commodity total-cost inventory control problems with \revision{continuous inventory levels,} fixed ordering costs, possibly bounded inventory storage capacity, and possibly bounded order sizes for finite and infinite horizons. In each of these constrained models, the finite and infinite-horizon value functions are continuous, there exist deterministic Markov optimal finite-horizon policies, and there exist stationary deterministic Markov optimal infinite-horizon policies. For models with bounded inventory storage and unbounded order sizes, this paper also characterizes the conditions under which $(s_t, S_t)$ policies are optimal in the finite horizon and an $(s,S)$ policy is optimal in the infinite horizon.


title: Electrical manipulation of a hole `spin'-orbit qubit in nanowire quantum dot: the nontrivial magnetic field effects

abstract: Strong `spin'-orbit coupled one-dimensional hole gas is achievable in a Ge nanowire in the presence of a strong magnetic field. The strong magnetic field lifts the two-fold degeneracy in the hole subband dispersions, so that the effective low-energy subband dispersion exhibits strong `spin'-orbit coupling. Here, we study the electrical `spin' manipulation in a Ge nanowire quantum dot for both the lowest and second lowest hole subband dispersions. Using a finite square well to model the quantum dot confining potential, we calculate exactly the level splitting of the `spin'-orbit qubit and the Rabi frequency in the electric-dipole `spin' resonance. The `spin'-orbit coupling modulated longitudinal $g$-factor $g_{\rm so}$ is not only non-vanishing but also magnetic field dependent. Moreover, the `spin'-orbit couplings of the lowest and second lowest subband dispersions have opposite magnetic dependences, so that the results for these two subband dispersions are totally different.


title: Motif Graph Neural Network

abstract: Graphs can model complicated interactions between entities, which naturally emerge in many important applications. These applications can often be cast into standard graph learning tasks, in which a crucial step is to learn low-dimensional graph representations. Graph neural networks (GNNs) are currently the most popular model in graph embedding approaches. However, standard GNNs in the neighborhood aggregation paradigm suffer from limited discriminative power in distinguishing \emph{high-order} graph structures as opposed to \emph{low-order} structures. To capture high-order structures, researchers have resorted to motifs and developed motif-based GNNs. However, existing motif-based GNNs still often suffer from less discriminative power on high-order structures. To overcome the above limitations, we propose Motif Graph Neural Network (MGNN), a novel framework to better capture high-order structures, hinging on our proposed motif redundancy minimization operator and injective motif combination. First, MGNN produces a set of node representations w.r.t. each motif. The next phase is our proposed redundancy minimization among motifs which compares the motifs with each other and distills the features unique to each motif. Finally, MGNN performs the updating of node representations by combining multiple representations from different motifs. In particular, to enhance the discriminative power, MGNN utilizes an injective function to combine the representations w.r.t. different motifs. We further show that our proposed architecture increases the expressive power of GNNs with a theoretical analysis. We demonstrate that MGNN outperforms state-of-the-art methods on seven public benchmarks on both node classification and graph classification tasks.


title: On-Policy Robust Adaptive Discrete-Time Regulator for Passive Unidirectional System using Stochastic Hill-climbing Algorithm and Associated Search Element

abstract: Non-linear discrete-time state-feedback regulators are widely used in passive unidirectional systems. Offline system identification is required for tuning parameters of these regulators. However, offline system identification is challenging in some applications. Furthermore, the parameters of a system may be slowly changing over time, which makes the system identification less effective. Many adaptive regulators have been proposed to tune the parameters online when the offline information is neither accessible nor time-invariant. Stability and convergence of these adaptive regulators are challenging, especially in unidirectional systems. In this paper, a novel adaptive regulator is proposed for first-order unidirectional passive systems. In this method, an associated search element checks the eligibility of the update law. Then, a stochastic hill-climbing algorithm updates the parameters of the discrete-time state-feedback regulator. Simulation results demonstrate the effectiveness of the proposed method. The experiments on regulating of two passive systems show the ability of the method in regulating of passive unidirectional system in the presence of noise and disturbance.


title: Thirty Years of Academic Finance

abstract: We study how the financial literature has evolved in scale, research team composition, and article topicality across 32 finance-focused academic journals from 1992 to 2021. We document that the field has vastly expanded regarding outlets and published articles. Teams have become larger, and the proportion of women participating in research has increased significantly. Using the Structural Topic Model, we identify 45 topics discussed in the literature. We investigate the topic coverage of individual journals and can identify highly specialized and generalist outlets, but our analyses reveal that most journals have covered more topics over time, thus becoming more generalist. Finally, we find that articles with at least one woman author focus more on topics related to social and governance aspects of corporate finance. We also find that teams with at least one top-tier institution scholar tend to focus more on theoretical aspects of finance.


title: Backreaction of mesonic fluctuations on the axial anomaly at finite temperature

abstract: The impact of mesonic fluctuations on the restoration of the $U_A(1)$ anomaly is investigated nonperturbatively for three flavors at finite temperature in an effective model setting. Using the functional renormalization group, the dressed, fully field-dependent Kobayashi-Maskawa--'t Hooft (KMT) anomaly coupling is computed. It is found that mesonic fluctuations strengthen this signature of the $U_A(1)$ breaking as the temperature increases. On the other hand, when instanton effects are included by parametrizing the explicit temperature dependence of the bare anomaly parameter in consistency with the semiclassical result for the tunneling amplitude, a natural tendency appears diminishing the anomaly at high temperatures. As a result of the two competing effects, the dressed KMT coupling shows a well-defined intermediate strengthening behavior around the chiral (pseudo)transition temperature before the axial anomaly gets fully suppressed at high temperature. As a consequence, we conclude that below $T \sim 200 \MeV$ the $U_A(1)$ anomaly is unlikely to be effectively restored. Robustness of the conclusions against different assumptions for the temperature dependence of the bare anomaly coefficient is investigated in detail.


title: Double b-fibrations and desingularization of the X-ray transform on manifolds with strictly convex boundary

abstract: We study the mapping properties of the X-ray transform and its adjoint on spaces of conormal functions on Riemannian manifolds with strictly convex boundary. After desingularizing the double fibration, and expressing the X-ray transform and its adjoint using b-fibrations operations, we employ tools related to Melrose's Pushforward Theorem to describe the mapping properties of these operators on various classes of polyhomogeneous functions, with special focus to computing how leading order coefficients are transformed. The appendix explains that a na\"ive use of the Pushforward Theorem leads to a suboptimal result with non-sharp index sets. Our improved results are obtained by closely inspecting Mellin functions which arise in the process, showing that certain coefficients vanish. This recovers some sharp results known by other methods. A number of consequences for the mapping properties of the X-ray transform and its normal operator(s) follow.


title: Generalized Schreier sets, linear recurrence relation, Tur\'{a}n graphs

abstract: We prove a linear recurrence relation for a large family of generalized Schreier sets, which generalizes the Fibonacci recurrence proved by Bird and higher order Fibonacci recurrence proved by the second author et al. Furthermore, we show a relationship between Schreier-type sets and Tur\'{a}n graphs.


title: Carbon and vacancy centers in hexagonal boron nitride

abstract: Creation of defect with predetermined optical, chemical and other characteristics is a powerful tool to enhance the functionalities of materials. Herewith, we utilize density functional theory to understand the microscopic mechanisms of formation of defects in hexagonal boron nitride based on vacancies and substitutional atoms. Through in-depth analysis of the defect-induced band structure and formation energy in varying growth conditions, we uncovered a dominant role of interdefect electron paring in stabilization of defect complexes. The electron reorganization modifies the exchange component of the electronic interactions which dominates over direct Coulomb repulsion or structural relaxation effects making the combination of acceptor- and donor-type defect centers energetically favorable. Based on an analysis of a large number of defect complexes we develop a simple picture of the inheritance of electronic properties when individual defects are combined together to form more complex centers.


title: Whispering-gallery modes promote enhanced optical backflow in a perforated dielectric microsphere

abstract: Optical energy flow inside a dielectric microsphere is usually codirected with the optical wavevector. At the same time, if the optical field in a microsphere is in resonance with one of the high-quality spatial eigenmodes (whispering-gallery modes - WGMs), a region of reverse energy flow emerges in the shadow hemisphere. This area is of considerable practical interest due to increased optical trapping potential. In this Letter, we consider a perforated microsphere with an air-filled single pinhole fabricated along the particle diameter and numerically analyze the peculiarities of WGM excitation in a nanostructured microsphere. A pinhole isolates the energy backflow region of a resonant mode and changes a perforated microsphere into an efficient optical tweezer. For the first time to our knowledge, we reveal the multiple enhancement of backflow intensity in the pinhole at a WGM resonance and discuss the way for its manipulation.


title: Semistable torsion classes and canonical decompositions in Grothendieck groups

abstract: We study two classes of torsion classes which generalize functorially finite torsion classes, that is, semistable torsion classes and morphism torsion classes. Semistable torsion classes are parametrized by the elements in the real Grothendieck group up to TF equivalence. We give a close connection between TF equivalence classes and the cones given by canonical decompositions of the spaces of projective presentations due to Derksen-Fei. More strongly, for $E$-tame algebras and hereditary algebras, we prove that TF equivalence classes containing lattice points are exactly the cones given by canonical decompositions. One of the key steps in our proof is a general description of semistable torsion classes in terms of morphism torsion classes. We also answer a question by Derksen-Fei negatively by giving examples of algebras which do not satisfy the ray condition. As an application of our results, we give an explicit description of TF equivalence classes of preprojective algebras of type $\widetilde{\mathbb{A}}$.


title: Eruption of the Envelope of Massive Stars by Energy Injection with Finite Duration

abstract: A significant fraction of supernovae show signatures of dense circumstellar material (CSM). While multiple scenarios for creating a dense CSM exist, mass eruption due to injection of energy at the base of the outer envelope is a likely possibility. We carry out radiation hydrodynamical simulations of eruptive mass loss from a typical red supergiant progenitor with initial mass of $15\ M_\odot$, for the first time focusing on the timescale of the injection as well as energy. We find that not only sufficient injection energy but also sufficient rate of energy injection per unit time, $L_{\rm{min}} \sim 8\times 10^{40}$ erg s$^{-1}$ in this particular model, is required for eruption of unbound CSM. This result suggests that the energy injection rate needs to be greater than the binding energy of the envelope divided by the dynamical timescale for the eruption. The density profile of the resulting CSM, whose shape was analytically and numerically predicted in the limit of instantaneous energy injection, similarly holds for a finite injection timescale. We discuss our findings in the framework of proposed mass outburst scenarios, specifically wave-driven outbursts and common envelope ejection.


title: Kinetic Derivation of the Hessian Geometric Structure in Chemical Reaction Systems

abstract: The theory of chemical kinetics form the basis to describe the dynamics of chemical systems. Owing to physical and thermodynamic constraints, chemical reaction systems possess various structures, which can be utilized to characterize important physical properties of the systems. In this work, we reveal the Hessian geometry which underlies chemical reaction systems and demonstrate how it originates from the interplay of stoichiometric and thermodynamic constraints. Our derivation is based on kinetics, we assume the law of mass action and characterize the equilibrium states by the detailed balance condition. The obtained geometric structure is then related to thermodynamics via the Hessian geometry appearing in a pure thermodynamic derivation. We demonstrate, based on the fact that both equilibrium and complex balanced states form toric varieties, how the Hessian geometric framework can be extended to nonequilibrium complex balanced steady states. We conclude that Hessian geometry provides a natural framework to capture the thermodynamic aspects of chemical reaction kinetics.


title: A Survey of Deep Learning Techniques for Dynamic Branch Prediction

abstract: Branch prediction is an architectural feature that speeds up the execution of branch instruction on pipeline processors and reduces the cost of branching. Recent advancements of Deep Learning (DL) in the post Moore's Law era is accelerating areas of automated chip design, low-power computer architectures, and much more. Traditional computer architecture design and algorithms could benefit from dynamic predictors based on deep learning algorithms which learns from experience by optimizing its parameters on large number of data. In this survey paper, we focus on traditional branch prediction algorithms, analyzes its limitations, and presents a literature survey of how deep learning techniques can be applied to create dynamic branch predictors capable of predicting conditional branch instructions. Prior surveys in this field focus on dynamic branch prediction techniques based on neural network perceptrons. We plan to improve the survey based on latest research in DL and advanced Machine Learning (ML) based branch predictors.


title: Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions

abstract: In this paper, we study Stochastic Control Barrier Functions (SCBFs) to enable the design of probabilistic safe real-time controllers in presence of uncertainties and based on noisy measurements. Our goal is to design controllers that bound the probability of a system failure in finite-time to a given desired value. To that end, we first estimate the system states from the noisy measurements using an Extended Kalman filter, and compute confidence intervals on the filtering errors. Then, we account for filtering errors and derive sufficient conditions on the control input based on the estimated states to bound the probability that the real states of the system enter an unsafe region within a finite time interval. We show that these sufficient conditions are linear constraints on the control input, and, hence, they can be used in tractable optimization problems to achieve safety, in addition to other properties like reachability, and stability. Our approach is evaluated using a simulation of a lane-changing scenario on a highway with dense traffic.


title: Lattice QCD calculation of the two-photon exchange contribution to the muonic-hydrogen Lamb shift

abstract: We develop a method for lattice QCD calculation of the two-photon exchange (TPE) contribution to the muonic-hydrogen Lamb shift. To demonstrate the feasibility of this method, we also present an exploratory study with a gauge ensemble at $m_\pi = 142$ MeV. By adopting the infinite-volume reconstruction (IVR) method along with an optimized subtraction scheme, we obtain a preliminary result of the TPE contribution which agrees well with previous calculation using other methods and one magnitude smaller compare to the large $\sim300~\mu$eV discrepancy for the proton radius puzzle.


title: Cyclic matroids

abstract: For all positive integers $s$ and $t$ exceeding one, a matroid $M$ on $n$ elements is {\em nearly $(s, t)$-cyclic} if there is a cyclic ordering $\sigma$ of its ground set such that every $s-1$ consecutive elements of $\sigma$ are contained in an $s$-element circuit and every $t-1$ consecutive elements of $\sigma$ are contained in a $t$-element cocircuit. In the case $s=t$, nearly $(s, s)$-cyclic matroids have been studied previously. In this paper, we show that if $M$ is nearly $(s, t)$-cyclic and $n$ is sufficiently large, then these $s$-element circuits and $t$-element cocircuits are consecutive in $\sigma$ in a prescribed way, that is, $M$ is "$(s, t)$-cyclic". Furthermore, we show that, given $s$ and $t$ where $t\ge s$, every $(s, t)$-cyclic matroid on $n > s+t-2$ elements is a weak-map image of the $\left(\frac{t-s}{2}\right)$-th truncation of a certain $(s, s)$-cyclic matroid. If $s=3$, this certain matroid is the rank-$\frac{n}{2}$ whirl, and if $s=4$, this certain matroid is the rank-$\frac{n}{2}$ free swirl.


title: Direct evidence for intermediate multiferroic phase in LiCuFe2(VO4)3

abstract: Magnetic susceptibility, specific heat, dielectric, and electric polarization of LiCuFe2(VO4)3 have been investigated. Two sequential antiferromagnetic transitions at TN1 ~ 9.95 K and TN2 ~ 8.17 K are observed under zero magnetic field. While a dielectric peak at TN1 is clearly identified, the measured pyroelectric current also exhibits a sharp peak at TN1, implying the magnetically relevant ferroelectricity. Interestingly, another pyroelectric peak around TN2 with opposite signal is observed, resulting in the disappearance of electric polarization below TN2. Besides, the electric polarization is significantly suppressed in response to external magnetic field, evidencing remarkable magnetoelectric effect. These results suggest the essential relevance of the magnetic structure with the ferroelectricity in LiCuFe2(VO4)3, deserving for further investigation of the underlying mechanism.


title: INTCP: Information-centric TCP for Satellite Network

abstract: Satellite networks are booming to provide high-speed and low latency Internet access, but the transport layer becomes one of the main obstacles. Legacy end-to-end TCP is designed for terrestrial networks, not suitable for error-prone, propagation delay varying, and intermittent satellite links. It is necessary to make a clean-slate design for the satellite transport layer. This paper introduces a novel Information-centric Hop-by-Hop transport layer design, INTCP. It carries out hop-by-hop packets retransmission and hop-by-hop congestion control with the help of cache and request-response model. Hop-by-hop retransmission recovers lost packets on hop, reduces retransmission delay. INTCP controls traffic and congestion also by hop. Each hop tries its best to maximize its bandwidth utilization and improves end-to-end throughput. The capability of caching enables asynchronous multicast in transport layer. This would save precious spectrum resources in the satellite network. The performance of INTCP is evaluated with the simulated Starlink constellation. Long-distance communication with more than 1000km is carried out. The results demonstrate that, for the unicast scenario INTCP could reduce 42% one-way delay, 53% delay jitters, and improve 60% throughput compared with the legacy TCP. In multicast scenario, INTCP could achieve more than 6X throughput.


title: Systematic Search For Extreme and Singular Behavior in Some Fundamental Models of Fluid Mechanics

abstract: This review article offers a survey of the research program focused on a systematic computational search for extreme and potentially singular behavior in hydrodynamic models motivated by open questions concerning the possibility of a finite-time blow-up in the solutions of the Navier-Stokes system. Inspired by the seminal work of Lu & Doering (2008), we sought such extreme behavior by solving PDE optimization problems with objective functionals chosen based on certain conditional regularity results and a priori estimates available for different models. No evidence for singularity formation was found in extreme Navier-Stokes flows constructed in this manner in 3D. We also discuss the results obtained for 1D Burgers and 2D Navier-Stokes systems, and while singularities are ruled out in these flows, the results presented provide interesting insights about sharpness of different energy-type estimates known for these systems. Connections to other bounding techniques are also briefly discussed.


title: Tetrahedra with congruent face pairs

abstract: If the four triangular facets of a tetrahedron can be partitioned into pairs having the same area, then the triangles in each pair must be congruent to one another. A Heron-style formula is then derived for the volume of a tetrahedron having this kind of symmetry.


title: Predictions for the X-ray circumgalactic medium of edge-on discs and spheroids

abstract: We investigate how the X-ray circumgalactic medium (CGM) of present-day galaxies depends on galaxy morphology and azimuthal angle using mock observations generated from the EAGLE cosmological hydrodynamic simulation. By creating mock stacks of {\it eROSITA}-observed galaxies oriented to be edge-on, we make several observationally-testable predictions for galaxies in the stellar mass range $M_\star=10^{10.7-11.2}\;$M$_{\odot}$. The soft X-ray CGM of disc galaxies is between 60 and 100\% brighter along the semi-major axis compared to the semi-minor axis, between 10-30 kpc. This azimuthal dependence is a consequence of the hot ($T>10^6$ K) CGM being non-spherical: specifically it is flattened along the minor axis such that denser and more luminous gas resides in the disc plane and co-rotates with the galaxy. Outflows enrich and heat the CGM preferentially perpendicular to the disc, but we do not find an observationally-detectable signature along the semi-minor axis. Spheroidal galaxies have hotter CGMs than disc galaxies related to spheroids residing at higher halos masses, which may be measurable through hardness ratios spanning the $0.2-1.5$ keV band. While spheroids appear to have brighter CGMs than discs for the selected fixed $M_\star$ bin, this owes to spheroids having higher stellar and halo masses within that $M_\star$ bin, and obscures the fact that both simulated populations have similar total CGM luminosities at the exact same $M_\star$. Discs have brighter emission inside 20 kpc and more steeply declining profiles with radius than spheroids. We predict that the {\it eROSITA} 4-year all-sky survey should detect many of the signatures we predict here, although targeted follow-up observations of highly inclined nearby discs after the survey may be necessary to observe some of our azimuthally-dependent predictions.


title: A combined statistical and machine learning approach for spatial prediction of extreme wildfire frequencies and sizes

abstract: Motivated by the Extreme Value Analysis 2021 (EVA 2021) data challenge we propose a method based on statistics and machine learning for the spatial prediction of extreme wildfire frequencies and sizes. This method is tailored to handle large datasets, including missing observations. Our approach relies on a four-stage high-dimensional bivariate sparse spatial model for zero-inflated data, which is developed using stochastic partial differential equations(SPDE). In Stage 1, the observations are categorized in zero/nonzero categories and are modeled using a two-layered hierarchical Bayesian sparse spatial model to estimate the probabilities of these two categories. In Stage 2, before modeling the positive observations using spatially-varying coefficients, smoothed parameter surfaces are obtained from empirical estimates using fixed rank kriging. This approximate Bayesian method inference was employed to avoid the high computational burden of large spatial data modeling using spatially-varying coefficients. In Stage 3, the standardized log-transformed positive observations from the second stage are further modeled using a sparse bivariate spatial Gaussian process. The Gaussian distribution assumption for wildfire counts developed in the third stage is computationally effective but erroneous. Thus in Stage 4, the predicted values are rectified using Random Forests. The posterior inference is drawn for Stages 1 and 3 using Markov chain Monte Carlo (MCMC) sampling. A cross-validation scheme is then created for the artificially generated gaps, and the EVA 2021 prediction scores of the proposed model are compared to those obtained using certain natural competitors.


title: Retrieving Black-box Optimal Images from External Databases

abstract: Suppose we have a black-box function (e.g., deep neural network) that takes an image as input and outputs a value that indicates preference. How can we retrieve optimal images with respect to this function from an external database on the Internet? Standard retrieval problems in the literature (e.g., item recommendations) assume that an algorithm has full access to the set of items. In other words, such algorithms are designed for service providers. In this paper, we consider the retrieval problem under different assumptions. Specifically, we consider how users with limited access to an image database can retrieve images using their own black-box functions. This formulation enables a flexible and finer-grained image search defined by each user. We assume the user can access the database through a search query with tight API limits. Therefore, a user needs to efficiently retrieve optimal images in terms of the number of queries. We propose an efficient retrieval algorithm Tiara for this problem. In the experiments, we confirm that our proposed method performs better than several baselines under various settings.


title: Scalable algorithm simplification using quantum AND logic

abstract: Implementing quantum algorithms on realistic hardware requires translating high-level global operations into sequences of native elementary gates, a process known as quantum compiling. Physical limitations, such as constraints in connectivity and gate alphabets, often result in unacceptable implementation costs. To enable successful near-term applications, it is crucial to optimize compilation by exploiting the potential capabilities of existing hardware. Here, we implement a resource-efficient construction for a quantum version of AND logic that can reduce the cost, enabling the execution of key quantum circuits. On a high-scalability superconducting quantum processor, we demonstrate low-depth synthesis of high-fidelity generalized Toffoli gates with up to 8 qubits and Grover's search algorithm in a search space of up to 64 entries; both are the largest such implementations in scale to date. Our experimental demonstration illustrates a scalable implementation of simplifying quantum algorithms, paving the way for larger, more meaningful quantum applications on noisy devices.


title: Trudinger-Moser inequalities on a closed Riemann surface with a symmetric conical metric

abstract: This is a continuation of our previous work [13]. Let $(\Sigma,g)$ be a closed Riemann surface, where the metric $g$ has conical singularities at finite points. Suppose $\mathbf{G}$ is a group whose elements are isometries acting on $(\Sigma,g)$. Trudinger-Moser inequalities involving $\mathbf{G}$ are established via the method of blow-up analysis, and the corresponding extremals are also obtained. This extends previous results of Chen [7], Iula-Manicini [21], and the authors [13].


title: Cross-grating phase microscopy for nanophotonics

abstract: Quantitative phase microscopies (QPMs) have been mainly used for applications in cell biology, for around 2 decades. In this article, we show how cross-grating phase microscopy (CGM), a high-resolution, high-sensitivity QPM, recently expanded the scope of QPMs to applications in nanophotonics. In particular, this article explains how the intensity and phase images acquired by CGM can be processed to determine all the optical properties of imaged nanoparticles, 2D-materials and metasurfaces. We also explain how CGM can be used as a temperature microscopy technique. This latter imaging modality led to a large variety of works in the 2010s based on the optical heating of plasmonic nanoparticles for photothermal studies in physics, chemistry and biology at the microscale, in which label-free, microscale temperature measurements were pivotal.


title: The smooth 4-genus of (the rest of) the prime knots through 12 crossings

abstract: We compute the smooth 4-genera of the prime knots with 12 crossings whose values, as reported on the KnotInfo website, were unknown. This completes the calculation of the smooth 4-genus for all prime knots with 12 or fewer crossings.


title: Current biased gradiometric flux qubit in a circuit-QED architecture

abstract: We propose a scheme for controlling the gradiometric flux qubit (GFQ) by applying an ac bias current in a circuit-QED architecture. The GFQ is insensitive to the magnetic flux fluctuations, which at the same time makes it challenging to manipulate the qubit states by an external magnetic field. In this study, we demonstrate that an ac bias current applied to the $\alpha$-junction of the GFQ can control the qubit states. Further, the present scheme is robust against the charge fluctuation as well as the magnetic flux fluctuations, promising a long coherence time for quantum gate operations. We introduce a circuit-QED architecture to perform the single and two-qubit operations with a sufficiently strong coupling strength.


title: An Empirical Study of Security Practices for Microservices Systems

abstract: Despite the numerous benefits of microservices systems, security has been a critical issue in such systems. Several factors explain this difficulty, including a knowledge gap among microservices practitioners on properly securing a microservices system. To (partially) bridge this gap, we conducted an empirical study. We first manually analyzed 861 microservices security points, including 567 issues, 9 documents, and 3 wiki pages from 10 GitHub open-source microservices systems and 306 Stack Overflow posts concerning security in microservices systems. In this study, a microservices security point is referred to as "a GitHub issue, a Stack Overflow post, a document, or a wiki page that entails 5 or more microservices security paragraphs". Our analysis led to a catalog of 28 microservices security practices. We then ran a survey with 74 microservices practitioners to evaluate the usefulness of these 28 practices. Our findings demonstrate that the survey respondents affirmed the usefulness of the 28 practices. We believe that the catalog of microservices security practices can serve as a valuable resource for microservices practitioners to more effectively address security issues in microservices systems. It can also inform the research community of the required or less explored areas to develop microservices-specific security practices and tools.


title: An empirical user-study of text-based nonverbal annotation systems for human-human conversations

abstract: the substantial increase in the number of online human-human conversations and the usefulness of multimodal transcripts, there is a rising need for automated multimodal transcription systems to help us better understand the conversations. In this paper, we evaluated three methods to perform multimodal transcription. They were (1) Jefferson -- an existing manual system used widely by the linguistics community, (2) MONAH -- a system that aimed to make multimodal transcripts accessible and automated, (3) MONAH+ -- a system that builds on MONAH that visualizes machine attention. Based on 104 participants responses, we found that (1) all text-based methods significantly reduced the amount of information for the human users, (2) MONAH was found to be more usable than Jefferson, (3) Jefferson's relative strength was in chronemics (pace / delay) and paralinguistics (pitch / volume) annotations, whilst MONAH's relative strength was in kinesics (body language) annotations, (4) enlarging words' font-size based on machine attention was confusing human users as loudness. These results pose considerations for researchers designing a multimodal annotation system for the masses who would like a fully-automated or human-augmented conversational analysis system.


title: Positivity vs. slope semistability for bundles with vanishing discriminant

abstract: We give an algebraic proof valid in arbitrary characteristic for the known equivalence between (strongly) slope semistable vector bundles with vanishing discriminant and vanishing determinant and numerically flat bundles. We also address a related question of Misra.


title: Feature extraction with mel scale separation method on noise audio recordings

abstract: This paper focuses on improving the accuracy of noise audio recordings. High-quality audio recording, extraction using the mel frequency cepstral coefficients (MFCC) method produces high accuracy. While the low-quality is because of noise, the accuracy is low. Improved accuracy by investigating the effect of bandwidth on the mel scale. The proposed improvement uses the mel scale separation methods into two frequency channels (MFCC dual channel). For the comparison method using the mel scale bandwidth without separation (MFCC single-channel). Feature analysis using k-mean clustering. The data uses a noise variance of up to -16 dB. Testing on the MFCC single channel method for -16 dB noise has an accuracy of 47.5%, while the MFCC dual-channel method has an accuracy better of 76.25%. The next test used adaptive noise-canceling (ANC) to reduce noise before extraction. The result is that the MFCC single-channel method has an accuracy of 82.5% and the MFCC dual-channel method has an accuracy better of 83.75%. High-quality audio recording testing for the MFCC single-channel method has an accuracy of 92.5% and the MFCC dual-channel method has an accuracy better of 97.5%. The test results show the effect of mel scale bandwidth to increase accuracy. The MFCC dual-channel method has higher accuracy.


title: Dense Depth Estimation from Multiple 360-degree Images Using Virtual Depth

abstract: In this paper, we propose a dense depth estimation pipeline for multiview 360{\deg} images. The proposed pipeline leverages a spherical camera model that compensates for radial distortion in 360{\deg} images. The key contribution of this paper is the extension of a spherical camera model to multiview by introducing a translation scaling scheme. Moreover, we propose an effective dense depth estimation method by setting virtual depth and minimizing photonic reprojection error. We validate the performance of the proposed pipeline using the images of natural scenes as well as the synthesized dataset for quantitive evaluation. The experimental results verify that the proposed pipeline improves estimation accuracy compared to the current state-of-art dense depth estimation methods.


title: On the length of the shortest path in a sparse Barak-Erd\H{o}s graph

abstract: We consider an inhomogeneous version of the Barak-Erd\H{o}s graph, i.e. a directed Er\H{o}s-R\'enyi random graph on $\{1,\ldots,n\}$ with no loop. Given $f$ a Riemann-integrable non-negative function on $[0,1]^2$ and $\gamma > 0$, we define $G(n,f,\gamma)$ as the random graph with vertex set $\{1,\ldots,n\}$ such that for each $i < j$ the directed edge $(i,j)$ is present with probability $ p_{i, j}^{(n)} = \frac{f(i/n,j/n)}{n^\gamma}$, independently of any other edge. We denote by $L_n$ the length of the shortest path between vertices $1$ and $n$, and take interest in the asymptotic behaviour of $L_n$ as $n \to \infty$.


title: RheFrameDetect: A Text Classification System for Automatic Detection of Rhetorical Frames in AI from Open Sources

abstract: Rhetorical Frames in AI can be thought of as expressions that describe AI development as a competition between two or more actors, such as governments or companies. Examples of such Frames include robotic arms race, AI rivalry, technological supremacy, cyberwarfare dominance and 5G race. Detection of Rhetorical Frames from open sources can help us track the attitudes of governments or companies towards AI, specifically whether attitudes are becoming more cooperative or competitive over time. Given the rapidly increasing volumes of open sources (online news media, twitter, blogs), it is difficult for subject matter experts to identify Rhetorical Frames in (near) real-time. Moreover, these sources are in general unstructured (noisy) and therefore, detecting Frames from these sources will require state-of-the-art text classification techniques. In this paper, we develop RheFrameDetect, a text classification system for (near) real-time capture of Rhetorical Frames from open sources. Given an input document, RheFrameDetect employs text classification techniques at multiple levels (document level and paragraph level) to identify all occurrences of Frames used in the discussion of AI. We performed extensive evaluation of the text classification techniques used in RheFrameDetect against human annotated Frames from multiple news sources. To further demonstrate the effectiveness of RheFrameDetect, we show multiple case studies depicting the Frames identified by RheFrameDetect compared against human annotated Frames.


title: SFU-HW-Tracks-v1: Object Tracking Dataset on Raw Video Sequences

abstract: We present a dataset that contains object annotations with unique object identities (IDs) for the High Efficiency Video Coding (HEVC) v1 Common Test Conditions (CTC) sequences. Ground-truth annotations for 13 sequences were prepared and released as the dataset called SFU-HW-Tracks-v1. For each video frame, ground truth annotations include object class ID, object ID, and bounding box location and its dimensions. The dataset can be used to evaluate object tracking performance on uncompressed video sequences and study the relationship between video compression and object tracking.


title: An irrational Lagrangian density of a single hypergraph

abstract: The {\em Tur\'an number} of an $r$-uniform graph $F$, denoted by $ex(n,F)$, is the maximum number of edges in an $F$-free $r$-uniform graph on $n$ vertices. The {\em Tur\'{a}n density} of $F$ is defined as $\pi(F)=\underset{{n\rightarrow\infty}}{\lim}{ex(n,F) \over {n \choose r }}.$ For graphs, Erd\H{o}s-Stone-Simonovits (\cite{ESi}, \cite{ES}) showed that $\Pi_{\infty}^{(2)}=\Pi_{fin}^{(2)}=\Pi_{1}^{(2)}=\{0, {1 \over 2}, {2 \over 3}, \ldots,{l-1 \over l}, ...\}.$ We know quite few about the Tur\'an density of an $r$-uniform graph for $r\ge 3$. Baber and Talbot \cite{BT}, and Pikhurko \cite{Pikhurko2} showed that there is an irrational number in $\Pi_{3}^{(3)}$ and $\Pi_{fin}^{(3)}$ respectively, disproving a conjecture of Chung and Graham \cite{FG}. Baber and Talbot \cite{BT} asked whether $\Pi_{1}^{(r)}$ contains an irrational number. In this paper, we show that the Lagrangian density of $F=\{123, 124, 134, 234, 567\}$ (the disjoint union of $K_4^3$ and an edge) is ${\sqrt 3\over 3}$, consequently, the Tur\'an density of the extension of $F$ is an irrational number, answering the question of Baber and Talbot.


title: Are we really making much progress? Revisiting, benchmarking, and refining heterogeneous graph neural networks

abstract: Heterogeneous graph neural networks (HGNNs) have been blossoming in recent years, but the unique data processing and evaluation setups used by each work obstruct a full understanding of their advancements. In this work, we present a systematical reproduction of 12 recent HGNNs by using their official codes, datasets, settings, and hyperparameters, revealing surprising findings about the progress of HGNNs. We find that the simple homogeneous GNNs, e.g., GCN and GAT, are largely underestimated due to improper settings. GAT with proper inputs can generally match or outperform all existing HGNNs across various scenarios. To facilitate robust and reproducible HGNN research, we construct the Heterogeneous Graph Benchmark (HGB), consisting of 11 diverse datasets with three tasks. HGB standardizes the process of heterogeneous graph data splits, feature processing, and performance evaluation. Finally, we introduce a simple but very strong baseline Simple-HGN--which significantly outperforms all previous models on HGB--to accelerate the advancement of HGNNs in the future.


title: Transcendence of polynomial canonical heights

abstract: There are two fundamental problems motivated by Silverman's conversations over the years concerning the nature of the exact values of canonical heights of $f(z)\in\bar{\mathbb{Q}}(z)$ where $f$ has degree $d\geq 2$. The first problem is the conjecture that $\hat{h}_f(a)$ is either $0$ or transcendental for every $a\in \mathbb{P}^1(\bar{\mathbb{Q}})$; this holds when $f$ is linearly conjugate to $z^d$ or $\pm C_d(z)$ where $C_d(z)$ is the Chebyshev polynomial of degree $d$ since $\hat{H}_f(a)$ is algebraic for every $a$. Other than this, very little is known: for example, it is not known if there \emph{exists} even \emph{one} rational number $a$ such that $\hat{h}_f(a)$ is \emph{irrational} where $f(z)=z^2+\displaystyle\frac{1}{2}$. The second problem asks for the characterization of all pairs $(f,a)$ such that $\hat{H}_f(a)$ is algebraic. In this paper, we solve the second problem and obtain significant progress to the first problem in the case of polynomial dynamics. These are consequences of our main result concerning the possible algebraic numbers that can be expressed as a multiplicative combination of values of B\"ottcher coordinates. The proof of our main result uses a construction of a certain auxiliary polynomial and the powerful Medvedev-Scanlon classification of preperiodic subvarieties of split polynomial maps.


title: Automatic Mixed-Precision Quantization Search of BERT

abstract: Pre-trained language models such as BERT have shown remarkable effectiveness in various natural language processing tasks. However, these models usually contain millions of parameters, which prevents them from practical deployment on resource-constrained devices. Knowledge distillation, Weight pruning, and Quantization are known to be the main directions in model compression. However, compact models obtained through knowledge distillation may suffer from significant accuracy drop even for a relatively small compression ratio. On the other hand, there are only a few quantization attempts that are specifically designed for natural language processing tasks. They suffer from a small compression ratio or a large error rate since manual setting on hyper-parameters is required and fine-grained subgroup-wise quantization is not supported. In this paper, we proposed an automatic mixed-precision quantization framework designed for BERT that can simultaneously conduct quantization and pruning in a subgroup-wise level. Specifically, our proposed method leverages Differentiable Neural Architecture Search to assign scale and precision for parameters in each sub-group automatically, and at the same time pruning out redundant groups of parameters. Extensive evaluations on BERT downstream tasks reveal that our proposed method outperforms baselines by providing the same performance with much smaller model size. We also show the feasibility of obtaining the extremely light-weight model by combining our solution with orthogonal methods such as DistilBERT.


title: Multi-band Emission up to PeV Energy from the Crab Nebula in a Spatially Dependent Lepto-hadronic Model

abstract: Multi-band emission from radio to ultra-high energy gamma-rays in the Crab Nebula has been detected. To explain the observed results, non-thermal photon production \textbf{in} the Crab Nebula is carefully studied in a spatially dependent lepto-hadronic model. In our model, the dynamical evolution of the PWN is simulated in a spherically symmetric system. Both electrons and protons are accelerated at the termination shock. The relevant particle propagation equations as well as the photon evolving equation are simultaneously solved. For the Crab Nebula, our results reveal that the observed multi-band photon spectra can be well reproduced with reasonable model parameters. In particular, the photons with energy $\gtrsim 200$ TeV are mainly contributed by the hadronic component via proton-proton interaction. The contribution of the hadronic component depends on both proton spectral index $\alpha_{\rm p}$ and number density $n_{\rm H}$ of medium within the PWN. Besides, high energy neutrino fluxes are predicted with variable proton spectral indices. The predicted fluxes are not only far below the sensitivities of current neutrino observatories, but also beneath the atmospheric neutrino background with energy less than $\sim 40$ TeV. Moreover, the calculated radial profiles of surface brightness and spectral index are presented.


title: Close Friends, Popular Peers, Team formation and Leadership in Group Projects

abstract: The paper discusses diverse interconnected relationships formed within a seemingly unrelated group of students and a conceptually different problem statement. This study uses a Social Network Analysis (SNA) to analyze and map the connections among the individuals. SNA facilitates understanding the psychology of a group of people while performing a certain task. This could help predict further patterns in which a similar group might perform these tasks. As discussed in this paper, the analysis of selection of teammates for a project indirectly implies friendships in a department and can predict new friendships that could result from these. The data collected can be represented as a Social Network using various analysis tools such as Gephi and NodeXL. The result of the analysis determines the popular peer among the students and elucidates the reason behind it. Also, various other Inferences such as the close friends list, Social Influence of a node, and more were deduced.


title: A General Traffic Shaping Protocol in E-Commerce

abstract: To approach different business objectives, online traffic shaping algorithms aim at improving exposures of a target set of items, such as boosting the growth of new commodities. Generally, these algorithms assume that the utility of each user-item pair can be accessed via a well-trained conversion rate prediction model. However, for real E-Commerce platforms, there are unavoidable factors preventing us from learning such an accurate model. In order to break the heavy dependence on accurate inputs of the utility, we propose a general online traffic shaping protocol for online E-Commerce applications. In our framework, we approximate the function mapping the bonus scores, which generally are the only method to influence the ranking result in the traffic shaping problem, to the numbers of exposures and purchases. Concretely, we approximate the above function by a class of the piece-wise linear function constructed on the convex hull of the explored data points. Moreover, we reformulate the online traffic shaping problem as linear programming where these piece-wise linear functions are embedded into both the objective and constraints. Our algorithm can straightforwardly optimize the linear programming in the prime space, and its solution can be simply applied by a stochastic strategy to fulfill the optimized objective and the constraints in expectation. Finally, the online A/B test shows our proposed algorithm steadily outperforms the previous industrial level traffic shaping algorithm.


title: From the multi-terms urn model to the self-exciting negative binomial distribution and Hawkes processes

abstract: This study considers a new multi-term urn process that has a correlation in the same term and temporal correlation. The objective is to clarify the relationship between the urn model and the Hawkes process. Correlation in the same term is represented by the P\'{o}lya urn model and the temporal correlation is incorporated by introducing the conditional initial condition. In the double-scaling limit of this urn process, the self-exciting negative binomial distribution (SE-NBD) process, which is a marked Hawkes process, is obtained. In the standard continuous limit, this process becomes the Hawkes process, which has no correlation in the same term. The difference is the variance of the intensity function in that the phase transition from the steady to the non-steady state can be observed. The critical point, at which the power law distribution is obtained, is the same for the Hawkes and the urn processes. These two processes are used to analyze empirical data of financial default to estimate the parameters of the model. For the default portfolio, the results produced by the urn process are superior to those obtained with the Hawkes process and confirm self-excitation.


title: Non-jumping Tur\'an densities of hypergraphs

abstract: A real number $\alpha\in [0, 1)$ is a jump for an integer $r\ge 2$ if there exists $c>0$ such that no number in $(\alpha , \alpha + c)$ can be the Tur\'an density of a family of $r$-uniform graphs. A classical result of Erd\H os and Stone \cite{ES} implies that that every number in $[0, 1)$ is a jump for $r=2$. Erd\H os \cite{E64} also showed that every number in $[0, r!/r^r)$ is a jump for $r\ge 3$ and asked whether every number in $[0, 1)$ is a jump for $r\ge 3$. Frankl and R\"odl \cite{FR84} gave a negative answer by showing a sequence of non-jumps for every $r\ge 3$. After this, Erd\H os modified the question to be whether $\frac{r!}{r^r}$ is a jump for $r\ge 3$? What's the smallest non-jump? Frankl, Peng, R\"odl and Talbot \cite{FPRT} showed that ${5r!\over 2r^r}$ is a non-jump for $r\ge 3$. Baber and Talbot \cite{BT0} showed that every $\alpha\in[0.2299, 0.2316)\cup [0.2871, \frac{8}{27})$ is a jump for $r=3$. Pikhurko \cite{Pikhurko2} showed that the set of all possible Tur\'an densities of $r$-uniform graphs has cardinality of the continuum for $r\ge 3$. However, whether $\frac{r!}{r^r}$ is a jump for $r\ge 3$ remains open, and $\frac{5r!}{2r^r}$ has remained the known smallest non-jump for $r\ge 3$. In this paper, we give a smaller non-jump by showing that ${54r!\over 25r^r}$ is a non-jump for $r\ge 3$. Furthermore, we give infinitely many irrational non-jumps for every $r\ge 3$.


title: Effective and Efficient PageRank-based Positioning for Graph Visualization

abstract: Graph visualization is a vital component in many real-world applications (e.g., social network analysis, web mining, and bioinformatics) that enables users to unearth crucial insights from complex data. Lying in the core of graph visualization is the node distance measure, which determines how the nodes are placed on the screen. A favorable node distance measure should be informative in reflecting the full structural information between nodes and effective in optimizing visual aesthetics. However, existing node distance measures yield sub-par visualization quality as they fall short of these requirements. Moreover, most existing measures are computationally inefficient, incurring a long response time when visualizing large graphs. To overcome such deficiencies, we propose a new node distance measure, PDist, geared towards graph visualization by exploiting a well-known node proximity measure, personalized PageRank. Moreover, we propose an efficient algorithm Tau-Push for estimating PDist under both single- and multi-level visualization settings. With several carefully-designed techniques, Tau-Push offers non-trivial theoretical guarantees for estimation accuracy and computation complexity. Extensive experiments show that our proposal significantly outperforms 13 state-of-the-art graph visualization solutions on 12 real-world graphs in terms of both efficiency and effectiveness (including aesthetic criteria and user feedback). In particular, our proposal can interactively produce satisfactory visualizations within one second for billion-edge graphs.


title: Symmetric Kapranov and symmetric tropical ranks

abstract: This paper proves the $r \times r$ minors of an $n \times n$ symmetric matrix of indeterminates are a tropical basis when $r = 2$, $r = 3$, or $r = n$, and are not when $4 < r < n$ or $r = 4, n > 12$. In the process, it introduces two new notions of rank for symmetric matrices coming from tropical geometry, the symmetric tropical and the symmetric Kapranov rank, which are the symmetric versions of their standard counterparts defined by Develin, Santos, and Sturmfels.


title: A causal inference framework for spatial confounding

abstract: Recently, addressing spatial confounding has become a major topic in spatial statistics. However, the literature has provided conflicting definitions, and many proposed definitions do not address the issue of confounding as it is understood in causal inference. We define spatial confounding as the existence of an unmeasured causal confounder with a spatial structure. We present a causal inference framework for nonparametric identification of the causal effect of a continuous exposure on an outcome in the presence of spatial confounding. We propose double machine learning (DML), a procedure in which flexible models are used to regress both the exposure and outcome variables on confounders to arrive at a causal estimator with favorable robustness properties and convergence rates, and we prove that this approach is consistent and asymptotically normal under spatial dependence. As far as we are aware, this is the first approach to spatial confounding that does not rely on restrictive parametric assumptions (such as linearity, effect homogeneity, or Gaussianity) for both identification and estimation. We demonstrate the advantages of the DML approach analytically and in simulations. We apply our methods and reasoning to a study of the effect of fine particulate matter exposure during pregnancy on birthweight in California.


title: AutoCast: Scalable Infrastructure-less Cooperative Perception for Distributed Collaborative Driving

abstract: Autonomous vehicles use 3D sensors for perception. Cooperative perception enables vehicles to share sensor readings with each other to improve safety. Prior work in cooperative perception scales poorly even with infrastructure support. AutoCast enables scalable infrastructure-less cooperative perception using direct vehicle-to-vehicle communication. It carefully determines which objects to share based on positional relationships between traffic participants, and the time evolution of their trajectories. It coordinates vehicles and optimally schedules transmissions in a distributed fashion. Extensive evaluation results under different scenarios show that, unlike competing approaches, AutoCast can avoid crashes and near-misses which occur frequently without cooperative perception, its performance scales gracefully in dense traffic scenarios providing 2-4x visibility into safety critical objects compared to existing cooperative perception schemes, its transmission schedules can be completed on the real radio testbed, and its scheduling algorithm is near-optimal with negligible computation overhead.


title: Data-Driven State Estimation for Light-Emitting Diode Underwater Optical Communication

abstract: Light-Emitting Diodes (LEDs) based underwater optical wireless communications (UOWCs), a technology with low latency and high data rates, have attracted significant importance for underwater robots. However, maintaining a controlled line of sight link between transmitter and receiver is challenging due to the constant movement of the underlying optical platform caused by the dynamic uncertainties of the LED model and vibration effects. Additionally, the alignment angle required for tracking is not directly measured and has to be estimated. Besides, the light scattering propagates beam pulse in water temporally, resulting in time-varying underwater optical links with interference. We address the state estimation problem by designing an LED communication system that provides the angular position and velocity information to overcome the challenges. In this way, we leverage the power of deep learning-based observer design to explore the LED communication's state space properly. Simulation results are presented to illustrate the performance of the data-driven LED state estimation.


title: Decentralized Optimization Over the Stiefel Manifold by an Approximate Augmented Lagrangian Function

abstract: In this paper, we focus on the decentralized optimization problem over the Stiefel manifold, which is defined on a connected network of $d$ agents. The objective is an average of $d$ local functions, and each function is privately held by an agent and encodes its data. The agents can only communicate with their neighbors in a collaborative effort to solve this problem. In existing methods, multiple rounds of communications are required to guarantee the convergence, giving rise to high communication costs. In contrast, this paper proposes a decentralized algorithm, called DESTINY, which only invokes a single round of communications per iteration. DESTINY combines gradient tracking techniques with a novel approximate augmented Lagrangian function. The global convergence to stationary points is rigorously established. Comprehensive numerical experiments demonstrate that DESTINY has a strong potential to deliver a cutting-edge performance in solving a variety of testing problems.


title: Nonperturbative light-front effective potential for static sources in quenched scalar Yukawa theory

abstract: We compute an effective potential between two fixed sources in light-front quantization of a quenched scalar Yukawa theory that models the interaction of complex scalar fields through the exchange of a neutral scalar. Despite the breaking of explicit rotational symmetry by the use of light-front coordinates, the effective potential is rotationally symmetric and matches the standard Yukawa potential for scalar exchange. The neutral scalar field is represented by a coherent state, which is obtained nonperturbatively as an eigenstate of our model Hamiltonian, with the eigenenergy determining the effective potential. The sources are represented by wave packets that are fixed with respect to ordinary time, but move in light-front coordinates. The theory is quenched, to remove pair-production processes that would otherwise cause the spectrum to be unbounded from below.


title: The dynamics and observability of circularly polarized kink waves

abstract: Context. Kink waves are routinely observed in coronal loops. Resonant absorption is a well-accepted mechanism that extracts energy from kink waves. Nonlinear kink waves are know to be affected by the Kelvin-Helmholtz instability. However, all previous numerical studies consider linearly polarized kink waves. Aims. We study the properties of circularly polarized kink waves on straight plasma cylinders, for both standing and propagating waves, and compare them to the properties of linearly polarized kink waves. Methods. We use the code MPI-AMRVAC to solve the full 3D Magnetohydrodynamic (MHD) equations for a straight magnetic cylinder, excited by both standing and propagating circularly polarized kink (m = 1) modes. Results. The damping due to resonant absorption is independent of the polarization state. The morphology or appearance of the induced resonant flow is different for the two polarizations, however, there are essentially no differences in the forward-modeled Doppler signals. For nonlinear oscillations, the growth rate of small scales is determined by the total energy of the oscillation rather than the perturbation amplitude. We discuss possible implications and seismological relevance.


title: A Survey of fault mitigation techniques for multi-core architectures

abstract: Fault tolerance in multi-core architecture has attracted attention of research community for the past 20 years. Rapid improvements in the CMOS technology resulted in exponential growth of transistor density. It resulted in increased challenges for designing resilient multi-core architecture at the same pace. The article presents a survey of fault tolerant methods like fault detection, recovery, re-configurability and repair techniques for multi-core architectures. Salvaging at micro-architectural and architectural level are also discussed. Gamut of fault tolerant approaches discussed in this article have tangible improvements on the reliability of the multi-core architectures. Every concept in the seminal articles is examined with respect to relevant metrics like performance cost, area overhead, fault coverage, level of protection, detection latency and Mean Time To Failure. The existing literature is critically examined. New research directions in the form of new fault tolerant design alternatives for both homogeneous and heterogeneous multi-core architectures are presented. Brief on an analytical approach for fault tolerating model is suggested for Intel and AMD based modern homogeneous multi-core architecture are presented to enhance the understanding of the readers about the architecture with respect to performance degradation, memory access time and execution time.


title: Adaptive Gaussian Process based Stochastic Trajectory Optimization for Motion Planning

abstract: We propose a new formulation of optimal motion planning (OMP) algorithm for robots operating in a hazardous environment, called adaptive Gaussian-process based stochastic trajectory optimization (AGP-STO). It first restarts the accelerated gradient descent with the reestimated Lipschitz constant (L-reAGD) to improve the computation efficiency, only requiring 1st-order momentum. However, it still cannot infer a global optimum of the nonconvex problem, informed by the prior information of Gaussian-process (GP) and obstacles. So it then integrates the adaptive stochastic trajectory optimization (ASTO) in the L-reestimation process to learn the GP-prior rewarded by the important samples via accelerated moving averaging (AMA). Moreover, we introduce the incremental optimal motion planning (iOMP) to upgrade AGP-STO to iAGP-STO. It interpolates the trajectory incrementally among the previously optimized waypoints to ensure time-continuous safety. Finally, we benchmark iAGP-STO against the numerical (CHOMP, TrajOpt, GPMP) and sampling (STOMP, RRT-Connect) methods and conduct the tuning experiment of key parameters to show how the integration of L-reAGD, ASTO, and iOMP elevates computation efficiency and reliability. Moreover, the implementation of iAGP- STO on LBR-iiwa, multi-AGV, and rethink-Baxter demonstrates its application in manipulation, collaboration, and assistance.


title: Set membership with two classical and quantum bit probes

abstract: We consider the following problem: Given a set S of at most n elements from a universe of size m, represent it in memory as a bit string so that membership queries of the form "Is x in S?" can be answered by making at most t probes into the bit string. Let s(m,n,t) be the minimum number of bits needed by any such scheme. We obtain new upper bounds for s(m,n,t=2), which match or improve all the previously known bounds. We also consider the quantum version of this problem and obtain improved upper bounds.


title: Tree Embeddings and Tree-Star Ramsey Numbers

abstract: We say that a graph $F$ can be embedded into a graph $G$ if $G$ contains an isomorphic copy of $F$ as a subgraph. Guo and Volkmann \cite{GV} conjectured that if $G$ is a connected graph with at least $n$ vertices and minimum degree at least $n-3$, then any tree with $n$ vertices and maximum degree at most $n-4$ can be embedded into $G$. In this paper, we give a result slightly stronger than this conjecture and obtain a sufficient and necessary condition that a tree with $n$ vertices and maximum degree at most $n-3$ can be embedded into a connected graph G with at least $n$ vertices and minimum degree at least $n-3$. Our result implies that the conjecture of Guo and Volkmann is true with one exception. We also give an application to the Ramsey number of a tree versus a star.


title: Photometric recalibration of the SDSS Stripe 82 to a few milimagnitude precision with the stellar color regression method and Gaia EDR3

abstract: By combining spectroscopic data from the LAMOST DR7, SDSS DR12, and corrected photometric data from the Gaia EDR3, we apply the Stellar Color Regression (SCR; Yuan et al. 2015a) method to recalibrate the SDSS Stripe 82 standard stars catalog of Ivezi\'c et al. (2007). With a total number of about 30,000 spectroscopically targeted stars, we have mapped out the relatively large and strongly correlated photometric zero-point errors present in the catalog, $\sim$2.5 per cent in the $u$ band and $\sim$ 1 per cent in the $griz$ bands. Our study also confirms some small but significant magnitude dependence errors in the $z$ band for some charge-coupled devices. Various tests show that we have achieved an internal precision of about 5 mmag in the $u$ band and about 2 mmag in the $griz$ bands, which is about 5 times better than previous results. We also apply the method to the latest version of the catalog (V4.2; Thanjavur et al. 2021), and find modest systematic calibration errors up to $\sim$ 1 per cent along the R.A. direction and smaller errors along the Dec. direction. The results demonstrate the power of the SCR method when combining spectroscopic data and Gaia photometry in breaking the 1 percent precision barrier of ground-based photometric surveys. Our work paves the way for the re-calibration of the whole SDSS photometric survey and has important implications for the calibration of future surveys. Future implementations and improvements of the SCR method under different situations are also discussed.


title: Tiansuan Constellation: An Open Research Platform

abstract: Satellite network is the first step of interstellar voyages. It can provide global Internet connectivity everywhere on earth, where most areas cannot access the Internet by the terrestrial infrastructure due to the geographic accessibility and high cost. The space industry experiences a rise in large low-earth-orbit satellite constellations to achieve universal connectivity. The research community is also urgent to do some leading research to bridge the connectivity divide. Researchers now conduct their work by simulation, which is far from enough. However, experiments on real satellites are blocked by the high threshold of space technology, such as deployment cost and unknown risks. To solve the above dilemma, we are eager to contribute to the universal connectivity and build an open research platform, Tiansuan constellation to support experiments on real satellite networks. We discuss the potential research topics that would benefit from Tiansuan constellation. We provide two case studies that have already deployed in two experimental satellites of Tiansuan constellation.


title: A Benchmark Dataset for Micro-video Thumbnail Selection

abstract: The thumbnail, as the first sight of a micro-video, plays a pivotal role in attracting users to click and watch. Although several pioneer efforts have been dedicated to jointly considering the quality and representativeness for selecting the thumbnail, they are limited in exploring the influence of users` interests. While in the real scenario, the more the thumbnails satisfy the users, the more likely the micro-videos will be clicked. In this paper, we aim to select the thumbnail of a given micro-video that meets most users` interests. Towards this end, we construct a large-scale dataset for the micro-video thumbnails. Ultimately, we conduct several baselines on the dataset and demonstrate the effectiveness of our dataset.


title: Coronal Quasi-periodic Fast-mode Propagating Wave Trains

abstract: QFP wave trains in the corona have been studied intensively in the past decade, thanks to the full-disk, high spatiotemporal resolution, and wide-temperature coverage observations taken by the SDO/AIA. In AIA observations, QFP wave trains are seen to consist of multiple coherent and concentric wavefronts emanating successively near the epicenter of the accompanying flares; they propagate outwardly either along or across coronal loops at fast-mode magnetosonic speeds from several hundred to more than 2000 km/s, and their periods are in the range of tens of seconds to several minutes. Based on the distinct different properties of QFP wave trains, they might be divided into two distinct categories including narrow and broad ones. For most QFP wave trains, some of their periods are similar to those of quasi-periodic pulsations (QPPs) in the accompanying flares, indicating that they are probably different manifestations of the same physical process. Currently, candidate generation mechanisms for QFP wave trains include two main categories: pulsed energy excitation mechanism in association with magnetic reconnection and dispersion evolution mechanism related to the dispersive evolution of impulsively generated broadband perturbations. In addition, the generation of some QFP wave trains might be driven by the leakage of three and five minute oscillations from the lower atmosphere. As one of the new discoveries of SDO, QFP wave trains provide a new tool for coronal seismology to probe the corona parameters, and they are also useful for diagnosing the generation of QPPs, flare processes including energy release and particle accelerations. This review aims to summarize the main observational and theoretical results of the spatially-resolved QFP wave trains in extreme ultraviolet observations, and states briefly a number of questions that deserve further investigations.


title: The bipartite Ramsey number $br(C_{2n}, C_{2m})$

abstract: Given bipartite graphs $H_1$, \dots , $H_k$, the bipartite Ramsey number $br(H_1,\dots, H_k)$ is the minimum integer $N$ such that any $k$-edge-coloring of complete bipartite graph $K_{N, N}$ contains a monochromatic $H_i$ in color $i$ for $1\le i\le k$. There are considerable results on asymptotic values of bipartite Ramsey numbers of cycles. For exact value, Zhang-Sun \cite{Zhangs} determined $br(C_4, C_{2n})$, Zhang-Sun-Wu \cite{Zhangsw} determined $br(C_6, C_{2n})$, and Gholami-Rowshan \cite{GR} determined $br(C_8, C_{2n})$. In this paper, we solve all remaining cases and give the exact values of $br(C_{2n}, C_{2m})$ for all $n\ge m\ge 5$, this answers a question concerned by Buci\'c-Letzter-Sudakov \cite{BLS}, Gholami-Rowshan \cite{GR}, Zhang-Sun \cite{Zhangs}, and Zhang-Sun-Wu \cite{Zhangsw}.


title: Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces

abstract: After reminding what coherences spaces are and how they interpret linear logic, we define a modality "flag" in the category of coherence spaces (or hypercoherences) with two inverse linear (iso)morphisms: "duplication" from (flag A) to ((flag A) < (flag A)) and "contraction" in the opposite direction -- where < is the self dual and non-commutative connective known as "before" in pomset logic and known as "seq(ential)" in the deep inference system (S)BV. In addition, as expected, the coherence space A is a retract of its modal image (flag A). This suggests an intuitive interpretation of (flag A) as "repeatedly A" or as "A at any instant" when "before" is given a temporal interpretation. We hope the semantic construction of flag(A) will help to design proof rules for "flag" and we briefly discuss this at the end of the paper.


title: Exponentially Handsome Proof Nets and Their Normalization

abstract: Handsome proof nets were introduced by Retor\'e as a syntax for multiplicative linear logic. These proof nets are defined by means of cographs (graphs representing formulas) equipped with a vertices partition satisfying simple topological conditions. In this paper we extend this syntax to multiplicative linear logic with units and exponentials. For this purpose we develop a new sound and complete sequent system for the logic, enforcing a stronger notion of proof equivalence with respect to the one usually considered in the literature. We then define combinatorial proofs, a graphical proof system able to capture syntactically the proof equivalence, for the cut-free fragment of the calculus. We conclude the paper by defining the exponentially handsome proof nets as combinatorial proofs with cuts and defining an internal normalization procedure for this syntax.


title: A Deep Inference System for Differential Linear Logic

abstract: Differential linear logic (DiLL) provides a fine analysis of resource consumption in cut-elimination. We investigate the subsystem of DiLL without promotion in a deep inference formalism, where cuts are at an atomic level. In our system every provable formula admits a derivation in normal form, via a normalization procedure that commutes with the translation from sequent calculus to deep inference.


title: Super Exponentials in Linear Logic

abstract: Following the idea of Subexponential Linear Logic and Stratified Bounded Linear Logic, we propose a new parameterized version of Linear Logic which subsumes other systems like ELL, LLL or SLL, by including variants of the exponential rules. We call this system Superexponential Linear Logic (superLL). Assuming some appropriate constraints on the parameters of superLL, we give a generic proof of cut elimination. This implies that each variant of Linear Logic which appears as a valid instance of superLL also satisfies cut elimination.


title: A Braided Lambda Calculus

abstract: We present an untyped linear lambda calculus with braids, the corresponding combinatory logic, and the semantic models given by crossed G-sets.


title: Deriving Distributive Laws for Graded Linear Types

abstract: The recent notion of graded modal types provides a framework for extending type theories with fine-grained data-flow reasoning. The Granule language explores this idea in the context of linear types. In this practical setting, we observe that the presence of graded modal types can introduce an additional impediment when programming: when composing programs, it is often necessary to 'distribute' data types over graded modalities, and vice versa. In this paper, we show how to automatically derive these distributive laws as combinators for programming. We discuss the implementation and use of this automated deriving procedure in Granule, providing easy access to these distributive combinators. This work is also applicable to Linear Haskell (which retrofits Haskell with linear types via grading) and we apply our technique there to provide the same automatically derived combinators. Along the way, we discuss interesting considerations for pattern matching analysis via graded linear types. Lastly, we show how other useful structural combinators can also be automatically derived.


title: Harmony in the Light of Computational Ludics

abstract: Prawitz formulated the so-called inversion principle as one of the characteristic features of Gentzen's intuitionistic natural deduction. In the literature on proof-theoretic semantics, this principle is often coupled with another that is called the recovery principle. By adopting the Computational Ludics framework, we reformulate these principles into one and the same condition, which we call the harmony condition. We show that this reformulation allows us to reveal two intuitive ideas standing behind these principles: the idea of "containment" present in the inversion principle, and the idea that the recovery principle is the "converse" of the inversion principle. We also formulate two other conditions in the Computational Ludics framework, and we show that each of them is equivalent to the harmony condition.


title: A Novel Generator with Auxiliary Branch for Improving GAN Performance

abstract: The generator in the generative adversarial network (GAN) learns image generation in a coarse-to-fine manner in which earlier layers learn the overall structure of the image and the latter ones refine the details. To propagate the coarse information well, recent works usually build their generators by stacking up multiple residual blocks. Although the residual block can produce a high-quality image as well as be trained stably, it often impedes the information flow in the network. To alleviate this problem, this brief introduces a novel generator architecture that produces the image by combining features obtained through two different branches: the main and auxiliary branches. The goal of the main branch is to produce the image by passing through the multiple residual blocks, whereas the auxiliary branch is to convey the coarse information in the earlier layer to the later one. To combine the features in the main and auxiliary branches successfully, we also propose a gated feature fusion module that controls the information flow in those branches. To prove the superiority of the proposed method, this brief provides extensive experiments using various standard datasets including CIFAR-10, CIFAR-100, LSUN, CelebA-HQ, AFHQ, and tiny-ImageNet. Furthermore, we conducted various ablation studies to demonstrate the generalization ability of the proposed method. Quantitative evaluations prove that the proposed method exhibits impressive GAN performance in terms of Inception score (IS) and Frechet inception distance (FID). For instance, the proposed method boosts the FID and IS scores on the tiny-ImageNet dataset from 35.13 to 25.00 and 20.23 to 25.57, respectively.


title: Ultra-wideband electrostrictive mechanical antenna

abstract: Conventional mechanical antennas provide a strategy in long-wave communication with a surprisingly compact size below 1/1,000 of the wavelength. However, the narrow bandwidth and weak field intensity seriously hamper its practical applications. Here, we present a mechanical antenna based on the electrostrictive effect of PMN-PT-based relaxor ferroelectric ceramic to improve radiation capacity and achieve ultra-wideband characteristics (10 kHz - 1 MHz, the relative bandwidth is beyond 196%). Determined by the different underlying mechanism, the mechanical antenna based on the electrostrictive effect exhibits excellent communication properties from traditional mechanical antennas. The functions of signal coding, transmitting, receiving, and decoding were experimentally demonstrated. This approach offers a promising way of constructing mechanical antennas for long-wave communication.


title: Cohomology rings of quasitoric bundles

abstract: The classical BKK theorem computes the intersection number of divisors on toric variety in terms of volumes of corresponding polytopes. It was observed by Pukhlikov and the first author that the BKK theorem leads to a presentation of the cohomology ring of toric variety as a quotient of the ring of differential operators with constant coefficients by the annihilator of an explicit polynomial. In this paper we generalize this construction to the case of quasitoric bundles. These are fiber bundles with generalized quasitoric manifolds as fibers. First we obtain a generalization of the BKK theorem to this case. Then we use recently obtained descriptions of the graded-commutative algebras which satisfy Poincar\'e duality to give a description of cohomology rings of quasitoric bundles.


title: Contrastive Fine-grained Class Clustering via Generative Adversarial Networks

abstract: Unsupervised fine-grained class clustering is a practical yet challenging task due to the difficulty of feature representations learning of subtle object details. We introduce C3-GAN, a method that leverages the categorical inference power of InfoGAN with contrastive learning. We aim to learn feature representations that encourage a dataset to form distinct cluster boundaries in the embedding space, while also maximizing the mutual information between the latent code and its image observation. Our approach is to train a discriminator, which is also used for inferring clusters, to optimize the contrastive loss, where image-latent pairs that maximize the mutual information are considered as positive pairs and the rest as negative pairs. Specifically, we map the input of a generator, which was sampled from the categorical distribution, to the embedding space of the discriminator and let them act as a cluster centroid. In this way, C3-GAN succeeded in learning a clustering-friendly embedding space where each cluster is distinctively separable. Experimental results show that C3-GAN achieved the state-of-the-art clustering performance on four fine-grained image datasets, while also alleviating the mode collapse phenomenon. Code is available at https://github.com/naver-ai/c3-gan.


title: The impact of outgassing of CO2 and prior calcium precipitation to the isotope composition of calcite precipitated on stalagmites. Implications for reconstructing climate information from proxies

abstract: Degassing of CO2 and precipitation of calcite to the surface of stalagmites can strongly impact isotope signals imprinted into the calcite of these speleothems. Here, we show that in all the variety of conditions occurring in nature only two distinct types of degassing exist. First, when a thin film of calcareous solution comes in contact to cave air lower pCO2 value than that of the aqueous CO2 in the water, molecular CO2 escapes by physical diffusion in several seconds. In a next step lasting several ten seconds, pH and DIC in the solution achieve chemical equilibrium with respect to the CO2 in the cave atmosphere. This solution becomes supersaturated with respect to calcite. During precipitation for each unit CaCO3 deposited one molecule of CO2 is generated and escapes from the solution. This precipitation driven degassing is active during precipitation only. We show that all variations of out gassing proposed in the literature are either diffusive outgassing or precipitation driven degassing and that diffusive outgassing has no influence on the isotope composition of the HCO3 - pool and consequently on that of calcite. Its isotope imprint is determined solely by precipitation driven degassing in contrast to most explanations in the literature. We present a theoretical model of d13C and d18O that explains the contributions of various parameters such as changes in temperature, changes of pCO2 in the cave atmosphere, and changes in the drip intervals to the isotope composition of calcite precipitated to the apex of the stalagmite. We use this model to calculate quantitatively changes of d13C and d18O observed in field experiments (Carlson et al., 2020) in agreement to their experimental data. We also apply our model to prior calcite precipitation (PCP) in the field as reported by Mickler et al. (2019). We discuss how PCP influences isotope composition signals. ...


title: Room Temperature Structural, Magnetic and Dielectric Characteristics of La Doped CuO Bulk Multiferroic

abstract: In this manuscript, we report room temperature structural, microstructural, optical, dielectric, and magnetic properties of CuO and Cu0.995La0.005 ceramics, synthesized by solid-state reaction method. La doping in CuO leads to the evolution of compact and dense microstructure with reduced porosity. Due to noticeable differences in the ionic radii of, La doping creates vacancy defects which induce considerable strain in the CuO lattice resulting in a reduction in the lattice parameters and cell volume. However, both ceramics processes a similar monoclinic structure with the C2/c space group. Detailed characterization using XPS, Raman, and FTIR spectroscopy confirmed the incorporation of the La3+ in CuO lattice. Interestingly, La doping enhances the dielectric constant by more than three times and results in a reduced leakage current. The onset of a large dielectric constant is attributed to dense microstructure and strain/distortion in CuO lattice after La doping. Additionally, the band-gap of Cu0.995La0.005 ceramics decreases which is attributed to increased vacancy defect concentration that creates intermediate dopant energy level within bandgap of CuO matrix. Furthermore, improvement in magnetic and dielectric properties is also discussed and correlated with the grain size in La-doped CuO.


title: Q-effectiveness for holomorphic subelliptic multipliers

abstract: We provide a solution to the effectiveness problem in Kohn's algorithm for generating holomorphic subelliptic multipliers for $(0,q)$ forms for arbitrary $q$. As an application, we obtain subelliptic estimates for $(0,q)$ forms with effectively controlled order $\epsilon>0$ (the Sobolev exponent) for domains given by sums of squares of holomorphic functions (J.J. Kohn called them "special domains"). These domains are of particular interest due to their relation with complex and algebraic geometry. Our methods include triangular resolutions introduced by the authors in their previous work.