title: Stochastic Optimization Approaches for an Operating Room and Anesthesiologist Scheduling Problem

abstract: We propose combined allocation, assignment, sequencing, and scheduling problems under uncertainty involving multiple operation rooms (ORs), anesthesiologists, and surgeries, as well as methodologies for solving such problems. Specifically, given sets of ORs, regular anesthesiologists, on-call anesthesiologists, and surgeries, our methodologies solve the following decision-making problems simultaneously: (1) an allocation problem that decides which ORs to open and which on-call anesthesiologists to call in, (2) an assignment problem that assigns an OR and an anesthesiologist to each surgery, and (3) a sequencing and scheduling problem that determines the order of surgeries and their scheduled start times in each OR. To address uncertainty of each surgery's duration, we propose and analyze stochastic programming (SP) and distributionally robust optimization (DRO) models with both risk-neutral and risk-averse objectives. We obtain near-optimal solutions of our SP models using sample average approximation and propose a computationally efficient column-and-constraint generation method to solve our DRO models. In addition, we derive symmetry-breaking constraints that improve the models' solvability. Using real-world, publicly available surgery data and a case study from a health system in New York, we conduct extensive computational experiments comparing the proposed methodologies empirically and theoretically, demonstrating where significant performance improvements can be gained. Additionally, we derive several managerial insights relevant to practice.


title: Numerical Computation of Partial Differential Equations by Hidden-Layer Concatenated Extreme Learning Machine

abstract: The extreme learning machine (ELM) method can yield highly accurate solutions to linear/nonlinear partial differential equations (PDEs), but requires the last hidden layer of the neural network to be wide to achieve a high accuracy. If the last hidden layer is narrow, the accuracy of the existing ELM method will be poor, irrespective of the rest of the network configuration. In this paper we present a modified ELM method, termed HLConcELM (hidden-layer concatenated ELM), to overcome the above drawback of the conventional ELM method. The HLConcELM method can produce highly accurate solutions to linear/nonlinear PDEs when the last hidden layer of the network is narrow and when it is wide. The new method is based on a type of modified feedforward neural networks (FNN), termed HLConcFNN (hidden-layer concatenated FNN), which incorporates a logical concatenation of the hidden layers in the network and exposes all the hidden nodes to the output-layer nodes. HLConcFNNs have the interesting property that, given a network architecture, when additional hidden layers are appended to the network or when extra nodes are added to the existing hidden layers the representation capacity of the HLConcFNN associated with the new architecture is guaranteed to be not smaller than that of the original network architecture. Here representation capacity refers to the set of all functions that can be exactly represented by the neural network of a given architecture. We present ample benchmark tests with linear/nonlinear PDEs to demonstrate the computational accuracy and performance of the HLConcELM method and the superiority of this method to the conventional ELM from previous works.

categories: math.NA cs.LG cs.NA physics.comp-ph physics.flu-dyn


title: Model Repair via Symmetry

abstract: The symmetry of a Kripke structure $\mathcal{M}$ has been exploited to replace a model check of $\mathcal{M}$ by a model check of the potentially smaller structure $\mathcal{N}$ obtained as the quotient of $\mathcal{M}$ by its symmetry group $G$. We extend previous work to model repair: identify a substructure that satisfies a given temporal logic formula. We show that the substructures of $\mathcal{M}$ that are preserved by $G$ form a lattice that maps to the substructure lattice of $\mathcal{N}$. We also show the existence of a monotone Galois connection between the lattice of substructures of $\mathcal{N}$ and the lattice of substructures of $\mathcal{M}$ that are "maximal" w.r.t. an appropriately defined group action of $G$ on $\mathcal{M}$. These results enable us to repair $\mathcal{N}$ and then to lift the repair to $\mathcal{M}$. We can thus repair symmetric finite-state concurrent programs by repairing the corresponding $\mathcal{N}$, thereby effecting program repair while avoiding state-explosion.


title: Quantum state transfer and input-output theory with time reversal

abstract: Being able to reliably transfer the quantum state from one system to another is crucial to developing quantum networks. A standard way to accomplish this transfer of information is by making use of an intermediate information carrier (e.g., a photon) that is emitted by the first system and absorbed by the second. For such a scenario one can develop an effective description by eliminating the intermediate degrees of freedom, which yields an effective direct coupling between the two systems. If, however, the spectral properties of the two systems are different, the photon's time-frequency shape needs to be appropriately modified before it reaches the second system. We study here the effective description that results when we thus manipulate the intermediate photon. We examine a unitary transformation, $U$, that time reverses, frequency translates, and stretches the photon wave packet. We find that the concomitant modifications to the effective description can best be understood in terms of a change to the state's time argument, $\rho(t) = \rho_1(\tilde{t}) \otimes \rho_2(t)$, where $\tilde{t}$ is a fictitious time for the first system that is stretched and runs backward. We apply this theory to three-level $\Lambda$-systems inside optical cavities, and we numerically illustrate how performing the unitary transformation $U$ results in improved quantum state transfer.


title: KMT-2021-BLG-1898: Planetary microlensing event involved with binary source stars

abstract: The light curve of the microlensing event KMT-2021-BLG-1898 exhibits a short-term central anomaly with double-bump features that cannot be explained by the usual binary-lens or binary-source interpretations. With the aim of interpreting the anomaly, we analyze the lensing light curve under various sophisticated models. We find that the anomaly is explained by a model, in which both the lens and source are binaries (2L2S model). For this interpretation, the lens is a planetary system with a planet/host mass ratio of $q\sim 1.5\times 10^{-3}$, and the source is a binary composed of a turn off or a subgiant star and a mid K dwarf. The double-bump feature of the anomaly can also be depicted by a triple-lens model (3L1S model), in which the lens is a planetary system containing two planets. Among the two interpretations, the 2L2S model is favored over the 3L1S model not only because it yields a better fit to the data, by $\Delta\chi^2=[14.3$--18.5], but also the Einstein radii derived independently from the two stars of the binary source result in consistent values. According to the 2L2S interpretation, KMT-2021-BLG-1898 is the third planetary lensing event occurring on a binary stellar system, following MOA-2010-BLG-117 and KMT-2018-BLG-1743. Under the 2L2S interpretation, we identify two solutions resulting from the close-wide degeneracy in determining the planet-host separation. From a Bayesian analysis, we estimate that the planet has a mass of $\sim 0.7$--0.8~$M_{\rm J}$, and it orbits an early M dwarf host with a mass of $\sim 0.5~M_\odot$. The projected planet-host separation is $\sim 1.9$~AU and $\sim 3.0$~AU according to the close and wide solutions, respectively.


title: Theory of QED radiative corrections to neutrino scattering at accelerator energies

abstract: Control over quantum electrodynamics (QED) radiative corrections is critical for precise determination of neutrino oscillation probabilities from observed (anti)neutrino detection rates. It is particularly important to understand any difference between such corrections for different flavors of (anti)neutrinos in charged-current interactions. We provide theoretical foundations for calculating these corrections. Using effective field theory, the corrections are shown to factorize into soft, collinear, and hard functions. The soft and collinear functions contain large logarithms in perturbation theory but are computable from QED. The hard function parametrizes hadronic structure but is free from large logarithms. Using a simple model for the hard function, we investigate the numerical impact of QED corrections in charged-current (anti)neutrino-nucleon elastic cross sections and cross-section ratios at GeV energies. We consider the implications of mass singularity theorems that govern the lepton-mass dependence of cross sections for sufficiently inclusive observables and demonstrate the cancellation of leading hadronic and nuclear corrections in phenomenologically relevant observables.


title: An Online Stochastic Optimization Approach for Insulin Intensification in Type 2 Diabetes with Attention to Pseudo-Hypoglycemia

abstract: In this paper, we present a model free approach to calculate long-acting insulin doses for Type 2 Diabetic (T2D) subjects in order to bring their blood glucose (BG) concentration to be within a safe range. The proposed strategy tunes the parameters of a proposed control law by using a zeroth-order online stochastic optimization approach for a defined cost function. The strategy uses gradient estimates obtained by a Recursive Least Square (RLS) scheme in an adaptive moment estimation based approach named AdaBelief. Additionally, we show how the proposed strategy with a feedback rating measurement can accommodate for a phenomena known as relative hypoglycemia or pseudo-hypoglycemia (PHG) in which subjects experience hypoglycemia symptoms depending on how quick their BG concentration is lowered. The performance of the insulin calculation strategy is demonstrated and compared with current insulin calculation strategies using simulations with three different models.


title: Substrate-Dependence of Monolayer MoS$_2$ Thermal Conductivity and Thermal Boundary Conductance

abstract: The thermal properties of two-dimensional (2D) materials, like MoS$_2$, are known to be affected by interactions with their environment, but this has primarily been studied only with SiO$_2$ substrates. Here, we compare the thermal conductivity (TC) and thermal boundary conductance (TBC) of monolayer MoS$_2$ on amorphous (a-) and crystalline (c-) SiO$_2$, AlN, Al$_2$O$_3$, and $\textit{h}$-BN monolayers using molecular dynamics. The room temperature TC of MoS$_2$ is ~38 Wm$^{-1}$K$^{-1}$ on amorphous substrates and up to ~68 Wm$^{-1}$K$^{-1}$ on crystalline substrates, with most of the difference due to substrate interactions with long-wavelength MoS$_2$ phonons (< 2 THz). An $\textit{h}$-BN monolayer used as a buffer between MoS$_2$ and the substrate causes the MoS$_2$ TC to increase by up to 50%. Length-dependent calculations reveal TC size effects below ~2 $\mu$m and show that the MoS$_2$ TC is size- but not substrate-limited below ~100 nm. We also find that the TBC of MoS$_2$ with c-Al$_2$O$_3$ is over twice that with c-AlN despite a similar MoS$_2$ TC on both, indicating that the TC and TBC could be tuned independently. Finally, we compare the thermal resistance of MoS$_2$ transistors on all substrates to show that MoS$_2$ TBC is the most important parameter for heat removal for long-channel (> 150 nm) devices, while TBC and TC are equally important for short channels. This work provides important insights for electro-thermal applications of 2D materials on various substrates.


title: Real-time Speech Emotion Recognition Based on Syllable-Level Feature Extraction

abstract: Speech emotion recognition systems have high prediction latency because of the high computational requirements for deep learning models and low generalizability mainly because of the poor reliability of emotional measurements across multiple corpora. To solve these problems, we present a speech emotion recognition system based on a reductionist approach of decomposing and analyzing syllable-level features. Mel-spectrogram of an audio stream is decomposed into syllable-level components, which are then analyzed to extract statistical features. The proposed method uses formant attention, noise-gate filtering, and rolling normalization contexts to increase feature processing speed and tolerance to adversity. A set of syllable-level formant features is extracted and fed into a single hidden layer neural network that makes predictions for each syllable as opposed to the conventional approach of using a sophisticated deep learner to make sentence-wide predictions. The syllable level predictions help to achieve the real-time latency and lower the aggregated error in utterance level cross-corpus predictions. The experiments on IEMOCAP (IE), MSP-Improv (MI), and RAVDESS (RA) databases show that the method archives real-time latency while predicting with state-of-the-art cross-corpus unweighted accuracy of 47.6% for IE to MI and 56.2% for MI to IE.


title: KMT-2021-BLG-0240: Microlensing event with a deformed planetary signal

abstract: The light curve of the microlensing event KMT-2021-BLG-0240 exhibits a short-lasting anomaly with complex features near the peak at the 0.1~mag level from a single-lens single-source model. We conducted modeling of the lensing light curve under various interpretations to reveal the nature of the anomaly. It is found that the anomaly cannot be explained with the usual model based on a binary-lens (2L1S) or a binary-source (1L2S) interpretation. However, a 2L1S model with a planet companion can describe part of the anomaly, suggesting that the anomaly may be deformed by a tertiary lens component or a close companion to the source. From the additional modeling, we find that all the features of the anomaly can be explained with either a triple-lens (3L1S) model or a binary-lens binary-source (2L2S) model obtained under the 3L1S interpretation. However, it is difficult to validate the 2L2S model because the light curve does not exhibit signatures induced by the source orbital motion and the ellipsoidal variations expected by the close separation between the source stars according to the model. We, therefore, conclude that the two interpretations cannot be distinguished with the available data, and either can be correct. According to the 3L1S solution, the lens is a planetary system with two sub-Jovian-mass planets in which the planets have masses of 0.32--0.47~$M_{\rm J}$ and 0.44--0.93~$M_{\rm J}$, and they orbit an M dwarf host. According to the 2L2S solution, on the other hand, the lens is a single planet system with a mass of $\sim 0.21~M_{\rm J}$ orbiting a late K-dwarf host, and the source is a binary composed of a primary of a subgiant or a turnoff star and a secondary of a late G dwarf. The distance to the planetary system varies depending on the solution: $\sim 7.0$~kpc according to the 3L1S solution and $\sim 6.6$~kpc according to the 2L2S solution.

categories: astro-ph.EP astro-ph.GA astro-ph.IM astro-ph.SR


title: Stronger gravity in the early universe

abstract: Scalar-tensor theories of gravity that embrace conformal coupling to the scalar curvature are the focal point of cosmology on discussions of inflation and late-time accelerating universe. Although there exists a stringent nucleo-synthesis constraint on conformal gravity, one can formulate how to evade this difficulty by modifying the standard particle theory action consistently with the principles of gauge invariant quantum field theory. It is shown that stronger gravity at early epochs of cosmological evolution than previously thought of is inevitable in a class of conformal gravity models. This enhances discovery potentials of primordial gravitational wave emission and primordial black hole formation. The strong gravity effect may be enormous if massive clumps are energetically dominated by cold dark matter made of inflaton field, and created black holes may become a major candidate of cold dark matter.


title: DRT: A Lightweight Single Image Deraining Recursive Transformer

abstract: Over parameterization is a common technique in deep learning to help models learn and generalize sufficiently to the given task; nonetheless, this often leads to enormous network structures and consumes considerable computing resources during training. Recent powerful transformer-based deep learning models on vision tasks usually have heavy parameters and bear training difficulty. However, many dense-prediction low-level computer vision tasks, such as rain streak removing, often need to be executed on devices with limited computing power and memory in practice. Hence, we introduce a recursive local window-based self-attention structure with residual connections and propose deraining a recursive transformer (DRT), which enjoys the superiority of the transformer but requires a small amount of computing resources. In particular, through recursive architecture, our proposed model uses only 1.3% of the number of parameters of the current best performing model in deraining while exceeding the state-of-the-art methods on the Rain100L benchmark by at least 0.33 dB. Ablation studies also investigate the impact of recursions on derain outcomes. Moreover, since the model contains no deliberate design for deraining, it can also be applied to other image restoration tasks. Our experiment shows that it can achieve competitive results on desnowing. The source code and pretrained model can be found at https://github.com/YC-Liang/DRT.


title: A classification of complete $3$-dimensional self-shrinkers in the Euclidean space $\mathbb R^{4}$

abstract: In this paper, we completely classify $3$-dimensional complete self-shrinkers with constant norm $S$ of the second fundamental form and constant $f_{3}$ in Euclidean space $\mathbb R^{4}$, where $h_{ij}$ are components of the second fundamental form, $S=\sum_{i,j}h^{2}_{ij}$ and $f_{3}=\sum_{i,j,k}h_{ij}h_{jk}h_{ki}$.


title: Triangular Tetrablock-contractions, factorization of contractions, dilation and subvarieties

abstract: A commuting triple of Hilbert space operators $(A,B,P)$, for which the closed tetrablock $\bar{\mathbb E}$ is a spectral set, is called a \textit{tetrablock-contraction} or simply an $\mathbb E$-\textit{contraction}, where \[ \mathbb E=\{(a_{11},a_{22}, \det A):\, A=[a_{ij}]\in \mathcal M_2(\mathbb C), \; \|A\| <1 \} \subset \mathbb C^3 \] is a polynomially convex domain which is naturally associated with the $\mu$-synthesis problem. We introduce triangular $\mathbb E$-contractions and prove that every pure triangular $\mathbb E$-contraction dilates to a pure triangular $\mathbb E$-isometry. We construct a functional model for a pure triangular $\mathbb E$-isometry and apply that model to find a new proof for the famous Berger-Coburn-Lebow Model Theorem for commuting isometries. Next we give an alternative proof to the more generalized version of Berger-Coburn-Lebow Model, namely the factorization of a pure contraction due to Das, Sarkar and Sarkar (\textit{Adv. Math.} 322 (2017), 186 -- 200). We find a necessary and sufficient condition for the existence of $\mathbb E$-unitary dilation of an $\mathbb E$-contraction $(A,B,P)$ on the smallest dilation space and show that it is equivalent to the existence of a distinguished variety in $\mathbb E$ when the defect space $D_{P^*}$ is finite dimensional.


title: Distributed quantum algorithm for Simon's problem

abstract: Limited by today's physical devices, quantum circuits are usually noisy and difficult to be designed deeply. The novel computing architecture of distributed quantum computing is expected to reduce the noise and depth of quantum circuits. In this paper, we study the Simon's problem in distributed scenarios and design a distributed quantum algorithm to solve the problem. The algorithm proposed by us has the advantage of exponential acceleration compared with the classical distributed computing, and has the advantage of square acceleration compared with the best distributed quantum algorithm proposed before. In particular, the previous distributed quantum algorithm for Simon's problem can not be extended to the case of more than {\it two computing nodes} (i.e. two subproblems), but our distributed quantum algorithm can be extended to the case of {\it multiple computing nodes} (i.e. multiple subproblems) as well.


title: Conformal $r$-matrix-Nijenhuis structures, symplectic-Nijenhuis structures and $\mathcal{O} N$-structures

abstract: In this paper, we first study infinitesimal deformations of a Lie conformal algebra and a Lie conformal algebra with a module (called an $\mathsf{LCMod}$ pair), which lead to the notions of Nijenhuis operator on the Lie conformal algebra and Nijenhuis structure on the $\mathsf{LCMod}$ pair, respectively. Then by adding compatibility conditions between Nijenhuis structures and $\mathcal{O}$-operators, we introduce the notion of an $\mathcal{O} N$-structure on an $\mathsf{LCMod}$ pair and show that an $\mathcal{O} N$-structure gives rise to a hierarchy of pairwise compatible $\mathcal{O}$-operators. In particular, we show that compatible $\mathcal{O}$-operators on a Lie conformal algebra can be characterized by Nijenhuis operators on Lie conformal algebras. Finally, we introduce the notions of conformal $r$-matrix-Nijenhuis structure and symplectic-Nijenhuis structure on the Lie conformal algebra and study their relations.


title: An immersed $S^{n}$ $\lambda$-hypersurface

abstract: In this paper, we construct an immersed, non-embedded $S^{n}$ $\lambda$-hypersurface in Euclidean spaces $\mathbb{R}^{n+1}$.


title: Minimal isometric dilations and operator models for the polydisc

abstract: For commuting contractions $T_1,\dots ,T_n$ acting on a Hilbert space $\mathcal H$ with $T=\prod_{i=1}^n T_i$, we find a necessary and sufficient condition under which $(T_1,\dots ,T_n)$ dilates to commuting isometries $(V_1,\dots ,V_n)$ on the minimal isometric dilation space $T$, where $V=\prod_{i=1}^nV_i$ is the minimal isometric dilation of $T$. We construct both Sch$\ddot{a}$ffer and Sz. Nagy-Foias type isometric dilations for $(T_1,\dots ,T_n)$ on the minimal dilation spaces of $T$. Also, a different dilation is constructed when the product $T$ is a $C._0$ contraction, that is ${T^*}^n \rightarrow 0$ as $n \rightarrow \infty$. As a consequence of these dilation theorems we obtain different functional models for $(T_1,\dots ,T_n)$ in terms of multiplication operators on vectorial Hardy spaces. One notable fact about our models is that the multipliers are analytic functions in one variable. The dilation, when $T$ is a $C._0$ contraction, leads to a conditional factorization of a $T$. Several examples have been constructed.


title: Multi-wavelength properties of 850-$\mu$m selected sources from the North Ecliptic Pole SCUBA-2 survey

abstract: We present the multi-wavelength counterparts of 850-$\mu$m selected submillimetre sources over a 2-deg$^2$ field centred on the North Ecliptic Pole. In order to overcome the large beam size (15 arcsec) of the 850-$\mu$m images, deep optical to near-infrared (NIR) photometric data and arcsecond-resolution 20-cm images are used to identify counterparts of submillimetre sources. Among 647 sources, we identify 514 reliable counterparts for 449 sources (69 per cent in number), based either on probabilities of chance associations calculated from positional offsets or offsets combined with the optical-to-NIR colours. In the radio imaging, the fraction of 850-$\mu$m sources having multiple counterparts is 7 per cent. The photometric redshift, infrared luminosity, stellar mass, star-formation rate (SFR), and the AGN contribution to the total infrared luminosity of the identified counterparts are investigated through spectral energy distribution fitting. The SMGs are infrared-luminous galaxies at an average $\langle z\rangle=2.5$ with $\mathrm{log}_{10} (L_\mathrm{IR}/\mathrm{L}_\odot)=11.5-13.5$, with a mean stellar mass of $\mathrm{log}_{10} (M_\mathrm{star}/\mathrm{M}_\odot)=10.90$ and SFR of $\mathrm{log}_{10} (\mathrm{SFR/M_\odot\,yr^{-1}})=2.34$. The SMGs show twice as large SFR as galaxies on the star-forming main sequence, and about 40 per cent of the SMGs are classified as objects with bursty star formation. At $z\ge4$, the contribution of AGN luminosity to total luminosity for most SMGs is larger than 30 per cent. The FIR-to-radio correlation coefficient of SMGs is consistent with that of main-sequence galaxies at $z\simeq2$.


title: A high-fidelity seismic intensity measure to assess dynamic liquefaction in tailings

abstract: Deformation analyses of tailings dams under dynamic conditions require using earthquake records as input loading. Moreover, these records must represent the local seismicity, expressed by ground motion power indicators denominated intensity measures (IM). The ability and accuracy to describe the characteristics of a seismic record play a fundamental role in earthquake engineering and damage assessment of geotechnical facilities. None of the existing IMs represents a robust enough predictor of a given seismic demand (e.g., residual displacements). Different signals may generate a wide spectrum of results, with diverse effects that could produce insignificant damage to global failure depending on the structure. Usual engineering procedures select a huge number of records to overcome this limitation and develop a large set of numerical simulations to bound the uncertainty of the results, which becomes a time-consuming approach. This paper presents a new high-fidelity seismic IM to perform more accurate ground motion {selection}, which captures the spectral properties of the record for the frequency content that the dam does not filter. This IM represents a way to estimate beforehand a seismic demand, expressed, for instance, in terms of displacements. The proposed IM is applied to a finite element model for an upstream tailings dam cross-section, using a constitutive model capable of capturing dynamic liquefaction. The obtained results show that our proposal gives highly reliable correlations with different selected demands. Comparisons with classical IMs are also discussed, showing that our proposal emerges as a practical solution to a large dated discussion within our community.


title: Financial data analysis application via multi-strategy text processing

abstract: Maintaining financial system stability is critical to economic development, and early identification of risks and opportunities is essential. The financial industry contains a wide variety of data, such as financial statements, customer information, stock trading data, news, etc. Massive heterogeneous data calls for intelligent algorithms for machines to process and understand. This paper mainly focuses on the stock trading data and news about China A-share companies. We present a financial data analysis application, Financial Quotient Porter, designed to combine textual and numerical data by using a multi-strategy data mining approach. Additionally, we present our efforts and plans in deep learning financial text processing application scenarios using natural language processing (NLP) and knowledge graph (KG) technologies. Based on KG technology, risks and opportunities can be identified from heterogeneous data. NLP technology can be used to extract entities, relations, and events from unstructured text, and analyze market sentiment. Experimental results show market sentiments towards a company and an industry, as well as news-level associations between companies.


title: Decomposition of enveloping algebras of simple Lie algebras and their related polynomial algebras

abstract: The decomposition problem of the enveloping algebra of a simple Lie algebra is reconsidered combining both the analytical and the algebraic approach, showing its relation with the internal labelling problem with respect to a nilpotent subalgebra. A lower bound for the number of generators of the commutant as well as the maximal Abelian subalgebra are obtained. The decomposition problem for the exceptional Lie algebra $G_2$ is completely solved.


title: Video Frame Interpolation Based on Deformable Kernel Region

abstract: Video frame interpolation task has recently become more and more prevalent in the computer vision field. At present, a number of researches based on deep learning have achieved great success. Most of them are either based on optical flow information, or interpolation kernel, or a combination of these two methods. However, these methods have ignored that there are grid restrictions on the position of kernel region during synthesizing each target pixel. These limitations result in that they cannot well adapt to the irregularity of object shape and uncertainty of motion, which may lead to irrelevant reference pixels used for interpolation. In order to solve this problem, we revisit the deformable convolution for video interpolation, which can break the fixed grid restrictions on the kernel region, making the distribution of reference points more suitable for the shape of the object, and thus warp a more accurate interpolation frame. Experiments are conducted on four datasets to demonstrate the superior performance of the proposed model in comparison to the state-of-the-art alternatives.


title: Tensorial tomographic differential phase-contrast microscopy

abstract: We report Tensorial Tomographic Differential Phase-Contrast microscopy (T2DPC), a quantitative label-free tomographic imaging method for simultaneous measurement of phase and anisotropy. T2DPC extends differential phase-contrast microscopy, a quantitative phase imaging technique, to highlight the vectorial nature of light. The method solves for permittivity tensor of anisotropic samples from intensity measurements acquired with a standard microscope equipped with an LED matrix, a circular polarizer, and a polarization-sensitive camera. We demonstrate accurate volumetric reconstructions of refractive index, birefringence, and orientation for various validation samples, and show that the reconstructed polarization structures of a biological specimen are predictive of pathology.


title: Scalar Diffraction Analysis Of Dispersion In Low-Index Thin Flat Lenses

abstract: We analyze the dispersion property of low-index thin lenses by using scalar diffraction and finite difference time domain (FDTD) methods. We compare the dispersion results obtained by using these methods with reported experimental results, and the well-known analytical formula for focal length (f) of diffractive lenses as a function of wavelength ({\lambda}),f({\lambda})=(f_0 {\lambda}_0)/{\lambda},where f_0 is the designed focal length for wavelength {\lambda}_0. We show that when the analytical formula is applied to thin flat lenses with low-refractive index, the results are accurate for small numerical aperture (NA) up to 0.2. For larger NA, the error between the analytical approximation and the FDTD analysis remains around 8% over a wide range of NA.


title: Efficient Neural Neighborhood Search for Pickup and Delivery Problems

abstract: We present an efficient Neural Neighborhood Search (N2S) approach for pickup and delivery problems (PDPs). In specific, we design a powerful Synthesis Attention that allows the vanilla self-attention to synthesize various types of features regarding a route solution. We also exploit two customized decoders that automatically learn to perform removal and reinsertion of a pickup-delivery node pair to tackle the precedence constraint. Additionally, a diversity enhancement scheme is leveraged to further ameliorate the performance. Our N2S is generic, and extensive experiments on two canonical PDP variants show that it can produce state-of-the-art results among existing neural methods. Moreover, it even outstrips the well-known LKH3 solver on the more constrained PDP variant. Our implementation for N2S is available online.


title: Offline Retrieval Evaluation Without Evaluation Metrics

abstract: Offline evaluation of information retrieval and recommendation has traditionally focused on distilling the quality of a ranking into a scalar metric such as average precision or normalized discounted cumulative gain. We can use this metric to compare the performance of multiple systems for the same request. Although evaluation metrics provide a convenient summary of system performance, they also collapse subtle differences across users into a single number and can carry assumptions about user behavior and utility not supported across retrieval scenarios. We propose recall-paired preference (RPP), a metric-free evaluation method based on directly computing a preference between ranked lists. RPP simulates multiple user subpopulations per query and compares systems across these pseudo-populations. Our results across multiple search and recommendation tasks demonstrate that RPP substantially improves discriminative power while correlating well with existing metrics and being equally robust to incomplete data.


title: Gaps labeling theorem for the Bubble-diamond self-similar graphs

abstract: Motivated by the appearance of fractals in several areas of physics, especially in solid state physics and the physics of aperiodic order, and in other sciences, including the quantum information theory, we present a detailed spectral analysis for a new class of fractal-type diamond graphs, referred to as bubble-diamond graphs, and provide a gap-labeling theorem in the sense of Bellissard for the corresponding probabilistic graph Laplacians using the technique of spectral decimation. Labeling the gaps in the Cantor set by the normalized eigenvalue counting function, also known as the integrated density of states, we describe the gap labels as orbits of a second dynamical system that reflects the branching parameter of the bubble construction and the decimation structure. The spectrum of the natural Laplacian on limit graphs is shown generically to be pure point supported on a Cantor set, though one particular graph has a mixture of pure point and singularly continuous components.


title: PointInst3D: Segmenting 3D Instances by Points

abstract: The current state-of-the-art methods in 3D instance segmentation typically involve a clustering step, despite the tendency towards heuristics, greedy algorithms, and a lack of robustness to the changes in data statistics. In contrast, we propose a fully-convolutional 3D point cloud instance segmentation method that works in a per-point prediction fashion. In doing so it avoids the challenges that clustering-based methods face: introducing dependencies among different tasks of the model. We find the key to its success is assigning a suitable target to each sampled point. Instead of the commonly used static or distance-based assignment strategies, we propose to use an Optimal Transport approach to optimally assign target masks to the sampled points according to the dynamic matching costs. Our approach achieves promising results on both ScanNet and S3DIS benchmarks. The proposed approach removes intertask dependencies and thus represents a simpler and more flexible 3D instance segmentation framework than other competing methods, while achieving improved segmentation accuracy.


title: Back-ends Selection for Deep Speaker Embeddings

abstract: Probabilistic Linear Discriminant Analysis (PLDA) was the dominant and necessary back-end for early speaker recognition approaches, like i-vector and x-vector. However, with the development of neural networks and margin-based loss functions, we can obtain deep speaker embeddings (DSEs), which have advantages of increased inter-class separation and smaller intra-class distances. In this case, PLDA seems unnecessary or even counterproductive for the discriminative embeddings, and cosine similarity scoring (Cos) achieves better performance than PLDA in some situations. Motivated by this, in this paper, we systematically explore how to select back-ends (Cos or PLDA) for deep speaker embeddings to achieve better performance in different situations. By analyzing PLDA and the properties of DSEs extracted from models with different numbers of segment-level layers, we make the conjecture that Cos is better in same-domain situations and PLDA is better in cross-domain situations. We conduct experiments on VoxCeleb and NIST SRE datasets in four application situations, single-/multi-domain training and same-/cross-domain test, to validate our conjecture and briefly explain why back-ends adaption algorithms work.


title: Simulation and performance analysis of quantum error correction with a rotated surface code under a realistic noise model

abstract: The demonstration of quantum error correction (QEC) is one of the most important milestones in the realization of fully-fledged quantum computers. Toward this, QEC experiments using the surface codes have recently been actively conducted. However, it has not yet been realized to protect logical quantum information beyond the physical coherence time. In this work, we performed a full simulation of QEC for the rotated surface codes with a code distance 5, which employs 49 qubits and is within reach of the current state-of-the-art quantum computers. In particular, we evaluate the logical error probability in a realistic noise model that incorporates not only stochastic Pauli errors but also coherent errors due to a systematic control error or unintended interactions. While a straightforward simulation of 49 qubits is not tractable within a reasonable computational time, we reduced the number of qubits required to 26 qubits by delaying the syndrome measurement in simulation. This and a fast quantum computer simulator, Qulacs, implemented on GPU allows us to simulate full QEC with an arbitrary local noise within reasonable simulation time. Based on the numerical results, we also construct and verify an effective model to incorporate the effect of the coherent error into a stochastic noise model. This allows us to understand what the effect coherent error has on the logical error probability on a large scale without full simulation based on the detailed full simulation of a small scale. The present simulation framework and effective model, which can handle arbitrary local noise, will play a vital role in clarifying the physical parameters that future experimental QEC should target.


title: Adaptive cognitive fit: Artificial intelligence augmented management of information facets and representations

abstract: Explosive growth in big data technologies and artificial intelligence [AI] applications have led to increasing pervasiveness of information facets and a rapidly growing array of information representations. Information facets, such as equivocality and veracity, can dominate and significantly influence human perceptions of information and consequently affect human performance. Extant research in cognitive fit, which preceded the big data and AI era, focused on the effects of aligning information representation and task on performance, without sufficient consideration to information facets and attendant cognitive challenges. Therefore, there is a compelling need to understand the interplay of these dominant information facets with information representations and tasks, and their influence on human performance. We suggest that artificially intelligent technologies that can adapt information representations to overcome cognitive limitations are necessary for these complex information environments. To this end, we propose and test a novel *Adaptive Cognitive Fit* [ACF] framework that explains the influence of information facets and AI-augmented information representations on human performance. We draw on information processing theory and cognitive dissonance theory to advance the ACF framework and a set of propositions. We empirically validate the ACF propositions with an economic experiment that demonstrates the influence of information facets, and a machine learning simulation that establishes the viability of using AI to improve human performance.


title: Robust Self-Augmentation for Named Entity Recognition with Meta Reweighting

abstract: Self-augmentation has received increasing research interest recently to improve named entity recognition (NER) performance in low-resource scenarios. Token substitution and mixup are two feasible heterogeneous self-augmentation techniques for NER that can achieve effective performance with certain specialized efforts. Noticeably, self-augmentation may introduce potentially noisy augmented data. Prior research has mainly resorted to heuristic rule-based constraints to reduce the noise for specific self-augmentation methods individually. In this paper, we revisit these two typical self-augmentation methods for NER, and propose a unified meta-reweighting strategy for them to achieve a natural integration. Our method is easily extensible, imposing little effort on a specific self-augmentation method. Experiments on different Chinese and English NER benchmarks show that our token substitution and mixup method, as well as their integration, can achieve effective performance improvement. Based on the meta-reweighting mechanism, we can enhance the advantages of the self-augmentation techniques without much extra effort.


title: Accelerated Multiplicative Weights Update Avoids Saddle Points almost always

abstract: We consider non-convex optimization problems with constraint that is a product of simplices. A commonly used algorithm in solving this type of problem is the Multiplicative Weights Update (MWU), an algorithm that is widely used in game theory, machine learning and multi-agent systems. Despite it has been known that MWU avoids saddle points, there is a question that remains unaddressed:"Is there an accelerated version of MWU that avoids saddle points provably?" In this paper we provide a positive answer to above question. We provide an accelerated MWU based on Riemannian Accelerated Gradient Descent, and prove that the Riemannian Accelerated Gradient Descent, thus the accelerated MWU, almost always avoid saddle points.


title: Headline Diagnosis: Manipulation of Content Farm Headlines

abstract: As technology grows faster, the news spreads through social media. In order to attract more readers and acquire additional profit, some news agencies reproduce massive news in a more appealing manner. Therefore, it is essential to accurately predict whether a news article is from official news agencies. This work develops a headline classification based on Convoluted Neural Network to determine credibility of a news article. The model primarily focuses on investigating key factors from headlines. These factors include word segmentation, part-of-speech tags, and sentiment features. With integrating these features into the proposed classification model, the demonstrated evaluation achieves 93.99% for accuracy.


title: Dynamic Point Cloud Compression with Cross-Sectional Approach

abstract: The recent development of dynamic point clouds has introduced the possibility of mimicking natural reality, and greatly assisting quality of life. However, to broadcast successfully, the dynamic point clouds require higher compression due to their huge volume of data compared to the traditional video. Recently, MPEG finalized a Video-based Point Cloud Compression standard known as V-PCC. However, V-PCC requires huge computational time due to expensive normal calculation and segmentation, sacrifices some points to limit the number of 2D patches, and cannot occupy all spaces in the 2D frame. The proposed method addresses these limitations by using a novel cross-sectional approach. This approach reduces expensive normal estimation and segmentation, retains more points, and utilizes more spaces for 2D frame generation compared to the VPCC. The experimental results using standard video sequences show that the proposed technique can achieve better compression in both geometric and texture data compared to the V-PCC standard.


title: Single Object Tracking Research: A Survey

abstract: Visual object tracking is an important task in computer vision, which has many real-world applications, e.g., video surveillance, visual navigation. Visual object tracking also has many challenges, e.g., object occlusion and deformation. To solve above problems and track the target accurately and efficiently, many tracking algorithms have emerged in recent years. This paper presents the rationale and representative works of two most popular tracking frameworks in past ten years, i.e., the corelation filter and Siamese network for object tracking. Then we present some deep learning based tracking methods categorized by different network structures. We also introduce some classical strategies for handling the challenges in tracking problem. Further, this paper detailedly present and compare the benchmarks and challenges for tracking, from which we summarize the development history and development trend of visual tracking. Focusing on the future development of object tracking, which we think would be applied in real-world scenes before some problems to be addressed, such as the problems in long-term tracking, low-power high-speed tracking and attack-robust tracking. In the future, the integration of multimodal data, e.g., the depth image, thermal image with traditional color image, will provide more solutions for visual tracking. Moreover, tracking task will go together with some other tasks, e.g., video object detection and segmentation.


title: Road Traffic Law Adaptive Decision-making for Self-Driving Vehicles

abstract: Self-driving vehicles have their own intelligence to drive on open roads. However, vehicle managers, e.g., government or industrial companies, still need a way to tell these self-driving vehicles what behaviors are encouraged or forbidden. Unlike human drivers, current self-driving vehicles cannot understand the traffic laws, thus rely on the programmers manually writing the corresponding principles into the driving systems. It would be less efficient and hard to adapt some temporary traffic laws, especially when the vehicles use data-driven decision-making algorithms. Besides, current self-driving vehicle systems rarely take traffic law modification into consideration. This work aims to design a road traffic law adaptive decision-making method. The decision-making algorithm is designed based on reinforcement learning, in which the traffic rules are usually implicitly coded in deep neural networks. The main idea is to supply the adaptability to traffic laws of self-driving vehicles by a law-adaptive backup policy. In this work, the natural language-based traffic laws are first translated into a logical expression by the Linear Temporal Logic method. Then, the system will try to monitor in advance whether the self-driving vehicle may break the traffic laws by designing a long-term RL action space. Finally, a sample-based planning method will re-plan the trajectory when the vehicle may break the traffic rules. The method is validated in a Beijing Winter Olympic Lane scenario and an overtaking case, built in CARLA simulator. The results show that by adopting this method, the self-driving vehicles can comply with new issued or updated traffic laws effectively. This method helps self-driving vehicles governed by digital traffic laws, which is necessary for the wide adoption of autonomous driving.


title: Reliability and Latency Analysis of Sliding Network Coding With Re-Transmission

abstract: Future networks are expected to support various ultra-reliable low-latency communications via wireless links. To avoid the loss of packets and keep the low latency, sliding network coding (SNC) is an emerging technology by generating redundant packets that are the linear combination of the original data packets from the current block and some previous blocks. However, how to take the advantage of re-transmission for SNC is still an open problem since higher reliability could be achieved at the expense of large latency caused by round-trip time (RTT). To deal with this issue, in this paper, we consider the idea of adjusting the transmission phase and the number of the redundant packets for SNC with re-transmission. Specifically, If RTT is large, most of the redundant packets are sent at the first transmission, otherwise, re-transmission will be used. We first derive a concise and tight lower bound of the block error probability of SNC without re-transmission. Then, based on the bound, the theoretical expressions of the proposed re-transmission schemes are derived regarding the block error probability, the average code length, and the average packet latency. Results show that the proposed SNC with re-transmission improves block error probability and keeps the low latency.


title: Chemical Evolution with Radial Mixing Redux: Extending beyond the Solar Neighborhood

abstract: We present a multi-zone galactic chemical evolution (GCE) model for the Milky Way that takes the most recently updated yields of major nucleosynthesis channels into account. It incorporates physical processes commonly found in previous GCE models like supernova and star formation feedback, the radial flow of gas in the disk, and the infall of fresh gas, along with stellar scattering processes like radial migration. We individually analyse the effect of different physical processes present in our model on the observed properties of the Galaxy. The radial flow of gas in the disk plays an important role in establishing the radial gradient for \feh{} in the low-\alphafe{} sequence. Our model with one episode of smooth gas infall and constant star formation efficiency is capable of reproducing the observed \fehalpha{} distribution of stars at different ($R$, $|z|$) positions in the Milky Way. Our results point to the rapid evolution of \alphafe{} after the onset of Type Ia supernovae and a high star formation rate during the formation of the high-\alphafe{} sequence as the origin of dual peaks in \alphafe{}. A secondary infall is unnecessary to reproduce the \alphafe{}-gap and chemical spread in the disk in our model. We additionally compare the median age for various mono-abundance populations and the age-metallicity relation at different ($R$, $|z|$) positions from our fiducial model to observations. We discuss our results in relation to other related work in detail.


title: ATLASGAL-selected massive clumps in the inner Galaxy. X. Observations of atomic carbon at 492 GHz

abstract: (Abridged) In this paper, we investigate the physical conditions of [CI]-traced gas in high-mass star-forming regions by analyzing APEX [CI] 492 GHz single-pointing observations of the ATLASGAL Top100 sources along with other multi-wavelength data. Our 98 sources are clearly detected in [CI] 492 GHz emission, and the observed integrated intensities and line widths tend to increase toward evolved stages of star formation. In addition to these "main" components that are associated with the Top100 sample, 41 emission and two absorption features are identified by their velocities toward 28 and two lines of sight respectively as "secondary" components. The secondary components have systematically smaller integrated intensities and line widths than the main components. We found that [CI] 492 GHz and 13CO(2-1) are well correlated with the 13CO(2-1)-to-[CI] 492 GHz integrated intensity ratio varying from 0.2 to 5.3. In addition, we derived the H2-to-[CI] conversion factor, X(CI), by dividing 870 micron-based H2 column densities by the observed [CI] 492 GHz integrated intensities and found that X(CI) ranges from 2.3e20 to 1.3e22 with a median of 1.7e21. In contrast to the strong correlation with 13CO(2-1), [CI] 492 GHz has a scattered relation with the 870 micron-traced molecular gas. Finally, we performed LTE and non-LTE analyses of the [CI] 492 GHz and 809 GHz data for a subset of the Top100 sample and inferred that [CI] emission likely originates from warm (kinetic temperature > 60 K), optically thin (opacity < 0.5), and highly pressurized (thermal pressure ~ e5 to e8 K/cm3) regions.


title: Abnormally weak intervalley electron scattering in MoS2 monolayer: insights from the matching between electron and phonon bands

abstract: It is known that carrier mobility in layered semiconductors generally increases from two-dimension (2D) to three-dimension due to suppressed scattering channels resulting from decreased densities of electron and phonon states. In this work, we find an abnormal decrease of electron mobility from monolayer to bulk MoS2. By carefully analyzing the scattering mechanisms, we can attribute such abnormality to the stronger intravalley scattering in the monolayer but weaker intervalley scattering caused by less intervalley scattering channels and weaker corresponding electron-phonon couplings compared to the bulk case. We show that, it is the matching between electronic band structure and phonon spectrum rather than their densities of electronic and phonon states that determines scattering channels. We propose, for the first time, the phonon-energy-resolved matching function to identify the intra- and inter-valley scattering channels. Furthermore, we show that multiple valleys do not necessarily lead to strong intervalley scattering if: (1) the scattering channels, which can be explicitly captured by the distribution of the matching function, are few due to the small matching between the corresponding electron and phonon bands; and/or (2) the multiple valleys are far apart in the reciprocal space and composed of out-of-plane orbitals so that the corresponding electron-phonon coupling strengths are weak. Consequently, the searching scope of high-mobility 2D materials can be reasonably enlarged using the matching function as useful guidance with the help of band edge orbital analysis.


title: The Zeeman and hyperfine interactions of a single $^{167}Er^{3+}$ ion in Si

abstract: Er-doped Si is a promising candidate for quantum information applications due to its telecom wavelength optical transition and its compatibility with Si nanofabrication technologies. Recent spectroscopic studies based on photoluminescence excitation have shown multiple well-defined lattice sites that Er occupies in Si. Here we report the first measurement of the Zeeman and hyperfine tensors of a single 167Er3+ ion in Si. All the obtained tensors are highly anisotropic with the largest value principal axes aligning in nearly the same direction, and the trace of the lowest crystal field level g-tensor is 17.78$\pm$0.40. The results indicate that this specific Er site is likely to be a distorted cubic site that exhibits monoclinic (C1) symmetry. Finally, zero first-order-Zeeman (ZEFOZ) fields are identified for this site and could be used to reduce decoherence of hyperfine spin states in future experiments.


title: Uncoupled Learning Dynamics with $O(\log T)$ Swap Regret in Multiplayer Games

abstract: In this paper we establish efficient and \emph{uncoupled} learning dynamics so that, when employed by all players in a general-sum multiplayer game, the \emph{swap regret} of each player after $T$ repetitions of the game is bounded by $O(\log T)$, improving over the prior best bounds of $O(\log^4 (T))$. At the same time, we guarantee optimal $O(\sqrt{T})$ swap regret in the adversarial regime as well. To obtain these results, our primary contribution is to show that when all players follow our dynamics with a \emph{time-invariant} learning rate, the \emph{second-order path lengths} of the dynamics up to time $T$ are bounded by $O(\log T)$, a fundamental property which could have further implications beyond near-optimally bounding the (swap) regret. Our proposed learning dynamics combine in a novel way \emph{optimistic} regularized learning with the use of \emph{self-concordant barriers}. Further, our analysis is remarkably simple, bypassing the cumbersome framework of higher-order smoothness recently developed by Daskalakis, Fishelson, and Golowich (NeurIPS'21).


title: Riemannian Hamiltonian methods for min-max optimization on manifolds

abstract: In this paper, we study min-max optimization problems on Riemannian manifolds. We introduce a Riemannian Hamiltonian function, minimization of which serves as a proxy for solving the original min-max problems. Under the Riemannian Polyak--{\L}ojasiewicz condition on the Hamiltonian function, its minimizer corresponds to the desired min-max saddle point. We also provide cases where this condition is satisfied. For geodesic-bilinear optimization in particular, solving the proxy problem leads to the correct search direction towards global optimality, which becomes challenging with the min-max formulation. To minimize the Hamiltonian function, we propose Riemannian Hamiltonian methods (RHM) and present their convergence analyses. We extend RHM to include consensus regularization and to the stochastic setting. We illustrate the efficacy of the proposed RHM in applications such as subspace robust Wasserstein distance, robust training of neural networks, and generative adversarial networks.


title: Exceptionally high phonon-limited carrier mobility in BX (X = P, As, Sb) monolayers

abstract: Ideal two-dimensional (2D) semiconductors with high mobility comparable to three-dimensional (3D) Si or GaAs are still lacking, hindering the development of high-performance 2D devices. Here in this work, using first-principles calculations and considering all the electron-phonon couplings, we show that monolayer BX (X = P, As, Sb) with honeycomb lattices have intrinsic phonon-limited carrier mobility reaching record-high values of 1200-14000 $cm^2V^{-1}s^{-1}$ at room temperature. Despite being polar and the band edges located at the K point with multiple valleys, these three systems unusually have small carrier scattering rates. Detailed analysis shows that, both the intravalley scattering and the intervalley scattering between two equivalent K points are weak, which can be understood from the large mismatch between the electron bands and phonon spectrum and suppressed electron-phonon coupling strength. Furthermore, we reveal the general trend of mobility increase from BP to BAs and to BSb and conclude that: smaller effective masses, larger sound velocities, higher optical phonon energies, heavy atomic masses, and out-of-plane orbitals tend to result in small match between the electron and phonon bands, small electron-phonon coupling strengths, and thus high mobility. Our work demonstrates that 2D semiconductors can achieve comparable carrier mobility to 3D GaAs, thus opening doors to 2D high-performance electronic devices.


title: Audio-Visual Scene Classification Using A Transfer Learning Based Joint Optimization Strategy

abstract: Recently, audio-visual scene classification (AVSC) has attracted increasing attention from multidisciplinary communities. Previous studies tended to adopt a pipeline training strategy, which uses well-trained visual and acoustic encoders to extract high-level representations (embeddings) first, then utilizes them to train the audio-visual classifier. In this way, the extracted embeddings are well suited for uni-modal classifiers, but not necessarily suited for multi-modal ones. In this paper, we propose a joint training framework, using the acoustic features and raw images directly as inputs for the AVSC task. Specifically, we retrieve the bottom layers of pre-trained image models as visual encoder, and jointly optimize the scene classifier and 1D-CNN based acoustic encoder during training. We evaluate the approach on the development dataset of TAU Urban Audio-Visual Scenes 2021. The experimental results show that our proposed approach achieves significant improvement over the conventional pipeline training strategy. Moreover, our best single system outperforms previous state-of-the-art methods, yielding a log loss of 0.1517 and accuracy of 94.59% on the official test fold.


title: Long-run User Value Optimization in Recommender Systems through Content Creation Modeling

abstract: Content recommender systems are generally adept at maximizing immediate user satisfaction but to optimize for the \textit{long-run} user value, we need more statistically sophisticated solutions than off-the-shelf simple recommender algorithms. In this paper we lay out such a solution to optimize \textit{long-run} user value through discounted utility maximization and a machine learning method we have developed for estimating it. Our method estimates which content producers are most likely to create the highest long-run user value if their content is shown more to users who enjoy it in the present. We do this estimation with the help of an A/B test and heterogeneous effects machine learning model. We have used such models in Facebook's feed ranking system, and such a model can be used in other recommender systems.


title: Concrete one complex dimensional moduli spaces of hyperbolic manifolds and orbifolds

abstract: The Riley slice is arguably the simplest example of a moduli space of Kleinian groups; it is naturally embedded in $ \mathbb{C} $, and has a natural coordinate system (introduced by Linda Keen and Caroline Series in the early 1990s) which reflects the geometry of the underlying 3-manifold deformations. The Riley slice arises in the study of arithmetic Kleinian groups, the theory of two-bridge knots, the theory of Schottky groups, and the theory of hyperbolic 3-manifolds; because of its simplicity it provides an easy source of examples and deep questions related to these subjects. We give an introduction for the non-expert to the Riley slice and much of the related background material, assuming only graduate level complex analysis and topology; we review the history of and literature surrounding the Riley slice; and we announce some results of our own, extending the work of Keen and Series to the one complex dimensional moduli spaces of Kleinian groups isomorphic to $\mathbb{Z}_p*\mathbb{Z}_q$ acting on the Riemann sphere, $2\leq p,q \leq \infty$. The Riley slice is the case $p=q=\infty$ (i.e. two parabolic generators).


title: Trusted Multi-View Classification with Dynamic Evidential Fusion

abstract: Existing multi-view classification algorithms focus on promoting accuracy by exploiting different views, typically integrating them into common representations for follow-up tasks. Although effective, it is also crucial to ensure the reliability of both the multi-view integration and the final decision, especially for noisy, corrupted and out-of-distribution data. Dynamically assessing the trustworthiness of each view for different samples could provide reliable integration. This can be achieved through uncertainty estimation. With this in mind, we propose a novel multi-view classification algorithm, termed trusted multi-view classification (TMC), providing a new paradigm for multi-view learning by dynamically integrating different views at an evidence level. The proposed TMC can promote classification reliability by considering evidence from each view. Specifically, we introduce the variational Dirichlet to characterize the distribution of the class probabilities, parameterized with evidence from different views and integrated with the Dempster-Shafer theory. The unified learning framework induces accurate uncertainty and accordingly endows the model with both reliability and robustness against possible noise or corruption. Both theoretical and experimental results validate the effectiveness of the proposed model in accuracy, robustness and trustworthiness.


title: It Takes Two Flints to Make a Fire: Multitask Learning of Neural Relation and Explanation Classifiers

abstract: We propose an explainable approach for relation extraction that mitigates the tension between generalization and explainability by jointly training for the two goals. Our approach uses a multi-task learning architecture, which jointly trains a classifier for relation extraction, and a sequence model that labels words in the context of the relation that explain the decisions of the relation classifier. We also convert the model outputs to rules to bring global explanations to this approach. This sequence model is trained using a hybrid strategy: supervised, when supervision from pre-existing patterns is available, and semi-supervised otherwise. In the latter situation, we treat the sequence model's labels as latent variables, and learn the best assignment that maximizes the performance of the relation classifier. We evaluate the proposed approach on the two datasets and show that the sequence model provides labels that serve as accurate explanations for the relation classifier's decisions, and, importantly, that the joint training generally improves the performance of the relation classifier. We also evaluate the performance of the generated rules and show that the new rules are great add-on to the manual rules and bring the rule-based system much closer to the neural models.


title: BCI: Breast Cancer Immunohistochemical Image Generation through Pyramid Pix2pix

abstract: The evaluation of human epidermal growth factor receptor 2 (HER2) expression is essential to formulate a precise treatment for breast cancer. The routine evaluation of HER2 is conducted with immunohistochemical techniques (IHC), which is very expensive. Therefore, for the first time, we propose a breast cancer immunohistochemical (BCI) benchmark attempting to synthesize IHC data directly with the paired hematoxylin and eosin (HE) stained images. The dataset contains 4870 registered image pairs, covering a variety of HER2 expression levels. Based on BCI, as a minor contribution, we further build a pyramid pix2pix image generation method, which achieves better HE to IHC translation results than the other current popular algorithms. Extensive experiments demonstrate that BCI poses new challenges to the existing image translation research. Besides, BCI also opens the door for future pathology studies in HER2 expression evaluation based on the synthesized IHC images. BCI dataset can be downloaded from https://bupt-ai-cz.github.io/BCI.


title: A note on the singular set of the no-sign obstacle problem

abstract: In this note, we prove the uniqueness of blowups at singular points of the no-sign obstacle problem $\Delta u=\chi_{_{B_1\backslash \{u=|Du|=0\}}}\ \text{in}\ B_1,$ thus give a positive answer to a problem raised in \cite[Notes of Chaper 7, page 149]{PSU12}.


title: Smoothed Analysis of the Koml\'os Conjecture

abstract: The well-known Koml\'os conjecture states that given $n$ vectors in $\mathbb{R}^d$ with Euclidean norm at most one, there always exists a $\pm 1$ coloring such that the $\ell_{\infty}$ norm of the signed-sum vector is a constant independent of $n$ and $d$. We prove this conjecture in a smoothed analysis setting where the vectors are perturbed by adding a small Gaussian noise and when the number of vectors $n =\omega(d\log d)$. The dependence of $n$ on $d$ is the best possible even in a completely random setting. Our proof relies on a weighted second moment method, where instead of considering uniformly randomly colorings we apply the second moment method on an implicit distribution on colorings obtained by applying the Gram-Schmidt walk algorithm to a suitable set of vectors. The main technical idea is to use various properties of these colorings, including subgaussianity, to control the second moment.


title: Personal Research Knowledge Graphs

abstract: Maintaining research-related information in an organized manner can be challenging for a researcher. In this paper, we envision personal research knowledge graphs (PRKGs) as a means to represent structured information about the research activities of a researcher. PRKGs can be used to power intelligent personal assistants, and personalize various applications. We explore what entities and relations could be potentially included in a PRKG, how to extract them from various sources, and how to share a PRKG within a research group.


title: A dynamical approach to nonhomogeneous spectra

abstract: Let $\alpha>0$ and $0<\gamma<1$. Define $g_{\alpha,\gamma}\colon \mathbb{N}\to\mathbb{N}_0$ by $g_{\alpha,\gamma}(n)=\lfloor n\alpha +\gamma\rfloor$, where $\lfloor x \rfloor$ is the largest integer less than or equal to $x$. The set $g_{\alpha,\gamma}(\mathbb{N})=\{g_{\alpha,\gamma}(n)\colon n\in\mathbb{N}\}$ is called the $\gamma$-nonhomogeneous spectrum of $\alpha$. By extension, the functions $g_{\alpha,\gamma}$ are referred to as spectra. In 1996, Bergelson, Hindman and Kra showed that the functions $g_{\alpha,\gamma}$ preserve some largeness of subsets of $\mathbb{N}$, that is, if a subset $A$ of $\mathbb{N}$ is an IP-set, a central set, an IP$^*$-set, or a central$^*$-set, then $g_{\alpha,\gamma}(A)$ is the corresponding object for all $\alpha>0$ and $0<\gamma<1$. In 2012, Hindman and Johnson extended this result to include several other notions of largeness: C-sets, J-sets, strongly central sets, and piecewise syndetic sets. We adopt a dynamical approach to this issue and build a correspondence between the preservation of spectra and the lift property of suspension. As an application, we give a unified proof of some known results and also obtain some new results.


title: Generalized Mathisson-Papapetrou-Tulczyjew-Dixon Equations

abstract: We derive two generalizations of Mathisson-Papapetrou-Tulczyjew-Dixon equations from Casalbuoni-Brink-Schwarz type pseudoclassical Lagrangians of Majorana spinors on a Riemann-Cartan spacetime. One has a "color" freedom, which makes the equations of motion also be a generalization of Wong equations. The other is a spinor model coupled with a Rarita-Schwinger field to preserve the supersymmetry. The coupling to the torsion is modified due to the existence of the Rarita-Schwinger field. In both extensions, the Tulczyjew condition is automatically satisfied.


title: Hardware Trojan Detection using Graph Neural Networks

abstract: The globalization of the Integrated Circuit (IC) supply chain has moved most of the design, fabrication, and testing process from a single trusted entity to various untrusted third-party entities around the world. The risk of using untrusted third-Party Intellectual Property (3PIP) is the possibility for adversaries to insert malicious modifications known as Hardware Trojans (HTs). These HTs can compromise the integrity, deteriorate the performance, and deny the functionality of the intended design. Various HT detection methods have been proposed in the literature; however, many fall short due to their reliance on a golden reference circuit, a limited detection scope, the need for manual code review, or the inability to scale with large modern designs. We propose a novel golden reference-free HT detection method for both Register Transfer Level (RTL) and gate-level netlists by leveraging Graph Neural Networks (GNNs) to learn the behavior of the circuit through a Data Flow Graph (DFG) representation of the hardware design. We evaluate our model on a custom dataset by expanding the Trusthub HT benchmarks \cite{trusthub1}. The results demonstrate that our approach detects unknown HTs with 97% recall (true positive rate) very fast in 21.1ms for RTL and 84% recall in 13.42s for Gate-Level Netlist.


title: Unsupervised Hierarchical Semantic Segmentation with Multiview Cosegmentation and Clustering Transformers

abstract: Unsupervised semantic segmentation aims to discover groupings within and across images that capture object and view-invariance of a category without external supervision. Grouping naturally has levels of granularity, creating ambiguity in unsupervised segmentation. Existing methods avoid this ambiguity and treat it as a factor outside modeling, whereas we embrace it and desire hierarchical grouping consistency for unsupervised segmentation. We approach unsupervised segmentation as a pixel-wise feature learning problem. Our idea is that a good representation shall reveal not just a particular level of grouping, but any level of grouping in a consistent and predictable manner. We enforce spatial consistency of grouping and bootstrap feature learning with co-segmentation among multiple views of the same image, and enforce semantic consistency across the grouping hierarchy with clustering transformers between coarse- and fine-grained features. We deliver the first data-driven unsupervised hierarchical semantic segmentation method called Hierarchical Segment Grouping (HSG). Capturing visual similarity and statistical co-occurrences, HSG also outperforms existing unsupervised segmentation methods by a large margin on five major object- and scene-centric benchmarks. Our code is publicly available at https://github.com/twke18/HSG .


title: Surpassing the Human Accuracy: Detecting Gallbladder Cancer from USG Images with Curriculum Learning

abstract: We explore the potential of CNN-based models for gallbladder cancer (GBC) detection from ultrasound (USG) images as no prior study is known. USG is the most common diagnostic modality for GB diseases due to its low cost and accessibility. However, USG images are challenging to analyze due to low image quality, noise, and varying viewpoints due to the handheld nature of the sensor. Our exhaustive study of state-of-the-art (SOTA) image classification techniques for the problem reveals that they often fail to learn the salient GB region due to the presence of shadows in the USG images. SOTA object detection techniques also achieve low accuracy because of spurious textures due to noise or adjacent organs. We propose GBCNet to tackle the challenges in our problem. GBCNet first extracts the regions of interest (ROIs) by detecting the GB (and not the cancer), and then uses a new multi-scale, second-order pooling architecture specializing in classifying GBC. To effectively handle spurious textures, we propose a curriculum inspired by human visual acuity, which reduces the texture biases in GBCNet. Experimental results demonstrate that GBCNet significantly outperforms SOTA CNN models, as well as the expert radiologists. Our technical innovations are generic to other USG image analysis tasks as well. Hence, as a validation, we also show the efficacy of GBCNet in detecting breast cancer from USG images. Project page with source code, trained models, and data is available at https://gbc-iitd.github.io/gbcnet


title: Joint Feature Distribution Alignment Learning for NIR-VIS and VIS-VIS Face Recognition

abstract: Face recognition for visible light (VIS) images achieve high accuracy thanks to the recent development of deep learning. However, heterogeneous face recognition (HFR), which is a face matching in different domains, is still a difficult task due to the domain discrepancy and lack of large HFR dataset. Several methods have attempted to reduce the domain discrepancy by means of fine-tuning, which causes significant degradation of the performance in the VIS domain because it loses the highly discriminative VIS representation. To overcome this problem, we propose joint feature distribution alignment learning (JFDAL) which is a joint learning approach utilizing knowledge distillation. It enables us to achieve high HFR performance with retaining the original performance for the VIS domain. Extensive experiments demonstrate that our proposed method delivers statistically significantly better performances compared with the conventional fine-tuning approach on a public HFR dataset Oulu-CASIA NIR&VIS and popular verification datasets in VIS domain such as FLW, CFP, AgeDB. Furthermore, comparative experiments with existing state-of-the-art HFR methods show that our method achieves a comparable HFR performance on the Oulu-CASIA NIR&VIS dataset with less degradation of VIS performance.


title: Influence of Salt on the Formation and Separation of Droplet Interface Bilayers

abstract: Phospholipid bilayers are a major component of the cell membrane that is in contact with physiological electrolyte solutions including salt ions. The effect of salt on the phospholipid bilayer mechanics is an active research area due to its implications for cellular function and viability. In this manuscript we utilize droplet interface bilayers(DIBs), a bilayer formed artificially between two aqueous droplets, to unravel the bilayer formation and separation mechanics with a combination of experiments and numerical modelling under the effects of K$^+$, Na$^+$, Li$^+$, Ca$^{2+}$ and Mg$^{2+}$. Initially, we measured the interfacial tension and the interfacial complex viscosity of lipid monolayers at a flat oil-aqueous interface and show that both properties are sensitive to salt concentration, ion size and valency. Subsequently, we measured DIB formation rates and show that the characteristic bilayer formation velocity scales with the ratio of the interfacial tension to the interfacial viscosity. Next, we subjected the system to a step strain by separating the drops in a stepwise manner. By tracking the evolution of the bilayer contact angle and radius, we show that salt influences the bilayer separation mechanics including the decay of the contact angle, the decay of the bilayer radius and the corresponding relaxation time. Finally, we explain the salt effect on the observed bilayer separation by means of a mathematical model comprising of the Young-Laplace equation and an evolution equation.


title: SwinFuse: A Residual Swin Transformer Fusion Network for Infrared and Visible Images

abstract: The existing deep learning fusion methods mainly concentrate on the convolutional neural networks, and few attempts are made with transformer. Meanwhile, the convolutional operation is a content-independent interaction between the image and convolution kernel, which may lose some important contexts and further limit fusion performance. Towards this end, we present a simple and strong fusion baseline for infrared and visible images, namely\textit{ Residual Swin Transformer Fusion Network}, termed as SwinFuse. Our SwinFuse includes three parts: the global feature extraction, fusion layer and feature reconstruction. In particular, we build a fully attentional feature encoding backbone to model the long-range dependency, which is a pure transformer network and has a stronger representation ability compared with the convolutional neural networks. Moreover, we design a novel feature fusion strategy based on $L_{1}$-norm for sequence matrices, and measure the corresponding activity levels from row and column vector dimensions, which can well retain competitive infrared brightness and distinct visible details. Finally, we testify our SwinFuse with nine state-of-the-art traditional and deep learning methods on three different datasets through subjective observations and objective comparisons, and the experimental results manifest that the proposed SwinFuse obtains surprising fusion performance with strong generalization ability and competitive computational efficiency. The code will be available at https://github.com/Zhishe-Wang/SwinFuse.


title: Understanding Audio Features via Trainable Basis Functions

abstract: In this paper we explore the possibility of maximizing the information represented in spectrograms by making the spectrogram basis functions trainable. We experiment with two different tasks, namely keyword spotting (KWS) and automatic speech recognition (ASR). For most neural network models, the architecture and hyperparameters are typically fine-tuned and optimized in experiments. Input features, however, are often treated as fixed. In the case of audio, signals can be mainly expressed in two main ways: raw waveforms (time-domain) or spectrograms (time-frequency-domain). In addition, different spectrogram types are often used and tailored to fit different applications. In our experiments, we allow for this tailoring directly as part of the network. Our experimental results show that using trainable basis functions can boost the accuracy of Keyword Spotting (KWS) by 14.2 percentage points, and lower the Phone Error Rate (PER) by 9.5 percentage points. Although models using trainable basis functions become less effective as the model complexity increases, the trained filter shapes could still provide us with insights on which frequency bins are important for that specific task. From our experiments, we can conclude that trainable basis functions are a useful tool to boost the performance when the model complexity is limited.


title: Joint mixability and notions of negative dependence

abstract: A joint mix is a random vector with a constant component-wise sum. The dependence structure of a joint mix minimizes some common objectives such as the variance of the component-wise sum, and it is regarded as a concept of extremal negative dependence. In this paper, we explore the connection between the joint mix structure and popular notions of negative dependence in statistics, such as negative correlation dependence, negative orthant dependence and negative association. A joint mix is not always negatively dependent in any of the above senses, but some natural classes of joint mixes are. We derive various necessary and sufficient conditions for a joint mix to be negatively dependent, and study the compatibility of these notions. For identical marginal distributions, we show that a negatively dependent joint mix solves a multi-marginal optimal transport problem for quadratic cost under a novel setting of uncertainty. Analysis of this optimal transport problem with heterogeneous marginals reveals a trade-off between negative dependence and the joint mix structure.


title: Algebraic Approximation of Cohen-Macaulay Algebras

abstract: This paper shows that Cohen-Macaulay algebras can be algebraically approximated in such a way that their Cohen-Macaulayness and minimal Betti numbers are preserved. This is achieved by showing that finitely generated modules over power series rings can be algebraically approximated in a manner that preserves their diagrams of initial exponents and their minimal Betti numbers. These results are also applied to obtain an approximation result for flat homomorphisms from rings of power series to Cohen-Macaulay algebras.


title: $\phi$ meson properties in nuclear matter from QCD sum rules with chirally separated four-quark condensates

abstract: The modification of the $\phi$ meson spectrum in nuclear matter is studied in an updated QCD sum rule analysis, taking into account recent improvements in properly treating the chiral invariant and breaking components of four-quark condensates. Allowing both mass and decay width to change at finite density, the QCD sum rule analysis determines certain combinations of changes for these parameters that satisfy the sum rules equally well. A comprehensive error analysis, including uncertainties related to the behavior of various condensates at linear order in density, the employed renormalization scale and perturbative corrections of the Wilson coefficients, is used to compute the allowed ranges of these parameter combinations. We find that the $\phi$ meson mass shift in nuclear matter is especially sensitive to the strange sigma term $\sigma_{sN}$, which determines the decrease of the strange quark condensate in nuclear matter. Specifically, we obtain a linear relation between the width $\Gamma_{\phi}$ and mass shift $\Delta m_{\phi}$ given as $ \Gamma_{\phi} = a\Delta m_{\phi} + b\sigma_{sN}+c$ with $a = (3.947^{+0.139}_{-0.130})$, $b = (0.936^{+0.180}_{-0.177} )$ and $c = -(7.707^{+4.791}_{-5.679}) \mathrm{MeV}$.


title: Multiscale modelling in nuclear ferritic steels: from nano-sized defects to embrittlement

abstract: Radiation-induced embrittlement of nuclear steels is one of the main limiting factors for safe long-term operation of nuclear power plants. In support of accurate and safe reactor pressure vessel (RPV) lifetime assessments, we developed a physics-based model that predicts RPV steel hardening and subsequent embrittlement as a consequence of the formation of nano-sized clusters of minor alloying elements. This model is shown to provide reliable assessments of embrittlement for a very wide range of materials, with higher accuracy than industrial correlations. The core of our model is a multiscale modelling tool that predicts the kinetics of solute clustering, given the steel chemical composition and its irradiation conditions. It is based on the observation that the formation of solute clusters ensues from atomic transport driven by radiation-induced mechanisms, differently from classical nucleation-and-growth theories. We then show that the predicted information about solute clustering can be translated into a reliable estimate for radiation-induced embrittlement, via standard hardening laws based on the dispersed barrier model. We demonstrate the validity of our approach by applying it to hundreds of nuclear reactors vessels from all over the world.


title: Generalized Cram\'er's coefficient via $f$-divergence for contingency tables

abstract: Various measures in two-way contingency table analysis have been proposed to express the strength of association between row and column variables in contingency tables. Tomizawa et al. (2004) proposed more general measures, including Cram\'er's coefficient, using the power-divergence. In this paper, we propose measures using the $f$-divergence that has a wider class than the power-divergence. Unlike statistical hypothesis tests, these measures provide quantification of the association structure in contingency tables. The contribution of our study is proving that a measure applying a function that satisfies the condition of the $f$-divergence has desirable properties for measuring the strength of association in contingency tables. With this contribution, we can easily construct a new measure using a divergence that has essential properties for the analyst. For example, we conducted numerical experiments with a measure applying the $\theta$-divergence. Furthermore, we can give further interpretation of the association between the row and column variables in the contingency table, which could not be obtained with the conventional one. We also show a relationship between our proposed measures and the correlation coefficient in the bivariate normal distribution of latent variables in the contingency tables.


title: On the monotonicity of the generalized Markov numbers

abstract: Using the Markov distance and Ptolemy inequality introduced by Lee-Li-Rabideau-Schiffler \cite{LLRS}, we completely determine the monotonicity of the generalized Markov numbers along the lines of a given slope.


title: Boosting Pruned Networks with Linear Over-parameterization

abstract: Structured pruning compresses neural networks by reducing channels (filters) for fast inference and low footprint at run-time. To restore accuracy after pruning, fine-tuning is usually applied to pruned networks. However, too few remaining parameters in pruned networks inevitably bring a great challenge to fine-tuning to restore accuracy. To address this challenge, we propose a novel method that first linearly over-parameterizes the compact layers in pruned networks to enlarge the number of fine-tuning parameters and then re-parameterizes them to the original layers after fine-tuning. Specifically, we equivalently expand the convolution/linear layer with several consecutive convolution/linear layers that do not alter the current output feature maps. Furthermore, we utilize similarity-preserving knowledge distillation that encourages the over-parameterized block to learn the immediate data-to-data similarities of the corresponding dense layer to maintain its feature learning ability. The proposed method is comprehensively evaluated on CIFAR-10 and ImageNet which significantly outperforms the vanilla fine-tuning strategy, especially for large pruning ratio.


title: Aspect-based Analysis of Advertising Appeals for Search Engine Advertising

abstract: Writing an ad text that attracts people and persuades them to click or act is essential for the success of search engine advertising. Therefore, ad creators must consider various aspects of advertising appeals (A$^3$) such as the price, product features, and quality. However, products and services exhibit unique effective A$^3$ for different industries. In this work, we focus on exploring the effective A$^3$ for different industries with the aim of assisting the ad creation process. To this end, we created a dataset of advertising appeals and used an existing model that detects various aspects for ad texts. Our experiments demonstrated that different industries have their own effective A$^3$ and that the identification of the A$^3$ contributes to the estimation of advertising performance.


title: Imitation Learning from Observations under Transition Model Disparity

abstract: Learning to perform tasks by leveraging a dataset of expert observations, also known as imitation learning from observations (ILO), is an important paradigm for learning skills without access to the expert reward function or the expert actions. We consider ILO in the setting where the expert and the learner agents operate in different environments, with the source of the discrepancy being the transition dynamics model. Recent methods for scalable ILO utilize adversarial learning to match the state-transition distributions of the expert and the learner, an approach that becomes challenging when the dynamics are dissimilar. In this work, we propose an algorithm that trains an intermediary policy in the learner environment and uses it as a surrogate expert for the learner. The intermediary policy is learned such that the state transitions generated by it are close to the state transitions in the expert dataset. To derive a practical and scalable algorithm, we employ concepts from prior work on estimating the support of a probability distribution. Experiments using MuJoCo locomotion tasks highlight that our method compares favorably to the baselines for ILO with transition dynamics mismatch.


title: Evaluating Interpolation and Extrapolation Performance of Neural Retrieval Models

abstract: A retrieval model should not only interpolate the training data but also extrapolate well to the queries that are different from the training data. While neural retrieval models have demonstrated impressive performance on ad-hoc search benchmarks, we still know little about how they perform in terms of interpolation and extrapolation. In this paper, we demonstrate the importance of separately evaluating the two capabilities of neural retrieval models. Firstly, we examine existing ad-hoc search benchmarks from the two perspectives. We investigate the distribution of training and test data and find a considerable overlap in query entities, query intent, and relevance labels. This finding implies that the evaluation on these test sets is biased toward interpolation and cannot accurately reflect the extrapolation capacity. Secondly, we propose a novel evaluation protocol to separately evaluate the interpolation and extrapolation performance on existing benchmark datasets. It resamples the training and test data based on query similarity and utilizes the resampled dataset for training and evaluation. Finally, we leverage the proposed evaluation protocol to comprehensively revisit a number of widely-adopted neural retrieval models. Results show models perform differently when moving from interpolation to extrapolation. For example, representation-based retrieval models perform almost as well as interaction-based retrieval models in terms of interpolation but not extrapolation. Therefore, it is necessary to separately evaluate both interpolation and extrapolation performance and the proposed resampling method serves as a simple yet effective evaluation tool for future IR studies.


title: High-Efficiency Lossy Image Coding Through Adaptive Neighborhood Information Aggregation

abstract: Questing for learned lossy image coding (LIC) with superior compression performance and computation throughput is challenging. The vital factor behind it is how to intelligently explore Adaptive Neighborhood Information Aggregation (ANIA) in transform and entropy coding modules. To this end, Integrated Convolution and Self-Attention (ICSA) unit is first proposed to form a content-adaptive transform to characterize and embed neighborhood information dynamically of any input. Then a Multistage Context Model (MCM) is devised to progressively use available neighbors following a pre-arranged spatial-channel order for accurate probability estimation in parallel. ICSA and MCM are stacked under a Variational AutoEncoder (VAE) architecture to derive rate-distortion optimized compact representation of input image via end-to-end learning. Our method reports state-of-the-art compression performance surpassing the VVC Intra and other prevalent LIC approaches across Kodak, CLIC, and Tecnick datasets; More importantly, our method offers $>$60$\times$ decoding speedup using a comparable-size model when compared with the most popular LIC method. All materials are made publicly accessible at https://njuvision.github.io/TinyLIC for reproducible research.


title: OCFormer: One-Class Transformer Network for Image Classification

abstract: We propose a novel deep learning framework based on Vision Transformers (ViT) for one-class classification. The core idea is to use zero-centered Gaussian noise as a pseudo-negative class for latent space representation and then train the network using the optimal loss function. In prior works, there have been tremendous efforts to learn a good representation using varieties of loss functions, which ensures both discriminative and compact properties. The proposed one-class Vision Transformer (OCFormer) is exhaustively experimented on CIFAR-10, CIFAR-100, Fashion-MNIST and CelebA eyeglasses datasets. Our method has shown significant improvements over competing CNN based one-class classifier approaches.


title: Flavor symmetric origin of texture zeros in minimal inverse seesaw and impacts on leptogenesis

abstract: We study the prediction of maximal zeros of the Dirac mass matrix on neutrino phenomenology and baryon asymmetry of the universe (BAU) within the framework of an inverse seesaw ISS $(2,3)$. We try to find the origin of the allowed two zero textures of the Dirac mass matrix from $S_{4}$ flavor symmetry. ISS $(2,3)$ model contains two pairs of quasi-Dirac particles and one sterile state in the keV scale along with three active neutrinos. The decays of the quasi-Dirac pairs create lepton asymmetry that can be converted to baryon asymmetry of the universe by the sphaleron process. Thus, BAU can be explained in this framework through leptogenesis. We study BAU in all the two zero textures of the Dirac mass matrix. The viabilities of the textures within the framework have been verified with the latest cosmology data on BAU.


title: Safe Delivery of Critical Services in Areas with Volatile Security Situation via a Stackelberg Game Approach

abstract: Vaccine delivery in under-resourced locations with security risks is not just challenging but also life threatening. The current COVID pandemic and the need to vaccinate have added even more urgency to this issue. Motivated by this problem, we propose a general framework to set-up limited temporary (vaccination) centers that balance physical security and desired (vaccine) service coverage with limited resources. We set-up the problem as a Stackelberg game between the centers operator (defender) and an adversary, where the set of centers is not fixed a priori but is part of the decision output. This results in a mixed combinatorial and continuous optimization problem. As part of our scalable approximation of this problem, we provide a fundamental contribution by identifying general duality conditions of switching max and min when both discrete and continuous variables are involved. We perform detailed experiments to show that the solution proposed is scalable in practice.


title: Modeling the Effect of Observational Social Learning on Parental Decision-Making for Childhood Vaccination and Diseases Spread over Household Networks

abstract: In this paper, we introduce a new model of parental decision-making concerning vaccines against a childhood disease that spreads over a contact network. We consider a bilayer network composed of two overlapping networks which are either Erd\H{o}s-R\'{e}nyi (random) networks or Barab\'{a}si-Albert networks. The new model uses a Bayesian aggregation rule for observational social learning, occurring over a social network, of which other decision models, like voting and DeGroot models, are special cases. Using our new model, we show how some levels of social learning about vaccination preferences can lead to the convergence of opinions and affect levels of vaccine uptake and so disease spread. In addition, we study the effect of the existence of two cultures of social learning on the establishment of social norms of vaccination and levels of vaccine uptake. In all cases, the mutual influence between the dynamics of observational social learning and disease spread is dependent on the network's topology and vaccine safety and availability.


title: Semisimple random walks on the torus

abstract: We study linear random walks on the torus and show a quantitative equidistribution statement, under the assumption that the Zariski closure of the acting group is semisimple.


title: Natural Language to Code Translation with Execution

abstract: Generative models of code, pretrained on large corpora of programs, have shown great success in translating natural language to code (Chen et al., 2021; Austin et al., 2021; Li et al., 2022, inter alia). While these models do not explicitly incorporate program semantics (i.e., execution results) during training, they are able to generate correct solutions for many problems. However, choosing a single correct program from a generated set for each problem remains challenging. In this work, we introduce execution result--based minimum Bayes risk decoding (MBR-EXEC) for program selection and show that it improves the few-shot performance of pretrained code models on natural-language-to-code tasks. We select output programs from a generated candidate set by marginalizing over program implementations that share the same semantics. Because exact equivalence is intractable, we execute each program on a small number of test inputs to approximate semantic equivalence. Across datasets, execution or simulated execution significantly outperforms the methods that do not involve program semantics. We find that MBR-EXEC consistently improves over all execution-unaware selection methods, suggesting it as an effective approach for natural language to code translation. We open-source our code at github.com/facebookresearch/mbr-exec and data at dl.fbaipublicfiles.com/mbr-exec/mbr-exec-release.zip