title: Counting Cycles on Planar Graphs in Subexponential Time

abstract: We study the problem of counting all cycles or self-avoiding walks (SAWs) on triangulated planar graphs. We present a subexponential $2^{O(\sqrt{n})}$ time algorithm for this counting problem. Among the technical ingredients used in this algorithm are the planar separator theorem and a delicate analysis using pairs of Motzkin paths and Motzkin numbers. We can then adapt this algorithm to uniformly sample SAWs, in subexponential time. Our work is motivated by the problem of gerrymandered districting maps.


title: Gravitational Waves-Tomography of Low-Scale-Leptogenesis

abstract: A long-lived scalar field ($\Phi$) which couples weakly to the right-handed (RH) neutrinos ($N_{Ri}$), generates small RH neutrino masses ($M_i$) in Low-Scale-Leptogenesis (LSL) mechanisms, despite having a large vacuum expectation value $v_\Phi$. In this case, the correlation shared by the $M_i$s and the duration of the non-standard cosmic history driven by the $\Phi$ provides an excellent opportunity to study LSL signatures on primordial gravitational waves (GWs). We find it engaging, specifically for the gravitational waves that originate due to the inflationary blue-tilted tensor power spectrum and propagate through the non-standard cosmic epoch. Depending on $M_i$, broadly, the scenario has two significant consequences. First, if LSL is at play, GWs with a sizeable blue tilt do not contradict the Big-Bang-Nucleosynthesis (BBN) bound even for the post-inflationary models with very high-scale reheating. Second, it opens up a possibility to probe LSLs via a low-frequency and a complementary high-frequency measurement of GW-spectral shapes which are typically double-peaked. For a case study, we consider the recent results on GWs from the Pulsar-Timing-Arrays (PTAs) as a `measurement' at the low frequencies and forecast the signatures of LSL mechanisms at the higher frequencies.


title: Equalization and Brightness Mapping Modes of Color-to-Gray Projection Operators

abstract: In this article, the conversion of color RGB images to grayscale is covered by characterizing the mathematical operators used to project 3 color channels to a single one. Based on the fact that most operators assign each of the $256^3$ colors a single gray level, ranging from 0 to 255, they are clustering algorithms that distribute the color population into 256 clusters of increasing brightness. To visualize the way operators work the sizes of the clusters and the average brightness of each cluster are plotted. The equalization mode (EQ) introduced in this work focuses on cluster sizes, while the brightness mapping (BM) mode describes the CIE L* luminance distribution per cluster. Three classes of EQ modes and two classes of BM modes were found in linear operators, defining a 6-class taxonomy. The theoretical/methodological framework introduced was applied in a case study considering the equal-weights uniform operator, the NTSC standard operator, and an operator chosen as ideal to lighten the faces of black people to improve facial recognition in current biased classifiers. It was found that most current metrics used to assess the quality of color-to-gray conversions better assess one of the two BM mode classes, but the ideal operator chosen by a human team belongs to the other class. Therefore, this cautions against using these general metrics for specific purpose color-to-gray conversions. It should be noted that eventual applications of this framework to non-linear operators can give rise to new classes of EQ and BM modes. The main contribution of this article is to provide a tool to better understand color to gray converters in general, even those based on machine learning, within the current trend of better explainability of models.


title: Individual Fairness under Varied Notions of Group Fairness in Bipartite Matching - One Framework to Approximate Them All

abstract: We study the probabilistic assignment of items to platforms that satisfies both group and individual fairness constraints. Each item belongs to specific groups and has a preference ordering over platforms. Each platform enforces group fairness by limiting the number of items per group that can be assigned to it. There could be multiple optimal solutions that satisfy the group fairness constraints, but this alone ignores item preferences. Our approach explores a `best of both worlds fairness' solution to get a randomized matching, which is ex-ante individually fair and ex-post group-fair. Thus, we seek a `probabilistic individually fair' distribution over `group-fair' matchings where each item has a `high' probability of matching to one of its top choices. This distribution is also ex-ante group-fair. Users can customize fairness constraints to suit their requirements. Our first result is a polynomial-time algorithm that computes a distribution over `group-fair' matchings such that the individual fairness constraints are approximately satisfied and the expected size of a matching is close to OPT. We empirically test this on real-world datasets. We present two additional polynomial-time bi-criteria approximation algorithms that users can choose from to balance group fairness and individual fairness trade-offs. For disjoint groups, we provide an exact polynomial-time algorithm adaptable to additional lower `group fairness' bounds. Extending our model, we encompass `maxmin group fairness,' amplifying underrepresented groups, and `mindom group fairness,' reducing the representation of dominant groups.'


title: Black hole hyperaccretion in collapsars. III. GRB timescale

abstract: Gamma-ray bursts (GRBs) are classified into long and short populations (i.e., LGRBs and SGRBs) based on the observed bimodal distribution of duration $T_{90}$. Multimessenger observations indicated that most SGRBs and LGRBs should be powered by ultrarelativistic jets launched from black hole (BH) hyperaccretion in compact object mergers and massive collapsars, respectively. However, the duration criterion sometimes cannot correctly reflect the physical origin of a particular GRB. In the collapsar scenario, a GRB can be observed when the jet breaks out from the envelope and circumstellar medium successfully. The observed GRB duration reflects only the time that the engine operates after the jet breaks out. This work studies the propagation of jets driven by the neutrino annihilation or Blandford-Znajek mechanism in massive collapsars. The signatures of the progenitors for producing LGRBs, SGRBs, and failed GRBs in the collapsar scenario are exhibited. The competition between the mass supply onto the BH hyperaccretion and jet propagation into the envelope are definitely dependent on the density profiles of the collapsars. We show that duration and isotropic energy $E_{\rm{\gamma,iso}}$ of GRBs can help constrain the density profiles of collapsars. Finally, we propose that a collapsar-origin SGRB, GRB 200826A, might originate from a neutrino-annihilation-dominated jet launched by a $\sim 10~M_\odot$ collapsar whose progenitor's envelope has been stripped.


title: Do-AIQ: A Design-of-Experiment Approach to Quality Evaluation of AI Mislabel Detection Algorithm

abstract: The quality of Artificial Intelligence (AI) algorithms is of significant importance for confidently adopting algorithms in various applications such as cybersecurity, healthcare, and autonomous driving. This work presents a principled framework of using a design-of-experimental approach to systematically evaluate the quality of AI algorithms, named as Do-AIQ. Specifically, we focus on investigating the quality of the AI mislabel data algorithm against data poisoning. The performance of AI algorithms is affected by hyperparameters in the algorithm and data quality, particularly, data mislabeling, class imbalance, and data types. To evaluate the quality of the AI algorithms and obtain a trustworthy assessment on the quality of the algorithms, we establish a design-of-experiment framework to construct an efficient space-filling design in a high-dimensional constraint space and develop an effective surrogate model using additive Gaussian process to enable the emulation of the quality of AI algorithms. Both theoretical and numerical studies are conducted to justify the merits of the proposed framework. The proposed framework can set an exemplar for AI algorithm to enhance the AI assurance of robustness, reproducibility, and transparency.


title: Discovering neutrinoless double-beta decay in the era of precision neutrino cosmology

abstract: We evaluate the discovery probability of a combined analysis of proposed neutrinoless double-beta decay experiments in a scenario with normal ordered neutrino masses. The discovery probability strongly depends on the value of the lightest neutrino mass, ranging from zero in case of vanishing masses and up to 80-90\% for values just below the current constraints. We study the discovery probability in different scenarios, focusing on the exciting prospect in which cosmological surveys will measure the sum of neutrino masses. Uncertainties in nuclear matrix element calculations partially compensate each other when data from different isotopes are available. Although a discovery is not granted, the theoretical motivations for these searches and the presence of scenarios with high discovery probability strongly motivates the proposed international, multi-isotope experimental program.


title: Coherent near-wall structures and drag reduction by spanwise forcing

abstract: The effect of streamwise-traveling waves of spanwise wall velocity (StTW) on the quasi-streamwise vortices (QSV) populating the near-wall region of turbulent channels is studied via a conditional averaging technique applied to flow snapshots obtained via Direct Numerical Simulation. The analysis by A. Yakeno, Y. Hasegawa, N. Kasagi, "Modification of quasi-streamwise vortical structure in a drag-reduced turbulent channel flow with spanwise wall oscillation", Phys. Fluids 26, 085109 (2014), where the special case of spatially uniform wall oscillation (OW) was considered, is extended to the general case of StTW, which yield both reduction and increase of turbulent skin-friction drag. StTW are found to significantly impact the wall-normal distribution of the vortex population. The conditionally averaged velocity field around the vortices shows that the contributions of the QSV to the quadrant Reynolds shear stresses change significantly during the control cycle. On the one hand, as for OW, the suppression of Q2 events (with upwelling of low-speed fluid away from the wall) dominates the drag-reduction process. On the other, the enhancement of Q2 and also Q4 events (with downwelling of high-speed fluid toward the wall) is related to drag increase. Based on the link identified between the phase changes of the Reynolds stresses and the principal directions of the rate-of-strain tensor induced by the StTW, a predictive correlation for drag reduction by StTW is proposed which uses physically significant parameters to overcome the shortcomings of existing models.


title: Energy-aware Scheduling of Virtualized Base Stations in O-RAN with Online Learning

abstract: The design of Open Radio Access Network (O-RAN) compliant systems for configuring the virtualized Base Stations (vBSs) is of paramount importance for network operators. This task is challenging since optimizing the vBS scheduling procedure requires knowledge of parameters, which are erratic and demanding to obtain in advance. In this paper, we propose an online learning algorithm for balancing the performance and energy consumption of a vBS. This algorithm provides performance guarantees under unforeseeable conditions, such as non-stationary traffic and network state, and is oblivious to the vBS operation profile. We study the problem in its most general form and we prove that the proposed technique achieves sub-linear regret (i.e., zero average optimality gap) even in a fast-changing environment. By using real-world data and various trace-driven evaluations, our findings indicate savings of up to 74.3% in the power consumption of a vBS in comparison with state-of-the-art benchmarks.


title: Heterogeneous Graph Masked Autoencoders

abstract: Generative self-supervised learning (SSL), especially masked autoencoders, has become one of the most exciting learning paradigms and has shown great potential in handling graph data. However, real-world graphs are always heterogeneous, which poses three critical challenges that existing methods ignore: 1) how to capture complex graph structure? 2) how to incorporate various node attributes? and 3) how to encode different node positions? In light of this, we study the problem of generative SSL on heterogeneous graphs and propose HGMAE, a novel heterogeneous graph masked autoencoder model to address these challenges. HGMAE captures comprehensive graph information via two innovative masking techniques and three unique training strategies. In particular, we first develop metapath masking and adaptive attribute masking with dynamic mask rate to enable effective and stable learning on heterogeneous graphs. We then design several training strategies including metapath-based edge reconstruction to adopt complex structural information, target attribute restoration to incorporate various node attributes, and positional feature prediction to encode node positional information. Extensive experiments demonstrate that HGMAE outperforms both contrastive and generative state-of-the-art baselines on several tasks across multiple datasets. Codes are available at https://github.com/meettyj/HGMAE.


title: Disordered Hyperuniform Quasi-1D Materials

abstract: Carbon nanotubes are quasi-one-dimensional systems that possess superior transport, mechanical, optical, and chemical properties. In this work, we generalize the notion of disorder hyperuniformity, a recently discovered exotic state of matter with hidden long-range order, to quasi-one-dimensional materials. As a proof of concept, we then apply the generalized framework to quantify the density fluctuations in amorphous carbon nanotubes containing randomly distributed Stone-Wales defects. We demonstrate that all of these amorphous nanotubes are hyperuniform, i.e., the infinite-wavelength density fluctuations of these systems are completely suppressed, regardless of the diameter, rolling axis, number of rolling sheets, and defect fraction of the nanotubes. We find that these amorphous nanotubes are energetically more stable than nanotubes with periodically distributed Stone-Wales defects. Moreover, certain semiconducting defect-free carbon nanotubes become metallic as sufficiently large amounts of defects are randomly introduced. This structural study of amorphous nanotubes strengthens our fundamental understanding of these systems, and suggests possible exotic physical properties, as endowed by their disordered hyperuniformity. Our findings also shed light on the effect of dimensionality reduction on the hyperuniformity property of materials.


title: Exploring and Improving the Accessibility of Data Privacy-related Information for People Who Are Blind or Low-vision

abstract: We present a study of privacy attitudes and behaviors of people who are blind or low vision. Our study involved in-depth interviews with 21 US participants. The study explores their risk perceptions and also whether and how they go about obtaining information about the data practices of digital technologies with which they interact. One objective of the study is to better understand this user group's needs for more accessible privacy tools. We also share some reflections on the challenge of recruiting an inclusive sample of participants from an already underrepresented user group in computing and how we were able to overcome this challenge.


title: The Stochastic Schwarz lemma on K\"ahler Manifolds by Couplings and Its Applications

abstract: We first provide a stochastic formula for the Carath\'eodory distance in terms of general Markovian couplings and prove a comparison result between the Carath\'eodory distance and the complete K\"ahler metric with a negative lower curvature bound using the Kendall-Cranston coupling. This probabilistic approach gives a version of the Schwarz lemma on complete non-compact K\"ahler manifolds with a further decomposition Ricci curvature into the orthogonal Ricci curvature and the holomorphic sectional curvature, which cannot be obtained by using Yau--Royden's Schwarz lemma. We also prove coupling estimates on quaternionic K\"ahler manifolds. As a byproduct, we obtain an improved gradient estimate of positive harmonic functions on K\"ahler manifolds and quaternionic K\"ahler manifolds under lower curvature bounds.


title: Area, Perimeter, Height, and Width of Rectangle Visibility Graphs

abstract: A rectangle visibility graph (RVG) is represented by assigning to each vertex a rectangle in the plane with horizontal and vertical sides in such a way that edges in the graph correspond to unobstructed horizontal and vertical lines of sight between their corresponding rectangles. To discretize, we consider only rectangles whose corners have integer coordinates. For any given RVG, we seek a representation with smallest bounding box as measured by its area, perimeter, width, or height (height is assumed not to exceed width). We derive a number of results regarding these parameters. Using these results, we show that these four measures are distinct, in the sense that there exist graphs $G_1$ and $G_2$ with $area(G_1)<area(G_2)$ but $perimeter(G_2)<perimeter(G_1)$, and analogously for all other pairs of these parameters. We further show that there exists a graph $G_3$ with representations $S_1$ and $S_2$ such that $area(G_3)=area(S_1)<area(S_2)$ but $perimeter(G_3)=perimeter(S_2)<perimeter(S_1)$. In other words, $G_3$ requires distinct representations to minimize area and perimeter. Similarly, such graphs exist to demonstrate the independence of all other pairs of these parameters. Among graphs with $n \leq 6$ vertices, the empty graph $E_n$ requires largest area. But for graphs with $n=7$ and $n=8$ vertices, we show that the complete graphs $K_7$ and $K_8$ require larger area than $E_7$ and $E_8$, respectively. Using this, we show that for all $n \geq 8$, the empty graph $E_n$ does not have largest height, width, area, or perimeter among all RVGs on $n$ vertices.


title: The plectic conjecture over local fields

abstract: Using a mixed-characteristic incarnation of fusion, we prove an analog of Nekov\'a\v{r}-Scholl's plectic conjecture for local Shimura varieties. We apply this to obtain results on the plectic conjecture for (global) Shimura varieties after restricting to a decomposition group. Along the way, we prove a $p$-adic uniformization theorem for the basic locus of abelian type Shimura varieties at hyperspecial level, which is of independent interest.


title: Existential definability and diophantine stability

abstract: Let $K$ be a number field, let $L$ be an algebraic (possibly infinite degree) extension of $K$, and let $O_K$ $\subset$ $O_L$ be their rings of integers. Suppose $A$ is an abelian variety defined over $K$ such that $A(K)$ is infinite and $A(L)/A(K)$ is a torsion group. If at least one of the following conditions is satisfied: 1. $L$ is a number field, 2. $L$ is totally real, 3. $L$ is a quadratic extension of a totally real field, then $O_K$ has a diophantine definition over $O_L$.


title: The Early Days of Quantum Computation

abstract: I recount some of my memories of the early development of quantum computation, including the discovery of the factoring algorithm, of error correcting codes, and of fault tolerance.


title: Drag force of a compressible flow past a random array of spheres

abstract: We perform particle-resolved simulations of subsonic and transonic flows past random arrays of spherical particles. The Reynolds number is held at $Re{\approx}300$ to ensure the flow remains in the continuum regime. At low volume fractions, the drag force increases sharply near a critical Mach number due to the formation of shock waves and reaches a maximum value when the bulk flow is supersonic. Neighbour-induced hydrodynamic interactions reduce the critical Mach number at higher volume fractions. An effective Mach number is introduced to capture the increase in compressibility effects on drag. A new drag correlation is proposed valid for subsonic and weakly supersonic flow from dilute to moderately dense suspensions.


title: Performance, Opaqueness, Consequences, and Assumptions: Simple questions for responsible planning of machine learning solutions

abstract: The data revolution has generated a huge demand for data-driven solutions. This demand propels a growing number of easy-to-use tools and training for aspiring data scientists that enable the rapid building of predictive models. Today, weapons of math destruction can be easily built and deployed without detailed planning and validation. This rapidly extends the list of AI failures, i.e. deployments that lead to financial losses or even violate democratic values such as equality, freedom and justice. The lack of planning, rules and standards around the model development leads to the ,,anarchisation of AI". This problem is reported under different names such as validation debt, reproducibility crisis, and lack of explainability. Post-mortem analysis of AI failures often reveals mistakes made in the early phase of model development or data acquisition. Thus, instead of curing the consequences of deploying harmful models, we shall prevent them as early as possible by putting more attention to the initial planning stage. In this paper, we propose a quick and simple framework to support planning of AI solutions. The POCA framework is based on four pillars: Performance, Opaqueness, Consequences, and Assumptions. It helps to set the expectations and plan the constraints for the AI solution before any model is built and any data is collected. With the help of the POCA method, preliminary requirements can be defined for the model-building process, so that costly model misspecification errors can be identified as soon as possible or even avoided. AI researchers, product owners and business analysts can use this framework in the initial stages of building AI solutions.


title: Inferring Sensitive Attributes from Model Explanations

abstract: Model explanations provide transparency into a trained machine learning model's blackbox behavior to a model builder. They indicate the influence of different input attributes to its corresponding model prediction. The dependency of explanations on input raises privacy concerns for sensitive user data. However, current literature has limited discussion on privacy risks of model explanations. We focus on the specific privacy risk of attribute inference attack wherein an adversary infers sensitive attributes of an input (e.g., race and sex) given its model explanations. We design the first attribute inference attack against model explanations in two threat models where model builder either (a) includes the sensitive attributes in training data and input or (b) censors the sensitive attributes by not including them in the training data and input. We evaluate our proposed attack on four benchmark datasets and four state-of-the-art algorithms. We show that an adversary can successfully infer the value of sensitive attributes from explanations in both the threat models accurately. Moreover, the attack is successful even by exploiting only the explanations corresponding to sensitive attributes. These suggest that our attack is effective against explanations and poses a practical threat to data privacy. On combining the model predictions (an attack surface exploited by prior attacks) with explanations, we note that the attack success does not improve. Additionally, the attack success on exploiting model explanations is better compared to exploiting only model predictions. These suggest that model explanations are a strong attack surface to exploit for an adversary.


title: Transfer Ranking in Finance: Applications to Cross-Sectional Momentum with Data Scarcity

abstract: Cross-sectional strategies are a classical and popular trading style, with recent high performing variants incorporating sophisticated neural architectures. While these strategies have been applied successfully to data-rich settings involving mature assets with long histories, deploying them on instruments with limited samples generally produce over-fitted models with degraded performance. In this paper, we introduce Fused Encoder Networks -- a novel and hybrid parameter-sharing transfer ranking model. The model fuses information extracted using an encoder-attention module operated on a source dataset with a similar but separate module focused on a smaller target dataset of interest. This mitigates the issue of models with poor generalisability that are a consequence of training on scarce target data. Additionally, the self-attention mechanism enables interactions among instruments to be accounted for, not just at the loss level during model training, but also at inference time. Focusing on momentum applied to the top ten cryptocurrencies by market capitalisation as a demonstrative use-case, the Fused Encoder Networks outperforms the reference benchmarks on most performance measures, delivering a three-fold boost in the Sharpe ratio over classical momentum as well as an improvement of approximately 50% against the best benchmark model without transaction costs. It continues outperforming baselines even after accounting for the high transaction costs associated with trading cryptocurrencies.


title: Interior over-penalized enriched Galerkin methods for second order elliptic equations

abstract: In this paper we propose a variant of enriched Galerkin methods for second order elliptic equations with over-penalization of interior jump terms. The bilinear form with interior over-penalization gives a non-standard norm which is different from the discrete energy norm in the classical discontinuous Galerkin methods. Nonetheless we prove that optimal a priori error estimates with the standard discrete energy norm can be obtained by combining a priori and a posteriori error analysis techniques. We also show that the interior over-penalization is advantageous for constructing preconditioners robust to mesh refinement by analyzing spectral equivalence of bilinear forms. Numerical results are included to illustrate the convergence and preconditioning results.


title: Statistical Aspects of SHAP: Functional ANOVA for Model Interpretation

abstract: SHAP is a popular method for measuring variable importance in machine learning models. In this paper, we study the algorithm used to estimate SHAP scores and outline its connection to the functional ANOVA decomposition. We use this connection to show that challenges in SHAP approximations largely relate to the choice of a feature distribution and the number of $2^p$ ANOVA terms estimated. We argue that the connection between machine learning explainability and sensitivity analysis is illuminating in this case, but the immediate practical consequences are not obvious since the two fields face a different set of constraints. Machine learning explainability concerns models which are inexpensive to evaluate but often have hundreds, if not thousands, of features. Sensitivity analysis typically deals with models from physics or engineering which may be very time consuming to run, but operate on a comparatively small space of inputs.


title: Gas electron tracking detector for beta decay experiments

abstract: For identification and 3D-tracking of low-energy electrons a new type of gas-based detector was designed that minimizes scattering and energy loss. The current version of the detector is a combination of a plastic scintillator, serving as a trigger source and energy detector, and a hexagonally structured multi-wire drift chamber (MWDC), filled with a mixture of helium and isobutane gas. The drift time information is used to track particles in the plane perpendicular to the wires, while a charge division technique provides spatial information along the wires. The gas tracker was successfully used in the miniBETA project as a beta spectrometer for a measurement of the weak magnetism form factor in nuclear beta decay. The precision of the three-dimensional electron tracking, in combination with low-mass, low-Z materials and identification of backscattering from scintillator, facilitated a reduction of the main systematics effects. At certain conditions, a spatial resolution better than 0.5 mm was obtained in the plane perpendicular to the wires, while resolutions of about 6 mm were achieved along wires. Thanks to precise tracking information, it is possible to eliminate electrons and other particles not originating from the desired decay with high efficiency. Additionally, using the coincidence between MWDC and scintillator, background from gamma emission typically accompanying radioactive decays, was highly suppressed. An overview of different event topologies is presented together with the tracker's ability to correctly recognize them. The analysis is supported by Monte Carlo simulations using Geant4 and Garfield++ packages. Finally, the preliminary results from the 114In spectrum study are presented.


title: Soliton collisions in Bose-Einstein condensates with current-dependent interactions

abstract: We study general collisions between chiral solitons in Bose-Einstein condensates subject to combined attractive and current-dependent interatomic interactions. A simple analysis based on the linear superposition of the solitons allows us to determine the relevant time and space scales of the dynamics, which is illustrated by extensive numerical simulations. By varying the differential amplitude, the relative phase, the average velocity, and the relative velocity of the solitons, we characterize the different dynamical regimes that give rise to oscillatory and interference phenomena. Apart from the known inelastic character of the collisions, we show that the chiral dynamics involves an amplitude reduction with respect to the case of regular solitons. To compare with feasible ultracold gas experiments, the influence of harmonic confinement is analyzed in both the emergence and the interaction of chiral solitons.


title: Development of a CAV-based Intersection Control System and Corridor Level Impact Assessment

abstract: This paper presents a signal-free intersection control system for CAVs by combination of a pixel reservation algorithm and a Deep Reinforcement Learning (DRL) decision-making logic, followed by a corridor-level impact assessment of the proposed model. The pixel reservation algorithm detects potential colliding maneuvers and the DRL logic optimizes vehicles' movements to avoid collision and minimize the overall delay at the intersection. The proposed control system is called Decentralized Sparse Coordination System (DSCLS) since each vehicle has its own control logic and interacts with other vehicles in coordinated states only. Due to the chain impact of taking random actions in the DRL's training course, the trained model can deal with unprecedented volume conditions, which poses the main challenge in intersection management. The performance of the developed model is compared with conventional and CAV-based control systems, including fixed traffic lights, actuated traffic lights, and the Longest Queue First (LQF) control system under three volume regimes in a corridor of four intersections in VISSIM software. The simulation result revealed that the proposed model reduces delay by 50%, 29%, and 23% in moderate, high, and extreme volume regimes compared to the other CAV-based control system. Improvements in travel time, fuel consumption, emission, and Surrogate Safety Measures (SSM) are also noticeable.


title: Production and suppression of delayed light in NaI

abstract: We investigate a hypothesis that energy accumulation and the subsequent release in NaI(Tl) may lead to pulse-like events in the few-keV energy regime, a phenomenon suggested by the crystal manufacturing company Saint-Gobain, who provided the crystals for DAMA-LIBRA. While we observed delayed long-lasting light emission in a 3" NaI(Tl) crystal after exposing it to UV light, the delayed light consists primarily of single photons that are uncorrelated with each other. We also observe delayed light emission in NaI(Tl) following gamma radiation and large ionization events like cosmic-ray muons. We found that irradiating the crystal with red light after UV exposure significantly suppressed delayed photon emissions.


title: ETHERLED: Sending Covert Morse Signals from Air-Gapped Devices via Network Card (NIC) LEDs

abstract: Highly secure devices are often isolated from the Internet or other public networks due to the confidential information they process. This level of isolation is referred to as an 'air-gap .' In this paper, we present a new technique named ETHERLED, allowing attackers to leak data from air-gapped networked devices such as PCs, printers, network cameras, embedded controllers, and servers. Networked devices have an integrated network interface controller (NIC) that includes status and activity indicator LEDs. We show that malware installed on the device can control the status LEDs by blinking and alternating colors, using documented methods or undocumented firmware commands. Information can be encoded via simple encoding such as Morse code and modulated over these optical signals. An attacker can intercept and decode these signals from tens to hundreds of meters away. We show an evaluation and discuss defensive and preventive countermeasures for this exfiltration attack.


title: Localization landscape for interacting Bose gases in one-dimensional speckle potentials

abstract: While the properties and the shape of the ground state of a gas of ultracold bosons are well understood in harmonic potentials, they remain for a large part unknown in the case of random potentials. Here, we use the localization-landscape (LL) theory to study the properties of the solutions to the Gross-Pitaevskii equation (GPE) in one-dimensional (1D) speckle potentials. In the cases of attractive interactions, we find that the LL allows one to predict the position of the localization center of the ground state (GS) of the GPE. For weakly repulsive interactions, we point out that the GS of the quasi-1D GPE can be understood as a superposition of a finite number of single-particle states, which can be computed by exploiting the LL. For intermediate repulsive interactions, we introduce a Thomas-Fermi-like approach for the GS which holds in the smoothing regime, well beyond the usual approximation involving the original potential. Moreover, we show that, in the Lifshitz glass regime, the particle density and the chemical potential can be well estimated by the LL. Our approach can be applied to any positive-valued random potential endowed with finite-range correlations and can be generalized to higher-dimensional systems.


title: Origin of anisotropic diffusion in Turing Patterns

abstract: In this paper, we numerically study Turing patterns by the Finsler geometry (FG) modeling technique on thermally fluctuating triangular lattices, which are often used for modeling cell membranes or lipid membranes, focusing on the origin of diffusion anisotropy. The FG modeling prescription allows us to assume direction-dependent diffusion described by Laplacian. To implement such diffusion anisotropy in the FG modeling, we need an internal degree of freedom (IDF), which depends on direction and position and is controlled by some external forces or stimuli. For such a direction-dependent IDF, we use velocity directions corresponding to thermal fluctuations of the lattice vertices. We find that anisotropic Turing patterns emerge in the direction along which vertices fluctuate. In the simulations, direction-dependent diffusion coefficients are unnecessary for input, and instead, the IDF aligns the direction of vertex fluctuation along a direction implemented by external stimuli. Our results and techniques provide insight into the origin of diffusion anisotropy connected to Turing patterns.


title: Bayesian Complementary Kernelized Learning for Multidimensional Spatiotemporal Data

abstract: Probabilistic modeling of multidimensional spatiotemporal data is critical to many real-world applications. As real-world spatiotemporal data often exhibits complex dependencies that are nonstationary and nonseparable, developing effective and computationally efficient statistical models to accommodate nonstationary/nonseparable processes containing both long-range and short-scale variations becomes a challenging task, in particular for large-scale datasets with various corruption/missing structures. In this paper, we propose a new statistical framework -- Bayesian Complementary Kernelized Learning (BCKL) -- to achieve scalable probabilistic modeling for multidimensional spatiotemporal data. To effectively characterize complex dependencies, BCKL integrates two complementary approaches -- kernelized low-rank tensor factorization and short-range spatiotemporal Gaussian Processes. Specifically, we use a multi-linear low-rank factorization component to capture the global/long-range correlations in the data and introduce an additive short-scale GP based on compactly supported kernel functions to characterize the remaining local variabilities. We develop an efficient Markov chain Monte Carlo (MCMC) algorithm for model inference and evaluate the proposed BCKL framework on both synthetic and real-world spatiotemporal datasets. Our experiment results show that BCKL offers superior performance in providing accurate posterior mean and high-quality uncertainty estimates, confirming the importance of both global and local components in modeling spatiotemporal data.


title: Revisiting Item Promotion in GNN-based Collaborative Filtering: A Masked Targeted Topological Attack Perspective

abstract: Graph neural networks (GNN) based collaborative filtering (CF) have attracted increasing attention in e-commerce and social media platforms. However, there still lack efforts to evaluate the robustness of such CF systems in deployment. Fundamentally different from existing attacks, this work revisits the item promotion task and reformulates it from a targeted topological attack perspective for the first time. Specifically, we first develop a targeted attack formulation to maximally increase a target item's popularity. We then leverage gradient-based optimizations to find a solution. However, we observe the gradient estimates often appear noisy due to the discrete nature of a graph, which leads to a degradation of attack ability. To resolve noisy gradient effects, we then propose a masked attack objective that can remarkably enhance the topological attack ability. Furthermore, we design a computationally efficient approach to the proposed attack, thus making it feasible to evaluate large-large CF systems. Experiments on two real-world datasets show the effectiveness of our attack in analyzing the robustness of GNN-based CF more practically.


title: M/D/1 Queues with LIFO and SIRO Policies

abstract: While symbolics for the equilibrium M/D/1-LIFO waiting time density are completely known, corresponding numerics for M/D/1-SIRO are derived from recursions due to Burke (1959). Implementing an inverse Laplace transform-based approach for the latter remains unworkable.


title: Effective equidistribution of rational points on horocycle sections in $\text{ASL}(2,\mathbb{Z}) \backslash \text{ASL}(2,\mathbb{R}) $

abstract: In this paper we prove an effective equidistribution result for both primitive and non-primitive points on certain expanding horocycle sections in ASL$(2,\mathbb{Z}) \backslash $ASL$(2,\mathbb{R})$. This provides an effective version of a result recently proven by the author and generalises recent work by Einsiedler, Luethi and Shah who prove similar results in the context of the unit tangent bundle of the modular surface.


title: GRETEL: Graph Contrastive Topic Enhanced Language Model for Long Document Extractive Summarization

abstract: Recently, neural topic models (NTMs) have been incorporated into pre-trained language models (PLMs), to capture the global semantic information for text summarization. However, in these methods, there remain limitations in the way they capture and integrate the global semantic information. In this paper, we propose a novel model, the graph contrastive topic enhanced language model (GRETEL), that incorporates the graph contrastive topic model with the pre-trained language model, to fully leverage both the global and local contextual semantics for long document extractive summarization. To better capture and incorporate the global semantic information into PLMs, the graph contrastive topic model integrates the hierarchical transformer encoder and the graph contrastive learning to fuse the semantic information from the global document context and the gold summary. To this end, GRETEL encourages the model to efficiently extract salient sentences that are topically related to the gold summary, rather than redundant sentences that cover sub-optimal topics. Experimental results on both general domain and biomedical datasets demonstrate that our proposed method outperforms SOTA methods.


title: Collaboration between parallel connected neural networks -- A possible criterion for distinguishing artificial neural networks from natural organs

abstract: We find experimentally that when artificial neural networks are connected in parallel and trained together, they display the following properties. (i) When the parallel-connected neural network (PNN) is optimized, each sub-network in the connection is not optimized. (ii) The contribution of an inferior sub-network to the whole PNN can be on par with that of the superior sub-network. (iii) The PNN can output the correct result even when all sub-networks give incorrect results. These properties are unlikely for natural biological sense organs. Therefore, they could serve as a simple yet effective criterion for measuring the bionic level of neural networks. With this criterion, we further show that when serving as the activation function, the ReLU function can make an artificial neural network more bionic than the sigmoid and Tanh functions do.


title: Fractional Mimetic Dark Matter Model in Fractional Action-like Variational Approach

abstract: In this paper, we propose a new model of fractional mimetic dark matter based on the fractional action-like variational approach FALVA implementation of fractionality. The model is non-local at classical level and its equations of motion are highly non-linear. We discuss two particular cases of non-fractional and fractional mimetic dark fields and solve completely the equations of motion of these models. In particular, we obtain the metric of the fractional physical space-time. Also, we obtain the basic geometrical objects in the two cases.


title: Scrooge: A Fast and Memory-Frugal Genomic Sequence Aligner for CPUs, GPUs, and ASICs

abstract: Pairwise sequence alignment is a very time-consuming step in common bioinformatics pipelines. Speeding up this step requires heuristics, efficient implementations, and/or hardware acceleration. A promising candidate for all of the above is the recently proposed GenASM algorithm. We identify and address three inefficiencies in the GenASM algorithm: it has a high amount of data movement, a large memory footprint, and does some unnecessary work. We propose Scrooge, a fast and memory-frugal genomic sequence aligner. Scrooge includes three novel algorithmic improvements which reduce the data movement, memory footprint, and the number of operations in the GenASM algorithm. We provide efficient open-source implementations of the Scrooge algorithm for CPUs and GPUs, which demonstrate the significant benefits of our algorithmic improvements. For long reads, the CPU version of Scrooge achieves a 20.1x, 1.7x, and 2.1x speedup over KSW2, Edlib, and a CPU implementation of GenASM, respectively. The GPU version of Scrooge achieves a 4.0x 80.4x, 6.8x, 12.6x and 5.9x speedup over the CPU version of Scrooge, KSW2, Edlib, Darwin-GPU, and a GPU implementation of GenASM, respectively. We estimate an ASIC implementation of Scrooge to use 3.6x less chip area and 2.1x less power than a GenASM ASIC while maintaining the same throughput. Further, we systematically analyze the throughput and accuracy behavior of GenASM and Scrooge under various configurations. As the best configuration of Scrooge depends on the computing platform, we make several observations that can help guide future implementations of Scrooge. Availability: https://github.com/CMU-SAFARI/Scrooge


title: Non--regular McKean--Vlasov equations and calibration problem in local stochastic volatility models

abstract: In order to deal with the question of the existence of a calibrated local stochastic volatility model in finance, we investigate a class of McKean--Vlasov equations where a minimal continuity assumption is imposed on the coefficients. Namely, the drift coefficient and, in particular, the volatility coefficient are not necessarily continuous in the measure variable for the Wasserstein topology. In this paper, we provide an existence result and show an approximation by $N$--particle system or propagation of chaos for this type of McKean--Vlasov equations. As a direct result, we are able to deduce the existence of a calibrated local stochastic volatility model for an appropriate choice of stochastic volatility parameters. The associated propagation of chaos result is also proved.


title: The Yarkovsky effect in REBOUNDx

abstract: To more thoroughly study the effects of radiative forces on the orbits of small, astronomical bodies, we introduce the Yarkovsky effect into REBOUNDx, an extensional library for the N-body integrator REBOUND. Two different versions of the Yarkovsky effect (the "Full Version" and the "Simple Version") are available for use, depending on the needs of the user. We provide demonstrations for both versions of the effect and compare their computational efficiency with another previously implemented radiative force. In addition, we show how this effect can be used in tandem with other features in REBOUNDx by simulating the orbits of asteroids during the asymptotic giant branch phase of a 2 $M_{\odot}$ star. This effect is made freely available for use with the latest release of REBOUNDx.


title: Qusinormal oscillations and late-time tail of massless scalar perturbations of a magnetized black hole in Rastall gravity

abstract: In this paper, we study the quasinormal mode and late-time tail of charged massless scalar perturbations of a black hole in the generalized Rastall gravity. The black hole metric in question is spherically symmetric, accompanied by a power-Maxwell field surrounded by a quintessence fluid. It is shown that the massless scalar field, when {\it dressed up} with the magnetic field, acquires an effective mass which, in turn, significantly affects the properties of the resultant quasinormal oscillations and late-time tails. To be specific, the quasinormal frequencies become distorted and might even be unstable for particular spacetime configurations. Also, the exponent of the usual power-law tail is modified in accordance with the modification in the structure of the branch cut of the retarded Green's function. In particular, as the effective mass is generated dynamically due to the presence of the magnetic field, one may consider a process through which the field is gradually removed from the spacetime configuration. In this context, while the quasinormal oscillations converge to the case of massless perturbations, we argue that the properties of resultant late-time tails do not fall back to their massless counterpart. The relevant features are investigated by numerical and analytic approaches.


title: How narrow is the M87* ring? II. A new geometric model

abstract: The 2017 Event Horizon Telescope (EHT) observations of M87* detected a ring-shaped feature $\sim40\mu$as in diameter, consistent with the event horizon scale of a black hole of the expected mass. The thickness of this ring, however, proved difficult to measure, despite being an important parameter for constraining the observational appearance. In the first paper of this series we asked whether the width of the ring was sensitive to the choice of likelihood function used to compare observed closure phases and closure amplitudes to model predictions. In this paper we investigate whether the ring width is robust to changes in the model itself. We construct a more realistic geometric model with two new features: an adjustable radial falloff in brightness, and a secondary "photon ring" component in addition to the primary annulus. This thin, secondary ring is predicted by gravitational lensing for any black hole with an optically thin accretion flow. Analyzing the data using the new model, we find that the primary annulus remains narrow (fractional width $\leq0.25$) even with the added model freedom. This provides further evidence in favor of a narrow ring for the true sky appearance of M87*, a surprising feature that, if confirmed, would demand theoretical explanation. Comparing the Bayesian evidence for models with and without a secondary ring, we find no evidence for the presence of a lensed photon ring in the 2017 observations. However, the techniques we introduce may prove useful for future observations with a larger and more sensitive array.


title: High Mass Flow Rate in a BAL Outflow of Quasar SDSS J1130+0411

abstract: We present the analysis of the absorption troughs of six outflows observed in quasar SDSS J1130+0411 ($z \approx 3.98$) with radial velocities ranging from $-2400$ to $-15,400$ km s$^{-1}$. These spectra were taken with the Very Large Telescope/Ultraviolet and Visual Echelle Spectrograph over the rest frame wavelength range of $1135-1890$ \r{A}. In the main outflow system ($v \approx -3200$ km s$^{-1}$), we identify Fe II and several Fe II* absorption troughs as well as Si II and Si II* troughs, which we use to determine the electron number density $\log n_e = 2.6_{-0.7}^{+0.8}$ cm$^{-3}$. Using the column densities of these and other ions, we determine a photoionization solution with hydrogen column density $\log N_H = 21.44_{-0.33}^{+0.24}$ cm$^{-2}$ and ionization parameter $\log U_H = -1.75_{-0.45}^{+0.28}$. From these values we derive the distance $R = 16_{-11}^{+23}$ kpc, the average mass flow rate $\dot{M} = 4100_{-2400}^{+6600}$ $M_{\odot}$ yr$^{-1}$, and the kinetic luminosity $\log \dot{E}_k = 46.13_{-0.37}^{+0.41}$ erg s$^{-1}$. This $\dot{E}_k$ is $1.4_{-0.8}^{+2.2}$% of the quasar's Eddington luminosity, and therefore contributes significantly to AGN feedback.


title: Viscous cosmology in $f(T)$ gravity

abstract: We propose a new model for the viscosity of cosmic matters, which can be applied to different epochs of the universe. Using this model, we include the bulk viscosities as practical corrections to the perfect fluid models of the baryonic and dark matters since the material fluids in the real world may have viscosities due to thermodynamics. Such inclusion is put to the test within the framework of $f(T)$ gravity that is proved to be successful in describing the cosmic acceleration, where $T$ denotes the torsion scalar. We perform an observational fit to our model and constrain the cosmological and model parameters by using various latest cosmological datasets. Based on the fitting result, we discuss several cosmological implications including the dissipation of matters, the evolutionary history of the universe, $f(T)$ modification as an effective dark energy, and the Hubble tension problem. The corresponding findings are (i) The late time dissipation will make the density parameters of the matters vanish in the finite future. Moreover, the density ratio between the baryonic and dark matters will change over time. (ii) The radiation dominating era, matter dominating era and the accelerating era can be recovered and the model can successfully describe the known history of the universe. (iii) The $f(T)$ modification is the main drive of the acceleration expansion and currently mimics a phantom-like dark energy. But the universe will eventually enter a de Sitter expansion phase. (iv) The Hubble tension between local and global observations can be significantly alleviated in our model.


title: Efficient construction of canonical polyadic approximations of tensor networks

abstract: We consider the problem of constructing a canonical polyadic (CP) decomposition for a tensor network, rather than a single tensor. We illustrate how it is possible to reduce the complexity of constructing an approximate CP representation of the network by leveraging its structure in the course of the CP factor optimization. The utility of this technique is demonstrated for the order-4 Coulomb interaction tensor approximated by 2 order-3 tensors via an approximate generalized square-root (SQ) factorization, such as density fitting or (pivoted) Cholesky. The complexity of constructing a 4-way CP decomposition is reduced from $\mathcal{O}(n^4 R_\text{CP})$ (for the non-approximated Coulomb tensor) to $\mathcal{O}(n^3 R_\text{CP})$ for the SQ-factorized tensor, where $n$ and $R_\text{CP}$ are the basis and CP ranks, respectively. This reduces the cost of constructing the CP approximation of 2-body interaction tensors of relevance to accurate many-body electronic structure by up to 2 orders of magnitude for systems with up to 36 atoms studied here. The full 4-way CP approximation of the Coulomb interaction tensor is shown to be more accurate than the known approaches utilizing CP-decomposed SQ factors (also obtained at the $\mathcal{O}(n^3 R_\text{CP})$ cost), such as the algebraic pseudospectral and tensor hypercontraction approaches. The CP decomposed SQ factors can also serve as a robust initial guess for the 4-way CP factors.

categories: physics.chem-ph cs.NA math.NA physics.comp-ph


title: On the Sombor index of graphs with given connectivity and number of bridges

abstract: Recently in 2021, Gutman introduced the Sombor index of a graph, a novel degree-based topological index. It has been shown that the Sombor index efficiently models the thermodynamic properties of chemical compounds. Assume $\mathbb{B}_n^k$ (resp. $\mathbb{V}_n^k$) comprises all graphs with order $n$ having number of bridges (resp. vertex-connectivity) $k$. Horoldagva & Xu (2021) characterized graphs achieving the maximum Sombor index of graphs in $\mathbb{B}_n^k$. This paper characterizes graphs achieving the minimum Sombor index in $\mathbb{B}_n^k$. Certain auxiliary operation on graphs in $\mathbb{B}_n^k$ are introduced and employed for the characterization. Moreover, we characterize graphs achieving maximum Sombor index in $\mathbb{V}_n^k$. ome open problems, which naturally arise from this work, have been proposed at the end.


title: Symmetry actions and brackets for adjoint-symmetries. II: Physical examples

abstract: Symmetries and adjoint-symmetries are two fundamental (coordinate-free) structures of PDE systems. Recent work has developed several new algebraic aspects of adjoint-symmetries: three fundamental actions of symmetries on adjoint-symmetries; a Lie bracket on the set of adjoint-symmetries given by the range of a symmetry action; a generalized Noether (pre-symplectic) operator constructed from any non-variational adjoint-symmetry. These results are illustrated here by considering five examples of physically interesting nonlinear PDE systems -- nonlinear reaction-diffusion equations, Navier-Stokes equations for compressible viscous fluid flow, surface-gravity water wave equations, coupled solitary wave equations, and a nonlinear acoustic equation.


title: A Necessary and Sufficient Condition for Complete phase synchronization of high-dimensional nonidentical Kuramoto oscillators

abstract: For original Kuramoto models with nonidentical oscillators, it is impossible to realize complete phase synchronization. However, this paper reveals that complete phase synchronization can be achieved for a large class of high-dimensional Kuramoto models with nonidentical oscillators. Under the topology of strongly connected digraphs, a necessary and sufficient condition for complete phase synchronization is obtained. Finally, some simulations are provided to validate the obtained theoretic results.


title: Lagrangian and orthogonal splittings, quasitriangular Lie bialgebras and almost complex product structures

abstract: We study Lagrangian and orthogonal splittings\textbf{\ }of quadratic vector spaces establishing an equivalence with complex product structures. Then we show that a Manin triple equipped with generalized metric $\mathcal{G}+% \mathcal{B}$ such that $\mathcal{B}$ is an $\mathcal{O}$-operator with extension $\mathcal{G}$ of mass -1 can be turned in another Manin triple that admits also an orthogonal splitting in\textbf{\ }Lie ideals. Conversely, a quadratic Lie algebra orthogonal direct sum of a pair anti-isomorphic Lie algebras, after similar steps as in the previous case, can be turned in a Manin triple admitting an orthogonal splitting into Lie ideals.


title: Spatially Selective Active Noise Control Systems

abstract: Active noise control (ANC) systems are commonly designed to achieve maximal sound reduction regardless of the incident direction of the sound. When desired sound is present, the state-of-the-art methods add a separate system to reconstruct it. This can result in distortion and latency. In this work, we propose a multi-channel ANC system that only reduces sound from undesired directions, and the system truly preserves the desired sound instead of reproducing it. The proposed algorithm imposes a spatial constraint on the hybrid ANC cost function to achieve spatial selectivity. Based on a six-channel microphone array on a pair of augmented eyeglasses, results show that the system minimized only noise coming from undesired directions. The control performance could be maintained even when the array was heavily perturbed. The proposed algorithm was also compared with the existing methods in the literature. Not only did the proposed system provide better noise reduction, but it also required much less effort. The binaural localization cues did not need to be reconstructed since the system preserved the physical sound wave from the desired source.


title: Antecedent Predictions Are More Important Than You Think: An Effective Method for Tree-Based Code Generation

abstract: Code generation focuses on the automatic conversion of natural language (NL) utterances into code snippets. The sequence-to-tree (Seq2Tree) approaches are proposed for code generation, with the guarantee of the grammatical correctness of the generated code, which generate the subsequent Abstract Syntax Tree (AST) node relying on antecedent predictions of AST nodes. Existing Seq2Tree methods tend to treat both antecedent predictions and subsequent predictions equally. However, under the AST constraints, it is difficult for Seq2Tree models to produce the correct subsequent prediction based on incorrect antecedent predictions. Thus, antecedent predictions ought to receive more attention than subsequent predictions. To this end, in this paper, we propose an effective method, named Antecedent Prioritized (AP) Loss, that helps the model attach importance to antecedent predictions by exploiting the position information of the generated AST nodes. We design an AST-to-Vector (AST2Vec) method, that maps AST node positions to two-dimensional vectors, to model the position information of AST nodes. To evaluate the effectiveness of our proposed loss, we implement and train an Antecedent Prioritized Tree-based code generation model called APT. With better antecedent predictions and accompanying subsequent predictions, APT significantly improves the performance. We conduct extensive experiments on four benchmark datasets, and the experimental results demonstrate the superiority and generality of our proposed method.


title: PLMCL: Partial-Label Momentum Curriculum Learning for Multi-Label Image Classification

abstract: Multi-label image classification aims to predict all possible labels in an image. It is usually formulated as a partial-label learning problem, given the fact that it could be expensive in practice to annotate all labels in every training image. Existing works on partial-label learning focus on the case where each training image is annotated with only a subset of its labels. A special case is to annotate only one positive label in each training image. To further relieve the annotation burden and enhance the performance of the classifier, this paper proposes a new partial-label setting in which only a subset of the training images are labeled, each with only one positive label, while the rest of the training images remain unlabeled. To handle this new setting, we propose an end-to-end deep network, PLMCL (Partial Label Momentum Curriculum Learning), that can learn to produce confident pseudo labels for both partially-labeled and unlabeled training images. The novel momentum-based law updates soft pseudo labels on each training image with the consideration of the updating velocity of pseudo labels, which help avoid trapping to low-confidence local minimum, especially at the early stage of training in lack of both observed labels and confidence on pseudo labels. In addition, we present a confidence-aware scheduler to adaptively perform easy-to-hard learning for different labels. Extensive experiments demonstrate that our proposed PLMCL outperforms many state-of-the-art multi-label classification methods under various partial-label settings on three different datasets.


title: $1/(M_{R})_{33}$ expansion of the type-I seesaw mechanism and partial $Z_{2}$ symmetry for TM$_{1,2}$ mixing

abstract: We consider an expansion of the type-I seesaw mechanism by the inverse of the 3-3 matrix element $1/(M_{R})_{33}$ of the mass matrix of right-handed neutrinos $M_{R}$. Conditions of such a situation are obtained for $M_{R}$ and the Dirac mass matrix $m_{D}$. In this case, a partial $Z_{2}$ symmetry such as $S m_{D} P_{} = \pm m_{D} P_{}$ with a projection matrix $P_{} = {\rm diag} ( 1, 1, 0)$ leads to an approximate $Z_{2}$ symmetry by $S$ for the neutrino mass matrix $m_{\nu}$. Such a partial $Z_{2}$ symmetry is desirable in the context of unified theories because it allows hierarchical $m_{D}$ and the large mixing of $m_{\nu}$ simultaneously.


title: Nonreciprocal enhancement of remote entanglement between nonidentical mechanical oscillators

abstract: Entanglement between distant massive mechanical oscillators is of particular interest in quantum-enabled devices due to its potential applications in distributed quantum information processing. Here we propose how to achieve nonreciprocal remote entanglement between two spatially separated mechanical oscillators within a cascaded optomechanical configuration, where the two optomechanical resonators are indirectly coupled through a telecommunication fiber. We show that by selectively spinning the optomechanical resonators, one can break the time reversal symmetry of this compound system via Sagnac effect, and more excitingly, enhance the indirect couplings between the mechanical oscillators via the individual optimizations of light-motion interaction in each optomechanical resonator. This ability allows us to generate and manipulate nonreciprocal entanglement between distant mechanical oscillators, that is, the entanglement could be achieved only through driving the system from one specific input direction but not the other. Moreover, in the case of two frequency-mismatched mechanical oscillators, it is also found that the degree of the generated nonreciprocal entanglement is counterintuitively enhanced in comparison with its reciprocal counterparts, which are otherwise unattainable in static cascaded systems with a single-tone driving laser. Our work, which is well within the feasibility of current experimental capabilities, provides an enticing new opportunity to explore the nonclassical correlations between distant massive objects and facilitates a variety of emerging quantum technologies ranging from quantum information processing to quantum sensing.


title: TransNet: Category-Level Transparent Object Pose Estimation

abstract: Transparent objects present multiple distinct challenges to visual perception systems. First, their lack of distinguishing visual features makes transparent objects harder to detect and localize than opaque objects. Even humans find certain transparent surfaces with little specular reflection or refraction, e.g. glass doors, difficult to perceive. A second challenge is that common depth sensors typically used for opaque object perception cannot obtain accurate depth measurements on transparent objects due to their unique reflective properties. Stemming from these challenges, we observe that transparent object instances within the same category (e.g. cups) look more similar to each other than to ordinary opaque objects of that same category. Given this observation, the present paper sets out to explore the possibility of category-level transparent object pose estimation rather than instance-level pose estimation. We propose TransNet, a two-stage pipeline that learns to estimate category-level transparent object pose using localized depth completion and surface normal estimation. TransNet is evaluated in terms of pose estimation accuracy on a recent, large-scale transparent object dataset and compared to a state-of-the-art category-level pose estimation approach. Results from this comparison demonstrate that TransNet achieves improved pose estimation accuracy on transparent objects and key findings from the included ablation studies suggest future directions for performance improvements.


title: Locally Defined Independence Systems on Graphs

abstract: The maximization for the independence systems defined on graphs is a generalization of combinatorial optimization problems such as the maximum $b$-matching, the unweighted MAX-SAT, the matchoid, and the maximum timed matching problems. In this paper, we consider the problem under the local oracle model to investigate the global approximability of the problem by using the local approximability. We first analyze two simple algorithms FixedOrder and Greedy for the maximization under the model, which shows that they have no constant approximation ratio. Here algorithms FixedOrder and Greedy apply local oracles with fixed and greedy orders of vertices, respectively. We then propose two approximation algorithms for the $k$-degenerate graphs, whose approximation ratios are $\alpha +2k -2$ and $\alpha k$, where $\alpha$ is the approximation ratio of local oracles. The second one can be generalized to the hypergraph setting. We also propose an $(\alpha + k)$-approximation algorithm for bipartite graphs, in which the local independence systems in the one-side of vertices are $k$-systems with independence oracles.


title: A diverse large-scale building dataset and a novel plug-and-play domain generalization method for building extraction

abstract: In this paper, we introduce a new building dataset and propose a novel domain generalization method to facilitate the development of building extraction from high-resolution remote sensing images. The problem with the current building datasets involves that they lack diversity, the quality of the labels is unsatisfactory, and they are hardly used to train a building extraction model with good generalization ability, so as to properly evaluate the real performance of a model in practical scenes. To address these issues, we built a diverse, large-scale, and high-quality building dataset named the WHU-Mix building dataset, which is more practice-oriented. The WHU-Mix building dataset consists of a training/validation set containing 43,727 diverse images collected from all over the world, and a test set containing 8402 images from five other cities on five continents. In addition, to further improve the generalization ability of a building extraction model, we propose a domain generalization method named batch style mixing (BSM), which can be embedded as an efficient plug-and-play module in the frond-end of a building extraction model, providing the model with a progressively larger data distribution to learn data-invariant knowledge. The experiments conducted in this study confirmed the potential of the WHU-Mix building dataset to improve the performance of a building extraction model, resulting in a 6-36% improvement in mIoU, compared to the other existing datasets. The adverse impact of the inaccurate labels in the other datasets can cause about 20% IoU decrease. The experiments also confirmed the high performance of the proposed BSM module in enhancing the generalization ability and robustness of a model, exceeding the baseline model without domain generalization by 13% and the recent domain generalization methods by 4-15% in mIoU.


title: One parameter generalization of BW inequality and its application to open quantum dynamics

abstract: In this paper, we introduce a one parameter generalization of the famous B\"ottcher-Wenzel (BW) inequality in terms of a $q$-deformed commutator. For $n \times n$ matrices $A$ and $B$, we consider the inequality \[ \Re\langle[B,A],[B,A]_q\rangle \le c(q) \|A\|^2 \|B\|^2, \] where $\langle A,B \rangle = {\rm tr}(A^*B)$ is the Hilbert-Schmidt inner product, $\|A\|$ is the Frobenius norm, $[A,B] =AB-BA$ is the commutator, and $[A,B]_q =AB-qBA$ is the $q$-deformed commutator. We prove that when $n=2$, or when $A$ is normal with any size $n$, the optimal bound is given by \[ c(q) = \frac{(1+q) +\sqrt{2(1+q^2)}}{2}. \] We conjecture that this is also true for any matrices, and this conjecture is perfectly supported for $n$ up to $15$ by numerical optimization. When $q=1$, this inequality is exactly BW inequality. When $q=0$, this inequality leads the sharp bound for the $r$-function which is recently derived for the application to universal constraints of relaxation rates in open quantum dynamics.


title: An SBR Based Ray Tracing Channel Modeling Method for THz and Massive MIMO Communications

abstract: Terahertz (THz) communication and the application of massive multiple-input multiple-output (MIMO) technology have been proved significant for the sixth generation (6G) communication systems, and have gained global interests. In this paper, we employ the shooting and bouncing ray (SBR) method integrated with acceleration technology to model THz and massive MIMO channel. The results of ray tracing (RT) simulation in this paper, i.e., angle of departure (AoD), angle of arrival (AoA), and power delay profile (PDP) under the frequency band supported by the commercial RT software Wireless Insite (WI) are in agreement with those produced by WI. Based on the Kirchhoff scattering effect on material surfaces and atmospheric absorption loss showing at THz frequency band, the modified propagation models of Fresnel reflection coefficients and free-space attenuation are consistent with the measured results. For massive MIMO, the channel capacity and the stochastic power distribution are analyzed. The results indicate the applicability of SBR method for building deterministic models of THz and massive MIMO channels with extensive functions and acceptable accuracy.


title: A Weighted Random Forest Based PositioningAlgorithm for 6G Indoor Communications

abstract: Due to the indoor none-line-of-sight (NLoS) propagation and multi-access interference (MAI), it is a great challenge to achieve centimeter-level positioning accuracy in indoor scenarios. However, the sixth generation (6G) wireless communications provide a good opportunity for the centimeter-level positioning. In 6G, the millimeter wave (mmWave) and terahertz (THz) communications have ultra-broad bandwidth so that the channel state information (CSI) will have a high resolution. In this paper, a weighted random forest (WRF) based indoor positioning algorithm using CSI based channel fingerprint feature is proposed to achieve high-precision positioning for 6G indoor communications. In addition, ray-tracing (RT) is used to improve the efficiency of establishing channel fingerprint database. The simulation results demonstrate the accuracy and robustness of the proposed algorithm. It is shown that the positioning accuracy of the algorithm is stable within 6 cm in different indoor scenarios with the channel fingerprint database established at 0.2 m intervals.


title: An Improved Ray Tracing Acceleration Algorithm Based on Bounding Volume Hierarchies

abstract: Ray tracing is an efficient channel modeling method. However, the traditional ray tracing method has high computation complexity. To solve this problem, an improved bounding volume hierarchies (BVH) algorithm is proposed in this paper. Based on surface area heuristic (SAH) and spatial distance, the proposed algorithm can effectively reduce the number of unnecessary intersection tests between ray and triangular facets. In addition, the algorithm fully considers the influence of ray action range, which can not only make up for the defects of spatial division based on uniform grid method and k-dimensional (KD) tree, but also solve the problem of unsatisfactory spatial division based on traditional BVH algorithm. The simulation results show that compared with the traditional BVH algorithm, the proposed algorithm can improve the computation efficiency by 20% to 35% while ensuring the computation accuracy.


title: An Improved Equiangular Division Algorithm for SBR based Ray Tracing Channel Modeling

abstract: Compared with image method (IM) based ray tracing (RT), shooting and bouncing ray (SBR) method is characterized by fast speed but low accuracy. In this paper, an iterative precise algorithm based on equiangular division is proposed to make rough paths accurate, allowing SBR to calculate exact channel information. Different ray launching methods are compared to obtain a better launching method. By using equiangular division, rays are launched more uniformly from transmitter (Tx) compared with the current equidistant division method. With the proposed iterative precise algorithm, error of angle of departure (AOD) and angle of arrival (AOA) is below 0.01 degree. The relationship between the number of iterations and error reduction is also given. It is illustrated that the proposed method has the same accuracy as IM by comparing the power delay profile (PDP) and angle distribution of paths. This can solve the problem of low accuracy brougth by SBR.


title: NOSMOG: Learning Noise-robust and Structure-aware MLPs on Graphs

abstract: While Graph Neural Networks (GNNs) have demonstrated their efficacy in dealing with non-Euclidean structural data, they are difficult to be deployed in real applications due to the scalability constraint imposed by multi-hop data dependency. Existing methods attempt to address this scalability issue by training multi-layer perceptrons (MLPs) exclusively on node content features using labels derived from trained GNNs. Even though the performance of MLPs can be significantly improved, two issues prevent MLPs from outperforming GNNs and being used in practice: the ignorance of graph structural information and the sensitivity to node feature noises. In this paper, we propose to learn NOise-robust Structure-aware MLPs On Graphs (NOSMOG) to overcome the challenges. Specifically, we first complement node content with position features to help MLPs capture graph structural information. We then design a novel representational similarity distillation strategy to inject structural node similarities into MLPs. Finally, we introduce the adversarial feature augmentation to ensure stable learning against feature noises and further improve performance. Extensive experiments demonstrate that NOSMOG outperforms GNNs and the state-of-the-art method in both transductive and inductive settings across seven datasets, while maintaining a competitive inference efficiency. Codes are available at https://github.com/meettyj/NOSMOG.


title: A Two-phase On-line Joint Scheduling for Welfare Maximization of Charging Station

abstract: The large adoption of EVs brings practical interest to the operation optimization of the charging station. The joint scheduling of pricing and charging control will achieve a win-win situation both for the charging station and EV drivers, thus enhancing the operational capability of the station. We consider this important problem in this paper and make the following contributions. First, a joint scheduling model of pricing and charging control is developed to maximize the expected social welfare of the charging station considering the Quality of Service and the price fluctuation sensitivity of EV drivers. It is formulated as a Markov decision process with variance criterion to capture uncertainties during operation. Second, a two-phase on-line policy learning algorithm is proposed to solve this joint scheduling problem. In the first phase, it implements event-based policy iteration to find the optimal pricing scheme, while in the second phase, it implements scenario-based model predictive control for smart charging under the updated pricing scheme. Third, by leveraging the performance difference theory, the optimality of the proposed algorithm is theoretically analyzed. Numerical experiments for a charging station with distributed generation and energy storage demonstrate the effectiveness of the proposed method and the improved social welfare of the charging station.


title: Holographic renormalization by Hamilton-Jacobi formulation with generated ansatz

abstract: In AdS/CFT corresponding, the UV divergence of generating functional on the field theory can be removed as the IR divergence in the gravity. This geometric process is well known as holographic renormalization. The standard method of holographic renormalization is based on the Fefferman-Graham expansion, which is strict and universal but technically cumbersome. To improve the technique, different methods have been proposed. Here we develop an alternative approach to holographic renormalization based on the Hamilton-Jacobi formulation of gravity. Compared to previous approaches, its distinguishing feature is the generation of exact ansatz of counterterms. We apply this approach to several typical holographic models, which consistently performs well.


title: FairDisCo: Fairer AI in Dermatology via Disentanglement Contrastive Learning

abstract: Deep learning models have achieved great success in automating skin lesion diagnosis. However, the ethnic disparity in these models' predictions, where lesions on darker skin types are usually underrepresented and have lower diagnosis accuracy, receives little attention. In this paper, we propose FairDisCo, a disentanglement deep learning framework with contrastive learning that utilizes an additional network branch to remove sensitive attributes, i.e. skin-type information from representations for fairness and another contrastive branch to enhance feature extraction. We compare FairDisCo to three fairness methods, namely, resampling, reweighting, and attribute-aware, on two newly released skin lesion datasets with different skin types: Fitzpatrick17k and Diverse Dermatology Images (DDI). We adapt two fairness-based metrics DPM and EOM for our multiple classes and sensitive attributes task, highlighting the skin-type bias in skin lesion classification. Extensive experimental evaluation demonstrates the effectiveness of FairDisCo, with fairer and superior performance on skin lesion classification tasks.


title: The physical properties of massive green valley galaxies as a function of environments at $0.5<z<2.5$ in 3D-\textit{HST}/CANDELS fields

abstract: To investigate the effects of environment in the quenching phase, we study the empirical relations for green valley (GV) galaxies between overdensity and other physical properties (i.e., effective radius $r_{\rm e}$, S\'{e}rsic indices $n$, and specific star formation rate sSFR). Based on five 3D-{\it HST}/CANDELS fields, we construct a large sample of 2126 massive ($M_{\star} > 10^{10} M_{\sun}$) GV galaxies at $0.5<z<2.5$ and split it into the higher overdensity quarter and the lower overdensity quarter. The results shows that GV galaxies in denser environment have higher $n$ values and lower sSFR at $0.5< z <1$, while there is no discernible distinction at $1 < z < 2.5$. No significant enlarging or shrinking is found for GV galaxies in different environments within the same redshift bin. It suggests that a dense environment would promote the growth of bulge and suppress star formation activity of GV galaxies at $0.5< z <1.5$, but would not affect the galaxy size. We also study the dependence of the fraction of three populations (Blue Cloud, Green Valley, and Red Sequence) on both environments and $M_{\star}$. At a given $M_{\star}$, blue cloud fraction goes down with increasing environment density, while red sequence fraction is opposite. For the most massive GV galaxies, a sharp drop appears in the denser environment. Coupled with the mass dependence of three fractions in different redshift bins, our result implies that stellar mass and environments jointly promote the quenching process. Such dual effect is also confirmed by re-calculating the new effective GV fraction as the number of GV galaxies over the number of non-quiescent galaxies.


title: Using Neural Networks to Differentiate Newly Discovered BL Lacs and FSRQs among the 4FGL Unassociated Sources Employing Gamma-ray, X-ray, UV/Optical and IR Data

abstract: Among the ~2157 unassociated sources in the third data release (DR3) of the fourth Fermi catalog, ~1200 were observed with the Neil Gehrels Swift Observatory pointed instruments. These observations yielded 238 high S/N X-ray sources within the 95% Fermi uncertainty regions. Recently, Kerby et al. employed neural networks to find blazar candidates among these 238 X-ray counterparts to the 4FGL unassociated sources and found 112 likely blazar counterpart sources. A complete sample of blazars, along with their sub-classification, is a necessary step to help understand the puzzle of the blazar sequence and for the overall completeness of the gamma-ray emitting blazar class in the Fermi catalog. We employed a multi-perceptron neural network classifier to identify FSRQs and BL Lacs among these 112 blazar candidates using the gamma-ray, X-ray, UV/optical, and IR properties. This classifier provided probability estimates for each source to be associated with one or the other category, such that P_fsrq represents the probability for a source to be associated with the FSRQ subclass. Using this approach, 4 FSRQs and 50 BL Lacs are classified as such with >99% confidence, while the remaining 58 blazars could not be unambiguously classified as either BL Lac or FSRQ.


title: The $L^p$-to-$L^q$ Compactness of Commutators with $p>q$

abstract: Let $1<q<p<\infty$, $\frac1r:=\frac1q-\frac1p$, and $T$ be a non-degenerate Calder\'on--Zygmund operator. We show that the commutator $[b,T]$ is compact from $L^p({\mathbb R}^n)$ to $L^q({\mathbb R}^n)$ if and only if the symbol $b=a+c$ with $a\in L^r({\mathbb R}^n)$ and $c$ being any constant. Since both the corresponding Hardy--Littlewood maximal operator and the corresponding Calder\'on--Zygmund maximal operator are not bounded from $L^p({\mathbb R}^n)$ to $L^q({\mathbb R}^n)$, we take the full advantage of the compact support of the approximation element in $C_{\rm c}^\infty({\mathbb R}^n)$, which seems to be redundant for many corresponding estimates when $p\leq q$ but to be crucial when $p>q$. We also extend the results to the multilinear case.


title: Open bottom mesons in magnetized matter -- effects of (inverse) magnetic catalysis

abstract: In-medium masses of the pseudoscalar and vector open bottom mesons ($B$, $\bar{B}$, $B_s$ and $B^*$, $\bar{B}^*$, $B_s^*$) are studied in the magnetized nuclear matter by considering the effects of Dirac sea, within the chiral effective model. The mass modifications arise due to the interactions of the open bottom mesons with the nucleons and the scalar mesons, calculated in terms of the scalar and number densities of the nucleons and the scalar fields fluctuations. The effects of the magnetized Dirac sea lead to the considerable changes in the scalar fields with magnetic field, which are related to the light quark condensates. There is observed to be a (reduction) enhancement in the light quark condensates with magnetic field, a phenomenon called (inverse) magnetic catalysis.The contribution of the magnetic field on the Fermi sea of nucleons are taken into account through the Landau energy levels of protons and anomalous magnetic moments (AMMs) of the nucleons. The additional contribution of the lowest Landau level for the charged mesons are considered. The spin-magnetic field interaction between the longitudinal component of the vector and the pseudoscalar mesons ($B^{*||}(\bar{B}^{*||})-B (\bar{B}))$ and ($B_s^{*||}-B_s$) are studied, which lead to a level repulsion between their masses with magnetic field. Magnetic fields are observed to have significant contribution on the in-medium masses of the open bottom mesons through the Dirac sea effect as comparedto the case when this effect is not considered. In vacuum, considerable changes are obtained only due to the magnetized Dirac sea at zero and finite nucleonic AMMs.


title: Mathematical modeling of morphological changes in photochromic crystals by catastrophe theory

abstract: Photochromic diarylethene is known to exhibit reversible photoisomerization under irradiation with ultraviolet (UV) and visible light. Besides reversible optical properties upon light irradiation, a variety of discontinuous morphological changes are reported in the literature, such as sudden crystal bending, cracking, and photosalient effects, which are caused simply by UV and visible light irradiation. These morphological phenomena with discontinuities are micro-scale changes caused by photoisomerization at the nanoscale and lead to the realization of important functions as optical devices. However, the theoretical models behind these phenomena are not well understood. In this paper, we construct a mathematical model that can treat diverse phenomena in a unified model by using swallow-tail catastrophe, a higher-order catastrophe than cusp catastrophe, from the seven elementary catastrophes that can describe discontinuities in the phenomena. By introducing the hyperbolic operating curves in the model, intrinsic properties of the photochromic crystals are represented. The induced morphogenesis, such as bending, cracking, and photosalient, are systematically classified by the proposed catastrophe model, which even implies unexplored operating conditions of the crystals and explains known phenomena. The proposed catastrophe-theory-based modeling provides a foundation for understanding and discovering the versatile morphogenesis in photochromic crystals. Furthermore, the proposed approach provides a basis for understanding and discovering various morphological changes in photochromic crystals and similar systems.


title: Development of $ab ~initio$ method for exciton condensation and its application to $\bf TiSe_2$

abstract: Exciton condensation indicating the spontaneous formation of electron-hole pair can cause the phase transition from a semimetal to an excitonic insulator by gap opening at the Fermi surface. While the idea of this excitonic insulator has been proposed for decades, current theoretical approaches can only provide qualitative descriptions, and a quantitative predicting tool is still missing. To shed insight on this problem, we developed an $ab~initio$ method based on the finite-temperature density functional theory and many-body perturbation theory to compute the exciton condensation critical behavior. Applying our approach to the monolayer $\rm TiSe_2$, we find a lattice distortion accompanied by the formation of the excitonic gap via electron-phonon coupling without phonon softening, proving that the exciton condensation is the origin of the charge-density-wave state observed in this compound. Overall, the methodology introduced in this work is general and paves the way to searching for candidate excitonic insulators in natural material systems.


title: On the Dirichlet problem for special Lagrangian curvature potential equation

abstract: In this paper, we study a class of special Lagrangian curvature potential equations and obtain the existence of smooth solutions for Dirichlet problem. The existence result is based on a priori estimates of global $C^{0}$, $C^{1}$ and $C^{2}$ norms of solutions under the assumption of existence of a subsolution.


title: The Kawamata--Viehweg--Nadel-type vanishing theorem and the asymptotic multiplier ideal sheaf

abstract: In this paper we establish a Nadel-type vanishing theorem and a Kawamata--Viehweg-type vanishing theorem concerning the asymptotic multiplier ideal sheaf on a compact K\"{a}hler manifold $X$. After that, we provide a relative variant.


title: Generalized Relative Neighborhood Graph (GRNG) for Similarity Search

abstract: Similarity search is a fundamental building block for information retrieval on a variety of datasets. The notion of a neighbor is often based on binary considerations, such as the k nearest neighbors. However, considering that data is often organized as a manifold with low intrinsic dimension, the notion of a neighbor must recognize higher-order relationship, to capture neighbors in all directions. Proximity graphs, such as the Relative Neighbor Graphs (RNG), use trinary relationships which capture the notion of direction and have been successfully used in a number of applications. However, the current algorithms for computing the RNG, despite widespread use, are approximate and not scalable. This paper proposes a novel type of graph, the Generalized Relative Neighborhood Graph (GRNG) for use in a pivot layer that then guides the efficient and exact construction of the RNG of a set of exemplars. It also shows how to extend this to a multi-layer hierarchy which significantly improves over the state-of-the-art methods which can only construct an approximate RNG.


title: A machine learning based method to generate random packed isotropic porous media with desired porosity and permeability

abstract: Porous materials are used in many fields, including energy industry, agriculture, medical industry, etc. The generation of digital porous media facilitates the fabrication of real porous media and the analysis of their properties. The past random digital porous media generation methods are unable to generate a porous medium with a specific permeability. A new method is proposed in the present study, which can generate the random packed isotropic porous media with specific porosity and permeability. Firstly, the process of generating the random packed isotropic porous media is detailed. Secondly, the permeability of the generated porous media is calculated with the multi-relaxation time (MRT) lattice Boltzmann method (LBM), which is prepared for the training of convolutional neural network (CNN). Thirdly, 3000 samples on the microstructure of porous media and their permeabilities are used to train the CNN model. The trained model is very effective in predicting the permeability of a porous medium. Finally, our method is elaborated and the choice of target permeability in this method is discussed. With the support of a powerful computer, a porous medium that satisfies the error condition of porosity and permeability can be generated in a short time.


title: GCISG: Guided Causal Invariant Learning for Improved Syn-to-real Generalization

abstract: Training a deep learning model with artificially generated data can be an alternative when training data are scarce, yet it suffers from poor generalization performance due to a large domain gap. In this paper, we characterize the domain gap by using a causal framework for data generation. We assume that the real and synthetic data have common content variables but different style variables. Thus, a model trained on synthetic dataset might have poor generalization as the model learns the nuisance style variables. To that end, we propose causal invariance learning which encourages the model to learn a style-invariant representation that enhances the syn-to-real generalization. Furthermore, we propose a simple yet effective feature distillation method that prevents catastrophic forgetting of semantic knowledge of the real domain. In sum, we refer to our method as Guided Causal Invariant Syn-to-real Generalization that effectively improves the performance of syn-to-real generalization. We empirically verify the validity of proposed methods, and especially, our method achieves state-of-the-art on visual syn-to-real domain generalization tasks such as image classification and semantic segmentation.


title: Simple and Optimal Stochastic Gradient Methods for Nonsmooth Nonconvex Optimization

abstract: We propose and analyze several stochastic gradient algorithms for finding stationary points or local minimum in nonconvex, possibly with nonsmooth regularizer, finite-sum and online optimization problems. First, we propose a simple proximal stochastic gradient algorithm based on variance reduction called ProxSVRG+. We provide a clean and tight analysis of ProxSVRG+, which shows that it outperforms the deterministic proximal gradient descent (ProxGD) for a wide range of minibatch sizes, hence solves an open problem proposed in Reddi et al. (2016b). Also, ProxSVRG+ uses much less proximal oracle calls than ProxSVRG (Reddi et al., 2016b) and extends to the online setting by avoiding full gradient computations. Then, we further propose an optimal algorithm, called SSRGD, based on SARAH (Nguyen et al., 2017) and show that SSRGD further improves the gradient complexity of ProxSVRG+ and achieves the optimal upper bound, matching the known lower bound of (Fang et al., 2018; Li et al., 2021). Moreover, we show that both ProxSVRG+ and SSRGD enjoy automatic adaptation with local structure of the objective function such as the Polyak-\L{}ojasiewicz (PL) condition for nonconvex functions in the finite-sum case, i.e., we prove that both of them can automatically switch to faster global linear convergence without any restart performed in prior work ProxSVRG (Reddi et al., 2016b). Finally, we focus on the more challenging problem of finding an $(\epsilon, \delta)$-local minimum instead of just finding an $\epsilon$-approximate (first-order) stationary point (which may be some bad unstable saddle points). We show that SSRGD can find an $(\epsilon, \delta)$-local minimum by simply adding some random perturbations. Our algorithm is almost as simple as its counterpart for finding stationary points, and achieves similar optimal rates.


title: Effective zero-cycles and the Bloch-Beilinson filtration

abstract: A conjecture of Voisin states that two points on a smooth projective complex variety whose algebra of holomorphic forms is generated in degree 2 are rationally equivalent to each other if and only if their difference lies in the third step of the Bloch-Beilinson filtration. In this note, we formulate a generalization that allows for rational equivalence of effective zero-cycles of higher degree, at the expense of looking deeper in the Bloch-Beilinson filtration. In the first half, we provide evidence in support of this conjecture in the case of abelian varieties and projective hyper-K\"ahler manifolds. Notably, we give explicit criteria for rational equivalence of effective zero-cycles on moduli spaces of semistable sheaves on K3 surfaces, generalizing that of Marian-Zhao. In the second half, in an effort to explain our main conjecture, we formulate a second conjecture predicting when the diagonal of a smooth projective variety belongs to a subalgebra of the ring of correspondences generated in low degree.


title: Learning Invariant Representations under General Interventions on the Response

abstract: It has become increasingly common nowadays to collect observations of feature and response pairs from different environments. As a consequence, one has to apply learned predictors to data with a different distribution due to distribution shifts. One principled approach is to adopt the structural causal models to describe training and test models, following the invariance principle which says that the conditional distribution of the response given its predictors remains the same across environments. However, this principle might be violated in practical settings when the response is intervened. A natural question is whether it is still possible to identify other forms of invariance to facilitate prediction in unseen environments. To shed light on this challenging scenario, we focus on linear structural causal models (SCMs) and introduce invariant matching property (IMP), an explicit relation to capture interventions through an additional feature, leading to an alternative form of invariance that enables a unified treatment of general interventions on the response as well as the predictors. We analyze the asymptotic generalization errors of our method under both the discrete and continuous environment settings, where the continuous case is handled by relating it to the semiparametric varying coefficient models. We present algorithms that show competitive performance compared to existing methods over various experimental settings including a COVID dataset.